Relative Trace Equality Overview

• Relative trace equality is an identity that equates evaluations of integral operators via subgroup periods and character twists, unifying geometric and spectral expansions.
• It connects orbital integrals, Kloosterman sums, and automorphic periods, underpinning key results in the Kuznetsov formula and other trace formulations.
• Twisted and comparison variants extend this framework by using explicit transfer operators and imposing ellipticity and regularity conditions for a robust automorphic analysis.

Searching arXiv for the cited papers to ground the article in the literature. Relative trace equality denotes an exact identity obtained by evaluating a kernel or integral operator in two different ways after inserting subgroup periods, characters, or both. In the settings considered in the literature, the resulting equality typically compares a geometric expansion built from relative orbital integrals, Kloosterman sums, ortholength data, or transferred orbital distributions with a spectral expansion built from automorphic representations, period integrals, Fourier coefficients, and $L$-value weights. The notion is therefore broader than a single formula: it includes internal geometric–spectral identities for a given relative trace formula, twisted variants, and comparison identities between two different relative trace formulas (Getz et al., 2014, Hahn, 2015).

1. Relative trace equality as a relative analogue of the trace formula

The basic structural distinction from the ordinary trace formula is that the relevant symmetry is not ordinary conjugacy on a group and not integration over the diagonal. In the general simple setting of $H\le G\times G$, with $G$ a connected reductive algebraic group over a number field $F$ and $H$ a connected algebraic subgroup of $G\times G$ that is the direct product of a reductive group and a unipotent group, the action is

$(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$

A quasi-character

$X:H(\mathbb A_F)\to \mathbb C^\times$

trivial on $A_G$ and on $H(F)$ defines the relative period

$H\le G\times G$0

and for a test function $H\le G\times G$1 the kernel $H\le G\times G$2 admits a spectral expansion over cuspidal automorphic representations. The corresponding relative trace equality is

$H\le G\times G$3

where the left-hand side is a sum over relevant elliptic unimodular closed geometric classes and the right-hand side is a sum of relative traces $H\le G\times G$4 (Getz et al., 2014).

This formulation makes explicit why the equality is called relative. The geometric side is a sum of relative orbital integrals $H\le G\times G$5, integrating over stabilizer quotients rather than conjugacy classes. The spectral side is not a plain trace $H\le G\times G$6, but a period of the spectral kernel. In the Kuznetsov setting the same principle appears in a different guise: instead of integrating over the diagonal as in the Selberg trace formula, one integrates the kernel against a pair of unipotent characters, producing a relative trace formula whose spectral side involves automorphic Fourier coefficients and $H\le G\times G$7-values and whose geometric side involves Kloosterman sums and an archimedean Bessel transform (Blomer, 2019).

2. Twisted relative trace equality

A particularly explicit formulation appears in the simple twisted relative trace formula. The setting begins with a number field $H\le G\times G$8, a quadratic or trivial extension $H\le G\times G$9, a connected reductive $G$0-group $G$1, and an involution $G$2 of $G$3 of order $G$4. One forms

$G$5

lets $G$6 denote the induced Galois involution on $G$7, and sets

$G$8

The fixed-point subgroups are $G$9 and $F$0, and the relative trace formula is studied on the pair

$F$1

inside $F$2 (Hahn, 2015).

The relevant orbit relation is twisted. For $F$3,

$F$4

and the relative double coset space is

$F$5

An element is relatively $F$6-semisimple when $F$7 is semisimple in $F$8, and strongly relatively $F$9-regular when the $H$0-centralizer

$H$1

is a torus. The paper states that if $H$2 is relatively $H$3-semisimple, then this centralizer is reductive; if it is a torus, then $H$4 is strongly relatively $H$5-regular (Hahn, 2015).

The geometric side is built from twisted relative orbital integrals. For a unitary character $H$6 on

$H$7

trivial on rational points, the global twisted relative orbital integral $H$8 integrates $H$9 over the $G\times G$0-orbit of $G\times G$1, twisted by $G\times G$2. The relevance condition is that $G\times G$3 be trivial on the connected component $G\times G$4. Only then can the orbital integral contribute (Hahn, 2015).

The spectral side is built from cusp forms on

$G\times G$5

restricted to the Harish-Chandra subgroup $G\times G$6. For an automorphic representation $G\times G$7, the two relative periods are

$G\times G$8

If $G\times G$9 is $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$0-finite, the spectral twisted relative trace becomes a sum of products

$(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$1

over an orthonormal basis $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$2 of the $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$3-isotypic component (Hahn, 2015).

The main theorem states that, assuming $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$4 is connected and that there exist places $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$5 such that $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$6 is supported on relatively $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$7-elliptic elements, $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$8 is supported on strongly relatively $(h_\ell,h_r),\,g \mapsto h_\ell\,g\,h_r^{-1}.$9-regular elements, and $X:H(\mathbb A_F)\to \mathbb C^\times$0 is $X:H(\mathbb A_F)\to \mathbb C^\times$1-supercuspidal, the elliptic part of the twisted relative orbital sum equals the spectral sum over automorphic representations occurring in the cuspidal $X:H(\mathbb A_F)\to \mathbb C^\times$2-space. In the paper’s summary, under suitable ellipticity, regularity, and supercuspidality assumptions, the elliptic part of a $X:H(\mathbb A_F)\to \mathbb C^\times$3-twisted relative orbital sum equals the spectral sum of products of $X:H(\mathbb A_F)\to \mathbb C^\times$4- and $X:H(\mathbb A_F)\to \mathbb C^\times$5-periods over automorphic representations; this is the “simple twisted relative trace formula” (Hahn, 2015).

3. Comparison identities and transfer operators

Relative trace equality also occurs as an identity between two different relative trace formulas. For non-tempered split reductive spherical varieties $X:H(\mathbb A_F)\to \mathbb C^\times$6, one studies the period

$X:H(\mathbb A_F)\to \mathbb C^\times$7

and the relative trace formula

$X:H(\mathbb A_F)\to \mathbb C^\times$8

where $X:H(\mathbb A_F)\to \mathbb C^\times$9 is a maximal unipotent subgroup built from a parabolic $A_G$0. The comparison object is the Levi-side relative trace formula

$A_G$1

for a tempered spherical subgroup $A_G$2. The explicit transfer map is

$A_G$3

and the main equality is

$A_G$4

for all $A_G$5 that are locally $A_G$6-supercuspidal (Wan, 3 Dec 2025).

The proof mechanism is orbit-by-orbit unfolding. Using

$A_G$7

one writes $A_G$8. There is a distinguished orbit $A_G$9 such that $H(F)$0, while for all other orbits $H(F)$1, either $H(F)$2 is non-tempered, so Sakellaridis’ vanishing theorem kills it, or $H(F)$3 is of parabolic induced type, so local $H(F)$4-supercuspidality kills it. The distinguished orbit gives exactly

$H(F)$5

This places the equality in the framework of relative Langlands duality, where the Levi model is the “tempered support” or “cuspidal support” attached to the original non-tempered spherical variety (Wan, 3 Dec 2025).

A different comparison appears for $H(F)$6, where the Jacquet relative trace formula for

$H(F)$7

is compared with the Kuznetsov trace formula for

$H(F)$8

with non-standard test functions. The comparison is not by simple scalar transfer factors on individual orbital integrals, but by an explicit transfer operator

$H(F)$9

whose local version is built from Fourier transform and the involution

$H\le G\times G$00

The global geometric identity is a Poisson summation formula on the base: $H\le G\times G$01 The paper emphasizes that this is a non-standard comparison and that the transfer operator, rather than pointwise matching of orbital integrals, is the mechanism behind the global trace equality (Sakellaridis, 2014).

4. Analytic and geometric incarnations

The Kuznetsov formula provides a canonical analytic number theory example of relative trace equality. For $H\le G\times G$02, $H\le G\times G$03, and kernel

$H\le G\times G$04

the relative expression is

$H\le G\times G$05

for nonzero integers $H\le G\times G$06. On the spectral side this yields a sum over automorphic representations weighted by products of Fourier coefficients; on the geometric side, using the Bruhat decomposition of $H\le G\times G$07, one obtains Kloosterman sums. The displayed Kuznetsov identity has the standard shape

$H\le G\times G$08

with the archimedean transform $H\le G\times G$09 described as the “infinite place analogue” of Kloosterman sums (Blomer, 2019).

A geometric incarnation appears on a compact hyperbolic Riemann surface $H\le G\times G$10, relative to a primitive closed geodesic $H\le G\times G$11. The kernel

$H\le G\times G$12

has spectral expansion

$H\le G\times G$13

and integrating over $H\le G\times G$14 gives

$H\le G\times G$15

The geometric expansion is indexed by double cosets $H\le G\times G$16 and separates the identity term, exceptional terms corresponding to self-intersections of $H\le G\times G$17, and regular terms corresponding to orthogonal geodesic segments from $H\le G\times G$18 to itself. For regular non-exceptional terms,

$H\le G\times G$19

where $H\le G\times G$20 is the length of the unique shortest geodesic segment that starts and ends orthogonally on $H\le G\times G$21. The paper’s central interpretation is therefore

$H\le G\times G$22

a relative analogue of the classical Selberg trace formula (Martin et al., 2015).

5. Hypotheses, simplifications, and common misunderstandings

A recurrent feature of relative trace equalities is that they become “simple” only after imposing hypotheses that suppress continuous spectrum, non-elliptic orbits, or non-open geometric contributions. These assumptions are structural, not merely technical.

In the general simple relative trace formula, the theorem requires $H\le G\times G$23, that $H\le G\times G$24 have cuspidal image, and that whenever the $H\le G\times G$25-orbit of $H\le G\times G$26 intersects the support of $H\le G\times G$27, the point $H\le G\times G$28 be elliptic, unimodular, and closed. Under these assumptions the kernel integral

$H\le G\times G$29

is absolutely convergent, and the geometric sum involves only finitely many contributing classes. The proof uses the Dixmier–Malliavin lemma, rapid decay of cuspidal kernels, and finiteness arguments from geometric invariant theory and Galois cohomology (Getz et al., 2014).

In the twisted formula, the support conditions at $H\le G\times G$30 and $H\le G\times G$31 isolate relatively $H\le G\times G$32-elliptic and strongly relatively $H\le G\times G$33-regular elements, while the $H\le G\times G$34-supercuspidal hypothesis at $H\le G\times G$35 is used to force

$H\le G\times G$36

thereby killing the continuous spectrum and making the spectral expansion purely discrete (Hahn, 2015).

In the non-tempered spherical variety comparison, local $H\le G\times G$37-supercuspidality is used to kill non-open orbits of parabolic induced type. The paper also states that in many models the local $H\le G\times G$38-supercuspidal hypothesis is unnecessary, because all non-open orbit stabilizers are non-tempered and the vanishing follows from Sakellaridis’ theorem (Wan, 3 Dec 2025).

A common misunderstanding is to identify relative trace equality with pointwise matching of ordinary orbital integrals. The comparison for $H\le G\times G$39 shows that this is not the only mechanism: the two relative trace formulas are related by the explicit transform $H\le G\times G$40, and the comparison proceeds through Poisson summation and spectral measure matching rather than scalar transfer factors on individual orbits (Sakellaridis, 2014).

6. Significance, applications, and conceptual scope

Relative trace equalities have been used to prove asymptotic formulas, comparison theorems, and period identities across several parts of automorphic forms and analytic number theory. In the general simple setting they yield a relative Weyl law: $H\le G\times G$41 so automorphic representations are counted with weights given by squared $H\le G\times G$42-periods (Getz et al., 2014).

For compact Riemann surfaces, the relative trace formula produces asymptotics for average squared periods,

$H\le G\times G$43

implying $H\le G\times G$44 for infinitely many $H\le G\times G$45, and also yields simultaneous nonvanishing results for twisted periods and asymptotics for the ortholength counting function (Martin et al., 2015).

In the $H\le G\times G$46 comparison, the global equality between the torus relative trace formula and a Kuznetsov formula with non-standard test functions gives a new proof of Waldspurger’s theorem on toric periods and recovers the Tunnell–Saito criterion through the action of an explicit involution on orbital integrals (Sakellaridis, 2014).

In analytic number theory, the Kuznetsov relative trace formula is presented as one of the main engines of the subject. The spectral–geometric bridge between Fourier coefficients and $H\le G\times G$47-values on one side and Kloosterman sums and Bessel transforms on the other underlies applications to distribution of Hecke eigenvalues, large sieve inequalities, cancellation in Kloosterman sums, shifted convolution sums, moments and nonvanishing of $H\le G\times G$48-functions, subconvexity, and equidistribution phenomena (Blomer, 2019).

A broader conceptual interpretation emerges in the 2025 comparison for non-tempered spherical varieties. There the equality

$H\le G\times G$49

is presented as a conceptual explanation of many earlier comparison theorems through the lens of relative Langlands duality and the residue method: a non-tempered period is compared to a tempered period on an associated Levi subgroup, with the Levi model serving as the reduced or cuspidal-support object (Wan, 3 Dec 2025).

Taken together, these formulations show that “relative trace equality” is best understood as a unifying pattern rather than a single formula. Its stable features are the replacement of diagonal trace by relative periods, the replacement of ordinary conjugacy by relative or twisted orbits, and the possibility of comparing either geometry with spectrum or one relative trace formula with another via an explicit transfer.