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.
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 prove the higher Siegel--Weil formula for \emph{corank one} terms, relating (1) the $r^{\rm th}$ central derivatives of corank one Fourier coefficients of Siegel--Eisenstein series, and (2) the degrees of special cycles of virtual dimension 0 on the moduli stack of Hermitian shtukas with $r$ legs. Notably, the formula holds for all $r$, regardless of the order of vanishing of the Eisenstein series. This extends earlier work of Feng--Yun--Zhang, who proved the higher Siegel--Weil formula for the non-singular (corank zero) terms.
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…
In this paper, we prove the weak Siegel-Weil formula for the space M_2(Q) . We study the Hecke correspondence and representation numbers associated to Eichler orders, and give the explicit formula for degree of Hecke correspondence and average representation numbers over genus. This formula could recover the main results in [DuYang]. We could identify these numbers with the Fourier coefficients of Eisenstein series via Siegel-Weil formula(weak Siegel-Weil formula for M_2(Q). In the last part of this article, we reprove four square sum Theorem via Siegel-Weil formula and Kudla's matching.
We establish a Siegel-Weil formula for the dual pair $(U(1,1), U(V))$ over a function field, where $V$ is a hermitian space of dimension greater than 2.
We establish a Siegel-Weil formula for classical groups over a function field with odd characteristic, which asserts in many cases that the Siegel Eisenstein series is equal to an integral of a theta function. This is a function-field analogue of the classical result proved by A. Weil in his 1965 Acta Math. paper. We also give a convergence criterion for the theta integral by using Harder's reduction theory over function fields.
In this paper, we proved an arithmetic Siegel-Weil formula and the modularity of some arithmetic theta function on the modular curve $X_0(N)$ when $N$ is square free. In the process, we also construct some generalized Delta function for $Γ_0(N)$ and proved some explicit Kronecker limit formula for Eisenstein series on $X_0(N)$.
We study the Siegel-Weil formula in the second term range ($n+1\leq m\leq n+r$) for unitary groups of hermitian forms over a skew-field $D$ with involution of the second kind.
The main goal of this expository article is to survey recent progress on the arithmetic Siegel-Weil formula and its applications. We begin with the classical sum of two squares problem and put it in the context of the Siegel-Weil formula. We then motivate the geometric and arithmetic Siegel-Weil formula using the classical example of the product of modular curves. After explaining the recent result on the arithmetic Siegel-Weil formula for Shimura varieties of arbitrary dimension, we discuss some aspects of the proof and its application to the arithmetic inner product formula and the Beilinson…
In this paper, we establish the second term identity of the Siegel-Weil formula in full generality, and derive the Rallis inner product formula for global theta lifts for any dual pair. As a corollary, we resolve the non-vanishing problem of global theta lifts initiated by Steve Rallis.
We show a Siegel-Weil formula in the setting of exceptional theta correspondence. Using this, together with a new Rankin-Selberg integral for the Spin L-function of $PGSp_6$ discovered by A. Pollack, we prove that a cuspidal representation of $PGSp_6$ is a (weak) functorial lift from the exceptional group $G_2$ if its (partial) Spin L-function has a pole at $s=1$.
Following W.T.Gan and S.Takeda, we obtain a weak second term identity of the regularized Siegel-Weil formula for the unitary dual pair $(U(n,n),U(V))$, where $V$ is a split hermitian space of dimension $2r$ with $r+1 \leq n \leq 2r-1$. As an application, we obtain a Rallis inner product formula for theta lifts from $U(W)$ to $U(V)$ for a skew-hermitian space $W$ of dimension $n$.
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.
In this paper, we study twisted arithmetic divisors on the modular curve X_0(N) with N square-free. For each pair (Δ, r) where Δ>0 and Δ\equiv r^2 \mod 4N, we constructed a twisted arithmetic theta function ϕ_{Δ, r}(τ) which is a generating function of arithmetic twisted Heegner divisors. We prove the modularity of ϕ_{Δ, r}(τ), along the way, we also identify the arithmetic pairing \langle ϕ_{Δ, r}(τ),\widehatω_N \rangle with special value of some Eisenstein series, where \widehatω_N is a normalized metric Hodge line bundle.
In this paper, we investigate the interplay between positive-definite integral ternary quadratic forms and class numbers. We generalize a result of Jones relating the theta function for the genus of a quadratic form to the Hurwitz class numbers, obtaining an asymptotic formula (with a main term and error term away from finitely many bad square classes $t_j\mathbb{Z}^2$) relating the number of lattices points in a quadratic space of a given norm with a sum of class numbers related to that norm and the squarefree part of the discriminant of the quadratic form on this lattice.
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…
In this paper we investigate linear dependence of points in Mordell-Weil groups of abelian varieties via reduction maps. In particular we try to determine the conditions for detecting linear dependence in Mordell-Weil groups via finite number of reductions.
We derive a (weak) second term identity for the regularized Siegel-Weil formula for the even orthogonal group, which is used to obtain a Rallis inner product formula in the "second term range". As an application, we show the following non-vanishing result of global theta lifts from orthogonal groups. Let $π$ be a cuspidal automorphic representation of an orthogonal group $O(V)$ with $\dim V=m$ even and $r+1\leq m\leq 2r$. Assume further that there is a place $v$ such that $π_v\congπ_v\otimes\det$. Then the global theta lift of $π$ to $Sp_{2r}$ does not vanish up to twisting by automorphic dete…
Let $G$ be a linear split algebraic group. The degenerate Eisenstein series associated to a maximal parabolic subgroup $E_{P}(f^{0},s,g)$ with the spherical section $f^{0}$ is studied in the first part of the thesis. In this part, we study the poles of $E_{P}(f^{0},s,g)$ in the region $\operatorname{Re} s >0$. We determine when the leading term in the Laurent expansion of $E_{P}(f^{0},s,g)$ around $s=s_0$ is square integrable. The second part is devoted to finding identities between the leading terms of various Eisenstein series at different points. We present an algorithm to find this data an…
We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove analogues of the Shafarevich conjecture for some surfaces of general type.
Let $\ell$ be a prime, $k$ a finitely generated field of characteristic different from $\ell$, and $X$ a smooth geometrically connected curve over $k$. Say a semisimple representation of $π_1^{\mathrm{et}}(X_{\bar k})$ is arithmetic if it extends to a finite index subgroup of $π_1^{\mathrm{et}}(X)$. We show that there exists an effective constant $N=N(X,\ell)$ such that any semisimple arithmetic representation of $π_1^{\mathrm{et}}(X_{\bar k})$ into $\mathrm{GL}_n(\bar{\mathbb{Z}_\ell})$, which is trivial mod $\ell^N$, is in fact trivial. This extends a previous result of the second author fro…
Let $F$ and $G$ be Siegel cusp forms for $\Sp_4(\Z)$ and weights $k_1, k_2$ respectively. Also let $F$ and $G$ be Hecke eigenforms lying in distinct eigen spaces. Further suppose that neither $F$ nor $G$ is a Saito-Kurokawa lift. In this article, we study simultaneous arithmetic behaviour of Hecke eigenvalues of these Hecke eigenforms.
We define and study a Weil-étale topos for any regular, proper scheme $X$ over $\Spec(Z)$ which has some of the properties suggested by Lichtenbaum for such a topos. In particular, the cohomology with $R$-coefficients has the expected relation to $ζ(X,s)$ at $s=0$ if the Hasse-Weil L-functions $L(h^i(X_Q),s)$ have the expected meromorphic continuation and functional equation. If $\X$ has characteristic $p$ the cohomology with $Z$-coefficients also has the expected relation to $ζ(X,s)$ and our cohomology groups recover those previously studied by Lichtenbaum and Geisser.
We prove higher moment formulas for Siegel transforms defined over the space of unimodular $S$-lattices in $\mathbb Q_S^d$, $d\ge 3$, where in the real case, the formulas are introduced by Rogers (1955). As applications, we obtain the random statements of Gauss circle problem for any convex sets in $\mathbb Q_S^d$ containing the origin and of the effective Oppenheim conjecture for $S$-arithmetic quadratic forms.
In this paper we prove Hasse local-global principle for polynomials with coefficients in Mordell-Weil type groups over number fields like S-units, abelian varieties with trivial ring of endomorphisms and odd algebraic K-theory groups.
We give a conjectural description of the vanishing order and leading Taylor coefficient of the Zeta function of a proper, regular arithmetic scheme $\mathcal{X}$ at any integer $n$ in terms of Weil-étale cohomology complexes. This extends work of Lichtenbaum \cite{Lichtenbaum05} and Geisser \cite{Geisser04b} for $\mathcal{X}$ of characteristic $p$, of Lichtenbaum \cite{li04} for $\mathcal{X}=\mathrm{Spec}(\mathcal{O}_F)$ and $n=0$ where $F$ is a number field, and of the second author for arbitrary $\mathcal{X}$ and $n=0$ \cite{Morin14}. We show that our conjecture is compatible with the Tamaga…
We introduce the use of $p$-descent techniques for elliptic surfaces over a perfect field of characteristic not $2$ or $3$. Under mild hypotheses, we obtain an upper bound for the rank of a non-constant elliptic surface. When $p=2$, this bound is an arithmetic refinement of a well-known geometric bound for the rank deduced from Igusa's inequality. This answers a question raised by Ulmer. We give some applications to rank bounds for elliptic surfaces over the rational numbers.
In \cite{S}, Shyr derived an analogue of Dirichlet's class number formula for arithmetic Tori. We use this formula to derive a Brauer-Siegel formula for Tori, relating the Discriminant of a torus to the product of its regulator and class number. We apply this formula to derive asymptotics and lower bounds for Galois orbits of CM points in the Siegel modular variety $A_{g,1}$. Specifically, we ask that the sizes of these orbits grows like a power of Discriminant of the underlying endomorphism algebra. We prove this unconditionally in the case $g\leq 5$, and for all $g$ under the Generalized Rie…
Hasse-Weil zeta functions of SL_2-character varieties of arithmetic two bridge link groups are determined. Special values of the zeta functions at s=0,1,2 are also investigated.
We investigate the first moment of primes in progressions $$ \sum_{\substack{q\leq x/N \\ (q,a)=1}} \Big(ψ(x; q, a) - \frac x{φ(q)}\Big) $$ as $x, N \to \infty$. We show unconditionally that, when $a=1$, there is a significant bias towards negative values, uniformly for $N\leq {\rm e}^{c\sqrt{\log x}}$. The proof combines recent results of the authors on the first moment and on the error term in the dispersion method. More generally, for $a \in \mathbb Z\setminus\{0\}$ we prove estimates that take into account the potential existence (or inexistence) of Landau-Siegel zeros.
The aim of this article is to study the derivative of "incoherent" Siegel-Eisenstein series on symplectic groups over function fields. By the Siegel-Weil formula for "coherent" Siegel-Eisenstein series, we can relate the non-singular Fourier coefficients of the derivative in question to the arithmetic of quadratic forms. Restricting to the special case when the incoherent quadratic space has dimension 2, we explicitly compute all the Fourier coefficients, and connect the derivative with the special cycles on the coarse moduli schemes of rank 2 Drinfeld modules with "complex multiplication."
In this paper, we discuss the theory of the Siegel modular variety in the aspects of arithmetic and geometry. This article covers the theory of Siegel modular forms, the Hecke theory, a lifting of elliptic cusp forms, geometric properties of the Siegel modular variety, (hypothetical) motives attached to Siegel modular forms and a cohomology of the Siegel modular variety.
We prove that the ring of Siegel modular forms of weight divisible by g+n+1 is isomorphic to the ring of (log) pluricanonical forms on the n-fold Kuga family of abelian varieties and its certain compactifications, for every arithmetic group for a symplectic form of rank 2g>2. We also give applications to the Kodaira dimension of the Kuga variety. In most cases, the Kuga variety has canonical singularities.
