We bound the j-invariant of S-integral points on arbitrary modular curves over arbitrary fields, in terms of the congruence group defining the curve, assuming a certain Runge condition is satisfied by our objects. We then apply our bounds to prove that for sufficiently large prime p, the points of $X_0^+ (p^r)(Q)$ with r>1 are either cusps or CM points. This can be interpreted as the non-existence of quadratic elliptic Q-curves with higher prime-power degree.
Runge's method is a tool to figure out integral points on curves effectively in terms of height. This method has been generalised to varieties of any dimension, unfortunately its conditions of application are often too restrictive. In this paper, we provide a further generalisation intended to be more flexible while still effective, and exemplify its applicability by giving finiteness results for integral points on some Siegel modular varieties. As a special case, we obtain a totally explicit finiteness result for integral points on the Siegel modular variety $A_2(2)$.
In this note, we announce results on integral points on some modular varieties, based on a generalisation of Runge's method in higher dimensions which will be explained beforehand. In particular, we obtain an explicit result in the case of the Siegel modular variety $A_2(2)$.
We consider some variations on the classical method of Runge for effectively determining integral points on certain curves. We first prove a version of Runge's theorem valid for higher-dimensional varieties, generalizing a uniform version of Runge's theorem due to Bombieri. We then take up the study of how Runge's method may be expanded by taking advantage of certain coverings. We prove both a result for arbitrary curves and a more explicit result for superelliptic curves. As an application of our method, we solve certain equations involving squares in products of terms in an arithmetic progre…
Let q be a prime power and E a non-isotrivial elliptic curve over Fq(T) given by a Weierstrass model. We survey the construction, with an explicit point of view, of the modular parametrization of E by the associated Drinfeld modular curve. We then prove a formula that allows us to evaluate this modular parametrization at cusps and we produce an explicit method to compute these values. Finally we illustrate our results with several examples in characteristic 2 and 3.
In this paper we describe the compactification of the Drinfeld modular curve. This compactification is analogous to the compactification of the classical modular curve given by Katz and Mazur. We show how the Weil pairing on Drinfeld modules that we defined in earlier work gives rise to a map on the Drinfeld modular curve. We introduce the Tate-Drinfeld module and show how this describes the formal neighbourhood of the scheme of cusps of the Drinfeld modular curve.
We prove that there are only finitely many modular curves of $D$-elliptic sheaves over $\mathbb{F}_q(T)$ which are hyperelliptic. In odd characteristic we give a complete classification of such curves.
We determine the automorphism group of the modular curve $X_0^*(N)$, obtained as the quotient of the modular curve $X_0(N)$ by the group of its Atkin-Lehner involutions, for all square-free values of $N$.
We prove a genus formula for modular curves of $D$-elliptic sheaves. We use this formula to show that the reductions of modular curves of $D$-elliptic sheaves attain the Drinfeld-Vladut bound as the degree of the discriminant of $D$ tends to infinity.
Classical modular curves are of deep interest in arithmetic geometry. In this survey we show how the work of Fumiyuki Momose is involved in order to list the classical modular curves which satisfy that the set of quadratic points over $\mathbb{Q}$ is infinite. In particular we recall results of Momose on hyperelliptic modular curves and on automorphisms groups of modular curves. Moreover, we fix some inaccuracies of the existing literature in few statements concerning automorphism groups of modular curves and we make available different results that are difficult to find a precise reference, f…
A curve X over the field Q of rational numbers is modular if it is dominated by X_1(N) for some N; if in addition the image of its jacobian in J_1(N) is contained in the new subvariety of J_1(N), then X is called a new modular curve. We prove that for each integer g at least 2, the set of new modular curves over Q of genus g is finite and computable. For the computability result, we prove an algorithmic version of the de Franchis-Severi Theorem. Similar finiteness results are proved for new modular curves of bounded gonality, for new modular curves whose jacobian is a quotient of the new part …
In this paper we prove that there are finitely many modular curves that admit a smooth plane model. Moreover, if the degree of the model is greater than or equal to 19, no such curve exists. For modular curves of Shimura type we show that none can admit a smooth plane model of degree 5, 6 or 7. Further, if a modular curve of Shimura type admits a smooth plane model of degree 8 we show that it must be a twist of one of four curves.
Let X be a product of Drinfeld modular curves over a general base ring A of odd characteristic. We classify those subvarieties of X which contain a Zariski-dense set of CM points. This is an analogue of the André-Oort conjecture. As an application, we construct non-trivial families of higher Heegner points on modular elliptic curves over global function fields.
This paper presents the theory of holomorphic vector valued modular forms from a geometric perspective. More precisely, we define certain holomorphic vector bundles on the modular orbifold of generalized elliptic curves whose sections are vector valued modular forms. This perspective simplifies the theory, and it clarifies the role that exponents of representations of SL_2(Z) play in the holomorphic theory of vector valued modular forms. Further, it allows one to use standard techniques in algebraic geometry to deduce free-module theorems and dimension formulae (deduced previously by other aut…
We show how the Langlands-Kottwitz method can be used to determine the local factors of the Hasse-Weil zeta-function of the modular curve at places of bad reduction. On the way, we prove a conjecture of Haines and Kottwitz in this special case.
We determine two explicit upper bounds for the stable Faltings height of principally polarised abelian surfaces over number fields corresponding to S-integral points on the Siegel modular variety A_2(2). One upper bound, using Runge's method, is uniform in S as long as |S|<3; the other, using Baker's method, is not uniform but allows |S|<10. Our application of a higher-dimensional Baker's method is completely explicit and improves upon the general case due to Levin.
This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over abelian fields is exposed. It is followed by a description of a method to construct classes in the Bloch's Chow group CH^3(X,1) by using Hecke translates of the cycles Z as above with suitable intersections in translates of modular curves. The article ends with the introduction of a modular Gersten complex for a general Shimura variety X and the corresponding g…
We give explicit equations for the simplest towers of Drinfeld modular curves over any finite field, and observe that they coincide with the asymptotically optimal towers of curves constructed by Garcia and Stichtenoth.
We determine which of the modular curves $X_Δ(N)$, that is, curves lying between $X_0(N)$ and $X_1(N)$, are bielliptic. Somewhat surprisingly, we find that one of these curves has exceptional automorphisms. Finally we find all $X_Δ(N)$ that have infinitely many quadratic points over $\mathbb{Q}$.
Let $p\ge 5$ be a prime. We show that the space of weight one Eisenstein series defines an embedding into $\PP^{(p-3)/2}$ of the modular curve $X_1(p)$ for the congruence group $Γ_1(p)$ that is scheme-theoretically cut out by explicit quadratic equations.
In this paper, we introduce modular polynomials for the congruence subgroup $Γ_0(M)$ when $ X_0(M) $ has genus zero and therefore the polynomials are defined by a Hauptmodul of $ X_0(M) $. We show that the intersection number of two curves defined by two modular polynomials can be expressed as the sum of the numbers of $\mathrm{SL}_2(\mathbb{Z})$-equivalence classes of positive definite binary quadratic forms over $\mathbb{Z}$. We also show that the intersection numbers can be also combinatorially written by Fourier coefficients of the Siegel Eisenstein series of degree 2, weight 2 with respec…
We outline the proof of a theorem of M. Baker and A. Tamagawa that gives a complete description of the torsion points on a modular curve embedded in its Jacobian using the notion of an `almost rational torsion point.'
We describe how the quadratic Chabauty method may be applied to explicitly determine the set of rational points on modular curves of genus $g>1$ whose Jacobians have Mordell--Weil rank $g$. This extends our previous work on the split Cartan curve of level 13 and allows us to consider modular curves that may have few known rational points or nontrivial local height contributions at primes of bad reduction. We illustrate our algorithms with a number of examples where we determine the set of rational points on several modular curves of genus 2 and 3: this includes Atkin--Lehner quotients $X_0^+(N…
We determine all modular curves X(N) (with $N\geq 7$) which are hyperelliptic or bielliptic. We make available a proof that the automorphism group of X(N) coincides with the normalizer of $Γ(N)$ in $\operatorname{PSL}_2(\mathbb{R})$.
We relate a part of the abelian etale fundamental group of curves over local fields to the component group of the Neron model of the jacobian. We apply the result to the modular curve X_0(p)/Q_p to show that the unramified abelian covering X_1(p) over X_0(p) (Shimura covering) uses up all the possible ramification over the special fiber of X_0(p).
We study the real components of modular curves. Our main result is an abstract group-theoretic description of the real components of a modular curve defined by a congruence subgroup of level N in terms of the corresponding subgroup of SL_2(Z/NZ). We apply this result to several families of modular curves (such as X_0(N), X_1(N), etc.) to obtain formulas for the number of real components. Somewhat surprisingly, the multiplicative order of 2 modulo N has a strong influence in many cases: for instance, if N is an odd prime then the real locus of X_1(N) is connected if and only if -1 and 2 generat…
Let k be an algebraically closed field of characteristic p. Let X(p^e;N) be the curve parameterizing elliptic curves with full level N structure (where p does not divide N) and full level p^e Igusa structure. By modular curve, we mean a quotient of any X(p^e;N) by any subgroup of ((Z/p^e Z)^* x \SL_2(Z/NZ))/{+-1}. We prove that in any sequence of distinct modular curves over k, the k-gonality tends to infinity. This extends earlier work, in which the result was proved for particular sequences of modular curves, such as X_0(N) for p not dividing N. We give an application to the function field a…
We determine the stable reduction at $p$ of all three point covers of the projective line with Galois group ${\rm SL}_2(p)$. As a special case, we recover the results of Deligne and Rapoport on the reduction of the modular curves $X_0(p)$ and $X_1(p)$. Our method does not use the fact that modular curves are moduli spaces. Instead, we rely on results of Raynaud and the authors which describe the stable reduction of three point covers whose Galois group is strictly divisible by $p$.
Let $X_0(I)$ be the Drinfeld's modular curve with level $I$ structure, where $I$ is a monic square-free ideal in $\F_{q}[T]$. In this paper we show the existence of an element in the motivic cohomology group $H^3_{\M}(X_0(I) \times X_0(I),\Q(2))$ whose regulator is related to a special value of a Ranking-Selberg convolution $L$-function. This result is the function field analogue of a theorem of Beilinson for the self product of a modular curve.
Let $N\geq 1$ be a square-free integer such that the modular curve $X_0^*(N)$ has genus $\geq 2$. We prove that $X_0^*(N)$ is bielliptic exactly for $19$ values of $N$, and we determine the automorphism group of these bielliptic curves. In particular, we obtain the first examples of nontrivial $Aut(X_0^*(N))$ when the genus of $X_0^*(N)$ is $\geq 3$. Moreover, we prove that the set of all quadratic points over $\mathbb{Q}$ for the modular curve $X_0^*(N)$ with genus $\geq 2$ and $N$ square-free is not finite exactly for $51$ values of $N$.
Let $F_n$ denote the Fermat curve given by $x^n+y^n=z^n$ and let $μ_n$ denote the Galois module of $n$th roots of unity. It is known that the integral homology group $H_1(F_n,\Z)$ is a cyclic $\Z[μ_n\times μ_n]$ module. In this paper, we prove this result using modular symbols and the modular description of Fermat curves; moreover we find a basis for the integral homology group $H_1(F_n,\Z)$. We also construct a family of Fermat curves using the Fermat surface and compute its monodromy.
We consider the generalized Jacobian $\widetilde{J}_0(N)$ of a modular curve $X_0(N)$ with respect to a reduced divisor given by the sum of all cusps on it. When $N$ is a power of a prime $\geq 5$, we exhibit that the group of rational torsion points $\widetilde{J}_0(N)(\mathbb{Q})_{\mathrm{Tor}}$ tends to be much smaller than the classical Jacobian.
This article gives an introduction for mathematicians interested in numerical computations in algebraic geometry and number theory to some recent progress in algorithmic number theory, emphasising the key role of approximate computations with modular curves and their Jacobians. These approximations are done in polynomial time in the dimension and the required number of significant digits. We explain the main ideas of how the approximations are done, illustrating them with examples, and we sketch some applications in number theory.
We extend the explicit quadratic Chabauty methods developed in previous work by the first two authors to the case of non-hyperelliptic curves. This results in an algorithm to compute the rational points on a curve of genus $g \ge 2$ over the rationals whose Jacobian has Mordell-Weil rank $g$ and Picard number greater than one, and which satisfies some additional conditions. This algorithm is then applied to the modular curve $X_{s}(13)$, completing the classification of non-CM elliptic curves over $\mathbf{Q}$ with split Cartan level structure due to Bilu-Parent and Bilu-Parent-Rebolledo.
In this work, we set up a theory of p-adic modular forms over Shimura curves over totally real fields which allows us to consider also non-integral weights. In particular, we define an analogue of the sheaves of k-th invariant differentials over the Shimura curves we are interested in, for any p-adic character. In this way, we are able to introduce the notion of overconvergent modular form of any p-adic weight. Moreover, our sheaves can be put in p-adic families over a suitable rigid-analytic space, that parametrizes the weights. Finally, we define Hecke operators, including the U operator, th…
Beilinson obtained a formula relating the special value of the L-function of H^2 of a product of modular curves to the regulator of an element of a motivic cohomology group - thus providing evidence for his general conjectures on special values of L-functions. In this paper we prove a similar formula for the L-function of the product of two Drinfeld modular curves providing evidence for an analogous conjecture in the case of function fields.
The $E_8$ root lattice can be constructed from the modular curve $X(13)$ by the invariant theory for the simple group $\text{PSL}(2, 13)$. This gives a different construction of the $E_8$ root lattice. It also gives an explicit construction of the modular curve $X(13)$.
We investigate modularity of elliptic curves over a general totally real number field, establishing a finiteness result for the set non-modular $j$-invariants. By analyzing quadratic points on some modular curves, we show that all elliptic curves over certain real quadratic fields are modular.
Among all the dynamical modular curves associated to quadratic polynomial maps, we determine which curves have infinitely many quadratic points. This yields a classification statement on preperiodic points for quadratic polynomials over quadratic fields, extending previous work of Poonen, Faber, and the authors.
We classify the three-dimensional representations of the modular group that are reducible but indecomposable, and their associated spaces of holomorphic vector-valued modular forms. We then demonstrate how such representations may be employed to compute periods of modular curves. This technique obviates the use of Hecke operators, and therefore provides a method for studying noncongruence modular curves as well as congruence.
We prove that integral points can be effectively determined on all but finitely many modular curves, and on all but one modular curve of prime power level.
We study the action on the Bruhat-Tits tree of unit groups of maximal orders in certain quaternion algebras over $\mathbb{F}_q(T)$ and discuss applications to arithmetic geometry and group theory.
Fuchsian groups with a modular embedding have the richest arithmetic properties among non-arithmetic Fuchsian groups. But they are very rare, all known examples being related either to triangle groups or to Teichmueller curves. In Part I of this paper we study the arithmetic properties of the modular embedding and develop from scratch a theory of twisted modular forms for Fuchsian groups with a modular embedding, proving dimension formulas, coefficient growth estimates and differential equations. In Part II we provide a modular proof for an Apery-like integrality statement for solutions of Pic…
We introduce the concept of quadratic modular symbol and study how these symbols are related to quadratic p-adic L-functions. These objects were introduced in [3] in the case of modular curves. In this paper, we discuss a method to attach quadratic modular symbols and quadratic p-adic L-functions to more general Shimura curves.
We describe an algorithm for computing a $\Q$-rational model for the quotient of a modular curve by an automorphism group, under mild assumptions on the curve and the automorphisms, by determining $q$-expansions for a basis of the corresponding space of cusp forms. We also give a moduli interpretation for general morphisms between modular curves.
