Coherent Springer Sheaf Theory

• Coherent Springer sheaf is a coherent-theoretic analogue that encodes Springer resolution data on derived loop or fixed-point stacks using (ind-)coherent sheaves.
• Its endomorphisms recover the affine Hecke algebra, linking geometric representation theory with the classical Springer correspondence.
• Recent research confirms its concentration in cohomological degree 0, validating its role as a genuine coherent object within the exotic t-structure framework.

Searching arXiv for papers on coherent Springer sheaves, affine Hecke categories, and Springer-resolution equivalences. The coherent Springer sheaf is a coherent-theoretic analogue of the classical Springer sheaf in which Springer data are encoded by coherent or ind-coherent sheaves on derived loop or fixed-point stacks attached to the Springer resolution, rather than by constructible or perverse sheaves on the nilpotent cone. In the most literal formulation, it is the object

$$\mathcal S_G=(\mathcal L\mu)_*\mathcal O_{\mathcal L(\widetilde{\mathcal N}/G)}\in \operatorname{DCoh}((\widehat{\mathcal N}/G)),$$

together with its specialized forms on stacks of unipotent Langlands parameters; its endomorphisms recover the affine Hecke algebra (Ben-Zvi et al., 2020). More recent work proves that the coherent Springer sheaf and its twisted and parabolic analogues are concentrated in cohomological degree $0$ (Propp, 20 Feb 2026). In a broader usage, especially in affine-Grassmannian, affine-Springer, and exotic-coherent settings, the closest analogue of a coherent Springer sheaf is often not a single object but an entire coherent Springer-type category on the Springer resolution, equipped with the exotic $t$-structure and Hecke symmetries (Achar et al., 2014, Bezrukavnikov et al., 13 Apr 2026).

1. Terminological range and conceptual scope

The phrase “coherent Springer sheaf” has both a narrow and a broad meaning in the recent literature. In the narrow sense, it denotes a distinguished coherent object on a derived loop or fixed-point stack attached to the nilpotent cone and Springer resolution, designed to play for the affine Hecke algebra the role that the classical Springer sheaf plays for the Weyl group. This is the usage in “Coherent Springer theory and the categorical Deligne-Langlands correspondence” (Ben-Zvi et al., 2020) and in “Cohomological boundedness of twisted coherent Springer sheaves” (Propp, 20 Feb 2026).

In the broader sense, the phrase refers to a coherent Springer package: the derived category of coherent sheaves on the Springer resolution, its exotic $t$-structure, its standard, costandard, tilting, and line-bundle objects, and the Hecke actions that organize them. In “The affine Grassmannian and the Springer resolution in positive characteristic,” the relevant structure is the equivalence

$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$

together with the identification of parity sheaves with tilting objects in the exotic heart (Achar et al., 2014). In “Affine Springer fiber and the small quantum group,” the nearest analogue is explicitly categorical rather than objectwise: $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$ with set-theoretic support on the zero section and with the exotic $t$-structure (Bezrukavnikov et al., 13 Apr 2026).

A third usage appears in affine generalizations. “The affine Springer fiber-sheaf correspondence” constructs a quasi-coherent sheaf

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$

from affine Springer homology and treats it as an affine, trigonometric, Langlands-dual analogue of coherent Springer theory, although the paper does not formally name $F_\gamma$ the coherent Springer sheaf (Gorsky et al., 2022). “Exotic $t$-structures for two-block Springer fibers” likewise belongs to the coherent Springer program, but at the level of coherent categories on Springer-theoretic varieties rather than a single distinguished sheaf (Anno et al., 2016).

2. Definition as a trace object on loop and fixed-point stacks

Let $0$0 be a split reductive group over a characteristic-$0$1 field, let $0$2 be the nilpotent cone, let $0$3 be its formal completion, let $0$4 be the Springer resolution, and let

$0$5

be the natural map. The coherent Springer sheaf is defined by

$0$6

The same paper records the equivalent formulation

$0$7

and also a parabolic-induction description

$0$8

For $0$9, the specialized stack of unipotent Langlands parameters is

$t$0

and the specialized coherent Springer sheaf is

$t$1

These definitions place the coherent Springer sheaf on derived loop or fixed-point geometry rather than directly on the nilpotent cone (Ben-Zvi et al., 2020).

The later boundedness paper reformulates the same object as a universal trace. Write

$t$2

with $t$3 acting adjointly and $t$4 scaling $t$5 with weight $t$6. For a standard parabolic $t$7, let

$t$8

The mixed partial affine Hecke category is

$t$9

and its universal trace functor is

$t$0

The coherent Springer sheaf is the trace of the monoidal unit: $t$1 and more generally

$t$2

If $t$3, the $t$4-twisted partial coherent Springer sheaf is

$t$5

and the specialized versions are

$t$6

This trace-theoretic formulation makes the coherent Springer sheaf canonical inside the monoidal geometry of affine Hecke categories (Propp, 20 Feb 2026).

3. Affine Hecke algebras, Hochschild homology, and endomorphism algebras

The defining algebraic property of the coherent Springer sheaf is that its endomorphisms recover the affine Hecke algebra. In the derived Steinberg setting,

$t$7

the affine Hecke category is

$t$8

and the mixed version is

$t$9

The main theorem states that

$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$0

and that all other self-$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$1 groups vanish in the principal cases discussed there (Ben-Zvi et al., 2020). This is the coherent counterpart of the classical Springer formula $$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$2.

The route to this statement passes through Hochschild homology and categorical traces. The same paper proves

$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$3

and, more generally,

$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$4

A general trace-delooping identity,

$$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$5

then identifies the distinguished trace object with the coherent Springer sheaf. The result is a sheaf-theoretic realization of Hecke-theoretic representation categories: $$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$6 and similarly in the $$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$7-specialized case (Ben-Zvi et al., 2020).

This role extends to local Langlands applications. The same work states that, for $$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$8, the construction yields a full embedding of the derived category of smooth representations of $$P:\; D^{\mathrm{mix}}_{(I)}(\mathrm{Gr},\Bbbk)\xrightarrow{\sim} D^{\mathrm b}\operatorname{Coh}^{\check G\times \mathbb G_m}(\widetilde{\mathcal N}),$$9 into coherent sheaves on the stack of Langlands parameters (Ben-Zvi et al., 2020). A plausible implication is that the coherent Springer sheaf should be viewed not merely as a single object but as a universal family controlling the principal-series block on the spectral side.

4. Exotic $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$0-structures, boundedness, and degree-zero concentration

A central question is whether the coherent Springer sheaf is genuinely a sheaf or only a bounded complex with higher cohomology. “Cohomological boundedness of twisted coherent Springer sheaves” answers this in the strongest available form. For any standard parabolic $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$1, the universal trace functor

$$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$2

has cohomological amplitude in

$$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$3

with respect to the exotic $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$4-structure on $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$5 and the standard $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$6-structure on the target, and is therefore right $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$7-exact. The paper also proves the complementary left $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$8-exactness statement with respect to the monoidally dual $$D^b\!\big(\mathrm{Coh}^{B^\vee}_{T^\vee}(\widetilde{\mathcal N}^{\,\vee})\big), \qquad \widetilde{\mathcal N}^{\,\vee}=T^*\mathcal B^\vee,$$9-structure (Propp, 20 Feb 2026).

The resulting corollary is the expected concentration theorem. For $t$0,

$t$1

while

$t$2

At $t$3, both bounds apply simultaneously, so

$t$4

lie in cohomological degree $t$5. In particular,

$t$6

Thus the coherent Springer sheaf, every specialization $t$7, and the twisted and parabolic variants treated there are honest coherent sheaves (Propp, 20 Feb 2026).

The proof is organized around the Bezrukavnikov–Mirković noncommutative Springer resolution. For each $t$8, there is a tilting bundle $t$9 with

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$0

and the standard module $$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$1-structure transported across the equivalence with $$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$2-modules defines the exotic $$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$3-structure. The paper then constructs an explicit Block–Getzler sheaf computing the universal trace and uses Koszul resolutions, local duality, and Slodowy slices to prove coconnectivity (Propp, 20 Feb 2026). This situates the degree-zero theorem inside the same exotic-coherent framework that governs coherent Springer categories more broadly.

5. Coherent Springer categories on the dual Springer resolution

In several important settings, the coherent Springer structure is categorical from the outset. The positive-characteristic analogue of Arkhipov–Bezrukavnikov–Ginzburg constructs an equivalence

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$4

where

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$5

is the Springer resolution of the Langlands dual group. The equivalence satisfies

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$6

and

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$7

It sends Wakimoto sheaves to line bundles,

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$8

identifies the adverse heart with the exotic heart,

$$F_\gamma \in \operatorname{QCoh}_{\mathbb G_m}(\widetilde C_{\check G})$$9

and identifies parity sheaves with tilting exotic sheaves,

$F_\gamma$0

In this framework, the coherent Springer object is best understood as the exotic coherent category on $F_\gamma$1, generated by its line bundles and tilting objects, rather than as a single named sheaf (Achar et al., 2014).

A closely related but distinct formulation appears in “Affine Springer fiber and the small quantum group.” There the main coherent statement is

$F_\gamma$2

where the target consists of $F_\gamma$3-equivariant coherent sheaves on the Springer resolution of the Langlands dual group with set-theoretic support on the zero section $F_\gamma$4. The perverse $F_\gamma$5-structure on $F_\gamma$6 corresponds to the exotic $F_\gamma$7-structure on the coherent side, and the heart is identified with a representation-theoretic block related to the small quantum group. The same paper constructs a fully faithful microlocalization

$F_\gamma$8

so that the coherent Springer-resolution category is realized simultaneously as a full subcategory of microsheaves supported on an affine Springer fiber (Bezrukavnikov et al., 13 Apr 2026).

These results make the categorical breadth of coherent Springer theory explicit. In one direction it is controlled by affine-Grassmannian sheaf theory and exotic coherent sheaves; in another it appears as a wild-ramified, affine-Springer, and microlocal realization of the principal block of the small quantum group. This suggests a stable distinction: the literal coherent Springer sheaf is a trace object, whereas the broader coherent Springer phenomenon is often an exotic coherent category.

6. Affine, trigonometric, and slice-theoretic generalizations

An affine generalization is provided by the affine Springer fiber-sheaf correspondence. For a semisimple element $F_\gamma$9 with $t$0, the paper constructs

$t$1

where $t$2 is a partial resolution of the trigonometric commuting variety of the Langlands dual group, defined by

$t$3

The sheaf satisfies

$t$4

and for $t$5,

$t$6

For $t$7,

$t$8

and the paper formulates the coherence conjecture

$t$9

for regular semisimple $0$00 (Gorsky et al., 2022). This is not the same object as $0$01, but it is an affine coherent Springer analogue in which affine Springer homology is sheafified on a dual trigonometric space.

A different kind of generalization occurs for Springer fibers and exotic hearts in slices. For a nilpotent of Jordan type $0$02 in type $0$03, “Exotic $0$04-structures for two-block Springer fibres” studies

$0$05

where $0$06 is a resolution of a Mirković–Vybornov slice and $0$07 is the two-block Springer fiber. The paper defines the exotic $0$08-structure on $0$09, proves that the cup functors are $0$10-exact, classifies the irreducible objects in the exotic heart by crossingless $0$11-matchings, and computes their $0$12-groups, obtaining an annular variant of Khovanov’s arc algebras (Anno et al., 2016). Here again there is no single coherent Springer sheaf, but there is a concrete coherent Springer category with an explicitly describable heart.

Taken together, these affine and slice-theoretic variants show that coherent Springer theory is not confined to one object or one space. It includes trace sheaves on loop stacks, exotic coherent categories on Springer resolutions, sheaf-valued affine Springer correspondences on trigonometric commuting varieties, and explicit hearts on Springer fibers. The common structure is the passage from Springer-theoretic geometry to coherent or ind-coherent sheaf theory, organized by Hecke actions, trace functors, and exotic $0$13-structures.