REVIEW 3 major objections 5 minor 13 references
Global positroid varieties
T0 review · 3 major / 5 minor · reviewed 2026-08-04 · deepseek-v4-flash
Pith's one-line read This paper proves that each positroid variety Π_J sits inside a flat family over the affine line whose special fiber is an equidimensional union of affine Richardson varieties, and gives a Plücker ideal for the family that is proved reduced
desk verdict A natural new family of global positroid varieties whose special fibers are claimed to be unions of affine Richardson varieties; the main results are likely correct but two key proofs are more sketched than proved. 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 engine is the global affine Grassmannian in type A: a family Gr_{k,n} over A^1 whose general fiber is Gr_{k,n} and whose zero fiber is the juggling variety, realized in the affine flag variety as the union of Schubert varieties Y_{z^{σω_k}} for σ ∈ S_n. The global positroid variety Π_J is obtained by intersecting this family with the product of opposite Schubert varieties X^-_{J_b}, one for each vertex b. The decisive mechanism is that these vertex-by-vertex conditions are jointly equivalent to a single opposite Schubert condition indexed by the affine Weyl-group element w(J) of the juggling pattern; the special fiber is then automatically a union of affine Richardson varieties R^σ_{w(J)
What would settle it
For a small concrete case, say k=2, n=4, take a generic juggling pattern J, write down the quiver equations defining Π_J(0), count its irreducible components, and compare each with the predicted affine Richardson variety R^σ_{w(J)}; any component not isomorphic to the predicted Richardson variety, or any mismatch in dimension, would refute Theorem 1.2.
Extended reading notes
Core claim
For a juggling pattern J = (J_0,...,J_{n-1}), the global positroid variety Π_J is defined inside the global Grassmannian Gr_{k,n} by imposing at every vertex the opposite Schubert condition U_b ∈ X^-_{J_b} — a Schubert-type constraint on which Plücker coordinates may be nonzero. The paper's central discovery is that the projection Π_J → A^1 is flat (Theorem 1.1), so the family interpolates between the classical positroid variety Π_J and a special fiber Π_J(0). Theorem 1.2 describes this special fiber completely: it is equidimensional of dimension dim Π_J, and its irreducible components are exactly the affine Richardson varieties R^σ_{w(J)} for σ ∈ T_{k,n} with σ ≥ w(J), where w(J) is the aff
Load-bearing premise
The load-bearing premise is that the zero fiber of the global Grassmannian is exactly the affine flag variety's union of Schubert varieties indexed by the T_{k,n} elements, and that the per-position Schubert conditions together are equivalent to the single opposite condition indexed by w(J); if either identification is off, the Richardson-component description of Π_J(0) does not follow.
Editorial extensions
If this is right
- Flatness of Π_J means the multigraded coordinate ring of the special fiber has the same Hilbert function as the classical positroid; Conjecture 4.6 states this as vanishing of higher cohomology.
- Each degenerate positroid Π_J(0) is equidimensional of dimension dim Π_J, with one irreducible component for each k-subset S satisfying J ≤ J(S) (Corollary 4.4).
- The identity Π_J(0) = Gr_{k,n}(0) ∩ ∏_b Π_{rot^b J} gives an explicit model of the special fiber inside a product of classical positroid varieties, making it possible to study degenerations by studying rotated positroids.
- If Conjecture 3.8 is correct, the ideal of Definition 3.5 defines the family as a reduced scheme; the appendix proves this for k=1 by exhibiting J-admissible monomials as a free basis.
- For k=1, global positroid families have projective-space fibers over nonzero parameters, ℓ(J) components in the special fiber, and coordinate rings that are free over the polynomial ring in the deformation parameter.
Reading between the lines
- This suggests that the full k>1 case should be governed by a colored version of semistandard tableaux in which the vertex color tracks the rotated positroid; constructing such tableaux would give a Gröbner basis and prove Conjecture 3.8.
- Because the special fiber is cut out by rotating the same juggling pattern, the degeneration can in principle be iterated: applying rot repeatedly inside Π_J(0) may yield a cyclic-shift-compatible stratification of the affine flag variety, connecting the result to cyclic Demazure-type structures.
- A direct testable extension is to compute the multigraded Hilbert series of Pl_J for k=2 and small n, then compare it with the classical Hilbert series; if Conjecture 4.6 fails, the flat family would have higher-cohomology contributions visible in that computation.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces global positroid varieties Π_J inside the global quiver Grassmannian/Grassmannian family over A^1, defined by imposing the Grassmannian Schubert conditions U_b ∈ X^-_{J_b} on each component of a point (ε,U_0,…,U_{n−1}). The main claims are: (Theorem 1.1/4.5) the family Π_J→A^1 is flat; (Theorem 1.2/4.3) the special fiber Π_J(0) is equidimensional of dimension dim Π_J and its irreducible components are affine Richardson varieties R^σ_{w(J)} with σ ∈ T_{k,n}, σ≥w(J); (Theorem 1.3/4.1) Π_J(0) = Gr_{k,n}(0) ∩ ∏_{b∈Z_n} Π_{rot^b J}. The paper also gives a conjectural defining ideal, proves the k=1 case in detail, and proposes a flat basis of admissible monomials in that case.
Significance. If the main theorems hold, the paper gives a new degeneration of positroid varieties inside the global affine Grassmannian, linking quiver Grassmannians, the juggling variety, and affine Richardson varieties. The proposed flat family and component description are natural and potentially useful for studying positroid coordinate rings via affine Schubert calculus. The k=1 appendix contains an explicit, checkable basis, and the conjectural colored tableaux framework gives a concrete direction for k>1. These are valuable contributions, provided the key identifications in the special fiber are rigorously established.
major comments (3)
- [Section 4, proof of Theorem 4.3] The decisive step is the assertion: 'The condition U_b ∈ X^-_{J_b} means that the point (U_b)_b sits in the orbit of the opposite Iwahori group passing through p_J.' This equivalence is load-bearing: it converts the product of ordinary Grassmannian Schubert conditions into a single opposite Schubert condition in the affine flag variety, and on it rest the Richardson component description and the dimension formula. The cited [Go01] and [HL15] justify the decomposition of Gr_{k,n}(0) into affine Schubert varieties Y_{z^{σω_k}}, but not explicitly the vertex-wise translation used here. Please give a proof of this equivalence or a precise statement with theorem number from [HL15] (or another reference) that covers exactly this situation.
- [Section 4, Proposition 4.1] The proof of the reverse inclusion in Proposition 4.1 is too terse and contains notation slips (e.g., W^{(b)}_> appears where W^{(a+b)}_> is meant). More importantly, the core inequality I_b ≥ I_{a+b} is not rigorously derived from the decomposition of the spaces: the role of P_b and P_{a+b}, the possible dimension drop after applying M^{b→a+b}, and the final conclusion 'We conclude that I_{a+b} ≤ I_b' need a precise dimension/codimension argument. Since Theorem 1.3 depends on this proposition, the proof should be expanded to a level where the Schubert index comparison is verifiable.
- [Section 4, proof of Theorem 4.5] The flatness argument is compressed. The step 'it suffices to show that for any irreducible component of the special fiber there exists a point ... belongs to the above closure' is valid only after noting that the special fiber of the closure is a union of irreducible components of Π_J(0), and that each such component has dimension dim Π_J. This follows from properness and dimension bounds, but it is not stated. Please spell out this reasoning, and also specify which theorem from [V25] is being invoked.
minor comments (5)
- [Section 4, Proposition 4.1] Notation: W^{(b)}_> is used for two different spaces; the second occurrence should be W^{(a+b)}_>. Similarly, 'U_{a+b,>}' is repeated where U_{a+b,<} is intended.
- [Introduction and Section 4, Theorem 4.3] The affine Weyl group element associated to a juggling pattern is denoted both w_J and w(J); please standardize. Also clarify the relationship between the σ ∈ T_{k,n} used in Theorem 1.2 and the elements z^{σω_k} appearing in the proof.
- [Section 3.2, Proposition 3.7] The ε=0 case is dismissed with 'Now we apply the main result of [L W19].' Since the relations in Definition 3.5 are global quadratic relations, please explain briefly why their specialization coincides with the Plücker relations for the quiver Grassmannian of M(0), or give the precise statement from [L W19] being used.
- [Appendix, Lemma A.7] In the termination argument, the inequality in the second case is not shown; adding one line (j+s > i) would make it clear.
- [General] The paper uses 'subvariety' for Π_J but later introduces a conjectural scheme structure. It would help to state explicitly in Definition 3.1 that Π_J is considered with its reduced induced structure for the main theorems.
Circularity Check
No significant circularity: the global positroid family and its special fiber are defined and derived from external geometric results, with only minor non-load-bearing self-citations.
full rationale
The paper's central objects are defined independently: the global positroid family Π_J is, by Definition 3.1, the intersection of the global Grassmannian Gr_{k,n} with the product of classical opposite Schubert varieties X^-_{J_b}. The general fiber is then Π_J(ε) ≅ Π_J by the standard formula (2.1), and the special fiber Π_J(0) is literally the same intersection at ε=0. No parameter is fitted and no target statement is built into the definition. The description of the special fiber as a union of affine Richardson varieties is derived, not assumed: it uses the external result, attributed to [Go01, HL15], that Gr_{k,n}(0) is a union of affine Schubert varieties Y_{z^{σω_k}}, and then identifies the intersection with those Schubert varieties as Richardson varieties R^σ_{w(J)}. The citations to the author's own [FLP22] are used for auxiliary facts such as the cell decomposition of the juggling variety and are not the sole support of the main flatness or special-fiber theorems; [Go01] and [HL15] provide independent published support. The flagged step in the proof of Theorem 4.3 — the assertion that the vertex-wise conditions U_b ∈ X^-_{J_b} jointly mean the affine point lies in the opposite Iwahori orbit through p_J — is indeed asserted without proof and is load-bearing. However, this is a potential rigor gap or correctness risk, not a circularity: it is not a restatement of the definition, not a fitted quantity renamed as a prediction, and not a conclusion imported from a self-citation. Therefore the appropriate circularity score is low; the paper is not circular, though the unproved equivalence deserves scrutiny on other grounds.
Assumptions & free parameters
assumptions (5)
- domain assumption The cyclic quiver Grassmannian family Gr_{k,n} is flat over A^1, with general fiber Gr_{k,n} and special fiber the juggling variety (Lemma 2.5).
- domain assumption The special fiber Gr_{k,n}(0) is the union of affine Schubert varieties Y_{z^{σω_k}} labeled by σ ∈ S_n (Section 2.4, [Go01], [HL15]).
- domain assumption Plücker relations for quiver Grassmannians from [L W19] cut out the zero fiber scheme Gr_{k,n}(0) inside the product of Grassmannians (used in Proposition 3.7).
- domain assumption The codimension of a positroid variety Π_J in Gr_{k,n} equals the length ℓ(w_J) of the corresponding affine permutation (used in the dimension computation in Theorem 4.3, cited to [KLS13], [Lam14]).
- domain assumption A flatness criterion for families over a smooth curve: if the closure of the general fiber equals the whole family and the special fiber is equidimensional of the expected dimension, then the family is flat (Theorem 4.5, [V25]).
Cite this review
Pith. "Pith review of Global positroid varieties." pith.science (2026). https://pith.science/paper/MVBSKW4W
@misc{pith2026250907476,
author = {Pith},
title = {Pith review of: Global positroid varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/MVBSKW4W}},
note = {Machine review of arXiv:2509.07476}
}
read the original abstract
Positroid subvarieties of complex Grassmannians are the images of the Richardson subvarieties of the full flag varieties under the natural projection map. Positroid varieties admit natural embedding into certain quiver Grassmannians for equioriented cyclic quivers. Varying representations of the quiver, one defines global positroid varieties inside the type A global affine Grassmannian. General fiber of a family is isomorphic to the corresponding classical positroid variety and the special fiber is a subvariety of the juggling variety. We show that the global positroid families are flat and describe their (conjecturally reduced) scheme structures. We also describe the special fibers inside the product of classical positroid varieties and realize the irreducible components of the special fibers in terms of the affine Richardson varieties.
Reference graph
Works this paper leans on
-
[1]
[AB24] P. N. Achar, A. Bourque,On global Schubert varieties for the general linear group, arXiv:2412.01962. 1, 2, 6 [AGH23] A. Almousa, S. Gao, D. Huang,Standard Monomials for Positroid Varieties, https://arxiv.org/abs/2309.15384. 3, 14 [BB05] A. Bjorner, F. Brenti,Combinatorics of Coxeter groups. Graduate Texts in Math- ematics,
-
[12]
1 [R W24] K. Rietsch, L. Williams,A superpotential for Grassmannian Schubert varieties, arXiv:2409.00734 . 2 [Sp23] D. Speyer,Richardson varieties, projected Richardson varieties and positroid vari- eties, arXiv:2303.04831. 1, 6 [Sn10] M. Snider,Affine patches on positroid varieties and affine pipe dreams(thesis), https://arxiv.org/abs/1011.3705,
-
[20]
Positivity in Lie theory: open problems
3, 14 [LaPy12] T. Lam, P. Pylyavskyy,Total positivity for loop groups I: Whirls and curls, Adv. in Math. 230 (2012), no. 3, 1222–1271. 2 [LaPy13] T. Lam, P. Pylyavskyy,Total positivity for loop groups II: Chevalley generators, Transformation Groups 18, 179–231 (2013). 2 [L W19] O. Lorscheid, T. Weist,Pl¨ ucker relations for quiver Grassmannians, Algebras ...
work page 2012
-
[1977]
A refinement of the coherence conjecture of Pappas and Rapoport
13 [He13] X. He,Normality and Cohen–Macaulayness of local models of Shimura Varieties, Duke Mathematical Journal 162 (2013), no. 13, 2509–2523. 1 [HL15] X. He, T. Lam,Projected Richardson varieties and affine Schubert varieties, Tome 65, no 6 (2015), p. 2385–2412. 1, 8 [HY24] J. Hong, H. Yu,A refinement of the coherence conjecture of Pappas and Rapoport, ...
work page Pith review arXiv 2013
-
[1985]
6 [KL80] D. Kazhdan, G. Lusztig,Schubert varieties and Poincar´ e duality, Geometry of the Laplace operator (Proc. Sympos. Pure Math., Univ. Hawaii, Honolulu, Hawaii, 1979), pp. 185–203, Proc. Sympos. Pure Math., XXXVI, Amer. Math. Soc., Providence, R.I., 1980 2 [Kn08] A. Knutson,The cyclic Bruhat decomposition ofGr k(Cn)from the affine Bruhat decompositi...
work page 1979
-
[2002]
6, 7 [Lam14] T. Lam,Totally nonnegative Grassmannian and Grassmann polytopes, Current developments in mathematics 2014, 51–152, Int. Press, Somerville, MA,
work page 2014
-
[2005]
Representation The- ory and Beyond
7 [CI20] G. Cerulli Irelli,Three lectures on quiver Grassmanniansin “Representation The- ory and Beyond”, Cont. Math. 758, ed. Jan ˇSt’ov ´ ıˇ cek, Jan Trlifaj American Mathe- matical Soc., 2020, 57–88. 5 [EH24] B. Elek, D. Huang,A Gr¨ obner basis for Kazhdan-Lusztig ideals of the flag variety of affine typeA, Advances in Mathematics Volume 448 (2024), 10...
arXiv 2020
-
[2006]
Richardson,Intersections of double cosets in algebraic groups, Indag
1, 6 [Rich92] R. Richardson,Intersections of double cosets in algebraic groups, Indag. Math. 3 (1992), no. 1, 69–77. 2 [Riet06] K. Rietsch,Closure relations for totally nonnegative cells inG/P, Math. Res. Lett., 13(5–6), pp. 775–786,
work page 1992
Show all 13 references
-
[2013]
Knutson, T
1, 4, 13, 14 [KLS14] A. Knutson, T. Lam, D.E. Speyer,Projections of Richardson varieties, J. Reine Angew. Math. 687 (2014), 133–157. 14 [Kum02] S. Kumar,Kac–Moody Groups, their flag varieties and representation theory, Progress in Mathematics, vol. 204, Birkh¨ auser, Boston,
2014
-
[2016]
Lam,Cyclic Demazure modules and positroid varieties, Electron
1, 13 [Lam19] T. Lam,Cyclic Demazure modules and positroid varieties, Electron. J. Combin. 26 (2019), no. 2, Paper No. 2.28,
2019
-
[2018]
Pappas, M
6 [PR08] G. Pappas, M. Rapoport,Twisted loop groups and their affine flag varieties, Adv. Math. 219 (2008), no. 1, 118–198. 1 20 EVGENY FEIGIN [PRS13] G. Pappas, M. Rapoport, B. Smithling,Local models of Shimura varieties, I. Geometry and combinatorics, Handbook of moduli. Vol...
2008
-
[2022]
Gaitsgory,Construction of central elements in the affine Hecke algebra via nearby cycles, Invent
1 GLOBAL POSITROID V ARIETIES 19 [Ga01] D. Gaitsgory,Construction of central elements in the affine Hecke algebra via nearby cycles, Invent. Math.144(2001), no. 2, 253–280. 1 [GKL22] P. Galashin, S. Karp, T. Lam,Regularity theorem for totally nonnegative flag varieties, J. Ame...
2001 arXiv
-
[2025]
Williams,Enumeration of totally positive Grassmann cells, Adv
13 [W05] L. Williams,Enumeration of totally positive Grassmann cells, Adv. Math.190 (2005), no. 2, 319–342. 1 [W07] L. Williams,Shelling totally nonnegative flag varieties, J. Reine Angew. Math. 609 (2007), 1–21. 1 [Zhou19] Q. Zhou,Convex polytopes for the central degeneration...
2005
Reviewed August 4, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.