In 1997 the author found a criterion for the Riemann hypothesis for the Riemann zeta function, involving the nonnegativity of certain coefficients associated with the Riemann zeta function. In 1999 Bombieri and Lagarias obtained an arithmetic formula for these coefficients using the ``explicit formula'' of prime number theory. In this paper, the author obtains an arithmetic formula for corresponding coefficients associated with the Euler product of Hecke polynomials, which is essentially a product of L-functions attached to weight 2 cusp forms (both newforms and oldforms) over Hecke congruence subgroups. The nonnegativity of these coefficients gives a criterion for the Riemann hypothesis for all these L-functions at once.
Let $F$ and $G$ be Siegel cusp forms for $\Sp_4(\Z)$ and weights $k_1, k_2$ respectively. Also let $F$ and $G$ be Hecke eigenforms lying in distinct eigen spaces. Further suppose that neither $F$ nor $G$ is a Saito-Kurokawa lift. In this article, we study simultaneous arithmetic behaviour of Hecke eigenvalues of these Hecke eigenforms.
In this paper, we describe the asymptotic distribution of Hecke eigenvalues in the Laplace eigenvalue aspect for certain families of Hecke-Maass forms on compact arithmetic quotients. Instead of relying on the trace formula, which was the primary tool in preceding studies on the subject, we use Fourier integral operator methods. This allows us to treat not only spherical, but also non-spherical Hecke-Maass forms with corresponding remainder estimates. Our asymptotic formulas are available for arbitrary simple and connected algebraic groups over number fields with cocompact arithmetic subgroups…
We study the derived Hecke action at $p$ on the ordinary $p$-adic cohomology of arithmetic subgroups of semisimple groups $\mathrm G(\mathbb Q)$, i.e., we study the derived version of Hida's theory for ordinary Hecke algebras. This is the analog at $\ell=p$ of derived Hecke actions studied by Venkatesh in the tame case. We show that properties of the derived Hecke action at $p$ are related to deep conjectures in Galois cohomology which are higher analogs of the classical Leopoldt conjecture.
Here we characterise in a complete and explicit way the relations of algebraic dependence over $\QQ$ of complex values of Hecke-Mahler series taken at algebraic points of the multiplicative group $\GG_m^2(\CC)$. Our result contains previous theorems by Loxton and van der Poorten, Mahler, and Masser.
This is an expository article that concerns the various related notions of algebraic idele class characters, the Groessencharaktere of Hecke, and cohomological automorphic representations of GL(1), all under the general title of algebraic Hecke characters. The first part of the article systematically lays the foundations of algebraic Hecke characters. The only pre-requisites are: basic algebraic number theory, familiarity with the adelic language, and basic sheaf theory. Observations that play a crucial role in the arithmetic of automorphic L-functions are also discussed. The second part of th…
We outline an algorithm for computing Hecke operators on equivariant cohomology $H^\ast_{Γ_{\text{Sp}}}(X_{\text{Sp}};ρ)$ for the symplectic group $\text{Sp}_4(\mathbb{R})$. To do this, we define a new acyclic cell complex for $\text{Sp}_4(\mathbb{R})$ and make use of the well-tempered complex.
We show that, in a restricted range, the divisor function of integers in residue classes modulo a prime follows a Gaussian distribution, and a similar result for Hecke eigenvalues of classical holomorphic cusp forms. Furthermore, we obtain the joint distribution of these arithmetic functions in two related residue classes. These results follow from asymptotic evaluations of the relevant moments, and depend crucially on results on the independence of monodromy groups related to products of Kloosterman sums.
We describe a graded extension of the usual Hecke algebra: it acts in a graded fashion on the cohomology of an arithmetic group $Γ$. Under favorable conditions, the cohomology is freely generated in a single degree over this graded Hecke algebra. From this construction we extract an action of certain $p$-adic Galois cohomology groups on $H^*(Γ, \mathbb{Q}_p)$, and formulate the central conjecture: the motivic $\mathbb{Q}$-lattice inside these Galois cohomology groups preserves $H^*(Γ,\mathbb{Q})$.
Let $H$ be a semisimple algebraic group, $K$ a maximal compact subgroup of $G:=H(\mathbb{R})$, and $Γ\subset H(\mathbb{Q})$ a congruence arithmetic subgroup. In this paper, we generalize existing subconvex bounds for Hecke-Maass forms on the locally symmetric space $Γ\backslash G/K$ to corresponding bounds on the arithmetic quotient $Γ\backslash G$ for cocompact lattices using the spectral function of an elliptic operator. The bounds obtained extend known subconvex bounds for automorphic forms to non-trivial $K$-types, yielding subconvex bounds for new classes of automorphic representations, a…
We present an algorithm to compute the Hecke operators on the equivariant cohomology of an arithmetic subgroup $Γ$ of the general linear group $\mathrm{GL}_n$. This includes $\mathrm{GL}_n$ over a number field or a finite-dimensional division algebra. As coefficients, we may use any finite-dimensional local coefficient system. Unlike earlier methods, the algorithm works for the cohomology $H^i$ in all degrees $i$. It starts from the well-rounded retract $\tilde{W}$, a $Γ$-invariant cell complex which computes the cohomology. It extends $\tilde{W}$ to a new well-tempered complex $\tilde{W}^+$ o…
We construct an Euler system of generalized Heegner cycles to bound the Selmer group associated to a modular form and an algebraic Hecke character. The main argument is based on Kolyvagin's machinery explained by Gross while the key object of the Euler system, the generalized Heegner cycles, were first considered by Bertolini, Darmon and Prasanna.
We formulate a precise conjecture that, if true, extends the converse theorem of Hecke without requiring hypotheses on twists by Dirichlet characters or an Euler product. The main idea is to linearize the Euler product, replacing it by twists by Ramanujan sums. We provide evidence for the conjecture, including proofs of some special cases and under various additional hypotheses.
In this article, we derive a sub convexity estimate of Hecke eigen cusp forms associated to certain cocompact arithmetic subgroups of SL(2,R). The main result can be considered as the holomorphic version of the estimate of Hecke eigen Maass forms, derived in a famous paper of Iwaniec and Sarnak. A stronger estimate was derived by Khayutin and Steiner in arXiv:2009.07194. However, techniques used in both the papers are very different.
We construct algebras of endomorphisms in the derived category of the cohomology of arithmetic manifolds, which are generated by Hecke operators. We construct Galois representations with coefficients in these Hecke algebras and apply this technique to sharpen recent results of P. Scholze.
Let $Γ$ be a lattice in a locally compact group $G$. In earlier work, we used $KK$-theory to equip the $K$-groups of any $Γ$-$C^{*}$-algebra on which the commensurator of $Γ$ acts with Hecke operators. When $Γ$ is arithmetic, this gives Hecke operators on the $K$-theory of certain $C^{*}$-algebras that are naturally associated with $Γ$. In this paper, we first study the topological $K$-theory of the arithmetic manifold associated to $Γ$. We prove that the Chern character commutes with Hecke operators. Afterwards, we show that the Shimura product of double cosets naturally corresponds to the Ka…
In this paper an explicit formula is given for a sequence of numbers. The positivity of this sequence of numbers implies that zeros in the critical strip of the Euler product of Hecke polynomials, which are associated with the space of cusp forms of weight $k$ for Hecke congruence subgroups, lie on the critical line.
This note provides truncated formulae with explicit error terms to compute Euler products over primes in arithmetic progressions of rational fractions. It further provides such a formula for the product of terms of the shape $F(1/p, 1/p^s)$ when $F$ is a two-variable polynomial with coefficients in $\mathbb{C}$ and satisfying some restrictive conditions.
In this paper, we prove the weak Siegel-Weil formula for the space M_2(Q) . We study the Hecke correspondence and representation numbers associated to Eichler orders, and give the explicit formula for degree of Hecke correspondence and average representation numbers over genus. This formula could recover the main results in [DuYang]. We could identify these numbers with the Fourier coefficients of Eisenstein series via Siegel-Weil formula(weak Siegel-Weil formula for M_2(Q). In the last part of this article, we reprove four square sum Theorem via Siegel-Weil formula and Kudla's matching.
Building on the works of S. Bochner on equivalence of modular relation with functional equation associated to the Dirichlet series, K. Chandrasekharan and R. Narasimhan obtained new equivalences between the functional equation and some arithmetical identities. Sister Ann M. Heath considered the functional equation in the Hawkins and Knopp context and showed its equivalence to two arithmetical identities associated with entire modular cusp integrals involving rational period functions for the full modular group. In this paper we use techniques of Chandrasekharan and Narasimhan and extend the re…
We obtain an explicit formula for the spherical image of the polynomial fraction conjectured by Shimura in 1963 for generating Hecke series in particular case of genus 4. As in our previous work we used the Satake spherical map for ${\rm Sp}_4$ and formulas by Andrianov. Key words: Hecke operators, Dirichlet series, Euler factorization, spherical map.
Under mild hypotheses on the residual representation, we prove the Equivariant Tamagawa Number Conjecture for modular motives with coefficients in universal deformation rings and Hecke algebras using a novel combination of the methods of Euler systems and Taylor-Wiles systems. We also prove the compatibility of this conjecture with specialization.
We develop a method for describing the Galois action on the superspecial locus of the Siegel moduli space in characteristic $p$. Using this description, we give a modern treatment for the results of Ibukiyama and Katsura [Compos. Math., 1994] concerning the $\mathbb{F}_p$-rational points and the trace of a Hecke operator of Atkin-Lehner type. This also leads to analogues with level-$N$ structure. The trace of the Hecke operator can be reduced into one term (instead of finitely many terms a priori) by the simple trace formula when $N$ is large.
We obtain lower bounds for the number of nodal domains of Hecke eigenfunctions on the sphere. Assuming the generalized Lindelof hypothesis we prove that the number of nodal domains of any Hecke eigenfunction grows with the eigenvalue of the Laplacian. By a very different method, we show unconditionally that the average number of nodal domains of degree l Hecke eigenfunctions grows significantly faster than the uniform growth obtained under Lindelof.
We survey techniques to compute the action of the Hecke operators on the cohomology of arithmetic groups. These techniques can be seen as generalizations in different directions of the classical modular symbol algorithm, due to Manin and Ash-Rudolph. Most of the work is contained in papers of the author and the author with Mark McConnell. Some results are unpublished work of Mark McConnell and Robert MacPherson.
We investigate the behavior of the divisor function in both short intervals and in arithmetic progressions. The latter problem was recently studied by É. Fouvry, S. Ganguly, E. Kowalski, and Ph. Michel. We prove a complementary result to their main theorem. We also show that in short intervals of certain lengths the divisor function has a Gaussian limiting distribution. The analogous problems for Hecke eigenvalues are also considered.
For finite sums of non-negative powers of arithmetic progressions the generating functions (ordinary and exponential ones) for given powers are computed. This leads to a two parameter generalization of Stirling and Eulerian numbers. A direct generalization of Bernoulli numbers and their polynomials follows. On the way to find the Faulhaber formula for these sums of powers in terms of generalized Bernoulli polynomials one is led to a one parameter generalization of Bernoulli numbers and their polynomials. Generalized Lah numbers are also considered.
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 $ξ$ and $m$ be integers satisfying $ξ\ne 0$ and $m\ge 3$. We show that for any given integers $a$ and $b$, $b \neq 0$, there are $\frac{φ(m)}{2}$ reduced residue classes modulo $m$ each containing infinitely many primes $p$ such that $a-bF_p(ξ) \ne 0$, where $F_p(ξ)=\sum_{n=0}^\infty n!ξ^n$ is the $p$-adic evaluation of Euler's factorial series at the point $ξ$.
We consider the Hecke pair consisting of the group $P^+_K$ of affine transformations of a number field $K$ that preserve the orientation in every real embedding and the subgroup $P^+_O$ consisting of transformations with algebraic integer coefficients. The associated Hecke algebra $C^*(P^+_K,P^+_O)$ has a natural time evolution $σ$, and we describe the corresponding phase transition for KMS$_β$-states and for ground states. From work of Yalkinoglu and Neshveyev it is known that a Bost-Connes type system associated to $K$ has an essentially unique arithmetic subalgebra. When we import this suba…
Associated to a newform $f(z)$ is a Dirichlet series $L_f(s)$ with functional equation and Euler product. Hecke showed that if the Dirichlet series $F(s)$ has a functional equation of a particular form, then $F(s)=L_f(s)$ for some holomorphic newform $f(z)$ on $Γ(1)$. Weil extended this result to $Γ_0(N)$ under an assumption on the twists of $F(s)$ by Dirichlet characters. Conrey and Farmer extended Hecke's result for certain small $N$, assuming that the local factors in the Euler product of $F(s)$ were of a special form. We make the same assumption on the Euler product and describe an approac…
We define the $k$-dimensional generalized Euler function $φ_k(n)$ as the number of ordered $k$-tuples $(a_1,\ldots,a_k)\in {\Bbb N}^k$ such that $1\le a_1,\ldots,a_k\le n$ and both the product $a_1\cdots a_k$ and the sum $a_1+\cdots +a_k$ are prime to $n$. We investigate some of properties of the function $φ_k(n)$, and obtain a corresponding Menon-type identity.
A continued fractions based verification of the Hurwitz values for the Hecke triangle groups is given, completing a program of Lehner's. Ergodic theory shows that Diophantine approximation by mediant convergents of the Rosen continued fractions is sufficient to determine the values that Haas and Series found by hyperbolic geometry.
Let $f_{\mathrm{new}}$ be a classical newform of weight $\geq 2$ and prime to $p$ level. We study the arithmetic of $f_{\mathrm{new}}$ and its unique $p$-stabilisation $f$ when $f_{\mathrm{new}}$ is $p$-irregular, that is, when its Hecke polynomial at $p$ admits a single repeated root. In particular, we study $p$-adic weight families through $f$ and its base-change to an imaginary quadratic field $F$ where $p$ splits, and prove that the respective eigencurves are both Gorenstein at $f$. We use this to construct a two-variable $p$-adic $L$-function over a Coleman family through $f$, and a three…
In the context of arithmetic surfaces, Bost defined a generalized Arithmetic Chow Group (ACG) using the Sobolev space L^2_1. We study the behavior of these groups under pull-back and push-forward and we prove a projection formula. We use these results to define an action of the Hecke operators on the ACG of modular curves and to show that they are self-adjoint with respect to the arithmetic intersection product. The decomposition of the ACG in eigencomponents which follows allows us to define new numerical invariants, which are refined versions of the self-intersection of the dualizing sheaf. …
In 1992, Avner Ash and Mark McConnell presented computational evidence of a connection between three-dimensional Galois representations and certain arithmetic cohomology classes. For some examples they were unable to determine the attached representation. For several Hecke eigenclasses (including one for which Ash and McConnell did not find the Galois representation), we find a Galois representation which appears to be attached and show strong evidence for the uniqueness of this representation. The techniques that we use to find defining polynomials for the Galois representations include a tar…
Associated to a newform $f(z)$ is a Dirichlet series $L_f(s)$ with functional equation and Euler product. Hecke showed that if the Dirichlet series $F(s)$ has a functional equation of the appropriate form, then $F(s)=L_f(s)$ for some holomorphic newform $f(z)$ on $Γ(1)$. Weil extended this result to $Γ_0(N)$ under an assumption on the twists of $F(s)$ by Dirichlet characters. We show that, at least for small $N$, the assumption on twists can be replaced by an assumption on the local factors of the Euler product of $F(s)$.
In Monstrous moonshine, genus 0 property and the notion of replicability are strongly connected. With regards to recent developments of moonshine, we investigate a higher genus generalization of replicability for a general automorphic form. Specifically, we extend the definitions of replicates and a Hecke operator to harmonic Maass functions on modular curves of higher genera to obtain number theoretic generalizations of important results in Monstrous moonshine. Furthermore, we show the utility of the extended notions in yielding uniform proofs for numerous arithmetic properties of Fourier coe…
In this note, we prove a finiteness result for fibers that are canonical lifts in a given elliptic fibration. The question was motivated by the authors' construction of an arithmetic Euler top, and it highlights an interesting discrepancy between the arithmetic and the classical case: in the former, it is impossible to extend the flows to a compactification of the phase space, viewed as an elliptic fibration over the space of action variables.
Let $f$ be a half-integral weight cusp form of level $4N$ for odd and squarefree $N$ and let $a(n)$ denote its $n^{\rm th}$ normalized Fourier coefficient. Assuming that all the coefficients $a(n)$ are real, we study the sign of $a(n)$ when $n$ runs through an arithmetic progression. As a consequence, we establish a lower bound for the number of integers $n\le x$ such that $a(n)>n^{-α}$ where $x$ and $α$ are positive and $f$ is not necessarily a Hecke eigenform.
