We present explicit models for non-elliptic genus one Shimura curves X_0(D, N) with Gamma_0(N)-level structure arising from an indefinite quaternion algebra of reduced discriminant D, and Atkin-Lehner quotients of them. In addition, we discuss and extend Jordan's work in his Ph. D Thesis on points with complex multiplication on Shimura curves.
Up to isomorphism over C, every simple principally polarized abelian variety of dimension 3 is the Jacobian of a smooth projective curve of genus 3. Furthermore, this curve is either a hyperelliptic curve or a plane quartic. Given a sextic CM field K, we show that if there exists a hyperelliptic Jacobian with CM by K, then all principally polarized abelian varieties that are Galois conjugated to it are hyperelliptic. Using Shimura's reciprocity law, we give an algorithm for computing approximations of the invariants of the initial curve, as well as their Galois conjugates. This allows us ton d…
In this note we give an algorithm to explicitly construct the modular parametrization of an elliptic curve over the rationals given the Weierstrass function $\wp (z)$.
We define a family of arithmetic zero cycles in the arithmetic Chow group of a modular curve X_0(N), for N>3 odd and squarefree, and identify the arithmetic degrees of these cycles as q-coefficients of the central derivative of a Siegel Eisenstein series of genus two. This parallels work of Kudla-Rapoport-Yang for Shimura curves.
We show that asymptotically the first Betti number, or the arithmetic genus, of a Shimura curve satisfies the Gauss--Bonnet equality. We also show that the first Betti number of a congruence hyperbolic 3--orbifold asymptotically vanishes relatively to hyperbolic volume.
Let $F$ be the maximal totally real subfield of $\mathbf{Q}(ζ_{32})$, the cyclotomic field of $32$nd roots of unity. Let $D$ be the quaternion algebra over $F$ ramified exactly at the unique prime above $2$ and 7 of the real places of $F$. Let $\mathcal{O}$ be a maximal order in $D$, and $X_0^D(1)$ the Shimura curve attached to $\mathcal{O}$. Let $C = X_0^D(1)/\langle w_D \rangle$, where $w_D$ is the unique Atkin-Lehner involution on $X_0^D(1)$. We show that the curve $C$ has several striking features. First, it is a hyperelliptic curve of genus $16$, whose hyperelliptic involution is exceptio…
We develop a descent criterion for $K$-linear abelian categories. Using recent advances in the Langlands correspondence due to Abe, we build a correspondence between certain rank 2 local systems and certain Barsotti-Tate groups on complete curves over a finite field. We conjecture that such Barsotti-Tate groups "come from" a family of fake elliptic curves. As an application of these ideas, we provide a criterion for being a Shimura curve over $\mathbb{F}_q$. Along the way, we formulate a conjecture on the field-of-coefficients of certain compatible systems.
We give a new characterisation of elliptic curves of Shimura type in terms commuting families of Frobenius lifts and also strengthen an old principal ideal theorem for ray class fields. These two results combined yield the existence of global minimal models for elliptic curves of Shimura type, generalising a result of Gross. Along the way we also prove a handful of small but new results regarding elliptic curves with complex multiplication.
We develop a general framework to study Szpiro's conjecture and the $abc$ conjecture by means of Shimura curves and their maps to elliptic curves, introducing new techniques that allow us to obtain several unconditional results for these conjectures. We first prove various general results about modular and Shimura curves, including bounds for the Manin constant in the case of additive reduction, a detailed study of maps from Shimura curves to elliptic curves and comparisons between their degrees, and lower bounds for the Petersson norm of integral modular forms on Shimura curves. Our main appl…
We present a novel axiomatic framework for establishing horizontal norm relations in Euler systems that are built from pushforwards of classes in the motivic cohomology of Shimura varieties. This framework is uniformly applicable to the Euler systems of both algebraic cycles and Eisenstein classes. It also applies to non-spherical pairs of groups that fail to satisfy a local multiplicity one hypothesis, and thus lie beyond the reach of existing methods. A key application of this work is the construction of an Euler system for the spinor Galois representations arising in the cohomology of Siege…
We compute explicit rational models for some Hilbert modular surfaces corresponding to square discriminants, by connecting them to moduli spaces of elliptic K3 surfaces. Since they parametrize decomposable principally polarized abelian surfaces, they are also moduli spaces for genus-2 curves covering elliptic curves via a map of fixed degree. We thereby extend classical work of Jacobi, Hermite, Bolza etc., and more recent work of Kuhn, Frey, Kani, Shaska, Völklein, Magaard and others, producing explicit families of reducible Jacobians. In particular, we produce a birational model for the modul…
We prove a result which describes, for each $n\ge 1$, all linear dependencies among $n$ images in elliptic curves of special points in modular or Shimura curves under parameterizations (or correspondences). Our result unifies and improves in certain aspects previous work of Rosen-Silverman--Kühne and Buium-Poonen.
Initially motivated by the relations between Anabelian Geometry and Artin's L-functions of the associated Galois-representations, here we study the list of zeta-functions of genus two abelian coverings of elliptic curves over finite fields. Our goal is to provide a complete description of such a list.
By a result of Moonen, there are exactly 20 positive-dimensional families of cyclic covers of the projective line for which the Torelli image is open and dense in the associated Shimura variety. For each of these, we compute the Newton polygons, and the $μ$-ordinary Ekedahl--Oort type, occurring in the characteristic $p$ reduction of the Shimura variety. We prove that all but a few of the Newton polygons appear on the open Torelli locus. As an application, we produce multiple new examples of Newton polygons and Ekedahl--Oort types of Jacobians of smooth curves in characteristic $p$. Under cert…
We define and compute the dressed elliptic genus of N = 2 heterotic compactifications with torsion that are principal two-torus bundles over a K3 surface. We consider the most general gauge bundle compatible with supersymmetry, a stable holomorphic vector bundle over the base together with an Abelian bundle over the total space, generalizing the computation previously done by the authors in the absence of the latter. Starting from a (0,2) gauged linear sigma-model with torsion we use supersymmetric localization to obtain the result. We provide also a mathematical definition of the dressed elli…
