REVIEW 3 major objections 4 minor 2 cited by
On global Schubert varieties for the general linear group
T0 review · 3 major / 4 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read For GL_n, every global Schubert variety is exactly the family of lattices lying in an ordinary Schubert variety.
desk verdict Known theorem, honest introduction, useful self-contained proof with a fixable properness gap in the convolution step. 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 central object is the global affine Grassmannian Gr, realized as the set of lattice families (y, L_1, . . . , L_n) in C × Gr^n satisfying valuation and containment conditions, with special fiber the affine flag variety F_l and generic fiber C^× × Gr. The paper defines X_λ as the closed sub-ind-variety Gr ∩ (C × Gr_λ × · · · × Gr_λ) and proves Gr_λ = X_λ. The proof is carried by two mechanisms: explicit vector and matrix formulas for the fundamental coweight case that produce one-parameter degenerations to any desired point of the special fiber, and the global twisted convolution space X_λ ~×_C X_{̟_k} equipped with a morphism m to Gr whose image is shown to be Gr_{λ+̟_k}. A key auxiliary result is Theorem 5.10, which constructs, for λ = μ + ̟_t, a μ-permissible alcove y such that a given λ-permissible alcove x is in relative position ̟_t with respect to y, enabling the induction.
What would settle it
For a specific coweight such as λ = (2,0) for GL_2, compute X_λ ∩ F_l directly from the lattice inequalities of Remark 3.5 and compare it with the union of I-orbits in the closure of C^× × Gr_λ; if any λ-permissible alcove x gives a lattice chain L_x outside that closure, the equality Gr_λ = X_λ would be false.
Extended reading notes
Core claim
On its own terms, the paper's central claim is Theorem 1.1: for any dominant coweight λ, the global Schubert variety Gr_λ, defined as the closure of C^× × Gr_λ in the global affine Grassmannian Gr, equals X_λ, the closed subset of Gr consisting of lattice families (y, L_1, . . . , L_n) with every L_i in Gr_λ. Since X_λ is visibly closed and agrees with Gr_λ over C^×, the whole content is that its special fiber over 0 is not too large: every I-orbit in X_λ ∩ F_l is actually in the closure. The authors establish this first for fundamental coweights, where each point of the special fiber is exhibited as the limit of an explicit one-parameter family, and then for general λ by induction, using a combinatorial statement about Kottwitz–Rapoport alcoves and the geometry of global convolution spaces.
Load-bearing premise
The proof assumes that the map m from the global convolution space X_λ ~×_C X_{̟_k} to the global affine Grassmannian is proper, and therefore has closed image; this properness is asserted in Corollary 6.3 but not proved in the paper.
Editorial extensions
If this is right
- Membership in a global Schubert variety for GL_n becomes checkable by explicit lattice inequalities: a tuple (y, L_1, . . . , L_n) is in Gr_λ exactly when every L_i satisfies the valuation and dimension bounds of Remark 2.1.
- The special fiber of Gr_λ over 0 is the union of the I-orbits labelled by the λ-permissible alcoves, matching the description Zhu proved using admissible alcoves.
- For minuscule coweights, each point of the special fiber is obtained as the limit of a one-parameter family running through the generic part C^× × Gr_λ.
- The result gives an elementary proof, using only basic topology and linear algebra, of the topological-flatness statement for these GL_n local models, without Shimura varieties or nearby cycles.
Reading between the lines
- The ad hoc construction of the global convolution space in Section 6 suggests a natural check: proving properness of m directly would let the same induction work without the asserted closed-image property, and would likely transfer the argument to reductive groups admitting a lattice model.
- The explicit families in Section 4 could be composed with the alcove rotations of Section 5 to produce explicit degenerations for arbitrary dominant coweights, not just fundamental ones.
- In equal characteristic, Theorem 1.1 is the lattice-theoretic form of topological flatness of local models; carrying the same lattice-family language into mixed characteristic could give an elementary path to the corresponding flatness statements.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper studies global Schubert varieties for GL_n(C) using a lattice-theoretic model. It defines the global affine Grassmannian Gr as the set of lattice families (y,L_1,...,L_n) satisfying (3.1)-(3.2), and for a dominant coweight λ defines X_λ = Gr ∩ (C × Gr_λ × ... × Gr_λ), where Gr_λ is the ordinary spherical Schubert variety. The main theorem (Theorem 1.1) asserts that X_λ equals the global Schubert variety Gr_λ, i.e. the closure of C^× × Gr_λ. The proof treats fundamental coweights by explicit 1-parameter families in Section 4, then uses a combinatorial statement about alcoves (Theorem 5.10) and a global convolution construction (Section 6) to induct on λ_1 − λ_n.
Significance. The theorem itself is not new; the authors acknowledge that it follows from work of Haines–Ngô and Zhu via nearby cycles and local models. The paper's claimed contribution is a self-contained proof using only topology and linear algebra. If the gaps in Section 6 are repaired, this would be a genuinely useful and accessible account, especially the explicit pluscule-case formulas in Section 4 and the combinatorial Lemma 5.1. The paper is carefully structured and the minuscule case is worked out in substantial detail. However, the proof as written depends on an unproved properness assertion in Corollary 6.3, and on a proof-sketch in Lemma 6.1, so the self-contained claim is not yet fully met.
major comments (3)
- [§6, Corollary 6.3] The corollary asserts without proof that the map m : X_λ ~×_C X_̟_k → Gr is proper. The global convolution space is introduced by an ad hoc definition on page 25, and §3 only gives Gr the structure of an ind-variety as a subset of C × Gr^n; it is not shown to be ind-proper, and because of the C factor it is not. Properness therefore does not follow from the standard properness of ordinary convolution used in Lemma 6.1. The final step of Theorem 1.1 uses this corollary to conclude that L_x ∈ Gr_λ, so without a proof of properness (or a substitute closedness argument) the induction step is incomplete.
- [§6, Lemma 6.1] The proof of Lemma 6.1 is only a sketch. The assertion that the largest dominant ν with L_ν in the image of m : Gr_λ ~× Gr_μ → Gr is λ + μ is not proved, and neither is the properness of this ordinary convolution map. These are standard facts in the affine Grassmannian literature, but the paper promises a self-contained proof, and the lemma is used for the generic fiber contribution in Corollary 6.3. Please give a complete proof or a precise reference with all hypotheses verified.
- [§5, Lemmas 5.2 and 5.3] These lemmas are stated without proof, with only 'we omit their proofs.' They are used in Lemma 5.8 and hence in Theorem 5.10, which is essential for the induction in Theorem 1.1. The rotation formula in Lemma 5.2(3) and the permutation identity in Lemma 5.3 are not entirely immediate from the definitions. Please include proofs, or at least detailed derivations, so that the combinatorial backbone of the induction is fully supported.
minor comments (4)
- [§3, notation after (3.3)] The notation for the global Schubert variety is overloaded with the ordinary spherical Schubert variety; the parenthetical '(Note that the notation “Gr_λ” is not defined.)' is confusing. Please use distinct symbols (for instance Gr_λ^glob and Gr_λ^sph) or otherwise clarify the typography.
- [§3, Remark 3.2] The remark that the ind-scheme Gr^fancy is not reduced and that the variety (3.3) is its reduced subscheme is helpful, but it should be stated explicitly that all subsequent constructions and the main theorem concern reduced varieties at the level of C-points.
- [§4, Theorem 4.11] The choice of N 'sufficiently large for all of these lemmas for all pairs (q,i)' is not quantified. This is acceptable, but a short justification that the finitely many conditions can be simultaneously satisfied would improve readability.
- [§6, equation (6.1)] In the description of X ~× Gr_̟_k, the condition tL ⊂ L' ⊂ L is written without specifying which inclusion is strict; the dimension condition dim L'/tL = n−k already enforces the correct quotient, so this is only a minor wording issue.
Circularity Check
No circularity: the proof is self-contained; the unproved properness assertion in Corollary 6.3 is a gap but not a circular reduction.
full rationale
I walked the claimed derivation chain and found no step in which a conclusion is equivalent to its input by definition, by fitting, or by a load-bearing self-citation. Theorem 1.1 defines X_λ as the closed subset of the lattice-family space Gr consisting of families whose lattices all lie in the spherical Schubert variety Gr_λ; the inclusion Gr_λ ⊆ X_λ follows because Gr_λ is the closure of C× × Gr_λ and X_λ is closed, and the generic fibers agree. The reverse inclusion is proved by two independent mechanisms: for fundamental coweights, Section 4 gives explicit one-parameter families in C× × Gr_̟t whose limits realize every point of X_̟t ∩ Gr_s, and for general λ the induction uses the combinatorial Theorem 5.10, proved in Section 5 without reference to Gr_λ, to place each λ-permissible alcove point into the special fiber of the global convolution X_μ ~×_C X_̟k, whose image is then identified with Gr_λ via Corollary 6.3. The cited results [8], [9], and [13] are explicitly said in Remark 3.6 to play no role in the proof, and the self-citations [1] and [2] supply standard lattice-theoretic or ind-scheme background rather than the main theorem. The one load-bearing assertion that is not proved in the text is properness of the global convolution map m in Corollary 6.3; that is a possible gap in the argument, but it is not a circular step, because properness is not derived from the equality Gr_λ = X_λ and does not assume that equality.
Assumptions & free parameters
assumptions (4)
- domain assumption The set of lattice families Gr is an ind-variety with generic part C× × Gr and special fiber Fl.
- domain assumption Closure relations and orbit classifications for affine Grassmannian: Gr_μ ⊂ Gr_λ iff μ ≼ λ, and (2.2) about I-orbits.
- domain assumption Kottwitz-Rapoport alcove theory: the action of Wext on alcoves is simply transitive, and permissibility/admissibility relations.
- domain assumption The convolution spaces Gr_λ ~× Gr_μ are irreducible and map properly to Gr_{λ+μ} (Lemma 6.1).
Cite this review
Pith. "Pith review of On global Schubert varieties for the general linear group." pith.science (2026). https://pith.science/paper/YCR5MVX3
@misc{pith2026241201962,
author = {Pith},
title = {Pith review of: On global Schubert varieties for the general linear group},
year = {2026},
howpublished = {\url{https://pith.science/paper/YCR5MVX3}},
note = {Machine review of arXiv:2412.01962}
}
abstract
We give a "lattice-theoretic" description of the global Schubert variety for $\mathrm{GL}_n$ associated to any dominant coweight.
Forward citations
Cited by 2 Pith papers
-
Global positroid varieties
Global positroid varieties are flat families whose general fiber is a classical positroid variety and whose special fiber is a union of affine Richardson varieties.
-
Type A algebraic coherence conjecture of Pappas and Rapoport
Formulates a type A algebraic construction linking Demazure modules to address the algebraic reformulation of the Pappas-Rapoport coherence conjecture, extending to affine Kostant-Kumar modules in general cases.
Reference graph
Works this paper leans on
-
[1]
P. Achar, Perverse sheaves and applications to representation theor y, Mathematical Sur- veys and Monographs, no. 258, Amer. Math. Soc., Providence, RI, 2021. Errata available at https://bookstore.ams.org/surv-258/
work page 2021
-
[2]
P. Achar and S. Riche, Central sheaves on affine flag varieties , approx. 350 pp., draft available at https://lmbp.uca.fr/~riche/
-
[3]
Gaitsgory, Construction of central elements in the affine Hecke algebra v ia nearby cycles , Invent
D. Gaitsgory, Construction of central elements in the affine Hecke algebra v ia nearby cycles , Invent. Math. 144 (2001), 253–280
work page 2001
-
[4]
G¨ ortz, On the flatness of certain models of Shimura varieties of PEL- type, Math
U. G¨ ortz, On the flatness of certain models of Shimura varieties of PEL- type, Math. Ann. 321 (2001), 689–727
work page 2001
-
[5]
G¨ ortz,Topological flatness of local models in the ramified case , Math
U. G¨ ortz,Topological flatness of local models in the ramified case , Math. Z. 250 (2005), no. 4, 775–790. GLOBAL SCHUBERT V ARIETIES 29
work page 2005
-
[6]
T. J. Haines, Introduction to Shimura varieties with bad reduction of par ahoric type , Har- monic analysis, the trace formula, and Shimura varieties, C lay Math. Proc., vol. 4, Amer. Math. Soc., Providence, RI, 2005, pp. 583–642
work page 2005
-
[7]
T. J. Haines and Ngˆ o B. C., Nearby cycles for local models of some Shimura varieties , Compositio Math. 133 (2002), no. 2, 117–150
work page 2002
-
[8]
T. J. Haines and Ngˆ o B. C., Alcoves associated to special fibers of local models , Amer. J. Math. 124 (2002), 1125–1152
work page 2002
Show all 13 references
-
[9]
Kottwitz and M
R. Kottwitz and M. Rapoport, Minuscule alcoves for GLn and GSp2n, Manuscripta Math. 102 (2000), 403–428
2000
-
[10]
Pappas and X
G. Pappas and X. Zhu, Local models of Shimura varieties and a conjecture of Kottwi tz, Invent. Math. 194 (2013), 147–254
2013
-
[11]
Rapoport and T
M. Rapoport and T. Zink, Period spaces for p-divisible groups, Annals of Mathematics Stud- ies, vol. 141, Princeton University Press, Princeton, NJ, 1 996
-
[12]
Kumar, Kac–Moody groups, their flag varieties and representation t heory, Progress in Mathematics, vol
S. Kumar, Kac–Moody groups, their flag varieties and representation t heory, Progress in Mathematics, vol. 204, Birkh¨ auser Boston Inc., 2002
2002
-
[13]
Zhu, On the coherence conjecture of Pappas and Rapoport , Ann
X. Zhu, On the coherence conjecture of Pappas and Rapoport , Ann. of Math. (2) 180 (2014), 1–85. Email address : pramod.achar@math.lsu.edu Department of Mathematics, Louisiana State University, Bat on Rouge, LA 70803, USA Email address : abourque@uchicago.edu Department of Mat...
2014
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.