7,605 research outputs found
Generators of the group of modular units for Gamma1(N) over QQ
We give two explicit sets of generators of the group of invertible regular
functions over QQ on the modular curve Y1(N).
The first set of generators is the most surprising. It is essentially the set
of defining equations of Y1(k) for k<=N/2 when all these modular curves are
simultaneously embedded into the affine plane, and this proves a conjecture of
Maarten Derickx and Mark van Hoeij. This set of generators is an elliptic
divisibility sequence in the sense that it satisfies the same recurrence
relation as the elliptic division polynomials.
The second set of generators is explicit in terms of classical analytic
functions known as Siegel functions. This is both a generalization and a
converse of a result of Yifan Yang.
Our proof consists of two parts. First, we relate our two sets of generators.
Second, we use q-expansions and Gauss' lemma for power series to prove that our
functions generate the full group of modular functions. This second part shows
how a proof of Kubert and Lang for Y(N) can be much simplified and strengthened
when applied to Y1(N).
The link between the two sets of generators also provides a set of generators
of the ring of regular functions of Y1(N), giving a more uniform version of a
result of Ja Kyung Koo and Dong Sung Yoon.Comment: 18 page
Linearizing torsion classes in the Picard group of algebraic curves over finite fields
We address the problem of computing in the group of -torsion rational
points of the jacobian variety of algebraic curves over finite fields, with a
view toward computing modular representations.Comment: To appear in Journal of Algebr
Gonality of the modular curve X1(N)
In this paper we compute the gonality over Q of the modular curve X1(N) for
all N <= 40 and give upper bounds for each N <= 250. This allows us to
determine all N for which X1(N) has infinitely points of degree <= 8. We
conjecture that the modular units of Q(X1(N)) are freely generated by
f_2,...,f_{[N/2]+1} where f_k is obtained from the equation for X1(k).Comment: 17 pages. In this version, Theorem 3 is extended from d <= 6 to d <=
Examples of noncommutative manifolds: complex tori and spherical manifolds
We survey some aspects of the theory of noncommutative manifolds focusing on
the noncommutative analogs of two-dimensional tori and low-dimensional spheres.
We are particularly interested in those aspects of the theory that link the
differential geometry and the algebraic geometry of these spaces.Comment: Survey article. Final version. To appear in the proceedings volume of
the "International Workshop on Noncommutative Geometry", IPM, Tehran 200
- …