The trace class conjecture in the theory of automorphic forms
Let \({\mathcal G}\) denote a reductive group over \({\mathbb{Q}}\) and \(G={\mathcal G}({\mathbb{R}})\) the group of real points. Let \(\Gamma\subset G\) denote an arithmetic subgroup. The aim of automorphic theory is to describe the space \(L^ 2(\Gamma \setminus G)\). As G-module this space admits a decomposition: \[ L^ 2(\Gamma \setminus G)=L^ 2_{dis}(\Gamma \setminus G)\oplus L^ 2_{con}(\Gamma \setminus G). \] Here \(L^ 2_{dis}\) is a direct Hilbert sum of irreducible unitary representations of G and \(L^ 2_{con}\) is a continuous Hilbert integral over irreducibles. The space \(L^ 2_{con}\) can be described by means of Eisenstein series and is well understood. The latter does not hold for \(L^ 2_{dis}.\) One important question that is raised in connection with the Selberg trace formula is the trace class conjecture. Let \(\pi_{dis}\) denote the representation of G on \(L^ 2_{dis}\) and let \(f\in C_ c^{\infty}(G)\) be a differentiable function of compact support. The trace class conjecture states that \(\pi_{dis}(f)\) should be a trace class operator. Under the additional assumption that f spans a finite dimensional space under left and right actions of a maximal compact subgroup K of G the article under consideration gives an affirmative answer to this question. Even more is true: f only needs to be a Harish-Chandra Schwartz-function. The assumption of K-finiteness is - at least for applications - no serious restriction and the author thinks that it can be removed. The proof relies on a somewhat more concrete description of the space \(L^ 2_{dis}\). This space splits as \(L^ 2_{dis}=L^ 2_{cus}\oplus L^ 2_{res}\). The space \(L^ 2_{cus}\) is the space of cusp forms and the trace class conjecture was known to hold on this space before. The space \(L^ 2_{res}\) is spanned by the iterated residues of Eisenstein series. Using a detailed analysis of the constant term of Eisenstein series the author gives estimates of the dimension of the space of functions in \(L^ 2_{res}\) with Casimir-eigenvalue less than a given bound. Thus he ends with a growth estimate on Casimir- eigenvalues which gives the assertion. A serious gap in the theory of the Trace Formula has been filled by this work. It should nevertheless be remarked that (unfortunately?) J. Arthur has circumvented these difficulties in his Trace Formula which has shown to be appropriate for arithmetical applications. On the other side the trace class conjecture was an interesting question on its own which now has found an answer.
- The trace class conjecture for arithmetic groups
- A local trace formula
- The trace class conjecture in the theory of automorphic forms. II
- Geometry of compactifications of locally symmetric spaces
- Analytic torsion of arithmetic quotients of the symmetric space \(\mathrm{SL} (n,\mathbb{R})/ \mathrm{SO}(n)\)
- Analytic torsion of complete hyperbolic manifolds of finite volume
- Some consequences of Arthur's work on the spectrum and topology of hyperbolic varieties
- Equidistribution of holonomy about closed geodesics
- On the remainder term of the Weyl law for congruence subgroups of Chevalley groups
- On the asymptotics of Hecke operators for reductive groups
- Quantum ergodicity for pseudo-Laplacians
- Analytic torsion for arithmetic locally symmetric manifolds and approximation of \(L^2\)-torsion
- Isolation of the cuspidal spectrum: the function field case
- A conjecture about the analytical behaviour of Eisenstein series
- Scattering matrices and scattering geodesics of locally symmetric spaces
- Asymptotics of automorphic spectra and the trace formula
- The spectral side of Arthur's trace formula
- The \(L^{p}\) spectrum and heat dynamics of locally symmetric spaces of higher rank
- scientific article; zbMATH DE number 3882645 (Why is no real title available?)
- scientific article; zbMATH DE number 6530153 (Why is no real title available?)
- Spectral decomposition of compactly supported Poincaré series and existence of cusp forms
- The Selberg Trace Formula. V: Questions of Trace Class
- The Selberg Trace Formula VI: Implications of Estimability
- Some Explicit Cases of the Selberg Trace Formula for Vector Valued Functions
- The trace class conjecture without the K-finiteness assumption
- Harmonic analysis in weighted L2-spaces
- Riemann’s zeta function and beyond
- Boundedness of automorphic 𝐿–functions in vertical strips
- The analytic torsion and its asymptotic behaviour for sequences of hyperbolic manifolds of finite volume
- scientific article; zbMATH DE number 2149779 (Why is no real title available?)
- scientific article; zbMATH DE number 795023 (Why is no real title available?)
- scientific article; zbMATH DE number 898051 (Why is no real title available?)
- Limit multiplicities for principal congruence subgroups of \(\mathrm{GL}(n)\) and \(\mathrm{SL}(n)\)
- scientific article; zbMATH DE number 6322110 (Why is no real title available?)
- Conjectures about the residual spectrum
- On the meromorphic continuation of Eisenstein series
- On the spectral side of Arthur's trace formula -- absolute convergence
- On the Arthur-Selberg trace formula for \(\mathrm{GL}(2)\)
- On local character relations
- L-packets of quasisplit GSp(2n) and GO(2n)
- Asymptotic behavior for twisted traces of self-dual and conjugate self-dual representations of \(\mathrm{GL}_n\)
- The zeta functions of Ruelle and Selberg for hyperbolic manifolds with cusps
- L^p spectral theory and heat dynamics of locally symmetric spaces
This page was built for publication: The trace class conjecture in the theory of automorphic forms
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q913842)
