Perversity of coinvariants of affine Springer sheaves

Alexis Bouthier; David Kazhdan; Yakov Varshavsky

REVIEW 2 major objections 4 minor 21 references

Perversity of coinvariants of affine Springer sheaves

T0 review · 2 major / 4 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read Coinvariants of affine Springer sheaves are perverse

desk verdict A genuinely new perversity theorem for affine Springer sheaves, carefully structured but with the decisive step resting on a co-author's unpublished preprint. read the letter →

arxiv 2506.19390 v1 pith:XEOY6NES submitted 2025-06-24 math.AG math.RT

Alexis Bouthier , David Kazhdan , Yakov Varshavsky This is my paper · ORCID

classification math.AGmath.RT MSC 14F2014L3020G25

keywords affineSpringersheavesperversecoinvariantsloopgroupscharacterGKMstratificationactionsL-packets

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper proves that the derived τ-coinvariants of affine Grothendieck–Springer sheaves are perverse sheaves, not merely complexes. The setting is the loop group of a connected reductive group, and the sheaves live on the bounded regular-semisimple locus of the loop stack. The paper positions these perverse sheaves as examples of what affine character sheaves should be, and, through a cited result, it draws a stability consequence for L-packets of cuspidal Deligne–Lusztig representations. The proof rests on a compatibility theorem for the action of the extended affine Weyl group on the cohomology of affine Springer fibers.

What carries the argument

The load-bearing mechanism is the class of affine Grothendieck–Springer sheaves S_{L,•} := p_!(ω_L) on [C^•/LG], where p is the ind-fp-proper affine Grothendieck–Springer fibration from the Iwahori quotient to the bounded loop stack and ω_L is a dualizing-twisted local system. Perversity is measured against the pν t-structure obtained by gluing perverse t-structures on the GKM (root-valuation) strata [C_{w,r}/LG]_{red}, using the fact that p^• is [$C^{{≤0}}$/LG]-small. The proof that coinvariants stay perverse reduces to inclusion (0.1), a cohomological bound RΓ_c(Fl_γ,ω_L)_τ ∈ $D^{{≥−d_γ}}$, which is established by a quasi-coherent sheaf support criterion (Proposition 1.4.3) applied to a sheaf K supported on graphs of admissible embeddings; that support property is exactly the content of Claim 3.2.4, obtained from the cited compatibility theorem.

What would settle it

Take G = GL_3 over an algebraically closed field of characteristic 7 (Coxeter number 3, so 7 > 2h), choose a regular semisimple γ lying in a nontrivial GKM stratum, and compute RΓ_c(Fl_γ, ω_L)_τ for a nontrivial representation τ of Λ; if this complex has any cohomology in degree < −d_γ, inclusion (0.1) fails and the main theorem is false.

Watch

Extended reading notes

Core claim

The paper's central claim is that, under the hypotheses that the derived group of G is simply connected and that the characteristic of k is either zero or greater than 2h, for every local system L on the maximal torus T and every representation τ of the cocharacter lattice Λ (or of the extended affine Weyl group fW when L is W-equivariant), the sheaf of τ-coinvariants S_{L,•,τ} = coinv_τ(S_{L,•}) is pν-perverse on the stack [C^•/LG]. It also shows that S_{L,•} itself is pν-perverse and is the intermediate extension of its restriction to the bounded regular stratum [$C^{{≤0}}$/LG], that S_{L,•,τ} is constructible (ordinary constructible when τ is finite-dimensional), and that the induced fW-action on the compact-support cohomology of affine Springer fibers agrees with Lusztig's action. The Lie-algebra analog is proved by the same argument.

Load-bearing premise

The proof's decisive step is an imported theorem saying certain symmetries of affine Springer fiber cohomology are compatible; if that theorem is false or does not apply in these characteristics, the perversity of the coinvariant sheaves collapses.

Editorial extensions

If this is right

For every τ ∈ Rep_{Qℓ}(Λ), the τ-coinvariants S_{L,•,τ} are pν-perverse on [C^•/LG]; for W-equivariant L the same holds for τ ∈ Rep_{Qℓ}(fW) (Corollary 3.2.5).
Each S_{L,•,τ} is constructible, and is constructible as an ordinary sheaf when τ is finite-dimensional (Corollary 3.1.13).
The fW-action on compact-support cohomology of affine Springer fibers coincides with Lusztig's action (Proposition 3.1.7), so the new action is the expected one.
The coinvariant sheaves need not be intermediate extensions and need not be irreducible even when L and τ are irreducible (Remark 3.2.2).
Via [BV], perversity yields the stability statement for L-packets of cuspidal Deligne–Lusztig representations described in Section 0.8.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

A natural testable extension, not pursued in the paper, is to replace the Iwahori subgroup by other parahoric subgroups; the same smallness-and-coinvariant template may yield perverse 'parahoric Springer sheaves'.
If the coinvariant construction is functorial in τ, the assignment τ ↦ S_{L,•,τ} could be a categorical action of the representation category of the extended affine Weyl group, making affine Springer sheaves a categorified version of character sheaves.
The characteristic bound p > 2h is likely not optimal: the proof only needs flatness of truncated Chevalley maps and the compatibility theorem, so the bound may be lowered wherever those inputs are known.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The main result is real and new: for the group case, and even for the Lie algebra, the perversity of tau-coinvariants (part (d)) was not known before, and the paper gives the first concrete family of objects expected to be affine character sheaves. The proof is mostly as solid as the abstract suggests. The new technical ingredients—flatness of the Chevalley map for arcs (Theorem 2.1.3), the short proof of the GKM codimension formula (Proposition 2.2.5), smallness of the affine Grothendieck–Springer fibration, and the quasi-coherent sheaf lemma Proposition 1.4.3—are clearly laid out and the reductions are easy to follow. The authors also honestly flag that the Lie algebra analog of (d) is new, and they fix a missing characteristic hypothesis from their own earlier [BKV].

Where I get nervous is exactly where the stress-test put the finger: Claim 3.2.4. The proof of Proposition 3.2.3, hence Theorem 3.2.1, reduces to the assertion that the sheaf K is set-theoretically supported on those graphs, and that assertion is dispatched in one sentence citing [BV, Theorem 2.3.4], the group version of Yun's compatibility theorem. The theorem is not stated, its hypotheses are not checked against the current setup, and [BV] is a preprint by one of the authors. The same external theorem is used again through [BV, Proposition 3.3.2] to get finite generation of the Λ-action on cohomology (Corollary 3.1.9), so the dependence is not isolated. This is not an internal contradiction, and the reduction chain itself looks coherent. But it is a load-bearing external input, and the paper would be much stronger if the authors either stated and verified the theorem or made clear where it is proved under exactly the needed hypotheses.

Minor soft spots: the paper leans heavily on the [BKV] framework, and a reader not already inside that world will have a hard time separating new content from recall. That is a style issue, not a substantive flaw.

Who is this for? Specialists in geometric representation theory, affine Springer theory, and p-adic local Langlands. It deserves a serious referee: the main theorem is important within the subfield, and the proof is detailed enough to check. I would send it out, with an explicit instruction that the referee verify the [BV] dependence and check whether the hypotheses match. If [BV] holds up, the paper should be accepted; if not, the main theorem is unproved as it stands.

Referee Report

2 major / 4 minor

Summary. The paper develops the group analog of the authors' earlier affine Springer theory for Lie algebras. Under the assumptions that Gder is simply connected and that the characteristic of k is zero or greater than 2h, it constructs a perverse t-structure on D([C•/LG]) for the regular-semisimple bounded loop-group locus, proves that the affine Grothendieck–Springer sheaf S_{L,•} is pν-perverse and fW-constructible, and proves the main theorem that the derived τ-coinvariant sheaves S_{L,•,τ} are pν-perverse for every local system L on T and every representation τ of Λ (or of fW when L is W-equivariant). The proof proceeds by proving smallness of the affine Grothendieck–Springer fibration, establishing perversity of S_{L,•} via a general small-pushforward theorem, and then reducing the perversity of coinvariants to the cohomological inclusion (0.1) for RΓ_c(Flγ,ωL)_τ. That inclusion is proved in Proposition 3.2.3 via a quasi-coherent support argument, with the key support statement delegated to Claim 3.2.4 and hence to [BV, Theorem 2.3.4]. A Lie algebra analog is also given.

Significance. If the main theorem is correct, these perverse sheaves would be the first concrete examples of affine character sheaves, and Section 0.8 explains how they imply expected stability properties of L-packets for cuspidal Deligne–Lusztig representations. The paper's strengths are its systematic reduction of the main theorem to a single cohomological inclusion, the construction of the perverse t-structure and fW-action on [C•/LG], the proof of smallness of the affine Grothendieck–Springer fibration, and the explicit identification of the coinvariant computation with a statement about quasi-coherent sheaves. The central concern is that the decisive final input, Claim 3.2.4, is not proved in the manuscript and depends on an unstated theorem from an unpublished preprint by one of the authors. The argument is internally coherent assuming that external theorem; the risk is external, not an internal contradiction.

major comments (2)

[§3.1 (Corollary 3.1.9 and Remark 3.1.10)] The proof of Claim 3.2.4 is a single sentence: "As it was explained in the proof of [BV, Claim 5.3.4], the assertion follows from [BV, Theorem 2.3.4]." This claim is load-bearing: it is the only non-formal step in Proposition 3.2.3, and Proposition 3.2.3 is exactly what establishes inclusion (0.1), which in turn proves Theorem 3.2.1 and Corollary 3.2.5. The manuscript neither states [BV, Theorem 2.3.4] nor verifies that its hypotheses hold in the present setting (e.g., the characteristic assumption, the simple-connectedness of Gder, and the status of Gγ as a maximal torus over F with the corresponding admissible isomorphisms). If [BV, Theorem 2.3.4] were false, or were only proved under stronger hypotheses than those of Section 2.1.2(f), the inclusion (0.1) would not follow from the given argument. The authors should state the theorem precisely, verify its hypotheses step by step, and either prove it or give a publicly available proof that is self-contained enough for the journal's referees to check.
[§3.1, Corollary 3.1.9 and Remark 3.1.10] The same external group version of Yun's theorem is used a second time, through [BV, Proposition 3.3.2], to prove Corollary 3.1.9, which is then used in Theorem 3.1.11 to prove Λ-constructibility of S_{L,•}; Corollary 3.1.13, in turn, is needed in the proof of Theorem 3.2.1. Thus the external dependence is not confined to Claim 3.2.4: both the constructibility input and the perversity-of-coinvariants input rest on the same unstated [BV, Theorem 2.3.4]. Remark 3.1.10 itself acknowledges that the proof of [BV, Proposition 3.3.2] is global and that a different local proof is promised in [BeKV2]. The authors should at minimum state [BV, Theorem 2.3.4] and its proof status, and should clarify which parts of the current paper would survive if that theorem were replaced by the Lie-algebra version [Yun2, Theorem 2].

minor comments (4)

[§3.2, Steps 2 and 4] The symbol Λγ is used for two different objects: in Step 2 it denotes the subgroup X_*(Gγ)^Γ_F of eΛγ, and in Step 4 it is reused for the finite quotient eΛγ/Λγ. This makes Claim 3.2.4 and the direct-sum decomposition in its proof hard to parse; I recommend renaming the quotient, for example Ωγ.
[§0.6(d) and §3.2] Inclusion (0.1) in the introduction is stated with an integer dγ, while the proof in Proposition 3.2.3 uses d_r, with r denoting the GKM pair (w,r). The intended normalization should be stated explicitly so that the reduction from ν_{w,r}=d_r+a_{w,r} to the bound −d_r is transparent.
[§2.2, Proposition 2.2.5] The proof of Proposition 2.2.5 refers to [GKM, Lemma 8.2.1] after replacing the identity [GKM, (2.3.1)] by its group version [Hu, Section 4.23]. Since this codimension formula is essential for the smallness theorem, a few more details about how the group version replaces the Lie-algebra identity would help the reader.
[References] The dependence on [BV] is central, but the reference gives only the arXiv number and no version or date of the preprint. Since the cited theorem may change between versions, the authors should identify the precise version they rely on and, ideally, quote the theorem statement in the text.

Circularity Check

0 steps flagged · score 2.0 of 10

No circular derivation; the load-bearing external input is a self-authored preprint theorem, but that theorem does not assume the target perversity result.

full rationale

The proof of Theorem 3.2.1 reduces the perversity of S_{L,•,τ} to inclusion (3.3), and Proposition 3.2.3 reduces this further to Proposition 1.4.3 applied to the quasi-coherent sheaf K. The one step not proved inside the paper is Claim 3.2.4, whose proof reads: 'As it was explained in the proof of [BV, Claim 5.3.4], the assertion follows from [BV, Theorem 2.3.4], which is the group version of [Yun2, Theorem 2].' This is a citation to a preprint by one of the current authors and it is load-bearing, since without it the inclusion (3.3) would not follow. However, this is not circular: [BV, Theorem 2.3.4] is a compatibility theorem about actions on homology of affine Springer fibers, not the perversity conclusion being derived, and the target statement is not used as an input. The paper explicitly flags this external dependence in Remark 3.1.10 and states that a different proof is expected in [BeKV2]. No fitted parameter is renamed as a prediction, no known result is merely repackaged, and no uniqueness claim is imported from the authors' earlier work to force the choice. The central derivation is therefore self-contained modulo an independent, though author-overlapping, external theorem, so the circularity score is low.

Assumptions & free parameters 0 free parameters · 5 assumptions · 0 invented entities

The central claim rests on several imported results that are not reproved: the [BKV] t-structure formalism, flatness and codimension theorems, the dimension formula for affine Springer fibers, and Yun's compatibility theorem. These are mathematical assumptions, not fitted parameters; the paper introduces no free constants and no ad hoc entities.

assumptions (5)

domain assumption The theory of placid stacks, placidly stratified stacks, constructible sheaves and perverse t-structures established in [BKV] is valid in the group setting.
Invoked throughout Sections 1 and 2; the paper extends these constructions to the group analog rather than reproving them, e.g., Sections 1.1.4, 1.1.9 and 1.3.2.
domain assumption The characteristic and simple-connectivity hypotheses: k is algebraically closed, Gder is simply connected, char(k)=0 or char(k)>2h, and ell differs from char(k).
Stated in Sections 0.3 and 2.1.2(d),(f); these ensure smooth Chevalley space, connected centralizers, and validity of the required flatness and compatibility results.
domain assumption The group version of Yun's theorem on compatibility of actions, given as [BV, Theorem 2.3.4], is true and applicable.
Used in Claim 3.2.4 to prove the support statement for K; without it inclusion (0.1) would not follow and the perversity of coinvariants would be unproved.
domain assumption Dimension formulas for affine Springer fibers, including dim(Fl_gamma)_red = delta_{w,r}, from Bezrukavnikov and Kazhdan-Lusztig results.
Used in Section 2.3.3(b), Proposition 2.3.5(b), and Step 1 of Proposition 3.2.3 to relate fiber dimensions to the perversity shift.
standard math Standard infinity-categorical and etale cohomological facts: base change, projection formula, t-structures on functor categories, and admissibility of arc spaces.
Used implicitly throughout Sections 1 and 2; these are standard tools in derived algebraic geometry and sheaf theory.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Perversity of coinvariants of affine Springer sheaves." pith.science (2026). https://pith.science/paper/XEOY6NES

@misc{pith2026250619390,
  author       = {Pith},
  title        = {Pith review of: Perversity of coinvariants of affine Springer sheaves},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/XEOY6NES}},
  note         = {Machine review of arXiv:2506.19390}
}

abstract

Using techniques of [BKV], we construct a perverse t-structure on the infinity-category of l-adic LG-equivariant sheaves on the regular-semisimple bounded locus of the loop group LG and prove that the derived $\tau$-coinvariants of affine Grothendieck--Springer sheaves are perverse. Our main new ingredient is a theorem of Yun on compatibility of actions.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

21 extracted references · 20 canonical work pages

[1]

Bardsley and R

P. Bardsley and R. W. Richardson, \'Etale slices for algebraic transformation groups in characteristic p , Proc. London Math. Soc. (3) 51 (1985), no. 2, 295--317

work page 1985
[2]

Bezrukavnikov, The dimension of the fixed points set on affine flag manifolds , Mathematical Research Letters 3 (1996), 185--189

R. Bezrukavnikov, The dimension of the fixed points set on affine flag manifolds , Mathematical Research Letters 3 (1996), 185--189

work page 1996
[3]

Bezrukavnikov, D

R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky, A categorical approach to the stable center conjecture , Ast\'erisque 369 (2015), 27--97

work page 2015
[4]

Bezrukavnikov, D

R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky, Finiteness properties of affine Springer sheaves , in preparation

work page
[5]

Bezrukavnikov and Y

R. Bezrukavnikov and Y. Varshavsky, Affine Springer fibers and depth zero L -packets , preprint, arXiv:2104.13123

arXiv
[6]

Bouthier, Dimension des fibres de Springer affines pour les groupes , Transform

A. Bouthier, Dimension des fibres de Springer affines pour les groupes , Transform. Groups 2 , no. 3 (2015), 615--663

work page 2015
[7]

Bouthier, Faisceaux caract\`eres sur les espaces de lacets d'alg\`ebres de Lie , Alg

A. Bouthier, Faisceaux caract\`eres sur les espaces de lacets d'alg\`ebres de Lie , Alg. Geom. 12 (3)(2025), 345--381

work page 2025
[8]

Bouthier, J

A. Bouthier, J. Chi, Correction to Dimension des fibres de Springer affines pour les groupes , Transformation Groups 23 (2018), 1217--1222

work page 2018

Show all 21 references

[9]

Bouthier, D

A. Bouthier, D. Kazhdan, Y. Varshavsky, Perverse sheaves on infinite-dimensional stacks, and affine Springer Theory , Adv. Math. 408 (2022), Paper No. 108572, 132 pp

2022
[10]

Goresky, R

M. Goresky, R. Kottwitz, R. MacPherson, Codimension of root valuation strata , Pure and Applied Mathematics Quarterly 5 (2009), 1253--1310

2009
[11]

Grothendieck, J

A. Grothendieck, J. Dieudonn\'e, \'El\'ements de g\'eom\'etrie alg\'ebrique. IV: \'Etude locale des sch\'emas et des morphismes de sch\'emas Quatri\`eme partie , Publ. Math. IHES, vol. 32 , (1967)

1967
[12]

Humphreys, Conjugacy classes in semisimple algebraic groups , Mathematical Surveys and Monographs, vol

J. Humphreys, Conjugacy classes in semisimple algebraic groups , Mathematical Surveys and Monographs, vol. 43 , American Mathematical Soc., 2011

2011
[13]

A. J. de Jong et al, The Stacks Project , Available at http://stacks.math.columbia.edu
[14]

Kazhdan, G

D. Kazhdan, G. Lusztig, Fixed point varieties on affine flag manifolds , Israel J. Math. 62 , no. 2, (1988), 129--168

1988
[15]

Kazhdan, Y

D. Kazhdan, Y. Varshavsky, Endoscopic decomposition of certain depth zero representations , in Studies in Lie theory , 223--301, Progr. Math. 243 , Birkh\"auser Boston, MA, 2006

2006
[16]

Lurie, Higher algebra , available at https://www.math.ias.edu/ lurie/papers/HA.pdf

J. Lurie, Higher algebra , available at https://www.math.ias.edu/ lurie/papers/HA.pdf
[17]

P. Slodowy. Simple singularities of simple algebraic groups. Lecture Notes in Maths, vol. 815, Springer-Verlag, Berlin 1980

1980
[18]

Springer The unipotent variety of semisimple groups

T.A. Springer The unipotent variety of semisimple groups. Proc. Colloq. Alg. Geometry Bombay 1968 (Tata Institute), 1969

1968
[19]

Steinberg

R. Steinberg. Regular elements of semisimple algebraic groups. Publ. Math. IHES 25 , 49-80 (1965)

1965
[20]

Yun, Global Springer Theory , Adv

Z. Yun, Global Springer Theory , Adv. in Math. 228 (2011), 266--328

2011
[21]

Yun, The spherical part of the local and global Springer actions , Math

Z. Yun, The spherical part of the local and global Springer actions , Math. Ann. 359 (2014), no. 3-4, 557--594

2014

Pith tools

Reviewed August 15, 2026 · model on record in the stance chip above.

[1] [1]

Bardsley and R

P. Bardsley and R. W. Richardson, \'Etale slices for algebraic transformation groups in characteristic p , Proc. London Math. Soc. (3) 51 (1985), no. 2, 295--317

work page 1985

[2] [2]

Bezrukavnikov, The dimension of the fixed points set on affine flag manifolds , Mathematical Research Letters 3 (1996), 185--189

R. Bezrukavnikov, The dimension of the fixed points set on affine flag manifolds , Mathematical Research Letters 3 (1996), 185--189

work page 1996

[3] [3]

Bezrukavnikov, D

R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky, A categorical approach to the stable center conjecture , Ast\'erisque 369 (2015), 27--97

work page 2015

[4] [4]

Bezrukavnikov, D

R. Bezrukavnikov, D. Kazhdan and Y. Varshavsky, Finiteness properties of affine Springer sheaves , in preparation

work page

[5] [5]

Bezrukavnikov and Y

R. Bezrukavnikov and Y. Varshavsky, Affine Springer fibers and depth zero L -packets , preprint, arXiv:2104.13123

arXiv

[6] [6]

Bouthier, Dimension des fibres de Springer affines pour les groupes , Transform

A. Bouthier, Dimension des fibres de Springer affines pour les groupes , Transform. Groups 2 , no. 3 (2015), 615--663

work page 2015

[7] [7]

Bouthier, Faisceaux caract\`eres sur les espaces de lacets d'alg\`ebres de Lie , Alg

A. Bouthier, Faisceaux caract\`eres sur les espaces de lacets d'alg\`ebres de Lie , Alg. Geom. 12 (3)(2025), 345--381

work page 2025

[8] [8]

Bouthier, J

A. Bouthier, J. Chi, Correction to Dimension des fibres de Springer affines pour les groupes , Transformation Groups 23 (2018), 1217--1222

work page 2018