---
title: Nilpotent Singular Support in Geometric Langlands
url: https://www.emergentmind.com/topics/nilpotent-singular-support
type: topic
---

# Nilpotent Singular Support in Geometric Langlands

Nilpotent singular support characterizes a fundamental microlocal constraint on categories and sheaves in geometric representation theory, especially in the context of the Geometric Langlands program. It requires objects (such as sheaves or categories with group action) to be microsupported within the global nilpotent cone in an appropriate cotangent bundle or stack. This condition imposes deep structure on the categories in question, ensuring compatibility with key functorial operations (e.g., Hecke functors), controlling the spectral decomposition of objects, and relating automorphic and spectral sides of geometric Langlands duality.

## 1. Microlocal Foundations and Definition

Let $y$ be a smooth algebraic stack (often $Bun_G$ for $G$ a reductive group), or more generally an algebraic stack with an action of a group $G$. Given a sheaf-theoretic context (constructible $\ell$-adic, Betti, or D-modules), the singular support $SS(\mathcal{F})$ of an object $\mathcal{F}$ in $Shv(y)$ is a conic, closed subset of the classical cotangent stack $T^*y$ or, in the categorical setting, a conic, closed, $\mathrm{Ad}$-stable subset $Z\subset \mathfrak{g}^*$ associated to a $G$-category $\mathcal{C}$ via the singular support of its sheaves of matrix coefficients [2010.01906, 2410.18360].

**Global nilpotent cone.** For $Bun_G$, each point in $T^*Bun_G$ is a pair $(P,\varphi)$ where $P$ is a $G$-bundle and $\varphi\in H^0(X,ad(P)\otimes\omega_X)$. The global nilpotent cone $Nilp \subset T^*Bun_G$ is defined by requiring that $\varphi(x)$ is nilpotent in $\mathfrak{g}$ for all $x\in X$ [2010.01906, 2012.07665].

**Nilpotent singular support condition.** An object $\mathcal{F}\in Shv(y)$ (or a $G$-category $\mathcal{C}$) is said to have nilpotent singular support if $SS(\mathcal{F})\subset Nilp$ (or $SS(\mathcal{C})\subset \mathcal{N}\subset \mathfrak{g}^*$), where $\mathcal{N}$ is the nilpotent cone [2012.07665, 2410.18360].

**Universal setting and families.** For a family of curves $\pi:X\to S$ and the associated $Bun_G(\pi)$ over $S$, the universal nilpotent cone $\Lambda=N_\pi\subset T^*Bun_G(\pi)$ is constructed via the zero-fiber of the relative Hitchin map, or as a Lagrangian image of the zero-section under Lagrangian correspondences arising from Eisenstein series induction. This defines a horizontal condition uniform in families [2603.01261].

## 2. Structural Theorems and Categorical Properties

The nilpotent singular support condition isolates a robust subcategory within automorphic or $G$-equivariant sheaf categories. Several rigorous results characterize its behavior:

- **Hecke stability:** For any Hecke functor $H_V$ associated to a representation $V$ of $G$, $H_V$ preserves the nilpotent singular support subcategory; i.e., $H_V(Shv_{Nilp}(Bun_G))\subset Shv_{Nilp}(Bun_G)\boxtimes QLisse(X)$. Conversely, objects whose Hecke images have trivial support along $X$ must already be nilpotent-supported (in the singular support sense) [2010.01906, 2012.07665, 2603.01261].
- **Spectral decomposition:** $Shv_{Nilp}(Bun_G)$ decomposes as a (possibly completed) direct sum indexed by semi-simple Langlands parameters, reflecting the spectral side of the Geometric Langlands program [2010.01906].
- **Self-duality:** The category $Shv_{Nilp}(Bun_G)$ is canonically equivalent to its dual as a DG-category, with the key pairing implemented via integration over $Bun_G$ of pairwise tensor products. This duality functor coincides with the restriction of miraculous duality on the whole $Shv(Bun_G)$ category, intertwining with the Serre functor (up to a technical "co" issue on non-quasi-compactness) [2012.07665].
- **Categorical support for $G$-categories:** For dualizable DG-categories with a strong $G$-action, nilpotent singular support (i.e., support lying in $\mathcal{N}\subset\mathfrak{g}^*$) can be characterized by the matrix-coefficient functor and checked against the vanishing of generalized Whittaker models attached to nilpotent orbits [2410.18360].

## 3. Constructions, Examples, and Classification

The nilpotent singular support condition admits explicit geometric and algebraic constructions in a wide range of settings:

- **Character sheaves:** On a reductive group $G$, all character sheaves have singular support contained in $G\times N\subset T^*G$, where $N$ is the nilpotent cone in $\mathfrak{g}$ [2211.11126]. The proof involves the use of tame perverse sheaves, conormality properties via stratifications such as Bruhat and Bott–Samelson resolutions, and explicit computation on Bruhat cells.
- **Moduli of coherent sheaves:** On stacks such as $Coh(E)$ (the moduli of coherent sheaves on an elliptic curve $E$), nilpotent singular support is defined via the nilpotency of the Higgs field—$\varphi^n=0$ for some $n\gg 0$. The irreducible components of the global nilpotent cone are combinatorially classified using Harder–Narasimhan filtrations and partitions. Perverse sheaves with nilpotent singular support coincide with Eisenstein-type sheaves, and their classes biject with the components of the nilpotent cone via the characteristic cycle map [2101.03813].
- **Families and universal cones:** For families of curves, the universal nilpotent cone is a conic Lagrangian submanifold of the total cotangent bundle, constructed both as the zero fiber of the relative Hitchin map and as the Eisenstein image of the zero section via Lagrangian correspondences. This induces a singular support condition uniform over the entire family [2603.01261].
- **Categorical invariants:** In $G$-equivariant categorical contexts, nilpotent support can be detected via the vanishing of generalized Whittaker categories $\Whit_e(\mathcal{C})$ for nilpotent $e$, or via the behavior of matrix-coefficient sheaves [2410.18360].

## 4. Physical and Factorization-Theoretic Perspectives

Nilpotent singular support arises from and interacts naturally with topological quantum field theory and factorization algebra structures:

- In 4d $N=4$ gauge theory, the nilpotent singular support condition corresponds to restricting to the zero vacuum in the moduli space of vacua $h^*/W$. This restriction selects the category of boundary conditions compatible with the nilpotent vacuum, leading to the subcategory $IndCoh_\mathcal{N}(Flat_G(C))$ on the spectral (Higgs bundle) side [1707.01292].
- Factorization algebra technology relates the structure of the singular support condition to global and microlocal symmetries, with factorization structures induced from the configuration spaces of eigenvalues; in particular, for $GL_n$ the hidden factorization structure is expressed via the stratification of $Sym^n(\mathbb{C})$ [1707.01292].
- The physics of branes (e.g., $D3$-branes in type IIB string theory) provides further justification for the factorization properties and the role of nilpotent conditions in symmetry breaking to Levi subgroups.

## 5. Functoriality, Induction, Whittaker Models, and Applications

Nilpotent singular support is stable and behaves predictably under several functorial constructions, leading to powerful applications:

- **Parabolic induction and restriction:** The singular support of parabolic induction and restriction functors at the categorical level is explicitly computable via functorial maps on conic subsets: $SS(\Ind_M^G(\mathcal{D})) = \Ind_M^G(SS(\mathcal{D}))$, $SS(\Res_M^G(\mathcal{C})) = \Res_M^G(SS(\mathcal{C}))$ [2410.18360].
- **Generalized Whittaker categories:** The vanishing and nonvanishing of generalized Whittaker models $\Whit_\mathcal{O}(\mathcal{C})$ for a nilpotent $G$-category $\mathcal{C}$ precisely reflects the presence of nilpotent orbits in $SS(\mathcal{C})$—maximal orbits inside the support yield nonzero Whittaker categories and carry information about the microstalks of character sheaves [2410.18360].
- **Springer theory and $W$-algebras:** The classification of finite-dimensional $W$-algebra modules with a fixed regular central character is realized as a subrepresentation of the Springer representation, with explicit connection to the rationalized Grothendieck group and categorical traces of wall-crossing functors [2410.18360].
- **Categorical trace and automorphic functions:** The self-duality and perfect pairing on $Shv_{Nilp}(Bun_G)$ enable comparison of categorical traces (e.g., of Frobenius endomorphisms) to spaces of classical automorphic functions, enacting the trace formula conjectures in the categorical setting [2012.07665].

## 6. Implications for Geometric Langlands and Further Directions

Imposing nilpotent singular support is a defining feature of modern categorical and spectral approaches to the Geometric Langlands program:

- **Spectral–automorphic duality:** The nilpotent singular support condition singles out the subcategory of $Shv(Bun_G)$ corresponding to the "Betti automorphic" sheaves relevant for the geometric Langlands correspondence, and matches it to the subcategory $IndCoh_\mathcal{N}(LocSys^{restr}(X))$ on the spectral side [2010.01906].
- **Hecke module structure and gluing:** Hecke-stable categories of objects with nilpotent singular support enable the construction of gluing functors and module structures over local Hecke algebras, critical for the full geometric and categorical formulation of Langlands duality, including in families [2603.01261].
- **Local constancy and monodromy:** In families of curves, local constancy of the nilpotent singular support category over contractible bases implies mapping class group actions and monodromy invariants, with recent advances extending proof of equivalence statements in rank one and beyond [2603.01261].
- **Extensions:** The framework extends to deeper level structures, higher-dimensional base geometries, and expected refinement to derived and quantum settings, indicating a vast field of potential applications and generalizations [2603.01261].

Nilpotent singular support thus acts as a technical and conceptual bridge, uniting microlocal sheaf theory, representation theory, algebraic geometry, quantum field theory, and the spectral–automorphic duality at the heart of the Geometric Langlands program.

Source: https://www.emergentmind.com/topics/nilpotent-singular-support