Twisted Equivariant Parity Sheaves

• Twisted equivariant parity sheaves are parity objects in derived categories on stacks with a group action, incorporating a monodromy twist via a rank-one local system.
• The formalism ensures uniqueness of parity extensions and supports six-functor operations, convolution, and mixed structures in a modular setting.
• They provide the categorical framework for modular categorification of monodromic Hecke algebras and establish endoscopic equivalences in geometric representation theory.

Searching arXiv for papers on twisted equivariant parity sheaves and closely related work. Twisted equivariant parity sheaves are parity objects in a constructible derived category on a complex algebraic stack equipped with a group action and a prescribed monodromy twist by a multiplicative rank-one local system. In the formulation developed in "Endoscopy for Modular Hecke Categories" (Sandvik, 13 Aug 2025), they generalize the Juteau–Mautner–Williamson theory of parity sheaves from ordinary equivariant settings to twisted equivariance on stacks $H\backslash_L X$, where $H$ acts on $X$ and $L\in \Ch(H,k)$ encodes the twist. The resulting formalism is designed to support a modular version of Lusztig–Yun monodromic Hecke theory and yields two principal applications: a modular categorification of the monodromic Hecke algebra and a monoidal equivalence between a neutral block of the monodromic Hecke category and the ordinary Hecke category of parity sheaves on an endoscopic group (Sandvik, 13 Aug 2025). Closely related work on twisted affine flag varieties does not construct parity sheaves as primary objects, but develops highest-weight, Whittaker, and tilting structures that play an analogous role in a twisted, non-split setting (Çiloğlu, 2024).

1. Definition and basic framework

Let $X$ be an algebraic stack, or an ind-algebraic stack of finite type, over $\mathbb C$, equipped with an action of a connected algebraic group $H$. Let

$L \in \Ch(H,k)$

be a multiplicative rank-one local system on $H$. The twisted equivariant constructible derived category is written

$D_{\cons}(H\backslash_{L} X,k),$

and is the $H$0-equivariant derived category of constructible sheaves (Sandvik, 13 Aug 2025).

Given an $H$1-stable stratification

$H$2

parity is defined by the usual evenness conditions on restrictions to strata, but now inside the twisted equivariant category. For an object $H$3, the conditions are as follows (Sandvik, 13 Aug 2025):

• $H$4 is $H$5-even if for every stratum $H$6, the cohomology of $H$7 vanishes in odd degrees and is a finite free local system in even degrees.
• $H$8 is $H$9-even analogously using $X$0.
• $X$1 is even if it is both $X$2-even and $X$3-even.
• $X$4 is parity if it splits as a direct sum of an even and an odd object.

The associated additive category is

$X$5

When the twist is trivial, $X$6, one recovers the ordinary equivariant parity theory on $X$7. In this sense, twisted equivariant parity sheaves are a direct extension of Juteau–Mautner–Williamson parity sheaves to the presence of monodromy (Sandvik, 13 Aug 2025). The defining modification is not a change in parity conditions themselves, but the replacement of ordinary equivariance by equivariance with monodromy determined by $X$8.

A key structural hypothesis is the parity condition on local systems supported on strata: $X$9 Under these assumptions, parity extensions are unique when they exist (Sandvik, 13 Aug 2025). This uniqueness is one of the central organizing principles of the theory.

2. Twisted stacks, categorical coinvariants, and functoriality

The geometric foundation of the theory is the notion of a twisted stack

$L\in \Ch(H,k)$0

where the action data are enhanced by the multiplicative local system $L\in \Ch(H,k)$1. Morphisms of twisted stacks are triples

$L\in \Ch(H,k)$2

consisting of a representable morphism $L\in \Ch(H,k)$3, a group homomorphism $L\in \Ch(H,k)$4, and an identification

$L\in \Ch(H,k)$5

compatible with the group actions (Sandvik, 13 Aug 2025). This is the formal device that supports pullback, pushforward, tensor products, internal Homs, and Verdier duality in the twisted setting.

The category $L\in \Ch(H,k)$6 is constructed via categorical coinvariants: $L\in \Ch(H,k)$7 where the $L\in \Ch(H,k)$8-action on sheaves is twisted by $L\in \Ch(H,k)$9 (Sandvik, 13 Aug 2025). This formulation is significant because it permits arbitrary multiplicative local systems rather than only those arising from finite central isogenies. The paper emphasizes that the original Juteau–Mautner–Williamson formalism is not sufficiently flexible for such twisted local systems, so the parity theory is rebuilt in a more general categorical language using coinvariants and a twisted six-functor formalism (Sandvik, 13 Aug 2025).

For ind-stacks and pro-finite type groups, the same formalism is extended by passing to limits over finite-type approximations and using bounded morphisms. This extension is needed for Kac–Moody flag varieties and for the monodromic Hecke categories that motivate the theory (Sandvik, 13 Aug 2025).

A nearby but distinct manifestation of twisted equivariance appears in the setting of affine flag varieties for tamely ramified groups. In "Perverse sheaves on twisted affine flag varieties and Langlands duality" (Çiloğlu, 2024), the twisted aspect is not a cocycle twist of the category, but the fact that the geometry is attached to a non-split parahoric or Iwahori model. There, equivariance is expressed through conditions such as

$X$0

for $X$1-equivariant perverse sheaves, and through Whittaker twists

$X$2

for the $X$3-action. This suggests a close structural affinity with twisted equivariant parity theory, even though parity sheaves are not defined as the main objects in that work (Çiloğlu, 2024).

3. Structural properties of twisted parity categories

The twisted theory proves analogues of the standard parity-sheaf formalism. One basic result is a Hom decomposition for $X$4-parity versus $X$5-parity objects: $X$6 with freeness over $X$7 (Sandvik, 13 Aug 2025). This reduces global morphism calculations to the strata and provides the same kind of control that is indispensable in ordinary parity theory.

Indecomposable parity objects satisfy the expected support and uniqueness statement: if $X$8 is indecomposable parity, then it is supported on the closure of a single stratum and is uniquely determined by its restriction to the open stratum (Sandvik, 13 Aug 2025). This is the twisted analogue of the classical uniqueness theorem for indecomposable parity sheaves.

Extension of scalars behaves compatibly with the theory: $X$9 Hom spaces of parity objects are free, and base change behaves well (Sandvik, 13 Aug 2025). This is essential for modular applications, since the intended framework depends on coefficient fields of positive characteristic.

A further structural tool is a baby decomposition theorem: if

$\mathbb C$0

is proper and even, then $\mathbb C$1 preserves evenness and parity (Sandvik, 13 Aug 2025). This theorem is used to establish existence of parity extensions and to show that convolution preserves parity.

The theory also admits a mixed enhancement: $\mathbb C$2 with the usual cohomological shift $\mathbb C$3 and internal or Tate twist $\mathbb C$4, together with recollement formalism (Sandvik, 13 Aug 2025). The notation

$\mathbb C$5

is used for the mixed shift in the monodromic setting (Sandvik, 13 Aug 2025). This mixed category is the ambient setting in which standard, costandard, and convolution constructions acquire their expected homological structure.

These results amount to a twisted-equivariant parity formalism that behaves, in the author’s presentation, formally like ordinary Juteau–Mautner–Williamson parity theory, while accommodating monodromy twists on the acting group (Sandvik, 13 Aug 2025).

4. Monodromic Hecke categories and modular categorification

The principal application in (Sandvik, 13 Aug 2025) is the modular incarnation of Lusztig–Yun’s monodromic Hecke category. Let $\mathbb C$6 be a Kac–Moody group with Borel $\mathbb C$7, torus $\mathbb C$8, and unipotent radical $\mathbb C$9. For $H$0, the biequivariant monodromic Hecke category is defined by

$H$1

The Bruhat stratification governs the local behavior. For a Weyl group element $H$2,

$H$3

and in the nonzero case the stratum identifies with sheaves on a point modulo a torus $H$4 (Sandvik, 13 Aug 2025). This yields the required parity conditions and supports the definitions of standard, costandard, and IC objects: $H$5

The existence theorem states that for every $H$6 there is an indecomposable parity object $H$7 supported on $H$8 with

$H$9

Convolution preserves parity: $L \in \Ch(H,k)$0 (Sandvik, 13 Aug 2025). The convolution product is

$L \in \Ch(H,k)$1

with the usual associativity constraints and unit $L \in \Ch(H,k)$2 (Sandvik, 13 Aug 2025).

The category decomposes by blocks: $L \in \Ch(H,k)$3 and convolution respects block multiplication $L \in \Ch(H,k)$4 (Sandvik, 13 Aug 2025). In particular, a neutral block $L \in \Ch(H,k)$5 emerges as the relevant subcategory for endoscopic comparison.

The modular categorification statement is expressed via a character map

$L \in \Ch(H,k)$6

where $L \in \Ch(H,k)$7 is the monodromic Hecke algebroid attached to a $L \in \Ch(H,k)$8-orbit $L \in \Ch(H,k)$9. On an object $H$0,

$H$1

The theorem says that this is an equivalence of categories, and that the parity objects $H$2 form a basis whose characters give the monodromic $H$3-Kazhdan–Lusztig basis (Sandvik, 13 Aug 2025). In this way, twisted equivariant parity sheaves supply a modular categorification of Lusztig’s monodromic Hecke algebra or algebroid.

5. Endoscopy, neutral blocks, and related equivalences

For a fixed local system $H$4, the endoscopic Weyl group $H$5 is generated by reflections corresponding to real coroots $H$6 such that $H$7 is trivial (Sandvik, 13 Aug 2025). The relevant endoscopic coroot set is

$H$8

and this determines an endoscopic Kac–Moody group $H$9 with Borel $D_{\cons}(H\backslash_{L} X,k),$0 (Sandvik, 13 Aug 2025).

The central equivalence is

$D_{\cons}(H\backslash_{L} X,k),$1

identifying the ordinary parity Hecke category of the endoscopic group with the neutral block of the monodromic Hecke category (Sandvik, 13 Aug 2025). In the finite-type blockwise setting, this is upgraded to a 2-categorical equivalence over the groupoid $D_{\cons}(H\backslash_{L} X,k),$2 of monodromy orbits: $D_{\cons}(H\backslash_{L} X,k),$3

The paper also records behavior for simple reflections. If $D_{\cons}(H\backslash_{L} X,k),$4, then

$D_{\cons}(H\backslash_{L} X,k),$5

and convolution with $D_{\cons}(H\backslash_{L} X,k),$6 gives an equivalence. If $D_{\cons}(H\backslash_{L} X,k),$7, then

$D_{\cons}(H\backslash_{L} X,k),$8

with $D_{\cons}(H\backslash_{L} X,k),$9 even and $H$00-exact on parity objects (Sandvik, 13 Aug 2025). These two cases distinguish the endoscopic and non-endoscopic simple reflections inside the monodromic category.

For finite-type parabolic subcategories, the neutral block admits a monoidal equivalence with Soergel bimodules: $H$01 sending

$H$02

This equivalence provides the geometric bridge from twisted equivariant parity sheaves to diagrammatic and algebraic models (Sandvik, 13 Aug 2025).

The endoscopic equivalence clarifies the role of twisting. Twisted monodromic equivariance does not merely deform an existing Hecke category; it organizes the category into blocks whose neutral component is equivalent to an ordinary parity Hecke category for a different group, namely the endoscopic group determined by the monodromy data $H$03 (Sandvik, 13 Aug 2025).

6. Relation to twisted affine flag varieties, Whittaker categories, and tilting theory

A closely related development appears in "Perverse sheaves on twisted affine flag varieties and Langlands duality" (Çiloğlu, 2024). That paper does not define parity sheaves as a separate category, but it works on twisted affine flag varieties for tamely ramified reductive groups and exploits the same kinds of highest-weight and filtration mechanisms that underlie parity and tilting formalisms.

The geometric setting starts from a tamely ramified reductive group $H$04 over $H$05, an Iwahori model $H$06, and the twisted affine flag variety

$H$07

The Iwahori–Weyl group

$H$08

controls the stratification

$H$09

(Çiloğlu, 2024). The affine-space stratification is precisely the kind of geometry in which parity-compatible behavior typically appears.

The Whittaker category is defined using a character sheaf twist on the pro-unipotent radical $H$10. One fixes an Iwahori–Whittaker datum and obtains a rank-one local system $H$11 on $H$12. Then the category of Iwahori–Whittaker sheaves is described as

$H$13

equivalently as the full subcategory of sheaves $H$14 on $H$15 satisfying

$H$16

for the $H$17-action map (Çiloğlu, 2024). This is formally close to twisted equivariance by multiplicative local systems, though deployed in a Whittaker rather than parity framework.

The simple Whittaker objects are indexed by minimal-length elements in finite Weyl group orbits. Standard and costandard objects are

$H$18

and their images define simple objects $H$19. The heart of the Whittaker category becomes a highest-weight category (Çiloğlu, 2024). The paper explicitly notes that, while no parity sheaves are constructed, this highest-weight structure and the orbit-minimality of simples mirror the standard setting where parity sheaves provide indecomposable tilting objects (Çiloğlu, 2024). This suggests that the work supplies a perverse or tilting replacement for parity objects in a twisted, non-split setting.

Wakimoto sheaves and averaged central objects play a further role analogous to parity-theoretic control. Wakimoto functors $H$20 are perverse $H$21-exact, fully faithful on vector spaces, extension closed, and monoidal: $H$22 (Çiloğlu, 2024). Central convolution-exact objects admit finite filtrations with graded pieces given by Wakimoto objects. Averaged central objects $H$23 are shown to be tilting in key cases, and then more generally by propagation through tensor products (Çiloğlu, 2024). In the terminology of that paper, this is the twisted, ramified analogue of a parity-sheaf-driven story familiar from split affine flag varieties.

7. Conceptual significance and scope

Twisted equivariant parity sheaves occupy the intersection of parity formalism, equivariant sheaf theory with monodromy, modular representation theory, and endoscopy. Their defining feature is the replacement of ordinary equivariance by equivariance twisted by a multiplicative rank-one local system on the acting group. This modification is sufficiently robust to support six-functor operations, Verdier duality, mixed categories, uniqueness theorems for indecomposables, base change, and convolution, all in a setting broad enough to encompass ind-stacks and Kac–Moody geometry (Sandvik, 13 Aug 2025).

Their main significance lies in the fact that they furnish the categorical input for a modular version of monodromic Hecke theory. Through them one obtains a categorification map to the monodromic Hecke algebroid, identifies parity objects with the monodromic $H$24-Kazhdan–Lusztig basis, and proves a monoidal endoscopic equivalence between a neutral monodromic block and an ordinary parity Hecke category for an endoscopic group (Sandvik, 13 Aug 2025). In this respect, twisted equivariant parity sheaves are not merely a technical extension of parity theory; they are the mechanism that translates monodromy data into categorical and endoscopic structure.

A common potential misconception is to conflate all uses of the word “twisted.” In (Sandvik, 13 Aug 2025), the twist is explicitly the monodromy local system $H$25 entering equivariance and the definition of the category $H$26. In (Çiloğlu, 2024), by contrast, the twisted nature is attached to non-split parahoric and Iwahori geometry and to Whittaker character sheaves, rather than to a separately defined parity category. The two settings are closely related in method and structure, but they are not identical formulations.

Taken together, these developments indicate that parity-based and parity-adjacent techniques remain central in geometric representation theory once one passes from split, untwisted settings to modular, monodromic, Whittaker, and endoscopic contexts. A plausible implication is that twisted equivariant parity formalism provides a unifying language for such phenomena whenever stratified geometry, rank-one multiplicative local systems, and convolution categories interact, though the precise scope of that unification depends on the geometric context and is formulated explicitly only in the cited works (Sandvik, 13 Aug 2025, Çiloğlu, 2024).