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 groups CH^p_{mod}(X) and CH^p_{mod}(X,1).
We study the degree of the special cubic fourfolds in the Hilbert scheme of cubic fourfolds via a computation of the generating series of Heegner divisors of even lattice of signature (2, 20).
In this paper we give some evidence for the Tate (and Hodge) conjecture(s) for a class of Hilbert modular fourfolds X, whose connected components arise as arithmetic quotients of the fourfold product of the upper half plane by congruence subgroups Γof SL(2, O_K), where O_K denotes the ring of integers of a quartic, Galois, totally real number field K. The expected relationship to the orders of poles of the associated L-functions is verified for abelian extensions of \Q. Also shown is the existence of homologically non-trivial cycles of codimension two which are not intersections of divisors.
We study universal families of stable genus two curves with level structure. Among other things, it is shown that the (1,1) part is spanned by divisor classes, and that there are no cycles of type (2,2) in the third cohomology of the first direct image. Using this, we deduce the Hodge and Tate conjectures hold for these varieties.
In this paper we construct a non-trivial element in the higher Griff{}iths group $Griff ^{3,2}$ for the generic abelian fourfold $A^4$ with polarization of type $(1,2,2,2)$. The key idea is to use that $A^4$ can be realized as a generalized Prym variety and for this reason contains in a natural way some curves i.e. dimension 1 cycles.
A special cubic fourfold is a smooth hypersurface of degree three and dimension four that contains a surface not homologous to a complete intersection. Special cubic fourfolds give rise to a countable family of Noether-Lefschetz divisors C_d in the moduli space C of smooth cubic fourfolds. These divisors are irreducible 19-dimensional varieties birational to certain orthogonal modular varieties. We use the "low-weight cusp form trick" of Gritsenko, Hulek, and Sankaran to obtain information about the Kodaira dimension of C_d. For example, if d = 6n + 2, then we show that C_d is of general type …
The constructive inverse Galois problem via Hilbert modular forms: realizing the transitive group 17T7
Massachusetts Institute of Technology（麻省理工学院）；University of Bristol（布里斯托大学）；Harvard University（哈佛大学）；Universität Würzburg（维尔茨堡大学）；Rijksuniveriteit Groningen（格罗宁根大学）；Leibniz Universität Hannover（汉诺威莱布尼茨大学）；Dartmouth College（达特茅斯学院）
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 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…
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)$.
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 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.
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 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 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 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.
In the classical setting, the modular equation of level $N$ for the modular curve $X_0(1)$ is the polynomial relation satisfied by $j(τ)$ and $j(Nτ)$, where $j(τ)$ is the standard elliptic $j$-function. In this paper, we will describe a method to compute modular equations in the setting of Shimura curves. The main ingredient is the explicit method for computing Hecke operators on the spaces of modular forms on Shimura curves developed in [13].
Triangular modular curves are a generalization of modular curves that arise from quotients of the upper half-plane by congruence subgroups of hyperbolic triangle groups. These curves also arise naturally as a source of Belyi maps with monodromy $\text{PGL}_2(\mathbb{F}_q)$ or $\text{PSL}_2(\mathbb{F}_q)$. We present a computational approach to enumerate Borel-type triangular modular curves of low genus, and we carry out this enumeration for prime level and small genus.
We study the existence of rational points on modular curves of $\cal{D}$-elliptic sheaves over local fields and the structure of special fibres of these curves. We discuss some applications which include finding presentations for arithmetic groups arising from quaternion algebras, finding the equations of modular curves of $\cal{D}$-elliptic sheaves, and constructing curves violating the Hasse principle.
In this paper, we propose an improved algorithm for computing mod $\ell$ Galois representations associated to eigenforms of arbitrary levels prime to $\ell$. Precisely, we present a method to find the Jacobians of modular curves which have the smallest possible dimensions in a well-defined sense to realize the modular Galois representations. This algorithm also works without the assumption $\ell \ge k-1$, where $k$ are the weights of the eigenforms.
We prove that every elliptic curve defined over a totally real number field of degree 4 not containing $\sqrt{5}$ is modular. To this end, we study the quartic points on four modular curves.
We present a detailed analysis of how to implement the computation of modular symbols for a given elliptic curve by using numerical approximations. This method turns out to be more efficient than current implementation as the conductor of the curve increases.
