We study the one-level density for families of L-functions associated with cubic Dirichlet characters defined over the Eisenstein field. We show that the family of $L$-functions associated with the cubic residue symbols $χ_n$ with $n$ square-free and congruent to 1 modulo 9 satisfies the Katz-Sarnak conjecture for all test functions whose Fourier transforms are supported in $(-13/11, 13/11)$, under GRH. This is the first result extending the support outside the \emph{trivial range} $(-1, 1)$ for a family of cubic L-functions. This implies that a positive density of the L-functions associated with these characters do not vanish at the central point $s=1/2$. A key ingredient in our proof is a bound on an average of generalized cubic Gauss sums at prime arguments, whose proof is based on the work of Heath-Brown and Patterson.
A systematic procedure for generating cubic multisections of Eisenstein series is given. The relevant series are determined from Fourier expansions for Eisenstein series by restricting the congruence class of the summation index modulo three. We prove that the resulting series are rational functions of η(τ) and η(3τ), where ηis the Dedekind eta function. A more general treatment of cubic dissection formulas is given by describing the dissection operators in terms of linear transformations. These operators exhibit properties that mirror those of similarly defined quintic operators.
Following a strategy suggested by Michel--Venkatesh, we study the cubic moment of automorphic $L$-functions on $\operatorname{PGL}_2$ using regularized diagonal periods of products of Eisenstein series. Our main innovation is to produce vectors whose integral transforms achieve arbitrarily weighted moments. Applications include general Motohashi-type identities and Weyl-type subconvex bounds for some families of $L$-functions, extending some results of Conrey--Iwaniec and Petrow--Young to the number field setting. We deduce improved estimates for representation numbers of ternary quadratic for…
We introduce the zeta function of the prehomogenous vector space of binary cubic forms, twisted by the real analytic Eisenstein series. We prove the meromorphic continuation of this zeta function and identify its poles and their residues. We also identify the poles and residues of the zeta function when restricted to irreducible binary cubic forms. This zeta function can be used to prove the equidistribution of the lattice shape of cubic rings.
Eisenstein classes of Siegel varieties are motivic cohomology classes defined as pull-backs by torsion sections of the polylogarithm prosheaf on the universal abelian scheme. By reduction to the Hilbert-Blumenthal case, we prove that the Betti realization of these classes on Siegel varieties of arbitrary genus have non-trivial residue on zero dimensional strata of the Baily-Borel compactification. A direct corollary is the non-vanishing of a higher regulator map.
We introduce mod 3 triple Milnor invariants and triple cubic residue symbols for certain primes of the Eisenstein number field $\mathbb{Q}(\sqrt{-3})$, following the analogies between knots and primes. Our triple symbol generalizes both the cubic residue symbol and Rédei's triple symbol, and describes the decomposition law of a prime in a mod 3 Heisenberg extension of degree 27 over $\mathbb{Q}(\sqrt{-3})$ with restricted ramification, which we construct concretely in the form similar to Rédei's dihedral extension over $\mathbb{Q}$. We also give a cohomological interpretation of our symbols by…
In 1998 Friedlander and Iwaniec proved that there are infinitely many primes of the form $a^2+b^4$. To show this they defined the spin of Gaussian integers by the Jacobi symbol, and one of the key ingredients in the proof was to show that the spin becomes equidistributed along Gaussian primes. To generalize this we define the cubic spin of ideals of $\mathbb{Z}[ζ_{12}]=\mathbb{Z}[ζ_3,i]$ by using the cubic residue character on the Eisenstein integers $\mathbb{Z}[ζ_3]$. Our main theorem says that the cubic spin is equidistributed along prime ideals of $\mathbb{Z}[ζ_{12}]$. The proof of this fol…
Using the theory of metaplectic forms,we study the asymptotic behavior of cubic exponential sums over the ring of Eisenstein integers. In the first part of the paper, some non-trivial estimates on average over arithmetic progressions are obtained. In the second part of the paper, we prove that the sign of cubic exponential sums changes infinitely often, as the modulus runs over almost prime integers.
We prove that products of at most two vector valued Eisenstein series that originate in level 1 span all spaces of cusp forms for congruence subgroups. This can be viewed as an analogue in the level aspect to a result that goes back to Rankin, and Kohnen and Zagier, which focuses on the weight aspect. The main feature of the proof are vector valued Hecke operators. We recover several classical constructions from them, including classical Hecke operators, Atkin-Lehner involutions, and oldforms. As a corollary to our main theorem, we obtain a vanishing condition for modular forms reminiscent of …
We define an integral version of Sczech's Eisenstein cocycle on GLn by smoothing at a prime ell. As a result we obtain a new proof of the integrality of the values at nonpositive integers of the smoothed partial zeta functions associated to ray class extensions of totally real fields. We also obtain a new construction of the p-adic L-functions associated to these extensions. Our cohomological construction allows for a study of the leading term of these p-adic L-functions at s=0. We apply Spiess's formalism to prove that the order of vanishing at s=0 is at least equal to the expected one, as co…
We obtain an asymptotic formula for the mean value of L-functions associated to cubic characters over F_q[t]. We solve this problem in the non-Kummer setting when q=2 (mod 3) and in the Kummer case when q=1 (mod 3). The proofs rely on obtaining precise asymptotics for averages of cubic Gauss sums over function fields, which can be studied using the theory of metaplectic Eisenstein series. In the non-Kummer setting we display some explicit cancellation between the main term and the dual term coming from the approximate functional equation of the L-functions.
In the theory of elliptic functions and elliptic curves, the Weierstrass $zeta$ function (which is essentially an antiderivative of the Weierstrass $\wp$ function) plays a prominent role. Although it is not an elliptic function, Eisenstein constructed a simple (non-holomorphic) completion of this form which is doubly periodic. This theorem has begun to play an important role in the theory of harmonic Maass forms, and was crucial to work of Guerzhoy as well as Alfes, Griffin, Ono, and the author. In particular, this simple completion of $ζ$ provides a powerful method to construct harmonic Maass…
The space of toroidal automorphic forms was introduced by Zagier in the 1970s: a GL_2-automorphic form is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems (amongst others) from the fact that an Eisenstein series of weight s is toroidal for a given torus precisely if s is a non-trivial zero of the zeta function of the quadratic field corresponding to the torus. In this paper, we study the structure of the space of toroidal automorphic forms for an arbitrary number field F. We prove that it decomposes into a space span…
We prove that there is a positive proportion of $L$-functions associated to cubic characters over $\mathbb{F}_q[T]$ that do not vanish at the critical point $s=1/2$. This is achieved by computing the first mollified moment using techniques previously developed by the authors in their work on the first moment of cubic $L$-functions, and by obtaining a sharp upper bound for the second mollified moment, building on work of Lester-Radziwill, which in turn develops further ideas from the work of Soundararajan, Harper, and Radziwill-Soundararajan. We work in the non-Kummer setting when $q \equiv 2\p…
We define a cocycle on Gln using Shintani's method. It is closely related to cocycles defined earlier by Solomon and Hill, but differs in that the cocycle property is achieved through the introduction of an auxiliary perturbation vector Q. As a corollary of our result we obtain a new proof of a theorem of Diaz y Diaz and Friedman on signed fundamental domains, and give a cohomological reformulation of Shintani's proof of the Klingen-Siegel rationality theorem on partial zeta functions of totally real fields. Next we prove that the cohomology class represented by our Shintani cocycle is essenti…
Let $E/\mathbb{Q}$ be a number field of degree $n$. We show that if $\operatorname{Reg}(E)\ll_n |\operatorname{Disc}(E)|^{1/4}$ then the fraction of class group characters for which the Hecke $L$-function does not vanish at the central point is $\gg_{n,\varepsilon} |\operatorname{Disc}|^{-1/4-\varepsilon}$. The proof is an interplay between almost equidistribution of Eisenstein periods over the toral packet in $\mathbf{PGL}_n(\mathbb{Z})\backslash\mathbf{PGL}_n(\mathbb{R})$ associated to the maximal order of $E$, and the escape of mass of the torus orbit associated to the trivial ideal class.
The space of toroidal automorphic forms was introduced by Zagier in 1979. Let $F$ be a global field. An automorphic form on $\GL(2)$ is toroidal if it has vanishing constant Fourier coefficients along all embedded non-split tori. The interest in this space stems from the fact (amongst others) that an Eisenstein series of weight $s$ is toroidal if $s$ is a non-trivial zero of the zeta function, and thus a connection with the Riemann hypothesis is established. In this paper, we concentrate on the function field case. We show the following results. The $(n-1)$-th derivative of a non-trivial Eisen…
We discuss computation of the special values of partial zeta functions associated to totally real number fields. The main tool is the \emph{Eisenstein cocycle} $Ψ$, a group cocycle for $GL_{n} (\Z )$; the special values are computed as periods of $Ψ$, and are expressed in terms of generalized Dedekind sums. We conclude with some numerical examples for cubic and quartic fields of small discriminant.
Miyawaki type lifts are kinds of Langlands functorial lifts and a special case was first conjectured by Miyawaki and proved by Ikeda for Siegel cusp forms. Since then, such a lift for Hermitian modular forms was constructed by Atobe and Kojima , and for half-integral weight Siegel cusp forms by Hayashida, and we constructed Miyawaki type lift for ${\rm GSpin}(2,10)$. Recently Ikeda and Yamana generalized Ikeda type construction and accordingly did Miyawaki type lift for Hilbert cusp forms in a remarkable way. In all these works, a construction of Miyawaki type lift takes two steps as follows: …
In this paper, we study moments of central values of cubic Hecke $L$-functions in $\mathbb{Q}(i)$, and establish quantitative non-vanishing result for those values.
In this paper we study the analytic properties of a certain cubic Dirichlet series associated to a metaplectic form $f$ over the cubic cover of $GL_2.$ Such a sum generalizes the work of Shimura in studying a similar quadratic Dirichlet series for a half-weight modular form $f.$ Shimura connects the analytic properties of his Dirichlet series to the L-function of a holomorphic modular form via a converse theorem. This connection, and its higher cover generalizations, has been given the name: Shimura's correspondence. Even assuming Shimura's correspondence for the cubic cover of $GL_2,$ the ana…
We prove that there are infinitely many Maass--Hecke cuspforms over the field $\mathbb{Q}[\sqrt{-3}]$ such that the corresponding symmetric cube $L$-series does not vanish at the center of the critical strip. This is done by using a result of Ginzburg, Jiang and Rallis which shows that the symmetric cube non-vanishing happens if and only if a certain triple product integral involving the cusp form and the cubic theta function on $\mathbb{Q}[\sqrt{-3}]$ does not vanish. We use spectral theory and the properties of the cubic theta function to show that the non-vanishing of this triple product oc…
With the method of the relative trace formula and the classification of simple supercuspidal representations, we establish some Fourier trace formulas for automorphic forms on $PGL(2)$ of cubic level. As applications, we obtain a non-vanishing result for central $L$-values of holomorphic newforms and a weighted Weyl's law for Maass newforms.
Let $E$ be a modular elliptic curve over a totally real cubic field. We have a cubic-triple product motive over $\mathbb{Q}$ constructed from $E$ through multiplicative induction; it is of rank $8$. We show that, under certain assumptions on $E$, the non-vanishing of the central critical value of the $L$-function attached to the motive implies that the dimension of the associated Bloch-Kato Selmer group is $0$.
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 study the $2k$-th moment of central values of the family of primitive cubic and quartic Dirichlet $L$-functions. We establish sharp lower bounds for all real $k \geq 1/2$ unconditionally for the cubic case and under the Lindelöf hypothesis for the quartic case. We also establish sharp lower bounds for all real $0 \leq k<1/2$ and sharp upper bounds for all real $k \geq 0$ for both the cubic and quartic cases under the generalized Riemann hypothesis (GRH). As an application of our results, we establish quantitative non-vanishing results for the corresponding $L$-values.
In this paper we fully describe the cuspidal and the Eisenstein cohomology of the group $G=GL_2$ over a definite quaternion algebra $D/\Q$. Functoriality is used to show the existence of residual and cuspidal automorphic forms, having cohomology in degree 1. The latter ones turn out to be CAP-representations, though $G$ satisfies Strong Multiplicity One. A non-vanishing result on intertwining operators of induced representations will serve as a starting point for further investigations concerning rationality of critical $L$-values.
We extend the work of Fouvry, Kowalski and Michel on correlation between Hecke eigenvalues of modular forms and algebraic trace functions in order to establish an asymptotic formula for a generalized cubic moment of modular L-functions at the central point s = 1/2 and for prime moduli q. As an application, we exploit our recent result on the mollification of the fourth moment of Dirichlet L-functions to derive that for any pair $(ω_1,ω_2)$ of multiplicative characters modulo q, there is a positive proportion of $χ$ (mod q) such that $L(χ, 1/2 ), L(χω_1, 1/2 )$ and $L(χω_2, 1/2)$ are simultaneo…
Let F be the cubic field of discriminant -23 and O its ring of integers. Let Gamma be the arithmetic group GL_2 (O), and for any ideal n subset O let Gamma_0 (n) be the congruence subgroup of level n. In a previous paper, two of us (PG and DY) computed the cohomology of various Gamma_0 (n), along with the action of the Hecke operators. The goal of that paper was to test the modularity of elliptic curves over F. In the present paper, we complement and extend this prior work in two ways. First, we tabulate more elliptic curves than were found in our prior work by using various heuristics ("old a…
We give a geometric criterion for Dirichlet $L$-functions associated to cyclic characters over the rational function field $\mathbb{F}_q(t)$ to vanish at the central point $s=1/2$. The idea is based on the observation that vanishing at the central point can be interpreted as the existence of a map from the projective curve associated to the character to some abelian variety over $\mathbb{F}_q$. Using this geometric criterion, we obtain a lower bound on the number of cubic characters over $\mathbb{F}_q(t)$ whose $L$-functions vanish at the central point where $q=p^{4n}$ for any rational prime $…
Murmurations of quadratic and cubic characters over function fields
Université de Montréal（蒙特利尔大学）；University of Connecticut（康涅狄格大学）；Korea Institute for Advanced Study（韩国高等研究院）；University of Westminster（威斯敏斯特大学）；Princeton University（普林斯顿大学）
该研究计算函数域上二次特征族及 Kummer 框架下原始三次特征薄族的 murmuration 密度，关联其期望与超椭圆曲线模空间稳定同调，获二次 L 函数中心点非零结果。
