Sieving for mass equidistribution

Mass equidistribution for Hecke eigenforms

We prove a conjecture of Rudnick and Sarnak on the mass equidistribution of Hecke eigenforms. This builds upon independent work of the authors see arxiv.org:math/0809.1640 and arxiv.org:math/0809.1635.

Mass Equidistribution for Automorphic Forms of Cohomological Type on GL_2

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.

算术球调和函数在收缩集中的等分布

Equidistribution in shrinking sets for arithmetic spherical harmonics

研究算术球调和函数在收缩集中的等分布问题，基于广义林德勒夫假设，证明在较大半径的收缩球帽上量子唯一遍历性，并给出测度之间的 Wasserstein 距离和球帽偏差的显式上界。

大指标庞加莱级数的质量等分布

Mass equidistribution for Poincaré series of large index

本文证明当指标增长速度介于超线性与 $k^{3/2-ε}$ 之间时，全模群上大指标庞加莱级数的 $L^2$ 质量关于双曲测度等分布，并由此推出其零点均匀分布。

Planck-scale mass equidistribution of toral Laplace eigenfunctions

We study the small scale distribution of the $L^2$-mass of eigenfunctions of the Laplacian on the the two-dimensional flat torus. Given an orthonormal basis of eigenfunctions, Lester and Rudnick showed the existence of a density one subsequence whose $L^2$-mass equidistributes more-or-less down to the Planck scale. We give a more precise version of their result showing equidistribution holds down to a small power of log above Planck scale, and also showing that the $L^2$-mass fails to equidistribute at a slightly smaller power of log above the Planck scale. This article rests on a number of re…

Saito-Kurokawa提升的质量等分布

Mass equidistribution for Saito-Kurokawa lifts

本文在广义黎曼假设（GRH）下，证明了Saito–Kurokawa型全纯尖点Hecke特征型的质量随权趋于无穷在Siegel模簇上等分布，并推出其零除子也满足等分布性质。

Small scale equidistribution of eigenfunctions on the torus

We study the small scale distribution of the $L^2$ mass of eigenfunctions of the Laplacian on the flat torus $\mathbb T^d$. Given an orthonormal basis of eigenfunctions, we show the existence of a density one subsequence whose $L^2$ mass equidistributes at small scales. In dimension two our result holds all the way down to the Planck scale. For dimensions $d=3,4$ we can restrict to individual eigenspaces and show small scale equidistribution in that context. We also study irregularities of quantum equidistribution: We construct eigenfunctions whose $L^2$ mass does not equidistribute at all sca…

Equidistribution of cusp forms in the level aspect

Let f traverse a sequence of classical holomorphic newforms of fixed weight and increasing squarefree level q tending to infinity. We prove that the pushforward of the mass of f to the modular curve of level 1 equidistributes with respect to the Poincaré measure. Our result answers affirmatively the squarefree level case of a conjecture spelled out by Kowalski, Michel and Vanderkam (2002) in the spirit of a conjecture of Rudnick and Sarnak (1994). Our proof follows the strategy of Holowinsky and Soundararajan (2008) who show that newforms of level 1 and large weight have equidistributed mass. …

超几何4流形上提升的质数等分布

Mass equidistribution for lifts on hyperbolic $4$-manifolds

本文证明了超几何4流形上Pitale提升序列的量子唯一混浊性猜想，通过构造具有有利几何性质的放大器，首次成功应用于逃离非 tempered 子群的情形。

Large Deviations and Effective Equidistribution

We study large deviations for measurable averaging operators on state spaces of dynamical systems. Our main motivation is the Hecke operators on the modular curve Y_0(p^n) and their generalization to higher rank S-arithmetic quotients. We prove a relatively sharp large deviations result in terms of the norm of the averaging operator restricted to the orthogonal complement of the constant functions in L2. In the self-adjoint case this norm is expressible by the spectral gap. Developing ideas of Linnik and Ellenberg, Michel and Venkatesh, we use this large deviation result to prove an effective …

Arithmetic and equidistribution of measures on the sphere

Motivated by problems of mathematical physics (quantum chaos) questions of equidistribution of eigenfunctions of the Laplace operator on a Riemannian manifold have been studied by several authors. We consider here, in analogy with arithmetic hyperbolic surfaces, orthonormal bases of eigenfunctions of the Laplace operator on the two dimensional unit sphere which are also eigenfunctions of an algebra of Hecke operators which act on these spherical harmonics. We formulate an analogue of the equidistribution of mass conjecture for these eigenfunctions as well as of the conjecture that their moment…

固定幂带中阶乘素数赋值的加权等分布

Weighted equidistribution of factorial prime valuations in fixed power bands

研究固定幂带内素数在阶乘中赋值的对数质量分布，建立渐近公式并推导多项式-阶乘方程解的必要容量条件。

大级别的$L^2$限制范数

On the $L^2$ restriction norm of large level

该论文证明了大无平方因子级全纯Hecke新形式在垂直测地线段上的质量等分布定理，关联了其$L^2$质量与扭曲L-函数二阶矩。

The Relative Bogomolov Conjecture for Fibered Products of Elliptic Curves

We deduce an analogue of the Bogomolov conjecture for non-degenerate subvarieties in fibered products of families of elliptic curves from the author's recent theorem on equidistribution in families of abelian varieties. This generalizes results of DeMarco and Mavraki and improves certain results of Manin-Mumford type proven by Masser and Zannier to results of Bogomolov type, yielding the first results of this type for subvarieties of relative dimension $>1$ in families of abelian varieties with trivial trace.

On the Random Wave Conjecture for Dihedral Maaß Forms

We prove two results on arithmetic quantum chaos for dihedral Maass forms, both of which are manifestations of Berry's random wave conjecture: Planck scale mass equidistribution and an asymptotic formula for the fourth moment. For level $1$ forms, these results were previously known for Eisenstein series and conditionally on the generalised Lindelof hypothesis for Hecke-Maass eigenforms. A key aspect of the proofs is bounds for certain mixed moments of $L$-functions that imply hybrid subconvexity.

Bounds for Rankin--Selberg integrals and quantum unique ergodicity for powerful levels

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…

Quantum ergodicity for shrinking balls in arithmetic hyperbolic manifolds

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…

Bounds for the stalks of perverse sheaves in characteristic p and a conjecture of Shende and Tsimerman

We prove a characteristic p analogue of a result of Massey which bounds the dimensions of the stalks of a perverse sheaf in terms of certain intersection multiplicities of the characteristic cycle of that sheaf. This uses the construction of the characteristic cycle of a perverse sheaf in characteristic p by Saito. We apply this to prove a conjecture of Shende and Tsimerman on the Betti numbers of the intersections of two translates of theta loci in a hyperelliptic Jacobian. This implies a function field analogue of the Michel-Venkatesh mixing conjecture about the equidistribution of CM points…

次凸性蕴含 $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R})$ 上 Hecke-Maaß 尖点形式的有效量子唯一遍历性

Subconvexity Implies Effective Quantum Unique Ergodicity for Hecke-Maaß Cusp Forms on $\mathrm{SL}_2(\mathbb{Z}) \backslash \mathrm{SL}_2(\mathbb{R})$

本文证明 Hecke-Maaß 尖点形式的相空间量子唯一遍历性可由三重积 $L$-函数的次凸界推出，填补了相空间层面此前仅有 Eisenstein 级数结果的空白，证明基于 Watson-Ichino 公式及 Whittaker 函数积分的精细分析。

Small scale distribution of zeros and mass of modular forms

We study the behavior of zeros and mass of holomorphic Hecke cusp forms on $SL_2(\mathbb Z) \backslash \mathbb H$ at small scales. In particular, we examine the distribution of the zeros within hyperbolic balls whose radii shrink sufficiently slowly as $k \rightarrow \infty$. We show that the zeros equidistribute within such balls as $k \rightarrow \infty$ as long as the radii shrink at a rate at most a small power of $1/\log k$. This relies on a new, effective, proof of Rudnick's theorem on equidistribution of the zeros and on an effective version of Quantum Unique Ergodicity for holomorphic …

Quantum Unique Ergodicity for Eisenstein Series in the Level Aspect

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 …