Peter Sarnak, Peng Zhao, Appendix by Michael Woodbury
The variance of observables of quantum states of the Laplacian on the modular surface is calculated in the semiclassical limit. It is shown that this hermitian form is diagonalized by the irreducible representations of the modular quotient and on each of these it is equal to the classical variance of the geodesic flow after the insertion of a subtle arithmetical special value of the corresponding $L$-function.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
We determine the variance for the fluctuations of the arithmetic measures obtained by collecting all closed geodesics on the modular surface with the same discriminant and ordering them by the latter. This arithmetic variance differs by subtle factors from the variance that one gets when considering individual closed geodesics when ordered by their length. The arithmetic variance is the same one that appears in the fluctuations of measures associated with quantum states on the modular surface.
We asymptotically estimate the variance for the distribution of closed geodesics in small random balls or annuli on the modular surface $Γ\backslash\mathbb{H}$. A probabilistic model in which closed geodesics are modeled using random geodesic segments is proposed, and we rigorously analyze this model using mixing of the geodesic flow in $Γ\backslash\mathbb{H}$. This leads to a conjecture for the asymptotic behavior of the variance, which unlike in previously explored cases is not equal to the expected value. We prove this conjecture for small balls and annuli, resolving a question left open by…
We prove that the modular symbols appropriately normalized and ordered have an asymptotical normal distribution for all cocompact subgroups of SL_2(R). We introduce hyperbolic Eisenstein series in order to calculate the moments of the modular symbols.
Under the generalized Lindelöf hypothesis, the exponent in the error term of the prime geodesic theorem for the modular surface is reduced to $\frac{5}{8}+\varepsilon $ outside a set of finite logarithmic measure.
We show that abelian surfaces (and consequently curves of genus 2) over totally real fields are potentially modular. As a consequence, we obtain the expected meromorphic continuation and functional equations of their Hasse--Weil zeta functions. We furthermore show the modularity of infinitely many abelian surfaces A over Q with End_C(A)=Z. We also deduce modularity and potential modularity results for genus one curves over (not necessarily CM) quadratic extensions of totally real fields.
We use the main theorem of Boxer-Calegari-Gee-Pilloni (arXiv:1812.09269) to give explicit examples of modular abelian surfaces $A$ over $\mathbf{Q}$ without extra endomorhpisms such that $A$ has good reduction outside the primes 2, 3, 5, and 7.
The aim of this article is to give a concise algebraic treatment of the modular symbols formalism, generalised from modular curves to Hecke triangle surfaces. A sketch is included of how the modular symbols formalism gives rise to the standard algorithms for the computation of holomorphic modular forms. Precise and explicit connections are established to the cohomology of Hecke triangle surfaces and group cohomology. In all the note a general commutative ring is used as coefficient ring in view of applications to the computation of modular forms over rings different from the complex numbers. T…
Irreducibility of Newton strata in Picard modular surfaces and split local Galois representations
本文通过计算分歧素数处Picard模曲面特殊纤维中非寻常Newton层闭包的单值群与不可约性，证明Picard模形式的伴随形式存在性等价于其关联局部Galois表示的分歧性质。
Let $K$ be an imaginary quadratic field. Modular forms for GL(2) over $K$ are known as Bianchi modular forms. Standard modularity conjectures assert that every weight 2 rational Bianchi newform has either an associated elliptic curve over $K$ or an associated abelian surface with quaternionic multiplication over $K$. We give explicit evidence in the way of examples to support this conjecture in the latter case. Furthermore, the quaternionic surfaces given correspond to genuine Bianchi newforms, which answers a question posed by J. Cremona as to whether this phenomenon can happen.
We study the supersingular curves on Picard modular surfaces modulo a prime $p$ which is inert in the underlying quadratic imaginary field. We analyze the automorphic vector bundles in characteristic $p$, and as an application derive a formula relating the number of irreducible components in the supersingular locus to the second Chern class of the surface.
We study regularized determinants of Laplacians acting on the space of Hilbert-Maass forms for the Hilbert modular group of a real quadratic field. We show that these determinants are described by Selberg type zeta functions introduced in [4,5].
In this paper, we prove an explicit arithmetic intersection formula between arithmetic Hirzebruch-Zagier divisors and arithmetic CM cycles in a Hilbert modular surface over $\mathbb Z$. As applications, we obtain the first `non-abelian' Chowla-Selberg formula, which is a special case of Colmez's conjecture; an explicit arithmetic intersection formula between arithmetic Humbert surfaces and CM cycles in the arithmetic Siegel modular variety of genus two; Lauter's conjecture about the denominators of CM values of Igusa invariants; and a result about bad reductions of CM genus two curves.
We compute the cohomology with compact supports of a Picard modular surface as a virtual module over the product of the appropriate Galois group and the appropriate Hecke algebra. We use the method developed by Ihara, Langlands, and Kottwitz: comparison of the Grothendieck-Lefschetz formula and the Arthur-Selberg trace formula. Our implementation of this method takes as its starting point the works of Laumon and Morel.
We show that geodesics in the upper half-plane attached to a maximal split torus or a real quadratic torus in $GL_{2, \mathbf{Q}}$ are the only irreducible algebraic curves whose image via the $j$-invariant is contained in an algebraic curve.
We construct an Euler system -- a compatible family of global cohomology classes -- for the Galois representations appearing in the geometry of Hilbert modular surfaces. If a conjecture of Bloch and Kato on injectivity of regulator maps holds, this Euler system is non-trivial, and we deduce bounds towards the Iwasawa main conjecture for these Galois representations.
In this paper, we obtain an explicit arithmetic intersection formula on a Hilbert modular surface between the diagonal embedding of the modular curve and a CM cycle associated to a non-biquadratic CM quartic field. This confirms a special case of the author's conjecture with J. Bruinier in \cite{BY}, and is a generalization of the beautiful factorization formula of Gross and Zagier on singular moduli. As an application, we proved the first non-trivial non-abelian Chowla-Selberg formula, a special case of Colmez conjecture.
Mahler measures of elliptic modular surfaces
本文提出新方法，通过Deligne周期和Rogers-Zudilin方法的推广，将椭圆模曲面的马勒测度与模形式L值相联系。
Let Gamma be a congruence subgroup of the Picard modular group of an imaginary number field k, and let D be the associated symmetric space. We describe a method to compute the integral cohomology of the locally symmetric space Gamma\D. The method is implemented for the case k=Q(i) and k=Q(sqrt(-3)), and the cohomology is computed for various Gamma.
Evaluating modular equations for abelian surfaces
本研究设计了基于复逼近的阿贝尔曲面Siegel型与Hilbert型模方程求值算法，证明了特定条件下输出的正确性，并建立了亏格2周期矩阵相关关键数值算法的新正确性与复杂度结果。
We prove that the graded ring of modular forms of weight divisible by 3 is naturally isomorphic to a certain log canonical ring of the corresponding elliptic modular surface.
We prove, assuming the generalized Riemann hypothesis, the Andre-Oort conjecture for Hilbert modular surfaces. More precisely, let K be a real quadratic field and let S be the coarse moduli space of complex abelian surfaces with multiplications by the ring of integers of K. Let C be an irreducible closed curve in S, and suppose that C contains infinitely many complex multiplication points. Then we prove, assuming GRH, that C is of Hodge type, meaning, in this case, that it parametrizes abelian varieties with more endomorphisms. Also, if we assume that C has infinitely many CM points that corre…
We present the first example of the Selberg type zeta function for noncompact higher rank locally symmetric spaces. We study certain Selberg type zeta functions and Ruelle type zeta functions attached to the Hilbert modular group of a real quadratic field. We show that they have meromorphic extensions to the whole complex plane and satisfy functional equations. The method is based on considering the differences among several Selberg trace formulas with different weights for the Hilbert modular group. Besides as an application of the differences of the Selberg trace formula, we also obtain an a…
Let $p$ be a prime number and $F$ a totally real number field. For each prime $\mathfrak{p}$ of $F$ above $p$ we construct a Hecke operator $T_\mathfrak{p}$ acting on $(\mathrm{mod}\, p^m)$ Katz Hilbert modular classes which agrees with the classical Hecke operator at $\mathfrak{p}$ for global sections that lift to characteristic zero. Using these operators and the techniques of patching complexes of F. Calegari and D. Geraghty we prove that the Galois representations arising from torsion Hilbert modular classes of parallel weight ${\bf 1}$ are unramified at $p$ when $[F:\mathbb Q]=2$. Some pa…
In a series of papers we have been studying the geometric theta correspondence for non-compact arithmetic quotients of symmetric spaces associated to orthogonal groups. It is our overall goal to develop a general theory of geometric theta liftings in the context of the real differential geometry/topology of non-compact locally symmetric spaces of orthogonal and unitary groups which generalizes the theory of Kudla-Millson in the compact case. In this paper we study in detail the geometric theta lift for Hilbert modular surfaces. In particular, we will give a new proof and an extension (to all f…
Let $f$ be a Petersson normalized Hecke-Maass cusp form with spectral parameter $t\geq 2$ and let $\mathcal{C}_{D}$ be the union of closed geodesics in $\text{Sl}_{2}(\mathbb{Z})\setminus \mathbb{H}$ associated to a fundamental discriminant $D>0$. Following a suggestion by Sarnak in his letter to Reznikov, we express the restriction norm $||f|_{\mathcal{C}_{D}}||_{2}^{2}$ as a weighted sum of central values of L-functions using Waldspurger's formula. This allows us to get an unconditional improvement over the current bounds.
We determine the number of cusps of minimal Picard modular surfaces. The proof also counts cusps of other Picard modular surfaces of arithmetic interest. Consequently, for each N > 0 there are finitely many commensurability classes of nonuniform arithmetic lattices in SU(2, 1) that contain an N-cusped surface. We also discuss a higher-rank analogue.
We give all the elliptic fibrations of the K3 surface associated to the modular group Γ_1(8).
We present explicit equations of semi-stable elliptic surfaces (i.e., having only type $I_n$ singular fibers) which are associated to the torsion-free genus zero congruence subgroups of the modular group as classified by A. Sebbar.
We prove an arithmetic version of a theorem of Hirzebruch and Zagier saying that Hirzebruch-Zagier divisors on a Hilbert modular surface are the coefficients of an elliptic modular form of weight two. Moreover, we determine the arithmetic self-intersection number of the line bundle of modular forms equipped with its Petersson metric on a regular model of a Hilbert modular surface, and study Faltings heights of arithmetic Hirzebruch-Zagier divisors.
We outline a method to compute rational models for the Hilbert modular surfaces Y_{-}(D), which are coarse moduli spaces for principally polarized abelian surfaces with real multiplication by the ring of integers in Q(sqrt{D}), via moduli spaces of elliptic K3 surfaces with a Shioda-Inose structure. In particular, we compute equations for all thirty fundamental discriminants D with 1 < D < 100, and analyze rational points and curves on these Hilbert modular surfaces, producing examples of genus-2 curves over Q whose Jacobians have real multiplication over Q.
We study variations of Hodge structures over a Picard modular surface, and compute the weights and types of their degenerations through the cusps of the Baily-Borel compactification. The main tool is a theorem of Burgos and Wildeshaus.
We track the trajectories of individual horocycles on the modular surface. Our tracking is constructive, and we thus \emph{effectively} establish topological transitivity and even line-transitivity for the horocyclic flow. We also describe homotopy class jumps that occur under continuous deformation of horocycles.
The main result of this paper is a characterization of the abelian varieties $B/K$ defined over Galois number fields with the property that the zeta function $L(B/K;s)$ is equivalent to the product of zeta functions of non-CM newforms for congruence subgroups $Γ_1(N)$. The characterization involves the structure of End(B), isogenies between the Galois conjugates of $B$, and a Galois cohomology class attached to $B/K$. We call the varieties having this property strongly modular. The last section is devoted to the study of a family of abelian surfaces with quaternionic multiplication. As an illu…
A database of basic numerical invariants of Hilbert modular surfaces
本文介绍用于计算Hilbert模曲面几何不变量的算法，并报告相应实现，以构建基本数值不变量数据库。
We study arithmetic intersections on twisted (quaternionic) Hilbert modular surfaces and Shimura curves over a real quadratic field. Our first main result is the determination of the degree of the top arithmetic Todd class of an arithmetic twisted Hilbert modular surface. This quantity is then related to the arithmetic volume of a Shimura curve, via the arithmetic Grothendieck-Riemann-Roch theorem and the Jacquet-Langlands correspondence.
This article surveys some recent work of the author on Hilbert modular fourfolds X. After some preliminaries on the cohomology and special, codimension 2 cycles Z on X of Hirzebruch-Zagier type, a proof of the Tate conjecture for X over abelian fields is exposed. It is followed by a description of a method to construct classes in the Bloch's Chow group CH^3(X,1) by using Hecke translates of the cycles Z as above with suitable intersections in translates of modular curves. The article ends with the introduction of a modular Gersten complex for a general Shimura variety X and the corresponding g…
We prove explicit bounds on canonical Green functions of Riemann surfaces obtained as compactifications of quotients of the upper half-plane by Fuchsian groups.
This article proves that Tate classes on Siegel modular 3-folds are spanned by the images of Hilbert modular surfaces at degree 2 and by the images of Shimura curves at degree 4. The proof involves a careful study of the period pairing between degree-4 rapidly decreasing cohomological forms and Hilbert modular surfaces.
K3 Surfaces and Orthogonal Modular Forms
本文研究了具有特定自同构群和Picard秩的K3曲面的模形式生成元，并通过Weierstrass型方程揭示其结构。
We formulate a detailed conjectural Eichler-Shimura type formula for the cohomology of local systems on a Picard modular surface associated to the group of unitary similitudes $\mathrm{GU}(2,1,\mathbb{Q}(\sqrt{-3}))$. The formula is based on counting points over finite fields on curves of genus three which are cyclic triple covers of the projective line. Assuming the conjecture we are able to calculate traces of Hecke operators on spaces of Picard modular forms. We provide ample evidence for the conjectural formula. Along the way we prove new results on characteristic polynomials of Frobenius …
In recent work by Einsiedler, Mozes, Shah and Shapira the limiting distributions of primitive rational points on expanding horospheres was examined in arbitrary dimension, and a suspended version of this result was announced. Motivated by this, we prove an analog to the announcement for primitive rational points in Hilbert modular surfaces via effective mixing.
We define a weighted multiplicity function for closed geodesics of given length on a finite area Riemann surface. These weighted multiplicities appear naturally in the Selberg trace formula, and in particular their mean square plays an important role in the study of statistics of the eigenvalues of the Laplacian on the surface. In the case of the modular domain, E. Bogomolny, F. Leyvraz and C. Schmit gave a formula for the mean square, which was rigorously proved by M. Peter. In this paper we calculate the mean square of weighted multiplicities for some surfaces associated to congruence subgro…
For every known Hecke eigenform of weight 3 with rational eigenvalues we exhibit a K3 surface over QQ associated to the form. This answers a question asked independently by Mazur and van Straten. The proof builds on a classification of CM forms by the second author.
We use spectral method to prove a joint equidistribution of primitive rational points and the same along expanding horocycle orbits in the products of the circle and the unit cotangent bundle of the modular surface. This result explicates the error bound in a recent work of Einsiedler, Luethi, and Shah \cite[Theorem $1.1$]{ELS}. The error is sharp upon the best known progress towards the Ramanujan conjecture at the finite places for the modular surface.
We prove effective equidistribution of primitive rational points and of primitive rational points defined by monomials along long horocycle orbits in products of the torus and the modular surface. This answers a question posed in joint work by the first and the last named author with Shahar Mozes and Uri Shapira. Under certain congruence conditions we prove the joint equidistribution of conjugate rational points in the two-torus and the modular surface.
An explicit product representation is proved for the correlation function of the multiplicities of closed geodesics on the modular surface. This makes rigorous part of the investigation of Bogomolny, Leyvraz and Schmit on the correlation of the eigenvalues of the Laplacian on the modular surface. The result can also be seen as a (rigorously proved) analogue of the Hardy-Littlewood twin prime conjecture.
We give an ergodic theoretic proof of a theorem of Duke about equidistribution of closed geodesics on the modular surface. The proof is closely related to the work of Yu. Linnik and B. Skubenko, who in particular proved this equidistribution under an additional congruence assumption on the discriminant. We give a more conceptual treatment using entropy theory, and show how to use positivity of the discriminant as a substitute for Linnik's congruence condition.
We determine the quantum variance of a sequence of families of automorphic forms on a compact quotient arising from a non-split quaternion algebra. Our results compare to those obtained by Luo--Sarnak, Zhao, and Sarnak--Zhao on the modular curve, whose method required a cusp. Our method uses the theta correspondence to reduce the problem to the estimation of metaplectic Rankin--Selberg convolutions. We apply it here to the first non-split case.
For $N\geq 3$, we show Tate's conjecture for the elliptic modular surface $E(N)$ of level $N$ over $\mathbb{F}_p$ for a prime $p$ satisfying $p\equiv 1\mod N$ outside of a set of primes of density zero. We also prove a strong form of Tate's conjecture for $E(N)$ over any finite field of characteristic $p$ prime to $N$ under the assumption that the formal Brauer group of $E(N)$ is of finite height.
Let $F_n$ denote the Fermat curve given by $x^n+y^n=z^n$ and let $μ_n$ denote the Galois module of $n$th roots of unity. It is known that the integral homology group $H_1(F_n,\Z)$ is a cyclic $\Z[μ_n\times μ_n]$ module. In this paper, we prove this result using modular symbols and the modular description of Fermat curves; moreover we find a basis for the integral homology group $H_1(F_n,\Z)$. We also construct a family of Fermat curves using the Fermat surface and compute its monodromy.
The existence of the limiting pair correlation for angles between reciprocal geodesics on the modular surface is established. An explicit formula is provided, which captures geometric information about the length of reciprocal geodesics, as well as arithmetic information about the associated reciprocal classes of binary quadratic forms. One striking feature is the absence of a gap beyond zero in the limiting distribution, contrasting with the analog Euclidean situation.
This is a survey article about Siegel modular varieties over the complex numbers. It is written mostly from the point of view of moduli of abelian varieties, especially surfaces. We cover compactification of Siegel modular varieties; classification of the compactified varieties by Kodaira dimension, etc.; moduli of abelian surfaces and especially applications of the lifting of Jacobi forms to modular forms; projective models of some special Siegel modular 3-folds; non-principally polarized abelian surfaces; and constructing degenerating families of abelian varieties.
Rings of Hilbert modular forms, computations on Hilbert modular surfaces, and the Oda-Hamahata conjecture
针对全实数域上椭圆曲线的模性解析与几何概念差异问题，本文通过显式计算对实二次域上椭圆曲线且希尔伯特模簇几何亏格为1的情形，证明了浜畑猜想中希尔伯特模簇与椭圆曲线共轭乘积的对应关系。
We study differential equations satisfied by modular forms associated to $Γ_1\timesΓ_2$, where $Γ_i (i=1,2)$ are genus zero subgroups of $SL_2(\mathbf R)$ commensurable with $SL_2(\mathbf Z)$, e.g., $Γ_0(N)$ or $Γ_0(N)^*$. In some examples, these differential equations are realized as the Picard--Fuch differential equations of families of K3 surfaces with large Picard numbers, e.g., $19, 18, 17, 16$. Our method rediscovers some of the Lian--Yau examples of ``modular relations'' involving power series solutions to the second and the third order differential equations of Fuchsian type in [14, 15…
Just-likely intersections on Hilbert modular surfaces
本文证明了正特征下 Hilbert 模曲面上曲线的恰似相交猜想情形，并计算了带实乘法阿贝尔曲面在 p-幂同源下 Faltings 高度的变化。
We construct a natural family of rational functions $\tildeΨ_m$ on a Hilbert modular surface from the classical $j$-invariant and its Hecke translates. These functions are obtained by means of a multiplicative analogue of the Doi-Naganuma lifting and can be viewed as twisted Borcherds products. We then study when the value of $\tildeΨ_m$ at a CM point associated to a non-biquadratic quartic CM field generates the `CM class field' of the reflex field. For the real quadratic field $\Q(\sqrt{5})$, we factorize the norm of some of these CM values to $\Q(\sqrt 5)$ numerically.
We investigate arithmetic aspects of the middle degree cohomology of compactified Picard modular surfaces $X$ attached to the unitary similitude group $\mathrm{GU}(2,1)$ for an imaginary quadratic extension $E/\mathbf{Q}$. We construct new Beilinson--Flach classes on $X$ and compute their Archimedean regulator. We obtain a special value formula involving a non-critical $L$-value of the degree six standard $L$-function, a Whittaker period, and the regulator. This provides evidence for Beilinson's conjecture in this setting.
We establish a correspondence between generalized quiver gauge theories in four dimensions and congruence subgroups of the modular group, hinging upon the trivalent graphs which arise in both. The gauge theories and the graphs are enumerated and their numbers are compared. The correspondence is particularly striking for genus zero torsion-free congruence subgroups as exemplified by those which arise in Moonshine. We analyze in detail the case of index 24, where modular elliptic K3 surfaces emerge: here, the elliptic j-invariants can be recast as dessins d'enfant which dictate the Seiberg-Witte…
Let $Γ\subset \mathbf{PU}(2,1)$ be a lattice which is not co-compact, of finite Bergman-covolume and acting freely on the open unit ball $\mathbf{B} \subset \mathbb{C}^2$. Then the compactification $X = \bar{Γ\setminus \mathbf{B}}$ is a smooth projective surface with an elliptic compactification divisor $D = X \setminus (Γ\setminus \mathbf{B})$. In this short note we discover a new class of unramified ball-quotients $X$. We consider ball-quotients $X$ with $kod(X) = h^1(X, \mathcal{O}_X) = 1$. We prove that all minimal surfaces with finite Mordell-Weil group in the class described become after…
Erdős-Kac type theorem for the number of scattering geodesics on modular surface
本文受经典 Erdős-Kac 定理启发，证明模曲面上具有共同停留时间的散射测地线数量满足一种 Erdős-Kac 型高斯分布规律。
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。