Monodromic Sheaves: Theory & Applications

• Monodromic sheaves are sheaves, complexes, or perverse sheaves that exhibit a prescribed response to loop continuations and group actions, offering a unified framework in algebraic geometry.
• The framework employs torus monodromy, nearby-cycle techniques, and Hecke category formulations to encapsulate key representation-theoretic and topological insights.
• Applications span Fourier transform methods and differential-geometric continuation, bridging modern algebraic constructions with analytic and microlocal theories.

Monodromic sheaves are sheaves, complexes, or perverse sheaves equipped with a prescribed response to continuation around loops or, in equivariant settings, to the action of a torus or related group. The term is genuinely polysemous: in current usage it includes constructible sheaves with controlled local monodromy on algebraic varieties, character-twisted and unipotently monodromic objects in Hecke categories, free- and universal-monodromic sheaves on flag varieties, and rigid-analytic microlocal objects; a differential-geometric “monodromy theorem for sheaves of local fields” uses the same continuation principle but is explicitly distinct from the categorical notion of monodromic sheaves in algebraic geometry (Gouttard, 2020, Bezrukavnikov et al., 2020, Zhou, 24 Jul 2025, Herrera et al., 2015).

1. Terminology and basic formalism

In the constructible and perverse setting, monodromy is often encoded by a torus action. For a complex algebraic torus $T$ acting on a stratified variety $X$, Verdier’s construction produces a canonical monodromy algebra morphism

$$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$

and the $t$-monodromic subcategory $D^b(X,k)[t]$ consists of those $F$ for which $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$ for all $\lambda\in X_*(T)$ (Gouttard, 2020). In the Langlands-dual flag-variety setting, a constructible $t$-monodromic sheaf on $X^\vee=G^\vee/B^\vee$ is an object $X$0 equipped with an isomorphism

$X$1

satisfying the usual cocycle condition, where $X$2 is the rank-one character local system on $X$3 attached to $X$4 (Eberhardt et al., 2024).

This formalism separates three closely related notions. Strict equivariance requires an actual lift of the group action; monodromicity allows twisting by a local system or prescribed character; unipotent monodromy is the special case in which the semisimple parameter is trivial but nilpotent or pro-unipotent monodromy is retained (Bezrukavnikov et al., 2020, Eberhardt et al., 2024). In the modular setting, the Lusztig–Yun character-equivariant construction, Verdier monodromy, and the cocycle formulation $X$5 produce equivalent hearts of monodromic perverse sheaves (Gouttard, 2020).

A parallel terminology appears for sheaves on vector bundles. If $X$6 is a vector bundle over a quasi-separated rigid analytic variety, the monodromic subcategory $X$7 consists of those $X$8 satisfying equivalent scaling-invariance conditions such as $X$9 for every $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$0, or the existence of an isomorphism $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$1 restricting to the identity on the $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$2-section (Zhou, 24 Jul 2025). This rigid-analytic usage is a direct analogue of the algebraic notion of conic or $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$3-monodromic sheaves.

2. Local monodromy, nearby cycles, and direct images

For a constructible sheaf $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$4 on a complex algebraic variety $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$5 and a morphism $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$6, local monodromy at $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$7 is measured by transport along a small loop $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$8 in a punctured disk. If $$\omega_F: k[X_*(T)] \to \operatorname{End}_{D^b(X,k)}(F),$$9 is a morphism to a disk, the nearby-cycle complex is

$t$0

and the deck transformation of the universal cover induces the monodromy operator

$t$1

For proper $t$2, one has a monodromy-compatible spectral sequence

$t$3

for $t$4 sufficiently small (Nori et al., 5 Jan 2026).

The same paper defines analytic loops $t$5, reduced spectra $t$6, and the boundary spectrum

$t$7

For field coefficients, if $t$8 is a morphism of complex algebraic varieties and $t$9 is constructible, then for every analytic loop $D^b(X,k)[t]$0 there exist $D^b(X,k)[t]$1 and finitely many loops $D^b(X,k)[t]$2 such that

$D^b(X,k)[t]$3

and, when $D^b(X,k)[t]$4,

$D^b(X,k)[t]$5

For general commutative noetherian coefficient rings $D^b(X,k)[t]$6, the statement is scheme-theoretic: the spectrum $D^b(X,k)[t]$7 is contained in a finite sum of fractional pullbacks of spectra of $D^b(X,k)[t]$8 along finitely many loops in $D^b(X,k)[t]$9 (Nori et al., 5 Jan 2026).

These results recast classical quasi-unipotence in a sharper form. In the constant-coefficient case they recover the local monodromy theorem of SGA7, while for arbitrary constructible sheaves they show that monodromicity is preserved and quantified under $F$0 and $F$1. The applications listed in the same work include abelian covers, generalized Alexander modules, and intersection cohomology with torsion coefficients, where local monodromy after pushforward is controlled by finitely many loop spectra on the source (Nori et al., 5 Jan 2026).

3. Monodromic perverse sheaves, parity, and Hecke categories

For a complex stratified $F$2-variety $F$3 with coefficients in an algebraically closed field $F$4 of characteristic $F$5, the monodromic perverse category $F$6 has a highest weight structure under explicit geometric hypotheses: the stratification must be finite and $F$7-stable, and each stratum must be isomorphic to $F$8. In that case the standard, costandard, and simple objects are

$F$9

and $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$0 is a highest weight category with weight poset given by closure order on strata (Gouttard, 2020).

A more general modular formalism uses twisted equivariant parity sheaves. For an algebraic $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$1-stack $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$2 and a multiplicative rank-one local system $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$3, the twisted equivariant derived category is

$$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$4

and the monodromic condition is expressed by

$$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$5

Under the parity vanishing conditions

$$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$6

one obtains a theory of twisted equivariant parity sheaves, a mixed category $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$7, and a monodromic Hecke category

$$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$8

with convolution, block decomposition, minimal IC sheaves, and a modular categorification of the monodromic Hecke algebra (Sandvik, 13 Aug 2025).

The block structure is governed by the endoscopic Weyl group $$\omega_F(\lambda)=\chi_t(\lambda)\cdot \mathrm{id}_F$$9. In the same framework one has

$\lambda\in X_*(T)$0

and the minimal element $\lambda\in X_*(T)$1 in a block produces a minimal IC sheaf satisfying

$\lambda\in X_*(T)$2

For finite or affine type, this yields endoscopic equivalences between monodromic Hecke categories of parity sheaves and ordinary Hecke categories on the endoscopic group (Sandvik, 13 Aug 2025).

A Soergel-calculus realization of the same structure is now available. The monodromic Hecke algebroid $\lambda\in X_*(T)$3 admits both an algebraic categorification, generalizing Abe’s theory of Soergel bimodules, and a diagrammatic categorification, generalizing Elias–Williamson’s calculus; these are equivalent, and both are equivalent to the monodromic Hecke category of parity sheaves. Neutral blocks are described by unipotent Hecke categories for endoscopic Coxeter groups (Sandvik, 16 Apr 2026).

4. Free and universal monodromy

Free-monodromic categories enlarge ordinary monodromic categories by retaining the full monodromy algebra rather than fixing a character. In the mixed modular setting for Kac–Moody flag varieties, the left-monodromic and free-monodromic DG categories are built from

$\lambda\in X_*(T)$4

with a free-monodromic differential satisfying

$\lambda\in X_*(T)$5

The resulting category of Bott–Samelson free-monodromic tilting sheaves is monoidal under a convolution product $\lambda\in X_*(T)$6, and for the unit object one has

$\lambda\in X_*(T)$7

For a simple reflection $\lambda\in X_*(T)$8,

$\lambda\in X_*(T)$9

(Achar et al., 2017).

A universal version appears on the base affine space $t$0. Let $t$1 be the group ring of the coweight lattice. The universal monodromic big tilting sheaf $t$2 on $t$3 carries full left and right $t$4-monodromy, and its endomorphism algebra is

$t$5

The associated universal monodromic Hecke category is described by Soergel bimodules, yielding equivalences

$t$6

and, with rational coefficients, an uncompleted form of Koszul duality with $t$7-equivariant $t$8-motives on the Langlands-dual flag variety (Taylor, 2023).

Universal monodromy also packages entire families over $t$9. For a Kac–Moody group $X^\vee=G^\vee/B^\vee$0, universal Koszul duality gives a monoidal equivalence

$X^\vee=G^\vee/B^\vee$1

for each $X^\vee=G^\vee/B^\vee$2, recovering at $X^\vee=G^\vee/B^\vee$3 an ungraded form of the Beilinson–Ginzburg–Soergel and Bezrukavnikov–Yun dualities (Eberhardt et al., 2024). In a parallel Betti-affine setting, the universal monodromic Arkhipov–Bezrukavnikov equivalence identifies universal monodromic Iwahori–Whittaker sheaves on the enhanced affine flag variety with equivariant quasicoherent sheaves on the Grothendieck alteration $X^\vee=G^\vee/B^\vee$4, and identifies bi-Iwahori–Whittaker sheaves with $X^\vee=G^\vee/B^\vee$5 (Dhillon et al., 24 Jan 2025).

These structures have concrete representation-theoretic applications. The monodromic Hecke category studied by Bezrukavnikov–Tolmachov models the Hochschild cohomology of Soergel bimodules, and in type $X^\vee=G^\vee/B^\vee$6 gives a geometric realization of Khovanov–Rozansky homology through explicit monodromic objects $X^\vee=G^\vee/B^\vee$7 representing individual Hochschild degrees: $X^\vee=G^\vee/B^\vee$8 The representing objects are described by character sheaves $X^\vee=G^\vee/B^\vee$9 attached to exterior powers of the reflection representation (Bezrukavnikov et al., 2020). For real groups, a related free-monodromic tilting theory yields real analogues of Soergel’s Structure Theorem and Endomorphism Theorem, with a fully faithful real Soergel functor on tilting sheaves (Ionov et al., 2023).

5. Fourier transform and microlocal theory

Monodromicity is stable under several Fourier-type transforms. For a vector bundle $X$00, the new transform

$X$01

is defined for all $X$02-adic complexes on $X$03, where $X$04 on $X$05. It is not fully faithful on all of $X$06, but it restricts to an equivalence on the monodromic subcategory $X$07, with explicit quasi-inverse and a square controlled by convolution with $X$08. The same construction interpolates Laumon’s homogeneous transform, the Fourier–Deligne transform, and the usual Fourier transform on $X$09-modules (Wang, 2014).

For monodromic $X$10-adic sheaves on a finite-dimensional vector space $X$11 over an algebraically closed field of characteristic $X$12, the Fourier–Deligne transform preserves singular support and characteristic cycle under the canonical anti-symplectic identification

$X$13

If $X$14 is monodromic, then

$X$15

This is the exact $X$16-adic analogue of the Brylinski–Malgrange theorem for monodromic $X$17-modules (Zhou, 2024).

A rigid-analytic microlocal theory makes monodromicity the replacement for conicity. For a vector bundle $X$18, the monodromic Fourier transform is

$X$19

and it is an autoequivalence of $X$20 up to the inverse described by a pro-kernel $X$21. The same framework defines specialization

$X$22

microlocalization

$X$23

micro-hom,

$X$24

and singular support

$X$25

The paper proves duality invariance, functoriality under smooth pullback and proper pushforward, and the zero-section criterion characterizing local systems (Zhou, 24 Jul 2025).

The Fourier transform is therefore not merely an auxiliary operation: in these monodromic categories it becomes a structural symmetry linking nearby cycles, vanishing cycles, characteristic cycles, and endoscopic or Hecke-theoretic convolution formalisms (Wang, 2014, Zhou, 2024, Zhou, 24 Jul 2025).

6. Riemann–Hilbert, local systems on $X$26, and differential-geometric continuation

On the Riemann sphere with punctures $X$27, a monodromic sheaf is the sheaf-theoretic avatar of a local system, or equivalently a regular singular holonomic $X$28-module, with prescribed monodromy representation

$X$29

Via the Riemann–Hilbert correspondence, $X$30 determines a logarithmic connection $X$31 with local form

$X$32

and residues constrained by the Fuchs relation. On $X$33, $X$34 splits uniquely as $X$35, and the cited work computes these “roots” explicitly for all finite-dimensional $X$36 when $X$37, and for all $X$38 of dimension $X$39 when $X$40. In rank $X$41, irreducible, a parity rule determines the splitting type from the degree $X$42: $X$43 This usage places monodromic sheaves squarely in the regular singular Riemann–Hilbert setting (Yépez, 2 Jan 2025).

A terminologically adjacent but distinct theory appears in differential geometry. For a sheaf $X$44 of local vector fields on a manifold $X$45 satisfying unique continuation, one can define germs, transports of germs along curves, and a monodromy theorem: if $X$46 is simply connected and a germ $X$47 admits transport along every curve from $X$48, then there exists a unique $X$49 with $X$50. Under the hypotheses that $X$51 is admissible and regular and $X$52 is connected and simply connected, every local field extends uniquely to a global field on $X$53. This framework recovers and generalizes theorems of Nomizu, Ledger–Obata, and Amores for Killing, conformal, and finite-type $X$54-structure fields, as well as Finsler, pseudo-Finsler, and spray-affine fields (Herrera et al., 2015).

The distinction is explicit. In the differential-geometric theorem, the objects are sheaves of local vector fields and the monodromy is an analytic-continuation principle for germs along paths. In algebraic geometry and representation theory, monodromic sheaves are typically constructible sheaves, perverse sheaves, or $X$55-modules with prescribed torus monodromy, nearby-cycle monodromy, or character twists in derived categories (Herrera et al., 2015). This difference in meaning is structural rather than terminological: the shared vocabulary reflects continuation and monodromy actions, but the underlying categories, functors, and invariants are different.