A note on the trace formula

Eran Assaf

2024-03-25

Abstract:In this mostly expository note, we prove explicit formulas for the traces of Hecke operators on spaces of cusp forms fixed by Atkin-Lehner involutions, which are suitable for efficient implementation. In addition, we correct a couple of errors in previously published formulas.

Number Theory

What problem does this paper attempt to address?

A note on traces for the Heisenberg calculus

Alexander Gorokhovsky,Erik van Erp

2024-10-16

Abstract:In previous work, we gave a local formula for the index of Heisenberg elliptic operators on contact manifolds. We constructed a cocycle in periodic cyclic cohomology which, when paired with the Connes-Chern character of the principal Heisenberg symbol, calculates the index. A crucial ingredient of our index formula was a new trace on the algebra of Heisenberg pseudodifferential operators. The construction of this trace was rather involved. In the present paper, we clarify the nature of this trace.

Functional Analysis,Analysis of PDEs,Differential Geometry
Traces of Hecke Operators via Hypergeometric Character Sums

Jerome W. Hoffman,Wen-Ching Winnie Li,Ling Long,Fang-Ting Tu

2024-08-06

Abstract:In this paper we obtain explicit formulas for the traces of Hecke operators on spaces of cusp forms in certain instances related to arithmetic triangle groups. These expressions are in terms of hypergeometric character sums over finite fields, a theory developed largely by Greene, Katz, Beukers-Cohen-Mellit, and Fuselier-Long-Ramakrishna-Swisher-Tu. Our approach, in contrast to the previous works, is uniform and more geometric, and it works equally well for forms on elliptic modular curves and Shimura curves. The same method can be applied to obtain eigenvalues of Hecke operators as well.

Number Theory
A trace formula for Hecke operators on Fuchsian groups

Alexandru A. Popa

2023-06-18

Abstract:In this paper we give a trace formula for Hecke operators acting on the cohomology of a Fuchsian group of finite covolume, with coefficients in a module $V$. The proof is based on constructing an operator whose trace on $V$ equals the Lefschetz number of the Hecke correspondence on cohomology, generalizing the operator introduced together with Don Zagier for the modular group.

Number Theory
Eichler-Selberg relations for singular moduli

Yuqi Deng,Toshiki Matsusaka,Ken Ono

2024-06-20

Abstract:The Eichler-Selberg trace formula expresses the trace of Hecke operators on spaces of cusp forms as weighted sums of Hurwitz-Kronecker class numbers. We extend this formula to a natural class of relations for traces of singular moduli, where one views class numbers as traces of the constant function $j_0(\tau)=1$. More generally, we consider the singular moduli for the Hecke system of modular functions \[ j_m(\tau) := mT_m \left(j(\tau)-744\right). \] For each $\nu\geq 0$ and $m\geq 1$, we obtain an Eichler-Selberg relation. For $\nu=0$ and $m\in \{1, 2\},$ these relations are Kaneko's celebrated singular moduli formulas for the coefficients of $j(\tau).$ For each $\nu\geq 1$ and $m\geq 1,$ we obtain a new Eichler-Selberg trace formula for the Hecke action on the space of weight $2\nu+2$ cusp forms, where the traces of $j_m(\tau)$ singular moduli replace Hurwitz-Kronecker class numbers. These formulas involve a new term that is assembled from values of symmetrized shifted convolution $L$-functions.

Number Theory
Traces of Hecke operators on Drinfeld modular forms for $\mathbb{F}_q[T]$

Sjoerd de Vries

2024-07-05

Abstract:In this paper, we study traces of Hecke operators on Drinfeld modular forms of level 1 in the case $A = \mathbb{F}_q[T]$. We deduce closed-form expressions for traces of Hecke operators corresponding to primes of degree 1 and provide algorithms for primes of higher degree. We improve the Ramanujan bound and deduce the decomposition of cusp forms of level $\Gamma_0(T)$ into oldforms and newforms, as conjectured by Bandini-Valentino, under the hypothesis that each Hecke eigenvalue has multiplicity less than $p$.

Number Theory,Algebraic Geometry
A simple trace formula for arithmetic groups

Anton Deitmar

DOI: https://doi.org/10.48550/arXiv.math/9912144

1999-12-17

Abstract:We deduce from Arthur's trace formula a formula with only orbital integrals on the geometric side.

Number Theory
Formule des Traces et Fonctorialité: le Début d'un Programme

Edward Frenkel,Robert Langlands,Ngo Bao Chau

DOI: https://doi.org/10.48550/arXiv.1003.4578

2010-09-30

Abstract:We outline an approach to proving functoriality of automorphic representations using trace formula. More specifically, we construct a family of integral operators on the space of automorphic forms whose eigenvalues are expressed in terms of the L-functions of automorphic representations and begin the analysis of their traces using the orbital side of the stable trace formula. We show that the most interesting part, corresponding to regular conjugacy classes, is nothing but a sum over a finite-dimensional vector space over the global field, which we call the Steinberg-Hitchin base. Therefore it may be analyzed using the Poisson summation formula. Our main result is that the leading term of the dual sum (the value at 0) is precisely the dominant term of the trace formula (the contribution of the trivial representation). This gives us hope that the full Poisson summation formula would reveal the patterns predicted by functoriality.

Representation Theory,Algebraic Geometry,Number Theory
Beyond Endoscopy via the trace formula - II: Asymptotic expansions of Fourier transforms and bounds towards the Ramanujan conjecture

Salim Ali Altug

DOI: https://doi.org/10.48550/arXiv.1506.08911

2015-12-31

Abstract:We continue the analysis of the elliptic part of the trace formula initiated in \cite{Altug:2015aa}. In that reference Poisson summation was applied to the elliptic part and the dominant term was analyzed. The main aim of this paper is to study the remaining terms after Poisson summation. We analyze the the Fourier transforms of (smoothed) orbital integrals and obtain exact asymptotic expansions. As an application we recover, using the Arthur-Selberg trace formula, Kuznetsov's result (cf. \cite{Kuznetsov:1980aa}) that the trace of the $p$th Hecke operator on cuspidal automorphic representations is bounded by $p^{\frac14}$.

Number Theory,Representation Theory
Around trace formulas in non-commutative integration

Shigeru Yamagami

DOI: https://doi.org/10.48550/arXiv.1701.04127

2017-01-16

Abstract:Trace formulas are investigated in non-commutative integration theory. The main result is to evaluate the standard trace of a Takesaki dual and, for this, we introduce the notion of interpolator and accompanied boundary objects. The formula is then applied to explore a variation of Haagerup's trace formula.

Operator Algebras,Quantum Algebra
On the trace of Hecke Operators for Maass forms for congruence subgroups

J. Brian Conrey,Xian-Jin Li

DOI: https://doi.org/10.48550/arXiv.math/9907197

1999-07-01

Abstract:Let E_lambda be a Hilbert space, whose elements are functions spanned by the eigenfunctions of the Laplace-Beltrami operator associated with an eigenvalue lambda>0. The norm of elements in this space is given by the Petersson inner product. In this paper, the trace of Hecke operators T_n acting on the space E_lambda is computed for congruence subgroups of Gamma_0(N) of square free level, which may be considered as the analogue of the Eichler-Selberg trace formula [11] for non-holomorphyic cusp forms of weight zero.

Number Theory
Trace formula and Levinson's theorem as an index pairing in the presence of resonances

Angus Alexander

2024-02-25

Abstract:We realise the number of bound states of a Schrödinger operator on $\mathbb{R}^n$ as an index pairing in all dimensions. Expanding on ideas of Guillopé and others, we use high-energy corrections to find representatives of the $K$-theory class of the scattering operator. These representatives allow us to compute the number of bound states using an integral formula involving heat kernel coefficients.

K-Theory and Homology,Mathematical Physics,Spectral Theory
Trace Forms on the Cyclotomic Hecke Algebras and Cocenters of the Cyclotomic Schur Algebras

Zhekun He,Jun Hu,Huang Lin

DOI: https://doi.org/10.1016/j.jpaa.2022.107281

IF: 0.834

2023-01-01

Journal of Pure and Applied Algebra

Abstract:We define a unified trace form τ on the cyclotomic Hecke algebras Hn,K of type A, which generalize both Malle-Mathas' trace form on the non-degenerate version (with Hecke parameter ξ≠1) and Brundan-Kleshchev's trace form on the degenerate version. We use seminormal basis theory to construct an explicit pair of dual bases for Hn,K with respect to the form. We also construct an explicit basis for the cocenter of the corresponding cyclotomic Schur algebra, which shows that the cocenter has dimension independent of the ground field K, the Hecke parameter ξ and the cyclotomic parameters Q1,⋯,Qℓ.
Effective estimates for traces of singular moduli

Oscar E. González,Qihang Sun

DOI: https://doi.org/10.1007/s40993-024-00517-6

2023-05-31

Abstract:Traces of singular moduli can be approximated by exponential sums of quadratic irrationals. Recently Andersen and Duke used theory of Maass forms to estimate generalized twisted traces with power-saving error bounds. We establish an asymptotic formula with effective error bounds for such traces. Our methods depend on an explicit bound for sums of Kloosterman sums on $\Gamma_0(4)$.

Number Theory
The Petersson/Kuznetsov trace formula with prescribed local ramifications

Yueke Hu

DOI: https://doi.org/10.1353/ajm.2024.a937940

IF: 1.835

2024-10-01

American Journal of Mathematics

Abstract:abstract: In this paper we derive refined Petersson/Kuznetsov trace formulae with prescribed local ramifications. The spectral side of these formulae \yh{picks out newforms whose associated local components come from specific sub-families of representations of given level, and are much shorter compared with the classical versions.} We use them to study the first moment and the subconvexity bound of certain Rankin-Selberg $L$-function in a hybrid setting, \yh{obtaining Weyl bound in a wider range compared to previous works}.

mathematics
Trace formulas in higher dimensions

Arup Chattopadhyay,Saikat Giri,Chandan Pradhan,Alexandr Usachev

2024-09-24

Abstract:The paper establishes the Krein and Koplienko trace formulas for multivariable operator functions on symmetrically normed ideals of bounded operators. This partially answers the question of Aleksandrov, Peller and Potapov on the existence of spectral shift measures for tuples of commuting self-adjoint operators. Results are proved for self-adjoint and maximal dissipative operators. They cover both ideals with normal and singular traces. The admissible function classes considered in the trace formulas include both analytic and non-analytic scalar functions. Results are illustrated with examples.

Functional Analysis
A local twisted trace formula for Whittaker induction of coregular symmetric pairs: the geometric side

Raphaël Beuzart-Plessis,Chen Wan

2024-06-13

Abstract:In this paper, we prove the geometric expansion of a local twisted trace formula for the Whittaker induction of any symmetric pairs that are coregular. This generalizes the local (twisted) trace formula for reductive groups proved by Arthur \cite{A91} and Waldspurger \cite{WalFTLtordue}. We also prove a formula for the regular germs of quasi-characters associated to strongly cuspidal functions in terms of certain weighted orbital integrals. As a consequence of our trace formula and the formula for regular germs of quasi-characters, we prove a simple local trace formula of those models for strongly cuspidal test functions which implies a multiplicity formula for these models. We also present various applications of our trace formula and multiplicity formula, including a necessary condition for a discrete L-packet to contain a representation with a unitary Shalika model (resp. a Galois model for classical groups) in terms of the associated Langlands parameter, and we also compute the summation of the corresponding multiplicities for certain discrete L-packets.

Representation Theory,Number Theory
The trace formula for coverings of connected reductive groups. II. Local harmonic analysis

Wen-Wei Li

2012-01-01

Abstract:We establish some results in local harmonic analysis which are necessary for Arthur's invariant trace formula for coverings of connected reductive groups. More precisely, for local coverings we will study (1) the Plancherel formula and its preparations, (2) the normalization of intertwining operators subject to Arthur's conditions, (3) the local behavior of characters of admissible representations in the nonarchimedean case, and (4) the genuine part of the invariant local trace formula. As a byproduct of the invariant local trace formula, we deduce the density of tempered characters for coverings.
Counting locally supercuspidal newforms

Andrew Knightly

DOI: https://doi.org/10.48550/arXiv.2310.17047

2023-12-03

Abstract:We set up a simple trace formula giving the number of holomorphic newforms of weight $k$ and level $N$ whose local representation type at each $p|N$ is a fixed supercuspidal representation $\sigma_p$ of $\operatorname{GL}_2(\mathbf{Q}_p)$. We evaluate the formula in detail in the case where each $\sigma_p$ has conductor $\le p^3$. We also compute the traces of Hecke operators on the span of these newforms. The technical heart of the paper is the calculation of elliptic orbital integrals attached to certain supercuspidal matrix coefficients. Some applications are given to biases among root numbers of newforms.

Number Theory
Relative Trace Formula And Simultaneous Nonvanishing for GL_3 x GL_2 and GL_3 x GL_1 L-functions

Philippe Michel,Dinakar Ramakrishnan,Liyang Yang

2024-11-20

Abstract:Fix a Dirichlet character $\chi$ and a cuspidal GL$(2)$ eigenform $\phi$ with relatively prime conductors. Then we show that there are infinitely many cusp forms $\pi$ on GL$(3)$ such that $L(1/2, \pi \times \chi)$ and $L(1/2, \pi \times \phi)$ are simultaneously non-zero. We achieve this by use of Jacquet's Relative Trace Formula. We derive an expression of the average over the GL$(3)$ cuspidal spectrum as a sum of a non-zero main term and two subsidiary terms which are forced to be zero for large enough level by use of a suitable test function. This modest article is dedicated to the memory of Harish Chandra, on the occasion of his hundredth birthday.

Number Theory
Trace formulae for Schrödinger operators on lattice

Evgeny Korotyaev

DOI: https://doi.org/10.48550/arXiv.1702.01388

2017-02-05

Abstract:We consider Schrödinger operators with complex decaying potentials (in general, not from trace class) on the lattice. We determine trace formulae and estimate of eigenvalues and singular measure in terms of potentials. The proof is based on estimates of free resolvent and analysis of functions from Hardy space.

Spectral Theory

A note on the trace formula

A note on traces for the Heisenberg calculus

Traces of Hecke Operators via Hypergeometric Character Sums

A trace formula for Hecke operators on Fuchsian groups

Eichler-Selberg relations for singular moduli

Traces of Hecke operators on Drinfeld modular forms for $\mathbb{F}_q[T]$

A simple trace formula for arithmetic groups

Formule des Traces et Fonctorialité: le Début d'un Programme

Beyond Endoscopy via the trace formula - II: Asymptotic expansions of Fourier transforms and bounds towards the Ramanujan conjecture

Around trace formulas in non-commutative integration

On the trace of Hecke Operators for Maass forms for congruence subgroups

Trace formula and Levinson's theorem as an index pairing in the presence of resonances

Trace Forms on the Cyclotomic Hecke Algebras and Cocenters of the Cyclotomic Schur Algebras

Effective estimates for traces of singular moduli

The Petersson/Kuznetsov trace formula with prescribed local ramifications

Trace formulas in higher dimensions

A local twisted trace formula for Whittaker induction of coregular symmetric pairs: the geometric side

The trace formula for coverings of connected reductive groups. II. Local harmonic analysis

Counting locally supercuspidal newforms

Relative Trace Formula And Simultaneous Nonvanishing for GL_3 x GL_2 and GL_3 x GL_1 L-functions

Trace formulae for Schrödinger operators on lattice