Modular units and cuspidal divisor class groups of X₁(N)

DOI10.1016/J.JALGEBRA.2009.04.012MaRDI QIDQ731229zbMATH OpenOpenAlexFDO

Authors Yifan Yang

Publication date 2 October 2009

Published in Journal of Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0712.0629

zbMATH Keywords

cuspidal divisor class groupsmodular curvesmodular units

Mathematics Subject Classification ID

Modular and automorphic functions (11F03) Elliptic and modular units (11G16) Arithmetic aspects of modular and Shimura varieties (11G18)

Abstract: In this article, we consider the group $F_1^{i}nfty(N)$ of modular units on $X_1(N)$ that have divisors supported on the cusps lying over $infty$ of $X_0(N)$, called the $infty$-cusps. For each positive integer $N$, we will give an explicit basis for the group $F_1^{i}nfty(N)$. This enables us to compute the group structure of the rational torsion subgroup $C_1^{i}nfty(N)$ of the Jacobian $J_1(N)$ of $X_1(N)$ generated by the differences of the $infty$-cusps. In addition, based on our numerical computation, we make a conjecture on the structure of the $p$-primary part of $C_1^{i}nfty(p^n)$ for a regular prime $p$.

Review text

Let \(\mathcal{F}_1^{\infty}(N)\) denote the group of modular units on the curve \(X_1(N)\) that have divisors supported on the cusps lying over \({\infty}\) of the curve \(X_0(N)\). In this article, for each integer greater than four, the author constructs an explicit basis of \(\mathcal{F}_1^{\infty}(N)\) in terms of the Siegel functions. This enables one to compute the group structure of the rational torsion subgroup \(\mathcal{C}_1^{\infty}(N)\) generated by the divisor classes \([(P)-(\infty)]\) where the points \(P\) run through the cusps lying over \(\infty\). In addition, he makes a conjecture on the structure of the \(p\)-primary part of \(\mathcal{C}_1^{\infty}(p^n)\) for a regular prime \(p\).

Recommendations

• scientific article; zbMATH DE number 3773723
• Modular units and cuspidal divisor classes on \(X_0(n^2M)\) with \(n|24\) and \(M\) squarefree
• The rational cuspidal divisor class group of \(X_0(N)\)
• Structure of the cuspidal rational torsion subgroup of J₁(p^n)
• Cuspidal \(\mathbb Q\)-rational torsion subgroup of \(J(\Gamma)\) of level \(p\)

Cites work

• A cuspidal class number formula for the modular curves X₁(N)
• Construction and Application of a Class of Modular Functions (II)†
• Construction and Application of a Class of Modular Functions†
• Determinantal formula for the cuspidal class number of the modular curve \(X_1(m)\)
• Diophantine equations and modular forms
• scientific article; zbMATH DE number 3129498 (Why is no real title available?)
• scientific article; zbMATH DE number 3773723 (Why is no real title available?)
• scientific article; zbMATH DE number 3485941 (Why is no real title available?)
• scientific article; zbMATH DE number 1341799 (Why is no real title available?)
• scientific article; zbMATH DE number 3446982 (Why is no real title available?)
• scientific article; zbMATH DE number 3384173 (Why is no real title available?)
• scientific article; zbMATH DE number 967875 (Why is no real title available?)
• Modular curves and the Eisenstein ideal
• On the conjecture of Birch and Swinnerton-Dyer
• Some applications of Kronecker's limit formulas
• The cuspidal class number formula for the modular curves \(X_ 0(M)\) with \(M\) square-free
• The index of Stickelberger ideals of order 2 and cuspidal class numbers
• The kernel of the Eisenstein ideal
• The Square Root of the Siegel Group
• The theory of Jacobi forms
• Torsion points on modular curves
• TRANSFORMATION FORMULAS FOR GENERALIZED DEDEKIND ETA FUNCTIONS
• Units in the modular function field. I. - II: A full set of units. - III: Distribution relations
• Units in the modular function field. IV: The Siegel functions are generators
• Units in the modular function field. V: Iwasawa theory in the modular tower

Cited in

(19)

• On modular units
• A divisor formula and a bound on the \(\mathbb{Q} \)-gonality of the modular curve \(X_1(N)\)
• The rational cuspidal divisor class group of \(X_0(N)\)
• Modular units and cuspidal divisor classes on \(X_0(n^2M)\) with \(n|24\) and \(M\) squarefree
• Sporadic cubic torsion
• Modular units and the \(q\)-difference equations of Selberg
• Structure of the cuspidal rational torsion subgroup of J₁(p^n)
• scientific article; zbMATH DE number 3773723 (Why is no real title available?)
• Torsion and Tamagawa numbers
• scientific article; zbMATH DE number 1522536 (Why is no real title available?)
• Rational families of 17-torsion points of elliptic curves over number fields
• The \(\mathbb{Q}\)-rational cuspidal group of \(J_{1}(2p)\)
• A Taniyama Product for the Riemann Zeta Function
• Cuspidal divisor class groups of non-split Cartan modular curves
• The rational cuspidal subgroup of J0(p2M)$J_0(p^2M)$ with M squarefree
• Generators of the group of modular units for \(\Gamma^1(N)\) over the rationals
• Cuspidal class number of the tower of modular curves X₁(Np^n)
• The cuspidal class number formula for the modular curves \(X_1(2p)\)
• On the group of modular units and the ideal class group

This page was built for publication: Modular units and cuspidal divisor class groups of \(X_1(N)\)

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q731229)