pith. sign in

arxiv: 2409.16259 · v2 · submitted 2024-09-24 · 🧮 math.RT · math.AG

Perverse sheaves and t-structures on the thin and thick affine flag varieties

Roman Bezrukavnikov , Calder Morton-Ferguson This is my paper

Pith reviewed 2026-05-23 20:49 UTC · model grok-4.3

classification 🧮 math.RT math.AG
keywords perverse sheavesaffine flag varietiesIwahori-equivariantRingel dualitytilting objectsIwahori-Whittaker categorynon-commutative Springer resolution
0
0 comments X

The pith

The long intertwining functor realizes the thick category of perverse sheaves as the Ringel dual of the thin category and proves that images of convolution-exact sheaves are tilting.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper examines the categories Perv_thin and Perv_thick consisting of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties for a split reductive group. It extends an earlier bimodule description of Perv_thin over the non-commutative Springer resolution to the anti-spherical quotient of Perv_thick. The long intertwining functor is shown to realize Perv_thick as the Ringel dual of Perv_thin, sharing exactness properties with the corresponding functor on the finite flag variety. This identification is then used to prove that the image of any convolution-exact perverse sheaf on the affine flag variety in the Iwahori-Whittaker category is a tilting object, thereby resolving a conjecture.

Core claim

The long intertwining functor realizes Perv_thick as the Ringel dual of Perv_thin and shares exactness properties with the analogous functor on the finite-dimensional flag variety. This is used to prove that the image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting.

What carries the argument

The long intertwining functor realizing Perv_thick as the Ringel dual of Perv_thin.

If this is right

  • The anti-spherical quotient of Perv_thick has a bimodule description over the non-commutative Springer resolution.
  • The long intertwining functor shares exactness properties with the analogous functor acting on perverse sheaves on the finite-dimensional flag variety.
  • The image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The duality may permit transferring known results about t-structures from the thin to the thick setting.
  • Explicit calculations for low-rank groups could verify the tilting property in concrete cases.
  • Similar intertwining functors might exist for other categories of sheaves on affine Grassmannians or flag varieties.

Load-bearing premise

The long intertwining functor realizes Perv_thick as the Ringel dual of Perv_thin and shares exactness properties with the analogous functor on the finite-dimensional flag variety.

What would settle it

Finding a convolution-exact perverse sheaf on the affine flag variety whose image under the relevant functor to the Iwahori-Whittaker category is not a tilting object would falsify the claim.

read the original abstract

We study the categories $\mathrm{Perv}_{\mathrm{thin}}$ and $\mathrm{Perv}_{\mathrm{thick}}$ of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties associated to a split reductive group $G$. An earlier work of the first author describes $\mathrm{Perv}_{\mathrm{thin}}$ in terms of bimodules over the so-called non-commutative Springer resolution. We partly extend this result to $\mathrm{Perv}_{\mathrm{thick}}$, providing a similar description for its anti-spherical quotient. The long intertwining functor realizes $\mathrm{Perv}_{\mathrm{thick}}$ as the Ringel dual of $\mathrm{Perv}_{\mathrm{thin}}$; we point out that it shares some exactness properties with the similar functor acting on perverse sheaves on the finite-dimensional flag variety. We use this result to resolve a conjecture of Arkhipov and the first author, proving that the image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 1 minor

Summary. The manuscript studies the categories Perv_thin and Perv_thick of Iwahori-equivariant perverse sheaves on the thin and thick affine flag varieties for a split reductive group G. Building on prior work that describes Perv_thin via bimodules over the non-commutative Springer resolution, it extends a similar description to the anti-spherical quotient of Perv_thick. The long intertwining functor is shown to realize Perv_thick as the Ringel dual of Perv_thin while inheriting exactness properties from the analogous functor on the finite flag variety; this is applied to prove that the image in the Iwahori-Whittaker category of any convolution-exact perverse sheaf on the affine flag variety is tilting, resolving a conjecture of Arkhipov and the first author.

Significance. If the exactness properties of the long intertwining functor hold via the stated direct comparison with the finite flag variety, the result resolves an open conjecture on tilting objects and supplies a concrete Ringel duality between the thin and thick categories. The extension of the bimodule description to the anti-spherical quotient and the explicit analogy with the finite case are strengths that situate the work within existing literature on highest-weight structures and perverse sheaves.

minor comments (1)
  1. [Abstract] The abstract refers to 'the similar functor acting on perverse sheaves on the finite-dimensional flag variety' without a specific citation; adding the reference would improve traceability of the exactness comparison.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for their positive summary of the manuscript and for recommending acceptance. We are pleased that the work is viewed as resolving the Arkhipov-Bezrukavnikov conjecture and providing a concrete Ringel duality between the thin and thick categories.

Circularity Check

0 steps flagged

No significant circularity

full rationale

The derivation relies on an earlier description of Perv_thin from prior work by the first author and resolves a conjecture of Arkhipov and the first author, but the central steps—extending the bimodule description to the anti-spherical quotient of Perv_thick, establishing exactness properties of the long intertwining functor via direct comparison to the finite flag variety, and mapping convolution-exact objects to tilting objects—introduce independent content and do not reduce by definition, fitted parameters, or load-bearing self-citation chains to the paper's own inputs. The argument is self-contained against external benchmarks such as the finite-dimensional case.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only; no explicit free parameters, axioms, or invented entities are identifiable. Standard background from algebraic geometry and category theory is assumed but not detailed.

pith-pipeline@v0.9.0 · 5718 in / 1165 out tokens · 25179 ms · 2026-05-23T20:49:14.311994+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

19 extracted references · 19 canonical work pages

  1. [1]

    Perverse sheaves on affine flags and L anglands dual group

    Sergey Arkhipov and Roman Bezrukavnikov. Perverse sheaves on affine flags and L anglands dual group. Israel J. Math. , 170:135--183, 2009. With an appendix by Bezrukavnikov and Ivan Mirkovi\' c

    work page 2009

  2. [2]

    Pramod N. Achar. Perverse sheaves and applications to representation theory , volume 258 of Mathematical Surveys and Monographs . American Mathematical Society, Providence, RI, 2021

    work page 2021

  3. [3]

    Arinkin and D

    D. Arinkin and D. Gaitsgory. The category of singularities as a crystal and global S pringer fibers. J. Amer. Math. Soc. , 31(1):135--214, 2018

    work page 2018

  4. [4]

    Beilinson, R

    A. Beilinson, R. Bezrukavnikov, and I. Mirkovi\' c . Tilting exercises. Mosc. Math. J. , 4(3):547--557, 782, 2004

    work page 2004

  5. [5]

    On tensor categories attached to cells in affine W eyl groups

    Roman Bezrukavnikov. On tensor categories attached to cells in affine W eyl groups. In Representation theory of algebraic groups and quantum groups , volume 40 of Adv. Stud. Pure Math. , pages 69--90. Math. Soc. Japan, Tokyo, 2004

    work page 2004

  6. [6]

    On two geometric realizations of an affine H ecke algebra

    Roman Bezrukavnikov. On two geometric realizations of an affine H ecke algebra. Publ. Math. Inst. Hautes \' E tudes Sci. , 123:1--67, 2016

    work page 2016

  7. [7]

    Character D -modules via D rinfeld center of H arish- C handra bimodules

    Roman Bezrukavnikov, Michael Finkelberg, and Victor Ostrik. Character D -modules via D rinfeld center of H arish- C handra bimodules. Invent. Math. , 188(3):589--620, 2012

    work page 2012

  8. [8]

    Wall-crossing functors and D -modules

    Alexander Beilinson and Victor Ginzburg. Wall-crossing functors and D -modules. Represent. Theory , 3:1--31, 1999

    work page 1999

  9. [9]

    Dimensions of modular irreducible representations of semisimple L ie algebras

    Roman Bezrukavnikov and Ivan Losev. Dimensions of modular irreducible representations of semisimple L ie algebras. J. Amer. Math. Soc. , 36(4):1235--1304, 2023

    work page 2023

  10. [10]

    Representations of semisimple L ie algebras in prime characteristic and the noncommutative S pringer resolution

    Roman Bezrukavnikov and Ivan Mirkovi\' c . Representations of semisimple L ie algebras in prime characteristic and the noncommutative S pringer resolution. Ann. of Math. (2) , 178(3):835--919, 2013. With an appendix by Eric Sommers

    work page 2013

  11. [11]

    Ringel duality for perverse sheaves on hypertoric varieties

    Tom Braden and Carl Mautner. Ringel duality for perverse sheaves on hypertoric varieties. Adv. Math. , 344:35--98, 2019

    work page 2019

  12. [12]

    Dualities and derived equivalences for category O

    Kevin Coulembier and Volodymyr Mazorchuk. Dualities and derived equivalences for category O . Israel J. Math. , 219(2):661--706, 2017

    work page 2017

  13. [13]

    Gaitsgory

    D. Gaitsgory. Construction of central elements in the affine H ecke algebra via nearby cycles. Invent. Math. , 144(2):253--280, 2001

    work page 2001

  14. [14]

    Kashiwara

    M. Kashiwara. The flag manifold of K ac- M oody L ie algebra. In Algebraic analysis, geometry, and number theory ( B altimore, MD , 1988) , pages 161--190. Johns Hopkins Univ. Press, Baltimore, MD, 1989

    work page 1988

  15. [15]

    Ringel duality and K azhdan- L usztig theory

    Steffen Koenig. Ringel duality and K azhdan- L usztig theory. Pacific J. Math. , 203(2):415--428, 2002

    work page 2002

  16. [16]

    Cells in affine W eyl groups

    George Lusztig. Cells in affine W eyl groups. IV . J. Fac. Sci. Univ. Tokyo Sect. IA Math. , 36(2):297--328, 1989

    work page 1989

  17. [17]

    Convolution-exact perverse sheaves on the affine flag variety, 2021

    Alan Peng. Convolution-exact perverse sheaves on the affine flag variety, 2021

    work page 2021

  18. [18]

    Character formulas for tilting modules over K ac- M oody algebras

    Wolfgang Soergel. Character formulas for tilting modules over K ac- M oody algebras. Represent. Theory , 2:432--448, 1998

    work page 1998

  19. [19]

    Weights of mixed tilting sheaves and geometric R ingel duality

    Zhiwei Yun. Weights of mixed tilting sheaves and geometric R ingel duality. Selecta Math. (N.S.) , 14(2):299--320, 2009

    work page 2009