W. Luo and P. Sarnak have proved the quantum unique ergodicity property for Eisenstein series on $\rm{PSL}(2,\mathbb{Z}) \backslash H$. We extend their result to Eisenstein series on $\rm{PSL}(2,O) \backslash H^n$, where $O$ is the ring of integers in a totally real field of degree $n$ over $Q$ with narrow class number one, using the Eisenstein series considered by I. Efrat. We also give an expository treatment of the theory of Hecke operators on non-holomorphic Hilbert modular forms.
In this paper, we compute constant terms of Eisenstein series defined over a totally real field, at various cusps. In his paper published in 2003, M. Ohta computed the constant terms of Eisenstein series of weight two over the field of rational numbers, at all equivalence classes of cusps. As for Eisenstein series defined over a totally real field, S. Dasgupta, H. Darmon and R. Pollack calculated the constant terms at particular (not all) equivalence classes of cusps in 2011. We compute constant terms of Eisenstein series defined over a general totally real field at all equivalence classes of …
Rationality results are proved for the ratios of critical values of Rankin-Selberg L-functions of GL(n) x GL(n') over a totally imaginary field F, by studying rank-one Eisenstein cohomology for the group GL(N)/F, where N = n+n', generalizing the methods and results of previous work with Guenter Harder where the base field was totally real. In contrast to the totally real situation, the internal structure of the totally imaginary base field has a delicate effect on the rationality results.
The problem of quantum unique ergodicity (QUE) of weight 1/2 Eisenstein series for Γ_0(4) leads to the study of certain double Dirichlet series involving GL2 automorphic forms and Dirichlet characters. We study the analytic properties of this family of double Dirichlet series (analytic continuation, convexity estimate) and prove that a subconvex estimate implies the QUE result.
We give a new, purely topological construction of Eisenstein cohomology classes for Hilbert-Blumenthal varieties using the polylogarithm for families of topological tori and a decomposition with respect to the units in the center of $GL_2$. These classes are explicitly calculated in de Rham chomology and compared with Harder's Eisenstein classes. For non-trivial coefficient systems the whole Eisenstein cohomology in positive degrees is generated by these topological Eisenstein classes. This gives an alternative proof for the rationality of Harder's Eisenstein operator without using any multipl…
Let $K$ be a local field with finite residue field, we define a normal form for Eisenstein polynomials depending on the choice of a uniformizer $π_K$ and of residue representatives. The isomorphism classes of extensions generated by the polynomials in the family exhaust all totally ramified extensions, and the multiplicity with which each isomorphism class $L/K$ appears is always smaller than the number of conjugates of $L$ over $K$. An algorithm to recover the set of all special polynomials generating the extension determined by a general Eisenstein polynomial is described. We also give a cri…
We show an asymptotic formula for the L^2 norm of the Eisenstein series restricted to a segment of a geodesic connecting infinity and an arbitrary real. For generic geodesics of this form, the asymptotic formula shows that the Eisenstein series satisfies restricted QUE. On the other hand, for rational geodesics, the Eisenstein series does not satisfy restricted quantum ergodicity. As an application, we show that the zero set of the Eisenstein series intersects every such geodesic segment, provided the spectral parameter is large. We also make analogous conjectures for the Maass cusp forms. In …
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 consider the Kudla-Millson theta series associated to a quadratic space of signature $(N,N)$. By combining a `see-saw' argument with the Siegel-Weil formula, we show that its (regularized) integral along a torus attached to a totally real field of degree $N$ is the diagonal restriction of an Eisenstein series. It allows us to express the Fourier coefficients of the diagonal restriction as intersection numbers, which generalizes a result of Darmon-Pozzi-Vonk to totally real fields.
We prove a variety of quantum unique ergodicity results for Eisenstein series in the level aspect. A new feature of this variant of QUE is that the main term involves the logarithmic derivative of a Dirichlet $L$-function on the $1$-line. A zero of this $L$-function near the $1$-line can thus have a distorting effect on the main term. We obtain quantitative control on the test function and thereby prove an asymptotic formula in the level aspect version of the problem with test functions of shrinking support. Surprisingly, this asymptotic formula shows some obstruction to equidistribution that …
We identify the quantum limits of scattering states for the modular surface. This is obtained through the study of quantum measures of non-holomorphic Eisenstein series away from the critical line. We provide a range of stability for the quantum unique ergodicity theorem of Luo and Sarnak.
We develop the topological polylogarithm which provides an integral version of Nori's Eisenstein cohomology classes for $GL_n(\mathbf{Z})$ and yields classes with values in an Iwasawa algebra. This implies directly the integrality properties of special values of $L$-functions of totally real fields and a construction of the associated $p$-adic $L$-function. Using a result of Graf, we also apply this to prove some integrality and $p$-adic interpolation results for the Eisenstein cohomology of Hilbert modular varieties.
We describe a conjectural construction (in the spirit of Hilbert's 12th problem) of units in abelian extensions of certain base fields which are neither totally real nor CM. These base fields are quadratic extensions with exactly one complex place of a totally real number field F, and are referred to as Almost Totally real (ATR) extensions. Our construction involves certain null-homologous topological cycles on the Hilbert modular variety attached to F. The special units are the images of these cycles under a map defined by integration of weight two Eisenstein series on GL_2(F). This map is fo…
At first a type of Eisenstein series is defined as distributions giving nearly-holomorphic automorphic forms on a totally real field, with different expressions (integral, summation) ; then these are shown to satisfied the expected properties, and the Fourier coefficients are explicitly computed. Finally, an explicit computation shows that in the simplest case, the abstract object considered simplify down to the most classical version of Eisenstein series.
We construct $p$-adic measures which interpolate the special values of reciprocals of $p$-adic $L$-functions of totally real number fields $K$ at negative integers. These measures are defined by analyzing the non-constant term of partial Eisenstein series of the Hilbert modular group of $K$.
Let $f$ a smooth function with compact support defined on $PSL(2,\mathbb{Z}[i]) \backslash PSL(2,\mathbb{C})$, we prove a formula for the Mellin transform of $f$, then we can define the micro-local lift $dε_{it}$ to $SL(2,\mathbb{C})$. We calculate $(f,dε_{it})$ for $f$ a cuspidal form and for $f$ an incomplete Eisenstein series. We also establish asymptotic estimates when $t$ tends to $\infty$. We conjecture that a new positive distribution $dε_{it}^F$, constructed with the Friedrichs' symmetrization technique, satisfies the same asymptotic estimates that $dε_{it}$. This would imply the quant…
We consider some analogs of the quantum unique ergodicity conjecture for geodesics, horocycles, or ``shrinking'' families of sets. In particular, we prove the analog of the QUE conjecture for Eisenstein series restricted to the infinite geodesic connecting 0 and infinity inside the modular surface.
This article deals with the Eisenstein classes of Hilbert-Blumenthal families of abelian varieties. We first give a coordinate expression of these one at the topological level, using currents defined by Levin. Then we study the degeneration of these Eisenstein classes at a cusp of the Baily-Borel compactification of the Hilbert-Blumenthal variety. We show, using the explicit description of the Eisenstein classes obtained previously, that these classes degenerate in special values of an $L$-function associated to the underlying totally real number field. We deduce then both a geometric proof th…
We study a refinement of the quantum unique ergodicity conjecture for shrinking balls on arithmetic hyperbolic manifolds, with a focus on dimensions $ 2 $ and $ 3 $. For the Eisenstein series for the modular surface $\mathrm{PSL}_2( {\mathbb Z}) \backslash \mathbb{H}^2$ we prove failure of quantum unique ergodicity close to the Planck-scale and an improved bound for its quantum variance. For arithmetic $ 3 $-manifolds we show that quantum unique ergodicity of Hecke-Maaß forms fails on shrinking balls centered on an arithmetic point and radius $ R \asymp t_j^{-δ} $ with $ δ> 3/4 $. For $ \mathr…
Let $K$ be a local field with residue characteristic $p$ and let $L/K$ be a totally ramified extension of degree $p^k$. In this paper we show that if $L/K$ has only two distinct indices of inseparability then there exists a uniformizer $π_L$ for $L$ whose minimum polynomial over $K$ has at most three terms. This leads to an explicit classification of extensions with two indices of inseparability. Our classification extends work of Amano, who considered the case $k=1$.
We study Hilbert Poincaré series associated to general seed functions and construct Cohen's kernels and double Eisenstein series as series of Hilbert Poincaré series. Then we calculate the Rankin-Cohen brackets of Hilbert Poincaré series and Hilbert modular forms and extend Zagier's kernel formula to totally real number fields. Finally, we show that the Rankin-Cohen brackets of two different types of Eisenstein series are special values of double Eisenstein series up to a constant.
Let $K$ be a local field whose residue field has characteristic $p$ and let $L/K$ be a finite separable totally ramified extension. Let $π_L$ be a uniformizer for $L$ and let $f(X)$ be the minimum polynomial for $π_L$ over $K$. Suppose $\tildeπ_L$ is another uniformizer for $L$ such that $\tildeπ_L\equivπ_L+rπ_L^{\ell+1} \pmod{π_L^{\ell+2}}$ for some $\ell\ge1$ and $r\in O_K$. Let $\tilde{f}(X)$ be the minimum polynomial for $\tildeπ_L$ over $K$. In this paper we give congruences for the coefficients of $\tilde{f}(X)$ in terms of $r$ and the coefficients of $f(X)$. These congruences improve an…
We study two closely related problems stemming from the random wave conjecture for Maass forms. The first problem is bounding the $L^4$-norm of a Maass form in the large eigenvalue limit; we complete the work of Spinu to show that the $L^4$-norm of an Eisenstein series $E(z,1/2+it_g)$ restricted to compact sets is bounded by $\sqrt{\log t_g}$. The second problem is quantum unique ergodicity in shrinking sets; we show that by averaging over the centre of hyperbolic balls in $Γ\backslash \mathbb{H}$, quantum unique ergodicity holds for almost every shrinking ball whose radius is larger than the …
In 1975, Cohen constructed a kind of one-variable modular forms of half-integral weight, says $r+(1/2),$ whose $n$-th Fourier coefficient $H(n)$ only occurs when $(-1)^r n$ is congruent to 0 or 1 modulo 4. The space of modular forms whose Fourier coefficients have the above property is called Kohnen plus space, initially introduced by Kohnen in 1980. Recently, Hiraga and Ikeda generalized the Kohnen plus space to the spaces for half-integral weight Hilbert modular forms with respect to general totally real number fields. If one such Hilbert modular form $f$ of parallel weight $κ+(1/2)$ lying i…
The aim of this article is to study rank-one Eisenstein cohomology for the group GL(N)/F, where F is a totally real field extension of Q. This is then used to prove rationality results for ratios of successive critical values for Rankin-Selberg L-functions for GL(n) x GL(n') over F with the parity condition that nn' is even. The key idea is to interpret Langlands's constant term theorem in terms of Eisenstein cohomology.
For a totally real field $F$, a finite extension $\mathbf{F}$ of $\mathbf{F}_p$ and a Galois character $χ: G_F \to \mathbf{F}^{\times}$ unramified away from a finite set of places $Σ\supset \{\mathfrak{p} \mid p\}$ consider the Bloch-Kato Selmer group $H:=H^1_Σ(F, χ^{-1})$. In an earlier paper of the authors it was proved that the number $d$ of isomorphism classes of (non-semisimple, reducible) residual representations $\overlineρ$ giving rise to lines in $H$ which are modular by some $ρ_f$ (also unramified outside $Σ$) satisfies $d \geq n:= \dim_{\mathbf{F}} H$. This was proved under the assu…
For an even positive integer $n$, we study rank-one Eisenstein cohomology of the split orthogonal group ${\rm O}(2n+2)$ over a totally real number field $F.$ This is used to prove a rationality result for the ratios of successive critical values of degree-$2n$ Langlands $L$-functions associated to the group ${\rm GL}_1 \times {\rm O}(2n)$ over $F$. The case $n=2$ specializes to classical results of Shimura on the special values of Rankin - Selberg $L$-functions attached to a pair of Hilbert modular forms.
We consider the question of Quantum Unique Ergodicity for quasimodes on surfaces of constant negative curvature, and conjecture the order of quasimodes that should satisfy QUE. We then show that this conjecture holds for Eisenstein series on the modular surface, extending results of Luo-Sarnak and Jakobson. Moreover, we observe that the equidistribution results of Luo-Sarnak and Jakobson extend to quasimodes of much weaker order--- for which QUE is known to fail on compact surfaces--- though in this scenario the total mass of the limit measures will decrease. We interpret this stronger equidis…
In this paper we develop a new method to study Iwasawa theory and Eisenstein families for unitary groups $\mathrm{U}(r,s)$ of general signature over a totally real field $F$. As a consequence we prove that for a motive corresponding to a regular algebraic cuspidal automorphic representation $π$ on $\mathrm{U}(r,s)_{/F}$ which is ordinary at $p$, twisted by a Hecke character, if its Selmer group has rank $0$, then the corresponding central $L$-value is nonzero. This generalizes a result of Skinner-Urban in their ICM 2006 report in the special case when $F=\mathbb{Q}$ and the motive is conjugate…
We extend Holowinsky and Soundararajan's proof of quantum unique ergodicity for holomorphic Hecke modular forms on SL(2,Z), by establishing it for automorphic forms of cohomological type on GL_2 over an arbitrary number field which satisfy the Ramanujan bounds. In particular, we have uncondtional theorems over totally real and imaginary quadratic fields. In the totally real case we show that our result implies the equidistribution of the zero divisors of holomorphic Hecke modular forms, generalising a result of Rudnick over Q.
Mod $\ell$ non-vanishing of self-dual Hecke $L$-values over CM fields and applications
The university of Texas at Austin（德克萨斯大学奥斯汀分校）；Xi’an Jiaotong University（西安交通大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of the Chinese Academy of Sciences（中国科学院大学）；University of Science and Technology of China（中国科学技术大学）
Let f be a classical holomorphic newform of level q and even weight k. We show that the pushforward to the full level modular curve of the mass of f equidistributes as qk -> infinity. This generalizes known results in the case that q is squarefree. We obtain a power savings in the rate of equidistribution as q becomes sufficiently "powerful" (far away from being squarefree), and in particular in the "depth aspect" as q traverses the powers of a fixed prime. We compare the difficulty of such equidistribution problems to that of corresponding subconvexity problems by deriving explicit extensions…
