We consider families of special cycles, as introduced by Kudla, on Shimura varieties attached to anisotropic quadratic spaces over totally real fields. By augmenting these cycles with Green currents, we obtain classes in the arithmetic Chow groups of the canonical models of these Shimura varieties (viewed as arithmetic varieties over their reflex fields). The main result of this paper asserts that generating series built from these cycles can be identified with the Fourier expansions of non-holomorphic Hilbert-Jacobi modular forms. This result provides evidence for an arithmetic analogue of Kudla's conjecture relating these cycles to Siegel modular forms.
In this article, we develop an arithmetic analogue of Fourier--Jacobi period integrals for a pair of unitary groups of equal rank. We construct the so-called Fourier--Jacobi cycles, which are algebraic cycles on the product of unitary Shimura varieties and abelian varieties. We propose the arithmetic Gan--Gross--Prasad conjecture for these cycles, which is related to central derivatives of certain Rankin--Selberg $L$-functions, and develop a relative trace formula approach toward this conjecture. As a necessary ingredient, we propose the conjecture of the corresponding arithmetic fundamental l…
The Siegel-Jacobi space is a non-symmetric homogeneous space which is very important geometrically and arithmetically. In this paper, we discuss the theory of the geometry and the arithmetic of the Siegel-Jacobi space.
We obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in the Jacobian varieties.
We prove that formal Fourier Jacobi expansions of degree 2 are Siegel modular forms. As a corollary, we deduce modularity of the generating function of special cycles of codimension 2, which were defined by Kudla. A second application is the proof of termination of an algorithm to compute Fourier expansions of arbitrary Siegel modular forms of degree 2. Combining both results enables us to compute relations of special cycles in the second Chow group.
Let V be a rational quadratic space of signature (m,2). A conjecture of Kudla relates the arithmetic degrees of top degree special cycles on an integral model of a Shimura variety associated with SO(V) to the coefficients of the central derivative of an incoherent Siegel Eisenstein series of genus m+1. We prove this conjecture for the coefficients of non-singular index T when T is not positive definite. We also prove it when T is positive definite and the corresponding special cycle has dimension 0. To obtain these results, we establish new local arithmetic Siegel-Weil formulas at the archimed…
Let $k$ be a number field, let $X$ be a Kummer variety over $k$, and let $δ$ be an odd integer. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for $X$. For example, we show that if the Brauer-Manin obstruction is the only obstruction to the existence of rational points on $X$ over all finite extensions of $k$, then the $2$-primary Brauer-Manin obstruction is the only obstruction to the existence of a zero-cycle of degree $δ$ on $X$ over $k$.
In this article we study the Gross-Schoen diagonal cycle on a triple product of Shimura curves at a place of bad reduction. We relate the image of the diagonal cycle under the Abel-Jacobi map to certain period integral that governs the central critical value of the Garrett-Rankin type triple product $L$-function via level raising congruences. As an application we prove certain rank $0$ case of the Bloch-Kato conjecture for the symmetric cube motive of a weight $2$ modular form.
We classify all post-critically finite unicritical polynomials defined over the maximal totally real algebraic extension of ${\mathbb Q}$. Two auxiliary results used in the proof of this result may be of some independent interest. The first is a recursion formula for the $n$-diameter of an interval, which uses properties of Jacobi polynomials. The second is a numerical criterion which allows one to the give a bound on the degree of any algebraic integer having all of its complex embeddings in a real interval of length less than $4$.
Given a smooth and separated K(pi,1) variety X over a field k, we associate a "cycle class" in etale cohomology with compact supports to any continuous section of the natural map from the arithmetic fundamental group of X to the absolute Galois group of k. We discuss the algebraicity of this class in the case of curves over p-adic fields, and deduce in particular a new proof of Stix's theorem according to which the index of a curve X over a p-adic field k must be a power of p as soon as the natural map from the arithmetic fundamental group of X to the absolute Galois group of k admits a sectio…
In this paper, we will study the arithmetic of the Eisenstein part of the modular Jacobians. In the first section, we introduce some general preliminaries of the arithmetic theory of modular curves that we will need later. In the second section, we give an example of modular abelian varieties due to Gross and study its properties in some details. In the third section, we define Eisenstein quotients of the modular Jacobians in general and give a criterion of the non-triviality of Heegner points on such Eisenstein quotients. The last two sections return to the concrete examples when the level of…
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.
Let $k$ be a number field. In the spirit of a result by Yongqi Liang, we relate the arithmetic of rational points over finite extensions of $k$ to that of zero-cycles over $k$ for Kummer varieties over $k$. For example, for any Kummer variety $X$ over $k$, we show that if the Brauer-Manin obstruction is the only obstruction to the Hasse principle for rational points on $X$ over all finite extensions of $k$, then the ($2$-primary) Brauer-Manin obstruction is the only obstruction to the Hasse principle for zero-cycles of any given odd degree on $X$ over $k$. We also obtain similar results for pr…
Let $X$ be a rationally connected algebraic variety, defined over a number field $k$. We find a relation between the arithmetic of rational points on $X$ and the arithmetic of zero-cycles. More precisely, we consider the following statements: (1) the Brauer-Manin obstruction is the only obstruction to weak approximation for $K$-rational points on $X_K$ for all finite extensions $K/k$; (2) the Brauer-Manin obstruction is the only obstruction to weak approximation in some sense that we define for zero-cycles of degree 1 on $X_K$ for all finite extensions $K/k$; (3) a certain sequence of local-gl…
We define variants of PEL type of the Shimura varieties that appear in the context of the Arithmetic Gan-Gross-Prasad conjecture. We formulate for them a version of the AGGP conjecture. We also construct (global and semi-global) integral models of these Shimura varieties and formulate for them conjectures on arithmetic intersection numbers. We prove some of these conjectures in low dimension.
We study the Jacobian $J$ of the smooth projective curve $C$ of genus $r-1$ with affine model $y^r = x^{r-1}(x + 1)(x + t)$ over the function field $\mathbb{F}_p(t)$, when $p$ is prime and $r\ge 2$ is an integer prime to $p$. When $q$ is a power of $p$ and $d$ is a positive integer, we compute the $L$-function of $J$ over $\mathbb{F}_q(t^{1/d})$ and show that the Birch and Swinnerton-Dyer conjecture holds for $J$ over $\mathbb{F}_q(t^{1/d})$. When $d$ is divisible by $r$ and of the form $p^ν+1$, and $K_d := \mathbb{F}_p(μ_d,t^{1/d})$, we write down explicit points in $J(K_d)$, show that they g…
We show that the recent conjecture of the first-named author for the special value at $s=1$ of the zeta function of an arithmetic surface is equivalent to the Birch-Swinnerton-Dyer conjecture for the Jacobian of the generic fibre.
We study abelian varieties defined over function fields of curves in positive characteristic $p$, focusing on their arithmetic within the system of Artin-Schreier extensions. First, we prove that the $L$-function of such an abelian variety vanishes to high order at the center point of its functional equation under a parity condition on the conductor. Second, we develop an Artin-Schreier variant of a construction of Berger. This yields a new class of Jacobians over function fields for which the Birch and Swinnerton-Dyer conjecture holds. Third, we give a formula for the rank of the Mordell-Weil…
We study the arithmetic of abelian varieties over $K=k(t)$ where $k$ is an arbitrary field. The main result relates Mordell-Weil groups of certain Jacobians over $K$ to homomorphisms of other Jacobians over $k$. Our methods also yield completely explicit points on elliptic curves with unbounded rank over $\Fpbar(t)$ and a new construction of elliptic curves with moderately high rank over $\C(t)$.
We develop a method to calculate the Néron-Tate height of tautological integral cycles on jacobians of curves defined over number fields. As examples we obtain closed expressions for the Néron-Tate height of the difference surface, the Abel-Jacobi images of the square of the curve, and of any symmetric theta divisor. As applications we obtain a new effective positive lower bound for the essential minimum of any Abel-Jacobi image of the curve and a proof, in the case of jacobians, of a formula proposed by Autissier relating the Faltings height of a principally polarized abelian variety with the…
For several applications in the arithmetic of abelian varieties it is important to compute canonical heights. Following Faltings and Hriljac, we show how the canonical height on the Jacobian of a smooth projective curve can be computed using arithmetic intersection theory on a regular model of the curve in practice. In the case of hyperelliptic curves we present a complete algorithm that has been implemented in Magma. Several examples are computed and the behavior of the running time is discussed.
We introduce moduli spaces of abelian varieties which are arithmetic models of Shimura varieties attached to unitary groups of signature (n-1, 1). We define arithmetic cycles on these models and study their intersection behaviour. In particular, in the non-degenerate case, we prove a relation between their intersection numbers and Fourier coefficients of the derivative at s=0 of a certain incoherent Eisenstein series for the group U(n, n). This is done by relating the arithmetic cycles to their formal counterpart from Part I via non-archimedean uniformization, and by relating the Fourier coeff…
We give a close formula for the Néron-Tate height of tautological integral cycles on Jacobians of curves over number fields as well as a new lower bound for the arithmetic self-intersection number $\hatω^2$ of the dualizing sheaf of a curve in terms of Zhang's invariant $φ$. As an application, we obtain an effective Bogomolov-type result for the tautological cycles. We deduce these results from a more general combinatorial computation of arithmetic intersection numbers of adelic line bundles on higher self-products of curves, which are linear combinations of pullbacks of line bundles on the cu…
We study the Abel-Jacobi image of the Ceresa cycle W_k-W_k^-, where W_k is the image of the k-th symmetric product of a curve X on its Jacobian variety. For the Fermat curve of degree N, we express it in terms of special values of generalized hypergeometric functions and give a criterion for the non-vanishing of W_k-W_k^- modulo algebraic equivalence, which is verified numerically for some N and k.
Generalised Heegner cycles are associated to a pair of an elliptic Hecke eigenform and a Hecke character over an imaginary quadratic extension $K/\Q$. Let $p$ be an odd prime split in $K/\Q$ and $l\neq p$ an odd unramified prime. We prove the non-triviality of the $p$-adic Abel-Jacobi image of generalised Heegner cycles modulo $p$ over the $\Z_l$-anticylotomic extension of $K$. The result is an evidence for the refined Bloch-Beilinson and the Bloch-Kato conjecture. In the case of two, it provides a refinement of the results of Cornut and Vatsal on the non-triviality of Heegner points over the …
We recall first the analytic theory of the Hilbert modular varieties of level $Γ_1(\mathfrak{c},\mathfrak{n})$ and their compactifications. We construct arithmetic toroidal compactifications of the universal Hilbert-Blumenthal abelian variety (and of its fiber products), over the compactifications of the Hilbert modular variety constructed by the first author. We give several applications related to Hodge theory, Hilbert-Jacobi modular forms and Hilbert modular forms of half-integer weight.
We formulate and prove a local arithmetic Siegel--Weil formula for GSpin Rapoport--Zink spaces, which is a precise identity between the arithmetic intersection numbers of special cycles on GSpin Rapoport--Zink spaces and the derivatives of local representation densities of quadratic forms. As a first application, we prove a semi-global arithmetic Siegel--Weil formula as conjectured by Kudla, which relates the arithmetic intersection numbers of special cycles on GSpin Shimura varieties at a place of good reduction and the central derivatives of nonsingular Fourier coefficients of incoherent Sie…
We give an explicit formula for the arithmetic intersection number of CM cycles on Lubin-Tate spaces for all levels. We prove our formula by formulating the intersection number on the infinite level. Our CM cycles are constructed by choosing two separable quadratic extensions $K_1,K_2/F$ of non-Archimedean local fields $F$. Our formula works for all cases, $K_1$ and $K_2$ can be either the same or different, ramify or unramified. As applications, this formula translate the linear Arithmetic Fundamental Lemma (linear AFL) into a comparison of integrals. This formula can also be used to recover …
Let M be an arithmetic hyperbolic 3-manifold, such as a Bianchi manifold. We conjecture that there is a basis for the second homology of M, where each basis element is represented by a surface of `low' genus, and give evidence for this. We explain the relationship between this conjecture and the study of torsion homology growth.
We prove modularity of formal series of Jacobi forms that satisfy a natural symmetry condition. They are formal analogues of Fourier-Jacobi expansions of Siegel modular forms. From our result and a theorem of Wei Zhang, we deduce Kudla's conjecture on the modularity of generating series of special cycles of arbitrary codimension and for all orthogonal Shimura varieties.
It is shown that $c=-29/16$ is the unique rational number of smallest denominator, and the unique rational number of smallest numerator, for which the map $f_c(x) = x^2+c$ has a rational periodic point of period $3$. Several arithmetic conditions on the set of all such rational numbers $c$ and the rational orbits of $f_c(x)$ are proved. A graph on the numerators of the rational $3$-periodic points of maps $f_c$ is considered which reflects connections between solutions of norm equations from the cubic field of discriminant $-23$.
Generalised Heegner cycles are associated to a pair of an elliptic newform and a Hecke character over an imaginary quadratic extension $K/\Q$. The cycles live in a middle dimensional Chow group of a Kuga-Sato variety arising from an indefinite Shimura curve over the rationals and a self product of a CM abelian surface. Let $p$ be an odd prime split in $K/\Q$. We prove the non-triviality of the $p$-adic Abel-Jacobi image of generalised Heegner cycles modulo $p$ over the $\Z_p$-anticylotomic extension of $K$. The result implies the non-triviality of the generalised Heegner cycles in the top grad…
We prove the local Kudla--Rapoport conjecture, which is a precise identity between the arithmetic intersection numbers of special cycles on unitary Rapoport--Zink spaces and the derivatives of local representation densities of hermitian forms. As a first application, we prove the global Kudla--Rapoport conjecture, which relates the arithmetic intersection numbers of special cycles on unitary Shimura varieties and the central derivatives of the Fourier coefficients of incoherent Eisenstein series. Combining previous results of Liu and Garcia--Sankaran, we also prove cases of the arithmetic Sieg…
We construct natural Green forms for special cycles in orthogonal and unitary Shimura varieties, in all codimensions, and, for compact Shimura varieties of type O(p,2) and U(p,1), we show that the resulting local archimedean height pairings are related to special values of derivatives of Siegel Eisentein series. A conjecture put forward by Kudla relates these derivatives to arithmetic intersections of special cycles, and our results settle the part of his conjecture involving local archimedean heights.
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian' Chowla-Selberg formula, which is a special case of Colmez's conjecture; an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two; Lauter's conjecture about the denominators of CM values of Igusa invariants; and a result about bad reductions of CM genus two curves.
We study the $Λ$-module structure of the ordinary parts of the arithmetic cohomology groups of modular Jacobians made out of various towers of modular curves. We prove that the ordinary parts of $Λ$-adic Selmer groups coming from two different towers have "almost same" $Λ$-module structures. We also prove the cotorsionness of $Λ$-adic Tate-Shafarevich group under mild assumptions.
This paper is concerned with the complexity and stability of arithmetic operations in the jacobian variety of curves over the field of complex numbers, as the genus grows to infinity. We focus on modular curves. Efficient and stable computation in the jacobian of modular curves is useful for computing coefficients of modular forms in deterministic polynomial time. This work is part of my contribution to Edixhoven's program for solving this problem.
Let F be a Siegel cusp form of weight k and genus n>1 with Fourier-Jacobi coefficients f_m. In this article, we estimate the growth of the Petersson norms of f_m, where m runs over an arithmetic progression. This result sharpens a recent result of Kohnen in [5].
We apply the theory of Borcherds products to calculate arithmetic volumes (heights) of Shimura varieties of orthogonal type up to contributions from very bad primes. The approach is analogous to the well-known computation of their geometric volume by induction, using special cycles. A functorial theory of integral models of toroidal compactifications of those varieties and a theory of arithmetic Chern classes of integral automorphic vector bundles with singular metrics are used. We obtain some evidence in the direction of Kudla's conjectures on relations of heights of special cycles on these v…
Our aim is to clarify the relationship between Kudla's and Bruinier's Green functions attached to special cycles on Shimura varieties of orthogonal and unitary type. These functions play a key role in the arithmetic geometry of the special cycles in the context of Kudla's program. In particular, we show that the generating series obtained by taking the differences of the two families of Green functions is a modular form with trivial holomorphic projection. Along the way, we construct a section of the Maass lowering operator for moderate growth modular forms valued in the Weil representation us…
For each $k\geq 3$, Green proved an arithmetic $k$-cycle removal lemma for any abelian group $G$. The best known bounds relating the parameters in the lemma for general $G$ are of tower-type. For $k>3$, even in the case $G=\mathbb{F}_2^n$ no better bounds were known prior to this paper. This special case has received considerable attention due to its close connection to property testing of boolean functions. For every $k\geq 3$, we prove a polynomial bound relating the parameters for $G=\mathbb{F}_p^n$, where $p$ is any fixed prime. This extends the result for $k=3$ by the first two authors. D…
In this paper, we define the concept of Jacobi forms of half-integral weight using Takase's automorohic factor of weight 1/2 for a two-fold covering group of the symplectic group on the Siegel upper half plane and find covariant maps for the Schroedinger-Weil representation. Using these covariant maps, we construct Jacobi forms of half-integral weight with respect to an arithmetic subgroup of the Jacobi group.
