Wonderful asymptotics of matrix coefficient D-modules

Abstract

Beilinson-Bernstein localization realizes representations of complex reductive Lie algebras as monodromic $D$-modules on the "basic affine space" $G/N$, a torus bundle over the flag variety. A doubled version of the same space appears as the horocycle space describing the geometry of the reductive group $G$ at infinity, near the closed stratum of the wonderful compactification $\overline{G}$, or equivalently in the special fiber of the Vinberg semigroup of $G$. We show that Beilinson-Bernstein localization for $U\mathfrak{g}$-bimodules arises naturally as the specialization at infinity in $\overline{G}$ of the $D$-modules on $G$ describing matrix coefficients of Lie algebra representations. More generally, the asymptotics of matrix coefficient $D$-modules along any stratum of $\overline{G}$ are given by the matrix coefficient $D$-modules for parabolic restrictions. This provides a simple algebraic derivation of the relation between growth of matrix coefficients of admissible representations and $\mathfrak{n}$-homology. The result is an elementary consequence of the compatibility of localization with the degeneration of affine $G$-varieties to their asymptotic cones; analogous results hold for the asymptotics of the equations describing spherical functions on symmetric spaces.

arXiv comment41 pages. To appear in Advances in Mathematics

References in corpus (9)

• Log homogeneous varieties
• On the wonderful compactification
• Compactifications of reductive groups as moduli stacks of bundles
• Beilinson-Bernstein localization over the Harish-Chandra center
• On the regularity of D-modules generated by relative characters
• On the reductive monoid associated to a parabolic subgroup
• Geometric Bernstein Asymptotics and the Drinfeld-Lafforgue-Vinberg degeneration for arbitrary reductive groups
• The wonderful compactification for quantum groups
• On the Casselman-Jacquet functor

Cited by in corpus (3)

• On the regularity of D-modules generated by relative characters
• Holonomic and perverse logarithmic D-modules
• Higher localization and higher branching laws