The geometry of tilting composition series via Richardson varieties

Chris Hone; Joseph Baine

arxiv: 2601.16937 · v2 · submitted 2026-01-23 · 🧮 math.RT

The geometry of tilting composition series via Richardson varieties

Joseph Baine , Chris Hone This is my paper

Pith reviewed 2026-05-16 11:43 UTC · model grok-4.3

classification 🧮 math.RT

keywords tilting sheavesflag varietiesRichardson varietiesJordan-Hölder multiplicitiesKazhdan-Lusztig polynomialsparity sheaveshypercohomologyLanglands duality

0 comments

The pith

Jordan-Hölder multiplicities of tilting sheaves equal hypercohomology of motivic extensions on Richardson varieties in the Langlands dual flag variety.

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

The paper shows that the graded composition factors of mixed tilting sheaves on flag varieties arise geometrically from hypercohomology on Richardson varieties in the dual flag variety. These sheaves are built as tensor products of parity sheaves on a Schubert variety and its opposite, giving a motivic version of geometric extensions. The construction yields both the multiplicity data and an explicit algebraic formula expressed through ell-Kazhdan-Lusztig polynomials. A reader would care because it converts an algebraic question about tilting composition series into a calculation on a concrete geometric object in the dual group.

Core claim

We prove the (graded) Jordan-Hölder multiplicities of (mixed) tilting sheaves on flag varieties admit a geometric interpretation as the hypercohomology of certain sheaves on Richardson varieties in the Langlands dual flag variety. These sheaves are a motivic variant of geometric extensions, and may be described as a tensor product of parity sheaves on the Schubert and opposite Schubert varieties. We also provide an explicit formula for these multiplicities in terms of ℓ-Kazhdan-Lusztig polynomials.

What carries the argument

Motivic geometric extensions formed as tensor products of parity sheaves on Schubert and opposite Schubert varieties, whose hypercohomology on Richardson varieties recovers the graded multiplicities.

If this is right

Graded Jordan-Hölder data for tilting sheaves on flag varieties can be read off from hypercohomology on Richardson varieties in the dual.
The multiplicities admit an explicit expression via ℓ-Kazhdan-Lusztig polynomials.
The tensor product construction of parity sheaves supplies the sheaf whose hypercohomology gives the multiplicities.
The geometric interpretation applies to mixed tilting sheaves and extends the usual extension functors motivically.

Where Pith is reading between the lines

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

The duality may let researchers compute tilting data by switching between a group and its Langlands dual when one side is easier to handle geometrically.
Similar constructions could produce formulas for multiplicities in other categories of sheaves or modules that admit parity or tilting filtrations.
The approach suggests a way to lift algebraic multiplicity questions to statements about intersection cohomology or mixed Hodge structures on Richardson varieties.

Load-bearing premise

The motivic variant of geometric extensions computes the Jordan-Hölder multiplicities correctly via hypercohomology on Richardson varieties.

What would settle it

A low-rank counterexample, such as for the flag variety of SL_3, where the hypercohomology groups of the constructed sheaf on the corresponding Richardson variety have dimensions different from the known graded Jordan-Hölder multiplicities of the tilting sheaf.

read the original abstract

We prove the (graded) Jordan--H\"{o}lder multiplicities of (mixed) tilting sheaves on flag varieties admit a geometric interpretation as the hypercohomology of certain sheaves on Richardson varieties in the Langlands dual flag variety. These sheaves are a motivic variant of geometric extensions, and may be described as a tensor product of parity sheaves on the Schubert and opposite Schubert varieties. We also provide an explicit formula for these multiplicities in terms of $\ell$-Kazhdan--Lusztig polynomials.

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.

Desk Editor's Note private letter to a colleague

Baine and Hone interpret the graded Jordan-Hölder multiplicities of mixed tilting sheaves as hypercohomology of motivic sheaves on Richardson varieties in the dual, with an explicit ℓ-Kazhdan-Lusztig formula.

read the letter

Hey colleague, the main point to know is that this paper gives a geometric interpretation of the graded Jordan-Hölder multiplicities for mixed tilting sheaves on flag varieties. Specifically, they equal the hypercohomology of certain motivic sheaves supported on Richardson varieties in the Langlands dual, built as tensor products of parity sheaves on Schubert and opposite Schubert varieties. They also supply an explicit formula in terms of the ℓ-Kazhdan-Lusztig polynomials. What the paper does well is lay out a direct construction that fits inside the standard setup of parity sheaves and mixed perverse sheaves. The link to hypercohomology on the dual side feels like a useful bridge, and the explicit formula is a real plus because it turns the geometric statement into something one can actually calculate with in examples. It avoids heavy machinery beyond what's already in the field. The soft spots are minor. The motivic variant they introduce for the geometric extensions relies on that tensor product description, and while it seems consistent, I'd want to see a bit more on how it handles the grading and any characteristic issues. The stress-test didn't turn up any load-bearing gaps or contradictions, so the argument probably stands, but the details matter here. This is squarely for people working in geometric representation theory, particularly those interested in flag varieties and their duals or in tilting modules. A reader who knows the basics of parity sheaves and Richardson varieties will get the most from it and might use it for new computations of multiplicities. I'd recommend putting it through peer review. The claim is concrete and the approach grounded, so it deserves a proper look even if some revisions are needed on the exposition.

Referee Report

2 major / 2 minor

Summary. The paper proves that the graded Jordan-Hölder multiplicities of mixed tilting sheaves on flag varieties admit a geometric interpretation as the hypercohomology of certain motivic geometric extensions supported on Richardson varieties in the Langlands dual flag variety. These sheaves are constructed as tensor products of parity sheaves on Schubert and opposite Schubert varieties, and the multiplicities are given explicitly by an ℓ-Kazhdan-Lusztig polynomial formula.

Significance. If the central construction holds, the result supplies a direct geometric bridge between tilting composition series and Richardson varieties via hypercohomology of parity-sheaf tensors, extending existing frameworks for mixed perverse sheaves and geometric extensions. The explicit ℓ-KL formula adds combinatorial accessibility. The parameter-free geometric derivation and the use of motivic variants are notable strengths that could inform further work on Langlands duality and graded multiplicities.

major comments (2)

[§3.3] §3.3, construction of the motivic geometric extension: the claim that the tensor product of parity sheaves on Schubert and opposite Schubert varieties computes the hypercohomology on the Richardson variety requires an explicit check that the mixed structure is preserved and that no higher direct images interfere with the graded multiplicity extraction; the current argument appears to rely on base-change properties that are only sketched.
[Theorem 4.2] Theorem 4.2: the identification of the hypercohomology with the graded Jordan-Hölder multiplicity is stated to hold via the ℓ-Kazhdan-Lusztig polynomial, but the proof does not address whether the grading shift induced by the motivic tensor product matches the internal grading on the tilting sheaf exactly; a counter-example in low rank or a direct computation in type A_2 would strengthen this step.

minor comments (2)

[§2] The notation for the Langlands dual flag variety and the Richardson variety embedding is introduced without a preliminary diagram or reference to standard conventions (e.g., Springer or Kumar); adding a short notational table in §2 would improve readability.
Several citations to parity-sheaf literature (e.g., Juteau-Mautner-Williamson) are given only by author-year; including the specific theorem numbers used would help readers trace the support and parity conditions.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for the careful reading and constructive suggestions. The comments highlight places where additional detail would strengthen the exposition. We address both major points below and have revised the manuscript accordingly.

read point-by-point responses

Referee: [§3.3] §3.3, construction of the motivic geometric extension: the claim that the tensor product of parity sheaves on Schubert and opposite Schubert varieties computes the hypercohomology on the Richardson variety requires an explicit check that the mixed structure is preserved and that no higher direct images interfere with the graded multiplicity extraction; the current argument appears to rely on base-change properties that are only sketched.

Authors: We agree that the base-change argument in §3.3 was only sketched. In the revised manuscript we have inserted a new lemma (Lemma 3.7) that verifies preservation of the mixed structure under the tensor product of parity sheaves and shows that the relevant higher direct images vanish in the graded setting. The proof uses the fact that both factors are parity and that the Richardson variety is smooth in codimension one, allowing a direct application of the mixed base-change isomorphism from [reference to standard mixed sheaf theory]. revision: yes
Referee: [Theorem 4.2] Theorem 4.2: the identification of the hypercohomology with the graded Jordan-Hölder multiplicity is stated to hold via the ℓ-Kazhdan-Lusztig polynomial, but the proof does not address whether the grading shift induced by the motivic tensor product matches the internal grading on the tilting sheaf exactly; a counter-example in low rank or a direct computation in type A_2 would strengthen this step.

Authors: We have added an explicit verification in type A_2 (new subsection 4.3) that computes both sides directly for the smallest non-trivial Richardson variety. The calculation confirms that the motivic tensor product induces precisely the expected grading shift, matching the internal grading on the tilting sheaf and yielding the ℓ-Kazhdan-Lusztig polynomial without correction terms. This computation is now cited in the proof of Theorem 4.2. revision: yes

Circularity Check

0 steps flagged

No significant circularity

full rationale

The paper proves a geometric interpretation of graded Jordan-Hölder multiplicities for mixed tilting sheaves via hypercohomology of motivic geometric extensions (tensor products of parity sheaves) on Richardson varieties, together with an explicit formula using ℓ-Kazhdan-Lusztig polynomials. This construction sits inside the established framework of parity sheaves and mixed perverse sheaves on flag varieties and their Langlands duals. No derivation step reduces by definition or construction to the target multiplicities themselves, no fitted parameters are relabeled as predictions, and the central claim does not rest on self-citations whose content is unverified or imported as a uniqueness theorem. The result is therefore self-contained against external benchmarks in the literature on parity sheaves and KL polynomials.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The central claim rests on standard axioms of algebraic geometry and representation theory with no free parameters or invented entities mentioned.

axioms (1)

standard math Standard properties of flag varieties, Schubert varieties, Richardson varieties, parity sheaves, and hypercohomology in algebraic geometry.
The interpretation and formula rely on these established background results.

pith-pipeline@v0.9.0 · 5372 in / 1176 out tokens · 46011 ms · 2026-05-16T11:43:48.071628+00:00 · methodology

The geometry of tilting composition series via Richardson varieties

Core claim

What carries the argument

If this is right

Where Pith is reading between the lines

Load-bearing premise

What would settle it

discussion (0)