Modular units and cuspidal divisor class groups of \(X_1(N)\) (Q731229): Difference between revisions

From MaRDI portal
Import240304020342 (talk | contribs)
Set profile property.
Set OpenAlex properties.
Property / OpenAlex ID
 
Property / OpenAlex ID: W2963108799 / rank
 
Normal rank

Revision as of 23:31, 19 March 2024

scientific article
Language Label Description Also known as
English
Modular units and cuspidal divisor class groups of \(X_1(N)\)
scientific article

    Statements

    Modular units and cuspidal divisor class groups of \(X_1(N)\) (English)
    0 references
    2 October 2009
    0 references
    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\).
    0 references
    0 references
    modular units
    0 references
    modular curves
    0 references
    cuspidal divisor class groups
    0 references
    0 references

    Identifiers