Number of Polynomials Vanishing on a Basis of S_m(\Gamma_0(N))

Iva Kodrnja and Helena Koncul

arXiv: 2405.10747v1 · PDF · 17 May 2024
Categories: math.NT
Licence: CC BY 4.0 The site shows the text.

Abstract

In this paper we find the number of homogeneous polynomials of degree d such that they vanish on cuspidal modular forms of even weight m\geq 2 that form a basis for S_m(\Gamma_0(N)). We use these cuspidal forms to embedd X_0(N) to projective space and we find the Hilbert polynomial of the graded ideal of the projective curve that is the image of this embedding.

Items 17

Lemma

Lemma 1.1

KGDZ

Assume that m \geq 2 even. Let t=\dim S_m(\Gamma_0(N)), f_0,\dots,f_{t-1} be a basis of S_m(\Gamma_0(N)), g be the genus of \Gamma_0(N) and we denote by

\mathcal{C}(N,m) = C(f_0,\cdots, f_{t-1})

the image of the map \ref{map}. Then we have the following

i) \mathcal{C}(N,m) is an irreducible smooth projective curve in \mathbb{P}^{t-1}.
ii) If m\geq 4, then we always have t \geq g + 2 and the degree of the curve is t + g - 1.
iii) If m=2 then t=g and if X_0(N) is not hyperelliptic then the map (\ref{map}) is the canonical embedding and the degree of the curve is 2g-2.
iv) If m=2 then t=g and if X_0(N) is hyperelliptic, then the canonical map (\ref{map}) is of degree 2 and the degree of the curve is g-1.

Proof of Lemma 1.1

The i) part of Lemma 1.1 follows from Chow’s theorem, ii) and its proof can be found in [Muic1], Corollary 3-4a and iii) and iv) for canonical map see [Miranda], Chapter 7.

Lemma

Lemma 1.2

3FKB

I(\mathcal{C}(N,m))=\bigoplus_{d\geq 0} I(\mathcal{C}(N,m))_d

Proof of Lemma 1.2

A homogeneous polynomial of degree d only has monomials of degree d. Product of two homogeneous polynomials of degrees d_1 and d_2 is again a homogeneous polynomial of degree d_1+d_2. We can see this graded structure as vector spaces or modules, because we have

\mathcal{P}_jI(\mathcal{C}(N,m))_d\subseteq I(\mathcal{C}(N,m))_{jd}

Theorem

Theorem 1.3

DGH1

Let t=\dim S_m(\Gamma_0(N))\geq 3, g be genus of \Gamma_0(N). Let N\geq 2 be such that g=0 or g=t and X_0(N) is hyperelliptic. Then the number N(t,d) of homogeneous polynomials of degree d\geq 0 is equal to

N(t,d)=\binom{t+d-1}{d}-(t-1)d-1.

Proof (Proof of Theorem 1.3) of Theorem 1.3

In the case of genus 0 or a hyperelliptic X_0(N) from (\ref{Hil_fun}) , (\ref{Hil_fun_P}) and \ref{dimenzija} we have:

\begin{aligned} HF_{I(C)}(d)&=\binom{t+d-1}{d} - \binom{t+d-1}{d}+(t-1)d+1 \\ &=(t-1)d+1 \end{aligned}

From Proof we can see that the Hilbert function is expressed as the Hilbert polynomial from the index d\geq 2 and the degree of the polynomial is equal to one, as is always in the case of curves.

From this, we can conclude that this will be the Hilbert function for all d since, hence Theorem 1.3 follows from here.

Uses Corollary 5.1

Corollary

Corollary 1.4

3W3L

Let t=\dim S_m(\Gamma_0(N))\geq 3, g be genus of \Gamma_0(N). Then the number N(t,d) of homogeneous polynomials of degree d\geq 0 is equal to

g=\{1,2\}
N(t,d)=\binom{t+d-1}{d}-(t-1)d-1- (g+(d-2)g)
g>2
N(t,d)=\binom{t+d-1}{d}-(t-1)d-1- ((g-2)+(d-2)(g-1))

Proposition

Proposition 3.1

9RWA

Let t=\dim S_m(\Gamma_0(N))=2 and \left\lbrace f_0,f_1 \right\rbrace be the basis of S_m(\Gamma_0(N)). There are no homogeneous polynomials in two variables of degree d=0 to d=7 such that P(f_0,f_1)=0.

Proposition

Proposition 3.2

LB15

Let t=\dim S_m(\Gamma_0(N))=3 and \left\lbrace f_0,f_1,f_2 \right\rbrace be the basis of S_m(\Gamma_0(N)). In Table \ref{3formeirreduc.} we give the number of all linearly independent homogeneous polynomials up to degree 7 and the number of irreducible ones among them that satisfy P(f_0,f_1,f_2)=0.

The paper has a table here, which this page does not show.

Corollary

Corollary 3.3

B38I

Assume that \dim S_m(\Gamma_0(N))=3 and let \left\lbrace f_0,f_1,f_2 \right\rbrace be the basis of S_m(\Gamma_0(N)). Then the map X_0(N)\to\mathbb{P}^2 given by

\mathfrak{a}_z\mapsto (f_0(z):f_1(z):f_2(z))

is birational equvalence of X_0(N) and the image curve C(f_0,f_1,f_2). The curve C(f_0,f_1,f_2) is a quadric if g(X_0(N))=0 or g(X_0(N))=3 and the curve is hyperelliptic or a quartic if g(X_0(N))=3. The quartic equations (in homogeneous coordinates (x:y:z)) are given in Table \ref{jdbe_3}.

Proposition

Proposition 3.4

OO9L

Let 4\leq t\leq 8. In Table \ref{tablica_brojevi} we see the numbers of all linearly independent homogeneous polynomials of degree 2\leq d\leq 8 that vanish on the basis of \dim S_m(\Gamma_0(N)), P(f_0,f_1,\cdots,f_{t-1})=0. There are no such polynomials for d< 2.

Lemma

Lemma 4.1

QBOE

Numbers in Table ? satisfy the formula:

N(t,d)=\binom{t+d-1}{d} -(t-1)d-1

Used by Remark 4.2

Remark

Remark 4.2

ESP9

Antidiagonals of our Table ?, read as series 1,\, 3, 3,\, 6, 10, 6, .... can be found in The on-line encyclopedia of integer sequences OEIS, [oeis], database as sequence A124326 with the description

T(n,m)=A007318(n,m)-A077028(n,m)

as a difference between the Pascal triangle, listed in OEIS as A007318, with defining formula C(n,m)=\binom{n}{m},\ 0\leq m\leq n and the Rascal triangle, [rascal], A007028 in OEIS, T(n,m)=m(n-m)+1,\ n\geq 0,\ 0\leq m\leq n

T(n,m)=\binom{n}{m}-m(n-m)-1

If we substitute n=t+d-1 and m=d in (\ref{Pas}) we get formula (\ref{fr}) from Lemma 4.1.

Alternatively, we can also say that rows of our Table ? are the diagonals of the triangle A124326, see Figure 1.

Uses Lemma 4.1 · Used by Remark 4.3

Remark

Remark 4.3

7OPU

The numbers in Table ? are generated via modular forms but according to the rule in Section ? they can be constructed in another way from Figure ? by relating it to sequence A003991 from OEIS database, which is the table of multiplication read by antidiagonals defined by T(n,m)=nm,\ n,m \geq 1 and the Pascal rule.

For n,m\geq 0 and setting the initial values T(n,0)=T(0,m)=0, the not highlighted numbers of triangle in Figure ? satisfy the recursion and formula

\begin{aligned} T(n,m)=T(n-1,m)+T(n,m-1)+nm\\ T(n,m)=\binom{n+m+2}{m+1} -(n+1)(m+1)-1. \end{aligned}

Again by substituting \overline{n}=n+m+2 and \overline{m}=m+1 we obtain 4.2 which is the description of the sequence A124326 in OEIS database.

This way of obtaining the sequence A124326 appears to be new.

Uses Remark 4.2

Corollary

Corollary 5.1

GTYD

Let 2\leq d\leq 7. Then I(\mathcal{C}(N,m))_d is a vector space of dimension

\dim I(\mathcal{C}(N,m))_d=\binom{t+d-1}{d}-(t-1)d-1.

Used by Proof

Example

Example 5.2

VUQ6

For t=3 we have irreducible equations for projective curves in \mathbb{P}^2, as we see in Proposition 3.2 and the Hilbert polynomial is

HP_{\mathcal{C}(N,m)}(d)=2d+1

for genus 0 curves and hyperelliptic genus 3 curves so we see that the degree is 2 and for nonhyperelliptic curves of genus 3 we have

HP_{\mathcal{C}(N,m)}(d)=2d+1+1+(d-2)2=4d-2

and we see that the degree of the curve is 4.

Corollary

Corollary 5.3

QTNK

The degree of the curve \mathcal{C}(N,m) is:

\deg\mathcal{C}(N,m)=\begin{cases} t-1& : g(X_0(N))=0 \text{ or } g(X_0(N))=t\\ & \text{ and } X_0(N) \text{ is hyperelliptic},\\ t+g-1& : g(X_0(N))\in\left\lbrace 1,2 \right\rbrace, \\ t+g-2& : g(X_0(N))\ge 2. \end{cases}

Source and licence

The text on this page is from arXiv:2405.10747v1 by Iva Kodrnja and Helena Koncul, under the licence CC BY 4.0. The corpus made these changes: it read the items out of the LaTeX source, it expanded the macros of the paper, it put each proof after its statement, and it converted the text to HTML. The formulas are the TeX of the paper, and KaTeX renders them. A formula or a reference can look different from the PDF. The page is published under CC BY 4.0.

The record of each item is in analysis/objects/2405/2405.10747.jsonl.