Global Eisenstein Distribution in Adelic Settings

• Global Eisenstein Distribution is a framework that organizes Eisenstein series, classes, and coefficients into a coherent global object using compatibility relations like norm, pullback, and Hecke actions.
• It employs adelic cohomology, trace formulas, and spectral theory to refine classical distribution relations observed in modular and Siegel settings.
• The construction bridges diverse approaches—including p-adic, metaplectic, and microlocal methods—to provide a unified structural label for globally organized Eisenstein data.

Searching arXiv for recent and relevant papers on “Global Eisenstein Distribution” and closely related usages of the term. “Global Eisenstein distribution” designates several closely related constructions in which Eisenstein series, Eisenstein classes, or their Fourier and Whittaker coefficients are organized into a global object compatible with adelic symmetries, Hecke operators, trace formulas, or Mellin transforms. In one prominent formulation, it is a $G$-equivariant morphism of RIC functors from a Schwartz space to integral Eisenstein cohomology on Siegel modular varieties, giving an adelic refinement of the classical distribution relations of Siegel units (Shah, 2023). In other formulations, it is the $\chi$-spectral contribution built from Eisenstein series on unitary relative trace formulas (Beuzart-Plessis et al., 2023), the distribution $\Psi_{\mathrm{Eis}}$ governing the unramified Eisenstein spectrum via the Springer stack (Kazhdan et al., 2022), or a $p$-adic, metaplectic, or microlocal distribution attached to Eisenstein series and their Fourier coefficients (Gelbart et al., 2016, Chen, 2024, Guillarmou et al., 2011). This suggests that the expression is best understood as a structural label for globally organized Eisenstein data rather than as a single invariant.

1. Terminological scope

In the literature represented here, the phrase occurs in cohomological, trace-formula, spectral, microlocal, and $p$-adic settings. The recurring feature is that finite-level or local compatibilities are assembled into a global object whose defining properties are equivariance, functional equations, or factorization across places. This suggests a shared architecture: Eisenstein data are packaged so that restriction, pushforward, conjugation, Hecke action, or Mellin transform become intrinsic rather than auxiliary (Shah, 2023, Beuzart-Plessis et al., 2023, Kazhdan et al., 2022).

Setting	Basic object	Global feature
Siegel modular varieties	$\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$	Adelic refinement of distribution relations
Unitary relative trace formula	$J_\chi^U(f)$	Spectral distribution via regularized Eisenstein periods
Unramified Eisenstein spectrum	$\Psi_{\mathrm{Eis}}=\psi_F(T)$	Spectral decomposition indexed by nilpotent classes
Convex co-compact hyperbolic manifolds	$\mu_\xi$, averaged to $\mu_L$	Microlocal concentration and averaged equidistribution
Metaplectic covers	$\chi$0	Identification with Weyl-group multiple Dirichlet series
$\chi$1-adic interpolation	$\chi$2 on $\chi$3	Mellin transform equal to reciprocals of $\chi$4-adic $\chi$5-values

A second common feature is the presence of a comparison principle. In the cohomological setting, the comparison is between finite-level Eisenstein classes and an adelic Schwartz space. In the trace-formula setting, it is between unitary and linear relative characters. In the spectral setting, it is between Eisenstein inner products and geometric pushforwards on the Springer stack. In the microlocal setting, it is between individual limit measures and their average, which equidistributes to the Liouville measure (Guillarmou et al., 2011).

2. Adelic Eisenstein distributions in Siegel cohomology

For Siegel modular varieties of arbitrary genus, the global Eisenstein distribution is realized as a morphism from a Schwartz space on finite adeles to integral Eisenstein cohomology. The basic Shimura datum is $\chi$6 with $\chi$7, and for neat $\chi$8 the Siegel modular variety is the canonical model

$\chi$9

On the universal abelian scheme, one considers the lisse $\Psi_{\mathrm{Eis}}$0-sheaf $\Psi_{\mathrm{Eis}}$1, its divided powers $\Psi_{\mathrm{Eis}}$2, and the integral submodule

$\Psi_{\mathrm{Eis}}$3

Kings’ polylogarithm classes and Eisenstein classes supply the finite-level input, while the Iwasawa–Eisenstein class satisfies the interpolation formula

$\Psi_{\mathrm{Eis}}$4

which gives the integrality statement $\Psi_{\mathrm{Eis}}$5 (Shah, 2023).

The finite-level distribution relations are of three kinds. First, norm compatibility under isogenies gives

$\Psi_{\mathrm{Eis}}$6

Second, pullback under base change gives

$\Psi_{\mathrm{Eis}}$7

Third, translation by the kernel of an isogeny yields

$\Psi_{\mathrm{Eis}}$8

These local or finite-level relations are then assembled into an adelic object.

The main theorem constructs a unique collection of $\Psi_{\mathrm{Eis}}$9-module homomorphisms

$p$0

for all $p$1, satisfying three conditions: compatibility with generators at principal level,

$p$2

functoriality under trace and inclusion,

$p$3

and contravariant conjugation equivariance,

$p$4

Hence $p$5 is a morphism of RIC functors $p$6. The same compatibilities imply Hecke-equivariance, and the $p$7-submodule spanned by the classes $p$8 is stable under all Hecke correspondences (Shah, 2023).

In genus $p$9 and weight $p$0, the Eisenstein classes are the Kummer images of Siegel units. The adelic refinement recovers the classical norm and trace relations on modular curves and reproduces Kato’s distribution relations in an adelic form. The paper’s own summary states that the construction “generalizes and refines the finite-level distribution relations (norm, pullback, translation by kernels) satisfied by Eisenstein classes, preserves integrality, and extends the classical distribution relations of Siegel units $p$1 to higher genus Siegel modular varieties” (Shah, 2023).

3. Relative trace formulas, periods, and automorphic distributions

On the unitary side of the global Gan–Gross–Prasad program, “global Eisenstein distribution” refers to the $p$2-spectral component of a relative trace formula built from Eisenstein series on $p$3. For $p$4 and a cuspidal datum $p$5, the truncated kernel defines

$p$6

which is asymptotically a polynomial-exponential in $p$7; its constant term is $p$8. The main spectral identity is

$p$9

where

$\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$0

Here $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$1 is the Ichino–Yamana-regularized period on $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$2. This formulation is the bridge from Eisenstein series to relative characters, and the comparison identity

$\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$3

matches the unitary and linear spectral distributions (Beuzart-Plessis et al., 2023).

That comparison underlies an extension of the global Gan–Gross–Prasad conjecture and the Ichino–Ikeda conjecture to Eisenstein series. For an $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$4-regular Hermitian Arthur parameter $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$5 and $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$6, the paper proves the equivalence between $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$7 and the nonvanishing of the regularized period $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$8 on a suitable induced space. It also proves an exact Ichino–Ikeda-style factorization for factorizable $\phi^k:\mathcal S \to \mathfrak E_{\mathbf Z_p}$9: $J_\chi^U(f)$0 with analogous formulas for Bessel periods (Beuzart-Plessis et al., 2023).

A related but distinct distributional language appears in the adelization of automorphic distributions on $J_\chi^U(f)$1. There one constructs an adelic automorphic distribution $J_\chi^U(f)$2, a global Whittaker integral

$J_\chi^U(f)$3

and an adelic mirabolic Eisenstein distribution

$J_\chi^U(f)$4

The classical distribution vectors $J_\chi^U(f)$5 and $J_\chi^U(f)$6 satisfy an explicit functional equation under the standard intertwining operator, and the global pairing with a cuspidal automorphic distribution inherits meromorphic continuation and a functional equation with explicit gamma factors (Miller et al., 2011). This suggests a broader principle: Eisenstein distributions often become most transparent when realized as distribution vectors rather than only as scalar-valued automorphic forms.

4. Spectral decompositions and pole distributions

For a split reductive group over a global field, the unramified Eisenstein spectrum can itself be described by a global Eisenstein distribution. The spherical Hecke algebra acts on the unramified Eisenstein space through

$J_\chi^U(f)$7

and the Eisenstein inner product is expressed by Langlands’ formula

$J_\chi^U(f)$8

The paper identifies the global Eisenstein distribution with an equivariant genus on the Springer stack,

$J_\chi^U(f)$9

and proves the spectral decomposition

$\Psi_{\mathrm{Eis}}=\psi_F(T)$0

indexed by nilpotent conjugacy classes $\Psi_{\mathrm{Eis}}=\psi_F(T)$1 (Kazhdan et al., 2022).

The corresponding spectral identity is

$\Psi_{\mathrm{Eis}}=\psi_F(T)$2

with projectors

$\Psi_{\mathrm{Eis}}=\psi_F(T)$3

and densities $\Psi_{\mathrm{Eis}}=\psi_F(T)$4 determined by the slice $\Psi_{\mathrm{Eis}}=\psi_F(T)$5 and the cohomology of $\Psi_{\mathrm{Eis}}=\psi_F(T)$6. In this form, the “distribution” is genuinely spectral: it determines the spectrum of the global spherical Hecke algebra on the Eisenstein space (Kazhdan et al., 2022).

A complementary global description appears in the study of maximal unramified degenerate Eisenstein series. For a split semisimple group and a maximal standard parabolic $\Psi_{\mathrm{Eis}}=\psi_F(T)$7, the poles in $\Psi_{\mathrm{Eis}}=\psi_F(T)$8 are controlled by the principal $\Psi_{\mathrm{Eis}}=\psi_F(T)$9 inside the $\mu_\xi$0-Levi $\mu_\xi$1 acting on $\mu_\xi$2. If

$\mu_\xi$3

then the pole polynomial is

$\mu_\xi$4

and $\mu_\xi$5 is holomorphic in $\mu_\xi$6. Equivalently, the poles occur at

$\mu_\xi$7

with order $\mu_\xi$8 (Hegde, 2024). This is a distribution law for Eisenstein poles rather than for coefficients, but it fits the same pattern: the global analytic behavior is encoded by a structural representation-theoretic datum.

5. Microlocal, hyperbolic, and scattering-theoretic distributions

On convex co-compact hyperbolic manifolds $\mu_\xi$9 with $\mu_L$0, high-frequency Eisenstein series define semiclassical measures on phase space. For $\mu_L$1 and a compactly supported pseudodifferential operator $\mu_L$2 with principal symbol $\mu_L$3, one has

$\mu_L$4

where $\mu_L$5 is a $\mu_L$6-invariant measure supported on the closed $\mu_L$7-stack of stable Lagrangians $\mu_L$8. Averaging in the boundary variable gives

$\mu_L$9

so the averaged microlocal limit is the Liouville measure $\chi$00 (Guillarmou et al., 2011). Here “global Eisenstein distribution” is a statement about the global average over the conformal boundary.

A different hyperbolic use concerns the poles of Eisenstein series and the scattering determinant on finite-volume hyperbolic manifolds with cusps. If $\chi$01 is the scattering determinant, and $\chi$02 runs over zeroes of $\chi$03 in $\chi$04, then

$\chi$05

and for $\chi$06,

$\chi$07

These estimates feed into strong multiplicity one statements for the length spectrum, equality of volumes under sparse exceptional sets, and, in dimensions $\chi$08 and $\chi$09, equality of cusp numbers under the stronger condition $\chi$10 (Kelmer, 2014).

For the Bianchi group $\chi$11, the paper defines a microlocal lift

$\chi$12

and studies $\chi$13 for cuspidal and incomplete Eisenstein test functions. For spherical incomplete Eisenstein series one obtains

$\chi$14

where $\chi$15. The paper conjectures that the positive distribution produced by Friedrichs symmetrization has the same asymptotics, which would imply quantum ergodicity for Eisenstein series on this quotient (Romero, 2019).

6. $\chi$16-adic, metaplectic, and function-field realizations

In the metaplectic setting, the first global Whittaker coefficient of a Borel Eisenstein series on an $\chi$17-fold metaplectic cover is a global Eisenstein distribution in the sense of a sum of global Whittaker functionals. For a split semisimple simply-connected group $\chi$18 over a global field, a genuine global section $\chi$19 defines

$\chi$20

and its first Whittaker coefficient is

$\chi$21

Under the hypothesis that the metaplectic dual root datum $\chi$22 is of adjoint type, the main theorem identifies

$\chi$23

where $\chi$24 is the Weyl-group multiple Dirichlet series attached to the dual root system. The paper explicitly states that this confirms the Brubaker–Bump–Friedberg conjecture (Chen, 2024).

A $\chi$25-adic realization appears in the distribution $\chi$26 on $\chi$27 derived from Eisenstein series. Its Mellin transform is

$\chi$28

For regular primes, $\chi$29 is a bounded $\chi$30-adic measure. For irregular primes, it fails to be a measure, and the paper proves the sharp estimate

$\chi$31

The growth is explained through the Iwasawa algebra, Weierstrass preparation, and zeros of the Kubota–Leopoldt $\chi$32-adic $\chi$33-function (Gelbart et al., 2016).

Over global function fields, derivatives of incoherent Siegel–Eisenstein series produce what the paper explicitly describes as a global arithmetic distribution. For the derivative at the central point, the non-singular Fourier coefficients satisfy, when $\chi$34,

$\chi$35

In the case $\chi$36, these coefficients become degrees of special cycles on the coarse moduli scheme of rank $\chi$37 Drinfeld modules with complex multiplication, and the paper states

$\chi$38

This is a global Eisenstein distribution in the sense that the derivative distribution is supported on Fourier indices with $\chi$39 and its coefficients encode arithmetic invariants (Wei, 2016).

A related adelic formulation on $\chi$40 over a totally real field defines

$\chi$41

a continuous linear functional on $\chi$42 with values in nearly-holomorphic automorphic forms. Its functional equation is

$\chi$43

and in the basic case $\chi$44 it reduces to the classical holomorphic Eisenstein series after the specialization $\chi$45 (Puydt, 2012).

Taken together, these constructions show that “global Eisenstein distribution” is not a single standardized term. It denotes, in different subfields, a cohomology-valued adelic distribution, a spectral distribution on a trace formula, a geometric distribution on a Hecke spectrum, a microlocal measure attached to scattering states, or a $\chi$46-adic or metaplectic distribution interpolating arithmetic data. The unifying theme is not the codomain but the passage from local Eisenstein phenomena to a globally organized object with exact compatibilities.