For a GG over a EE and a coefficient ring Λ\Lambda, the spectral Bernstein center is

Zspec(G,Λ)=Γ ⁣([Z1(WE,G^)Λ/G^],O),Z_{\mathrm{spec}}(G,\Lambda) = \Gamma\!\left( [Z^1(W_E,\widehat G)_\Lambda/\widehat G], \mathcal O \right),

the ring of global functions on the .

Comparison with the ordinary center

The ordinary Z(G(E),Λ)Z(G(E),\Lambda) is the center of the category of , equivalently the endomorphisms of its identity functor. Fargues–Scholze construct, under their coefficient hypotheses, a canonical

ΨG:Zspec(G,Λ)Z(G(E),Λ).\Psi_G: Z_{\mathrm{spec}}(G,\Lambda) \longrightarrow Z(G(E),\Lambda).

Evaluating the image on an recovers the attached by .

Why global functions are coarser than the stack

An invariant regular function sees the semisimple closed orbit of a parameter but not a representation of its . Consequently the center can decompose categories into parameter components without by itself giving the internal parameterization of an LL-packet.

Status

The existence of the map is a theorem in the Fargues–Scholze framework, with precise restrictions on coefficients, including inversion of relevant orders. For GG, injectivity and a characterization of its image as the stable part of the Bernstein center belong to further conjectures in general.

It is therefore incorrect to call ΨG\Psi_G an unconditional isomorphism.

Categorical refinement

The ring is the degree-zero shadow of the of on the entire parameter stack. That action retains derived and stabilizer information not visible to global functions alone.

References
  1. Laurent Fargues and Peter Scholze, “Geometrization of the local Langlands correspondence,” Definition I.9.2 and Proposition I.9.3. arXiv.