REVIEW 1 major objections 4 minor 34 references
Modular intersection cohomology of Drinfeld's compactifications
T0 review · 1 major / 4 minor · reviewed 2026-08-07 · deepseek-v4-flash
Pith's one-line read For connected reductive groups, the stalk dimensions of intersection cohomology on Drinfeld's compactifications do not depend on the coefficient field, as long as its characteristic is good for G.
desk verdict Solid modular extension of BFGM; the stated stalk formula is conditional on the companion's costalk computation, but the proof route is new and the paper earns referee time. read the letter →
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
What carries the argument
The argument is carried by a single isomorphism: $\pi_!\mathrm{IC}_{\mathrm{Bun}_U}[\cdots] \cong \mathrm{Ga}^\infty_2$, where $\mathrm{Ga}^\infty_2$ is the Gaitsgory sheaf, a semi-infinite intersection cohomology object in a perverse $t$-structure on $I^\infty_2$-equivariant sheaves on the affine Grassmannian. This isomorphism converts the unknown stalks of $\mathrm{IC}$ on Zastava schemes and Drinfeld compactifications into costalks of $\mathrm{Ga}^\infty_2$, which are accessible through the companion computation summarized in Theorem 5.8. The final formula is expressed through Lusztig's $q$-analogue of Kostant's partition function, and the passage from one closed stratum to all strata uses the factorization property of Zastava schemes.
What would settle it
For $G = \mathrm{SL}_3$ and $\mu$ the sum of the two simple coroots, compute the cohomology of the stalks of $\mathrm{IC}_{Z^\mu}$ along the closed stratum over a field of characteristic 2, which is good for $\mathrm{SL}_3$, and compare the ranks with the coefficients of $q^{-1}P(\mu,q^2)$. The formula fixes the ranks completely, so any deviation would disprove the central claim.
Extended reading notes
Core claim
The paper's central claim is that for a connected reductive group $G$ with simply connected derived subgroup, a smooth projective curve $C$, and any coefficient field $k$ of good characteristic, the generating functions for the dimensions of the cohomology of the stalks of the intersection cohomology complexes on the Zastava schemes $Z^\mu$ and on Drinfeld's compactification $\overline{\mathrm{Bun}}_B$ are identical to those computed previously in characteristic 0. In particular, for any strictly positive coroot combination $\mu$, the stalk polynomial along the closed stratum satisfies $P_\mu = q^{-1}P(\mu,q^2)$, where $P(\mu,q)$ is the $q$-analogue of Kostant's partition function, and from this the full local description follows by factorization. The authors prove this by reversing the usual direction of Gaitsgory's argument: instead of deriving the stalks of the Gaitsgory sheaf from the known stalks of $\mathrm{IC}$ on $\overline{\mathrm{Bun}}_B$, they establish the isomorphism $\pi_!\mathrm{IC}_{\mathrm{Bun}_U} \cong \mathrm{Ga}^\infty_2$ and then read off the Zastava stalks from the independently computed costalks of the Gaitsgory sheaf on the affine Grassmannian.
Load-bearing premise
The central formula inherits its only serious input from the companion theorem on the costalks of the Gaitsgory sheaf, and that theorem rests on the Mirković–Vilonen conjecture, which is known only in good characteristic; if that companion theorem is wrong or its hypotheses are missed, the stalk formula for Zastava schemes collapses.
Editorial extensions
If this is right
- For every stratum of the natural stratification, the cohomology sheaves of $\mathrm{IC}$ on $\overline{\mathrm{Bun}}_B$ and on $Z^\mu$ are locally constant, so these complexes are constructible with respect to those stratifications.
- The dimensions of stalks and costalks of $\mathrm{IC}$ on Drinfeld's compactifications and on Zastava schemes are independent of the coefficient field, as long as its characteristic is good for $G$.
- With coefficients in a principal ideal domain in which all bad primes are invertible, the stalk and costalk cohomology is free over the PID and has the same ranks as in the field case.
- The Zastava intersection cohomology complexes are even with respect to the natural stratification, while the $\mathrm{IC}$ complexes on $\overline{\mathrm{Bun}}_B$ are even or odd according to the parity of $(g-1)\dim(B)$.
- The modular description gives the same root-system combinatorics as the characteristic-0 answer, so the $q$-analogue of Kostant's partition function governs the singularities in all good characteristics.
Reading between the lines
- One consequence the authors leave implicit is that constructions in geometric Langlands that cite characteristic-0 stalk descriptions can now be re-examined over fields of positive good characteristic with the same numerical input.
- The restriction to good characteristic is probably not a feature of the Zastava geometry itself: the paper's dependence on the companion theorem suggests that bad-characteristic failures, if any, would first appear in the costalks of the Gaitsgory sheaf on the affine Grassmannian, not in the isomorphism $\pi_!\mathrm{IC}_{\mathrm{Bun}_U} \cong \mathrm{Ga}^\infty_2$.
- The same strategy should extend to the parabolic analogues of Drinfeld's compactifications, since the paper explicitly anticipates a variation of its techniques for those spaces; verifying the analogue of $P_\mu$ for parabolic Zastava spaces would be a direct test.
- Because the formula $P_\mu = q^{-1}P(\mu,q^2)$ depends only on the root system, it yields a coefficient-field-independent table of stalk polynomials; comparing explicit modular computations for small groups, such as $\mathrm{SL}_3$ in characteristic 2, against this table would catch any error in the chain of imported theorems.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper proves that for a connected reductive group G with simply connected derived subgroup, over a coefficient field k of good characteristic, the dimensions of the cohomology of the stalks of the intersection cohomology complexes on Zastava schemes and on Drinfeld's compactification Bun̄_B are independent of k, and are given by the same formulas involving the q-analogue of Kostant's partition function as in characteristic zero. The proof reduces the problem to the computation of the stalks of the Gaitsgory sheaf Ga^∞_2 on the affine Grassmannian: Theorem 5.6 expresses all relevant stalk polynomials in terms of the polynomials P_µ, and Corollary 5.11 identifies P_µ with q^{-1}P(µ,q^2) using the costalk computation imported from the authors' companion paper [2, Thm 8.2]. The paper also contains detailed proofs of constructibility and curve-independence statements that were previously only sketched, and an appendix extending the results to principal ideal domains.
Significance. If correct, this settles the modular analogue of Braverman–Finkelberg–Gaitsgory–Mirković's characteristic-zero description, giving a uniform combinatorial answer for all good characteristics. The paper's main contribution is the reduction of the Zastava/Drinfeld stalk computation to the semiinfinite sheaf formalism, together with a full proof of constructibility via factorization and reduction to P^1; these fill gaps in the literature. The main caveat is structural rather than internal: the characteristic-independent formula for the costalks of Ga^∞_2 is imported from the companion preprint [2, Theorem 8.2], whose modular proof relies on the Mirković–Vilonen conjecture (now known in good characteristic). The authors flag this dependency explicitly in Remark 1.2(1), and the present paper's logic is conditional on that companion result. No circularity is apparent.
major comments (1)
- [§5.2, Theorem 5.8 and Corollary 5.11] The central formula P_µ = q^{-1}P(µ,q^2) relies on the modular costalk computation of [2, Thm 8.2], which is not proved in this manuscript. This is a load-bearing external dependency: if the companion's theorem were incorrect or its hypotheses violated, the main field-independence claim would not follow. However, the authors state this clearly (Remark 1.2(1)), and the companion concerns a different object (semiinfinite sheaves on the affine Grassmannian) whose computation is independent of the target results. I therefore view this as an acceptable structural dependency rather than an internal gap, but the editor should ensure that the companion is reviewed in tandem.
minor comments (4)
- [§5.4] The phrase 'On the other have we have' contains a typo; it should read 'On the other hand, we have'.
- [§2.4 and Lemma 5.3] The notation Y^{≻0} is used in Lemma 5.3 and Corollary 5.11 but is not explicitly defined; it should be defined as Y^{⪰0}\setminus\{0\}.
- [§4.2, proof of Proposition 4.2] The name 'Be˘ılinson' should be written as 'Beilinson'.
- [§5.6] The appeal to Braden's hyperbolic localization theorem (via [17, Lemma 2.2.4]) would benefit from a remark that the statement holds with arbitrary coefficients, since the reference [17] is written in characteristic 0.
Circularity Check
No circular derivation: the modular costalk computation of the Gaitsgory sheaf is imported from the authors' companion paper [2] as independent input, not as a renaming of the target stalk formula.
full rationale
The central derivation is not circular. Theorem 5.6 reduces all Zastava and Drinfeld compactification stalk polynomials to the polynomials P_nu. Corollary 5.11 computes each P_mu using Theorem 5.8(2), imported from the same authors' companion [2, Thm 8.2]. Although this is a load-bearing self-citation, the cited result is structurally independent: §1.2 states explicitly that the computation in [2] is 'intrinsic to the setting of (constructible) sheaves on Gr' and does not use the description of stalks of IC_BunB. The only external input it invokes is the Mirkovic-Vilonen conjecture in good characteristic (Remark 1.2(1)), supported by [4,29]; a failure there is a correctness risk for the modular case, but not a circular dependence. No parameter is fitted and renamed as a prediction: all ranks are computed from the intrinsic costalk formula P(-nu,q^2) and then transferred via the canonical isomorphism pi_! IC_BunU[(g-1)dim U] ≅ Ga^∞_2 (Theorem 5.9), whose proof in §5.6 uses Proposition 5.15 and Theorem 5.6, neither of which assumes the final formula. The score 2 reflects only the dependency on an unpublished companion by the same authors; this is a verifiability concern, not circularity.
Assumptions & free parameters
assumptions (5)
- domain assumption The characteristic of the coefficient field k is good for the reductive group G.
- domain assumption The Mirkovic-Vilonen conjecture holds in good characteristic, as established by Achar-Rider [4] and Mautner-Riche [29].
- domain assumption The infinity-category Shv(I^infinity_2 \ Gr) of semiinfinite equivariant sheaves and its perverse t-structure make sense for arbitrary coefficient fields k.
- standard math The factorization isomorphisms for Zastava stacks hold in the stated generality.
- domain assumption G is a connected reductive algebraic group with simply connected derived subgroup, and F is an algebraically closed field.
Cite this review
Pith. "Pith review of Modular intersection cohomology of Drinfeld's compactifications." pith.science (2026). https://pith.science/paper/R5DI2Y4G
@misc{pith2026250517953,
author = {Pith},
title = {Pith review of: Modular intersection cohomology of Drinfeld's compactifications},
year = {2026},
howpublished = {\url{https://pith.science/paper/R5DI2Y4G}},
note = {Machine review of arXiv:2505.17953}
}
abstract
We compute the dimension of the cohomology of stalks of intersection cohomology complexes on Zastava schemes and Drinfeld compactifications associated with a connected reductive algebraic group $G$, in case the characteristic of the coefficients field $\Bbbk$ is good for $G$. In particular, we show that these dimensions do not depend on the choice of $\Bbbk$.
Reference graph
Works this paper leans on
-
[10]
A. Braverman, M. Finkelberg, D. Gaitsgory, and I. Mirkovi´ c,Intersection cohomology of Drinfeld’s compactifications, Selecta Math. (N.S.) 8 (2002), no. 3, 381–418
work page 2002
-
[12]
A. Braverman and D. Gaitsgory,Geometric Eisenstein series, Invent. Math.150(2002), no. 2, 287–384
work page 2002
-
[2]
Semiinfinite sheaves on affine flag varieties
P. Achar, G. Dhillon, and S. Riche,Semiinfinite sheaves on affine flag varieties, preprint arXiv:2503.18412
-
[17]
Gaitsgory,The semi-infinite intersection cohomology sheaf, Adv
D. Gaitsgory,The semi-infinite intersection cohomology sheaf, Adv. Math.327(2018), 789– 868
work page 2018
-
[1]
P. Achar,Perverse sheaves and applications to representation theory, Mathematical Surveys and Monographs 258, American Mathematical Society, Providence, RI, 2021
work page 2021
-
[3]
P. Achar and S. Riche,Central sheaves on affine flag varieties, to appear in Panorama et Synth` eses, preliminary version available athttps://lmbp.uca.fr/~riche/central.pdf
-
[4]
P. Achar and L. Rider,Parity sheaves on the affine Grassmannian and the Mirkovi´ c–Vilonen conjecture, Acta Math.215(2015), 183–216
work page 2015
-
[5]
S. Arkhipov, A. Braverman, R. Bezrukavnikov, D. Gaitsgory, and I. Mirkovi´ c,Modules over the small quantum group and semi-infinite flag manifold, Transform. Groups10(2005), no. 3–4, 279–362
work page 2005
Show all 34 references
-
[6]
Baumann and S
P. Baumann and S. Gaussent,On Mirkovi´ c–Vilonen cycles and crystal combinatorics, Rep- resent. Theory12(2008), 83–130
2008
-
[7]
Baumann and S
P. Baumann and S. Riche,Notes on the geometric Satake equivalence, inRelative Aspects in Representation Theory, Langlands Functoriality and Automorphic Forms, CIRM Jean- Morlet Chair, Spring 2016(V. Heiermann, D. Prasad, Eds.), 1–134, Lecture Notes in Math. 2221, Springer, 2018
2016
-
[8]
Be ˘ ılinson and V
A. Be ˘ ılinson and V. Drinfeld,Quantization of Hitchin ’s integrable system and Hecke eigensheaves, available athttp://www.math.uchicago.edu/ ~drinfeld/langlands/ QuantizationHitchin.pdf
-
[9]
Braverman, M
A. Braverman, M. Finkelberg, and D. Gaitsgory,Uhlenbeck spaces via affine Lie algebras, in The unity of mathematics, 17–135, Progr. Math. 244, Birkh¨ auser Boston, Boston, MA, 2006
2006
-
[11]
Braverman, M
A. Braverman, M. Finkelberg, D. Gaitsgory, and I. Mirkovi´ c,Erratum to: ”Intersection cohomology of Drinfeld’s compactifications”, Selecta Math. (N.S.)10(2004), no. 3, 429–430
2004
-
[13]
Campbell and S
J. Campbell and S. Raskin,Langlands duality on the Beilinson–Drinfeld Grassmannian, preprint arXiv:2310.19734
-
[14]
Emerton and T
M. Emerton and T. Gee,‘Scheme-theoretic images’ of morphisms of stacks, Algebr. Geom. 8(2021), no. 1, 1–132
2021
-
[15]
Feigin, M
B. Feigin, M. Finkelberg, A. Kuznetsov, and I. Mirkovi´ c,Semi-infinite flags. II. Local and global intersection cohomology of quasimaps’ spaces, inDifferential topology, infinite- dimensional Lie algebras, and applications, 113–148, Amer. Math. Soc. Transl. Ser. 2, 194, Adv. ...
1999
-
[16]
Finkelberg and I
M. Finkelberg and I. Mirkovi´ c,Semi-infinite flags. I. Case of global curveP 1, inDifferen- tial topology, infinite-dimensional Lie algebras, and applications, 81–112, Amer. Math. Soc. Transl. Ser. 2, 194, Adv. Math. Sci. 44, Amer. Math. Soc., Providence, RI, 1999. MODULAR IN...
1999
-
[18]
D. Gaitsgory,The semi-infinite intersection cohomology sheaf II: the Ran space version, inRepresentation theory and algebraic geometry—a conference celebrating the birthdays of Sasha Beilinson and Victor Ginzburg, 151–265, Trends Math., Birkh¨ auser/Springer, Cham, 2022
2022
-
[19]
Gaitsgory and S
D. Gaitsgory and S. Lysenko,Metaplectic Whittaker category and quantum groups: the “small” FLE, preprint arXiv:1903.02279
1903 arXiv
-
[20]
Gaitsgory and N
D. Gaitsgory and N. Rozenblyum,A study in derived algebraic geometry. Vol. I. Correspon- dences and duality, Math. Surveys Monogr. 221, American Mathematical Society, Providence, RI, 2017
2017
-
[21]
G¨ ortz and T
U. G¨ ortz and T. Wedhorn,Algebraic geometry I. Schemes with examples and exercises, Advanced Lectures in Mathematics, Vieweg + Teubner, Wiesbaden, 2010
2010
-
[22]
Hall and D
J. Hall and D. Rydh,Coherent Tannaka duality and algebraicity of Hom-stacks, Algebra Number Theory13(2019), no. 7, 1633–1675
2019
-
[23]
Heinloth,Uniformization ofG-bundles, Math
J. Heinloth,Uniformization ofG-bundles, Math. Ann.347(2010), no. 3, 499–528
2010
-
[24]
J. C. Jantzen,Representations of algebraic groups. Second edition, Mathematical Surveys and Monographs 107, American Mathematical Society, Providence, RI, 2003
2003
-
[25]
Juteau,Modular representations of reductive groups and geometry of affine Grassmanni- ans, preprint https://arxiv.org/abs/0804.2041
D. Juteau,Modular representations of reductive groups and geometry of affine Grassmanni- ans, preprint https://arxiv.org/abs/0804.2041
-
[26]
Juteau, C
D. Juteau, C. Mautner, and G. Williamson,Parity sheaves, J. Amer. Math. Soc.27(2014), no. 4, 1169–1212
2014
-
[27]
Lafforgue,Chtoucas pour les groupes r´ eductifs et param´ etrisation de Langlands globale, J
V. Lafforgue,Chtoucas pour les groupes r´ eductifs et param´ etrisation de Langlands globale, J. Amer. Math. Soc.31(2018), no. 3, 719–891
2018
-
[28]
Lusztig,Singularities, character formulas, and aq-analogue of weight multiplicities, Anal- ysis and topology on singular spaces, II, III (Luminy, 1981), Ast´ erisque, no
G. Lusztig,Singularities, character formulas, and aq-analogue of weight multiplicities, Anal- ysis and topology on singular spaces, II, III (Luminy, 1981), Ast´ erisque, no. 101–102, Soc. Math. France, Paris, 1983, pp. 208–229
1981
-
[29]
Mautner and S
C. Mautner and S. Riche,Exotic tilting sheaves, parity sheaves on affine Grassmannians, and the Mirkovi´ c–Vilonen conjecture, J. Eur. Math. Soc. (JEMS)20(2018), 2259–2332
2018
-
[30]
Mirkovi´ c and K
I. Mirkovi´ c and K. Vilonen,Geometric Langlands duality and representations of algebraic groups over commutative rings, Ann. of Math.166(2007), 95–143
2007
-
[31]
Raskin,Chiral principal series categories I: Finite dimensional calculations, Adv
S. Raskin,Chiral principal series categories I: Finite dimensional calculations, Adv. Math. 388(2021), Paper No. 107856, 96 pp
2021
-
[32]
Sorger,Lectures on moduli of principalG-bundles over algebraic curves, inSchool on Algebraic Geometry (Trieste, 1999), 1–57, ICTP Lect
C. Sorger,Lectures on moduli of principalG-bundles over algebraic curves, inSchool on Algebraic Geometry (Trieste, 1999), 1–57, ICTP Lect. Notes 1, Abdus Salam Int. Cent. Theoret. Phys., Trieste, 2000
1999
-
[33]
The Stacks project authors,The Stacks project,https://stacks.math.columbia.edu
-
[34]
Varshavsky,Moduli spaces of principalF-bundles, Selecta Math
Y. Varshavsky,Moduli spaces of principalF-bundles, Selecta Math. (N.S.)10(2004), no. 1, 131–166. Department of Mathematics, Louisiana State University, Baton Rouge, LA 70803, U.S.A. Email address:pramod@math.lsu.edu UCLA Mathematics Department, Los Angeles, CA 90095-1555, USA....
2004
Reviewed August 7, 2026 · model on record in the stance chip above.
Discussion (0). Sign in to comment.