We introduce a smooth variance sum associated to a pair of positive definite symmetric integral matrices $A_{m\times m}$ and $B_{n\times n}$, where $m\geq n$. By using the oscillator representation, we give a formula for this variance sum in terms of a smooth sum over the square of a functional evaluated on the $B$-th Fourier coefficients of the vector valued holomorphic Siegel modular forms which are Hecke eigenforms and obtained by the theta transfer from $O_{A_{m\times m}}$. By using the Ramanujan bound on the Fourier coefficients of the holomorphic cusp forms, we give a sharp upper bound on this variance when $n=1$. As applications, we prove a cutoff phenomenon for the probability that a unimodular lattice of dimension $m$ represents a given even number. This gives an optimal upper bound on the sphere packing density of almost all even unimodular lattices. Furthermore, we generalize the result of Bourgain, Rudnick and Sarnak~\cite{Bourgain}, and also give an optimal bound on the diophantine exponent of the $p$-integral points on any positive definite $d$-dimensional quadric, where $d\geq 3$. This improves the best known bounds due to Ghosh, Gorodnik and Nevo~\cite{GGN} into an optimal bound.
We investigate Siegel theta series for quadratic forms of signature $(m-1,1)$. On the one hand, we construct a holomorphic series that does not transform like a modular form. On the other hand, we construct a non-holomorphic series that transforms like a Siegel modular form of weight $m/2$. Moreover, the holomorphic series describes almost everywhere the holomorphic part of the modular series.
Let F be a non-archimedian local field of characteristic 0, and O the ring of integres in F. We give an explicit formula for the Siegel series of a half-integral matrix over O. This formula expresses the Siegel series of a half-integral matrix $B$ explicitly in terms of the Gross-Keating invariant of $B$ and its related invariants.
The modular transformation behavior of theta series for indefinite quadratic forms is well understood in the case of elliptic modular forms due to Vignéras, who deduced that solving a differential equation of second order serves as a criterion for modularity. In this paper, we will give a generalization of this result to Siegel theta series.
For any integer $d\geq 3$ such that $-d$ is a fundamental discriminant, we show that the Dirichlet $L$-function associated with the real primitive character $χ(\cdot)=(\frac{-d}{\cdot})$ does not vanish on the positive part of the interval $[1-6.5/\sqrt{d},\ 1]. $
Let $-d$ be a a negative discriminant and let $T$ vary over a set of representatives of the integral equivalence classes of integral binary quadratic forms of discriminant $-d$. We prove an asymptotic formula for $d \to \infty$ for the average over $T$ of the number of representations of $T$ by an integral positive definite quaternary quadratic form and obtain results on averages of Fourier coefficients of linear combinations of Siegel theta series. We also find an asymptotic bound from below on the number of binary forms of fixed discriminant $-d$ which are represented by a given quaternary f…
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.
It is known that average Siegel theta series lie in the space of Siegel Eisenstein series. Also, every lattice equipped with an even integral quadratic form lies in a maximal lattice. Here we consider average Siegel theta series of degree 2 attached to maximal lattices; we construct maps for which the average theta series is an eigenform. We evaluate the action of these maps on Siegel Eisenstein series of degree 2 (without knowing their Fourier coefficients), and then realise the average theta series as an explicit linear combination of the Eisenstein series.
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."
Let E/Q be a real quadratic field and pi_0 a cuspidal, irreducible, automorphic representation of GL(2,A_E) with trivial central character and infinity type (2,2n+2) for some non-negative integer n. We show that there exists a non-zero Siegel paramodular newform F with weight, level, Hecke eigenvalues, epsilon factor and L-function determined explicitly by pi_0. We tabulate these invariants in terms of those of pi_0 for every rational prime p.
In this paper we present an algorithm for computing Hecke eigensystems of Hilbert-Siegel cusp forms over real quadratic fields of narrow class number one. We give some illustrative examples using the quadratic field $\Q(\sqrt{5})$. In those examples, we identify Hilbert-Siegel eigenforms that are possible lifts from Hilbert eigenforms.
A generalization of Serre's $p$-adic Eisenstein series in the case of Siegel modular forms is studied and a coincidence between a $p$-adic Siegel Eisenstein series and a genus theta series associated with a quaternary quadratic form is proved.
In this paper, we present a simple analytic proof of Siegel's theorem that concerns the lower bound of $L(1,χ)$ for primitive quadratic $χ$. Our new method compares an elementary lower bound with an analytic upper bound obtained by the inverse Mellin transform of $Γ(s)$.
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…
Let q be an integral quadratic form of signature (2,m+2). We will show that the Siegel theta functions attached to q satisfies certain symmetries. As an application, we prove the symmetries for automorphic forms on the orthogonal group of q closely related to Heegener divisors (Borcherds lifts and automorphic Green functions).
In this paper, we calculate the Fourier coefficients of the paramodular twist of a Siegel modular form of paramodular level $N$ by a nontrivial quadratic Dirichlet character mod $p$ for $p$ a prime not dividing $N$. As an application, these formulas can be used to verify the nonvanishing of the twist for particular examples. We also deduce that the twists of Maass forms are identically zero.
Let $S_k(Γ^{\mathrm{para}}(N))$ be the space of Siegel paramodular forms of level $N$ and weight $k$. Let $p\nmid N$ and let $χ$ be a nontrivial quadratic Dirichlet character mod $p$. Based on our previous work, we define a linear twisting map $\mathcal{T}_χ:S_k(Γ^{\mathrm{para}}(N))\rightarrow S_k(Γ^{\mathrm{para}}(Np^4))$. We calculate an explicit expression for this twist and give the commutation relations of this map with the Hecke operators and Atkin-Lehner involution for primes $\ell\neq p$.
In this paper, we give a formula for the extended Gross-Keating datum of a quadratic form defined over a finite extension of $\mathbb{Z}_p$ (for $p>2$) or a finite unramified extension of $\mathbb{Z}_2$. As an application, we describe an explicit formula for the Siegel series for $\mathbb{Z}_p$. We also present the details of algorithms implemented in a Mathematica package to compute the extended Gross-Keating datum and the Siegel series.
We present three applications of the Siegel mass formula. First we estimate the number of solutions of a quadratic system of equations. We also include estimates for the distribution of lattice points on caps of four dimensional spheres and for the number of non-congruent lattice tetrahedra.
We first generate ray class fields over imaginary quadratic fields in terms of Siegel-Ramachandra invariants, which would be an extension of Schertz's result. And, by making use of quotients of Siegel-Ramachandra invariants we also construct ray class invariants over imaginary quadratic fields whose minimal polynomials have relatively small coefficients, from which we are able to solve certain quadratic Diophantine equations.
Let $k \geq 2$ and $N$ be positive integers and let $χ$ be a Dirichlet character modulo $N$. Let $f(z)$ be a modular form in $M_k(Γ_0(N),χ)$. Then we have a unique decomposition $f(z)=E_f(z)+S_f(z)$, where $E_f(z) \in E_k(Γ_0(N),χ)$ and $S_f(z) \in S_k(Γ_0(N),χ)$. In this paper we give an explicit formula for $E_f(z)$ in terms of Eisenstein series. Then we apply our result to certain families of eta quotients and to representations of positive integers by $2k$-ary positive definite quadratic forms in order to give an alternative version of Siegel's formula for the weighted average number of re…
We show by adopting Schertz's argument with the Siegel-Ramachandra invariant that singular values of certain quotients of the $Δ$-function generate ring class fields over imaginary quadratic fields.
We apply Tatuzawa's version of Siegel's theorem to derive two lower bounds on the size of the principal genus of positive definite binary quadratic forms.
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, I use Siegel-Weil formula and Kudla matching principle to prove some interesting identities between representation number (of ternary quadratic space) and the degree of Heegner divisors.
We prove that all mod $p^m$ singular forms of level $N$, degree $n+r$, and $p$-rank $r$ with $n\ge r$ are congruent mod $p^m$ to linear combinations of theta series of degree $r$ attached to quadratic forms of some level. Moreover, we prove that, the levels of theta series are of the form ``$p\mbox{-power}\times N$''. Additionally, in some cases of mod $p$ singular forms with smallest possible weight, we prove that the levels of theta series should be $p$.
We demonstrate that $$\|μ\|_{U^3([N])} \ll_{A}^{\text{ineff}} \log^{-A}(N)$$ $$\|Λ- Λ_Q\|_{U^3([N])} \ll_{A}^{\text{ineff}} \log^{-A}(N)$$ for any $A > 0$ where $Λ_Q$ is an approximant to the von Mangoldt function and will be defined below, improving upon a bound of Tao-Teräväinen (2021). As a consequence, among other things, we have the following: $$\mathbb{E}_{x, y \in [N], x + 3y \in [N]} Λ(x)Λ(x + y)Λ(x + 2y)Λ(x + 3y) = \mathfrak{S} + O_A(\log^{-A}(N))$$ where $\mathfrak{S}$ is the singular series for the configuration $(x, x + y, x + 2y, x + 3y)$. In fact, we show that $$\|μ- μ_{Siegel}\|…
We prove the quasimodularity of generating functions for counting pillowcase covers, with and without Siegel-Veech weight. Similar to prior work on torus covers, the proof is based on analyzing decompositions of half-translation surfaces into horizontal cylinders. It provides an alternative proof of the quasimodularity results of Eskin-Okounkov and a practical method to compute area Siegel-Veech constants. A main new technical tool is a quasi-polynomiality result for 2-orbifold Hurwitz numbers with completed cycles.
We compute higher moments of the Siegel--Veech transform over quotients of $SL(2,\mathbb{R})$ by the Hecke triangle groups. After fixing a normalization of the Haar measure on $SL(2,\mathbb{R})$ we use geometric results and linear algebra to create explicit integration formulas which give information about densities of $k$-tuples of vectors in discrete subsets of $\mathbb{R}^2$ which arise as orbits of Hecke triangle groups. This generalizes work of W.~Schmidt on the variance of the Siegel transform over $SL(2,\mathbb{R})/SL(2,\mathbb{Z})$.
We give formulas for local densities of diagonal integral ternary quadratic forms at odd primes. Exponential sums and quadratic Gauss sums are used to obtain these formulas. These formulas (along with 2-adic densities and Siegel's mass formula) can be used to compute the representation numbers of certain ternary quadratic forms.
For a totally real field F of degree d>1 and a quadratic space V of signature (m,2)^{d_+} x (m+2,0)^{d-d_+} with associated Shimura variety Sh(V), we consider the subring of cohomology generated by the classes of weighted special cycles. We assume that d_+<d. We take the quotient SC(V) of this ring by the radical of the restriction of the intersection pairing to it. We show that the inner products of classes in SC(V) are determined by Fourier coefficients of pullbacks of Hilbert-Siegel Eisenstein series of genus m to products of smaller Siegel spaces and that the products of classes in SC(V) a…
Let $p$ be an odd prime, $N$ a square-free odd positive integer prime to $p$, $π$ a $p$-ordinary cohomological irreducible cuspidal automorphic representation of $\mathrm{GSp}_4(\mathbb{A}_\mathbb{Q})$ of principal level $N$ and Iwahori level at $p$. Using a $p$-integral version of Rallis inner product formula and modularity theorems for $\mathrm{GSp}_{4/\mathbb{Q}}$ and $\mathrm{U}_{4/\mathbb{Q}}$, we establish an identity between the $p$-part of the critical value at $1$ of the degree $5$ $L$-function of $π$ twisted by the non-trivial quadratic Dirichlet character $ξ$ associated to the exten…
Throughout the 1980's, Kudla and the second named author studied integral transforms from rapidly decreasing closed differential forms on arithmetic quotients of the symmetric spaces of orthogonal and unitary groups to spaces of classical Siegel and Hermitian modular forms. These transforms came from the theory of dual reductive pairs and the theta correspondence. They computed the Fourier expansion of these transforms in terms of periods over certain totally geodesic cycles . This also gave rise to the realization of intersection numbers of these `special' cycles with cycles with compact supp…
In this work we prove a prime number type theorem involving the normalised Fourier coefficients of holomorphic and Maass cusp forms, using the classical circle method. A key point is in a recent paper of Fouvry and Ganguly, based on Hoffstein-Ramakrishnan's result about the non-existence of the Siegel zeros for $GL(2)$ $L$-functions, which allows us to improve preceding estimates.
We consider the Hermitian Eisenstein series $E^{(\mathbb{K})}_k$ of degree $2$ and weight $k$ associated with an imaginary-quadratic number field $\mathbb{K}$ and determine the influence of $\mathbb{K}$ on the arithmetic and the growth of its Fourier coefficients. We find that they satisfy the identity $E^{{(\mathbb{K})}^2}_4 = E^{{(\mathbb{K})}}_8$, which is well-known for Siegel modular forms of degree $2$, if and only if $\mathbb{K} = \mathbb{Q} (\sqrt{-3})$. As an application, we show that the Eisenstein series $E^{(\mathbb{K})}_k$, $k=4,6,8,10,12$ are algebraically independent whenever $\…
The object of this article is to construct certain classes of arithmetically significant, holomorphic Siegel cusp forms F of genus 2, which are neither of Saito-Kurokawa type, in which case the degree 4 spinor L-function L(s, F) is divisible by an abelian L-function, nor of Yoshida type, in which case L(s,F) is a product of L-series of a pair of elliptic cusp forms. Two key examples are the forms F defined by the symmetric cube of a non-CM elliptic curve E over the rationals, and those defined by anticyclotomic twists (of even non-zero weight) of the base change of such an E to an imaginary qu…
In this paper we outline the Hecke theory for Hermitian modular forms in the sense of Hel Braun for arbitrary class number of the attached imaginary-quadratic number field. The Hecke algebra turns out to be commutative. Its inert part has a structure analogous to the case of the Siegel modular group and coincides with the tensor product of its $p$-components for inert primes $p$. This leads to a characterization of the associated Siegel-Eisenstein series. The proof also involves Hecke theory for particular congruence subgroups.
In this paper we prove the main conjectures of Berkovich and Jagy about weighted averages of representation numbers over an S-genus of ternary lattices (defined below) for any odd squarefree S \in N. We do this by reformulating them in terms of local quantities using the Siegel-Weil and Conway-Sloane formulas, and then proving the necessary local identities. We conclude by conjecturing generalized formulas valid over certain totally real number fields as a direction for future work.
We construct many examples of level one Siegel modular forms in the kernel of theta operators mod $p$ by using theta series attached to positive definite quadratic forms.
Using classical results of Rogers bounding the $L^2$-norm of Siegel transforms, we give bounds on the heights of approximate integral solutions of quadratic equations and error terms in the quantiative Oppenheim theorem of Eskin-Margulis-Mozes for almost every quadratic form. Further applications yield quantitative information on the distribution of values of random polynomials at integral points.
Let s(n) be the number of representations of n as the sum of three squares. We prove a remarkable new identity for s(p^2n)- ps(n) with p being an odd prime. This identity makes nontrivial use of ternary quadratic forms with discriminants p^2 and 16p^2. These forms are related by Watson's transformations. To prove this identity we employ the Siegel--Weil and the Smith--Minkowski product formulas.
In this paper we generalize the idea of "essentially unique" representations by ternary quadratic forms. We employ the Siegel formula, along with the complete classification of imaginary quadratic fields of class number less than or equal to 8, to deduce the set of integers which are represented in essentially one way by a given form which is alone in its genus. We consider a variety of forms which illustrate how this method applies to any of the 794 ternary quadratic forms which are alone in their genus. As a consequence, we resolve some conjectures of Kaplansky regarding unique representatio…
Representations of binary quadratic forms by quaternary quadratic forms
Korea institute for Advanced Study（韩国高等研究院）；Institute for Advanced Study（普林斯顿高等研究院）；Morningside Center of Mathematics, Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院晨兴数学中心）
We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which implies the optimal density for values of generic inhomogeneous forms. We also obtain a similar density result for fixed irrational shifts satisfying an explicit Diophantine condition. The main technical tool is a formula for the second moment of Siegel transforms on certain congruence quotients of $\operatorname{SL}_n(\mathbb{R})$ which we believe to be of inde…
