{"id":"c13c421c-3c64-4010-84ed-e673d70e3c68","arxiv_id":"2509.07476","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"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.","lead":"This paper constructs new flat families called global positroid varieties, which interpolate between classical positroid varieties and unions of affine Richardson varieties. The main theorems show the families are flat and describe the special fibers in terms of affine flag varieties and quiver Grassmannians.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.3's identification of the special fiber with Richardson varieties rests on an unproved equivalence between the vertex-wise Grassmannian Schubert conditions and the affine opposite Schubert variety indexed by w(J).","rationale":"The reader's weakest_assumption already identifies the same locus: the Section 2.4/Theorem 4.3 bridge. My reading confirms this is the single most load-bearing point. The paper's main new geometric content is the Richardson-component description; without it, the paper still proves flatness and the product-positroid presentation (if Proposition 4.1's sketch can be completed), but Theorem 1.2 loses its content. The gap is not a matter of differing conventions: it is an unproved implication between two definable closed conditions. The k=1 appendix provides a genuinely independent check for that case and strengthens confidence in the maximal patterns, but it does not exercise the non-maximal affine Bruhat order comparison needed for general J. The proposed computational check for k=2,n=4 is small enough to be performed with standard computer algebra and directly tests the equivalence, because both sides can be written as explicit ideals in the same Plücker coordinates. Thus the appropriate disposition remains CONDITIONAL: the argument is plausible and likely correct, but the central identification needs a proof or a computational confirmation.","tokens_in":17399,"tokens_out":11433,"duration_ms":123484,"concrete_test":"Choose n=4,k=2 and a non-maximal juggling pattern J (e.g. J_0={1,2}, J_1={1,2}, J_2={1,3}, J_3={2,3}). Compute the reduced scheme Π_J(0) from the ε=0 specializations of the relations in Definition 3.5 (a finite computation in the product of Plücker coordinates; use primary decomposition in Macaulay2 or Sage). Separately compute the predicted union of affine Richardson varieties R^{z^{σω_k}}_{w(J)} for σ∈T_{2,4} with σ≥w(J), using the explicit lattice-chain realization of Section 2.4 to write the equations in the same coordinates. Compare the number, dimensions, and Hilbert series of the irreducible components. A mismatch would falsify assertion (b); a match would confirm it in this case and indicate that the proof needs only to be expanded, not corrected.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorems 1.2 and 4.3) is that the special fiber Π_J(0) is a union of affine Richardson varieties R^σ_{w(J)}. The proof reduces this to two assertions in Section 2.4/Theorem 4.3: (a) the special fiber Gr_{k,n}(0) of the global Grassmannian is the finite union of affine Schubert varieties Y_{z^{σω_k}}; (b) the conditions U_b ∈ X^-_{J_b} for all b∈Z_n, imposed on a point (U_b) of Gr_{k,n}(0), are jointly equivalent to the point lying in the opposite Schubert variety X^-_{w(J)} of the affine flag variety. Assertion (a) is cited to [Go01] and [HL15] and is plausible. Assertion (b), however, is asserted without proof: 'The condition U_b ∈ X^-_{J_b} means that the point ... sits in the orbit of the opposite Iwahori group passing through p_J.' This is not a formal consequence of (a): X^-_{w(J)} is defined by conditions on the full lattice chain, whereas U_b ∈ X^-_{J_b} are ordinary Grassmannian Schubert conditions on the individual k-dimensional quotients. The cited references do not explicitly establish this vertex-wise equivalence. The later presentation in Proposition 4.1, whose proof is itself only a sketch, also depends on the same transfer. If (b) fails, the irreducible components of Π_J(0) need not be Richardson varieties, and the dimension formula dim Π_J(0)=k(n-k)-ℓ(w(J)) in Theorem 4.3 loses its basis.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","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.","tokens_in":17785,"tokens_out":14005,"duration_ms":161571,"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":[{"comment":"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":"Section 4, proof of Theorem 4.3"},{"comment":"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":"Section 4, Proposition 4.1"},{"comment":"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.","section":"Section 4, proof of Theorem 4.5"}],"minor_comments":[{"comment":"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.","section":"Section 4, Proposition 4.1"},{"comment":"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":"Introduction and Section 4, Theorem 4.3"},{"comment":"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.","section":"Section 3.2, Proposition 3.7"},{"comment":"In the termination argument, the inequality in the second case is not shown; adding one line (j+s > i) would make it clear.","section":"Appendix, Lemma A.7"},{"comment":"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.","section":"General"}],"recommendation":"major_revision","confidential_remarks":"The main ideas are credible and the paper fills a natural gap, but the proof of Theorem 4.3 contains an unproved equivalence that is central to the Richardson description. This is fixable: the authors likely have in mind a known statement from projected Richardson varieties in affine type A, but it must be stated and proved or precisely referenced. Proposition 4.1 also needs a more careful proof. After these are addressed, the paper should be suitable for publication."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper defines global positroid varieties Π_J inside the global Grassmannian Gr_{k,n} by imposing Schubert conditions U_b ∈ X^-_{J_b} on the cyclic quiver family, and proves (Theorems 1.1–1.3 and 4.3) that the family is flat and the special fiber is an equidimensional union of affine Richardson varieties R^σ_{w(J)}. It also expresses the special fiber as Gr_{k,n}(0) ∩ ∏ Π_{rot^b J}. This is a new and natural object, extending the global Grassmannian/Schubert story. The k=1 case in the appendix is concrete: an explicit monomial basis for the coordinate ring as a C[ε]-module, which is genuinely checkable.\n\nThe main soft spot is the proof of Theorem 4.3. The identification of Π_J(0) with Richardson varieties hinges on one sentence: 'The condition U_b ∈ X^-_{J_b} means that the point sits in the orbit of the opposite Iwahori group passing through p_J.' That is the entire bridge between the quiver-Grassmannian description and affine flag Schubert calculus. The stress-test note is right that this is not spelled out and not a formal consequence of the known decomposition of Gr_{k,n}(0) into Y_{z^{σω_k}}. I think the statement is true—it is the standard type-A description of affine opposite Schubert varieties via Grassmannian conditions at each lattice step—but the paper should prove it or cite a precise location. As written it is an assertion.\n\nThe flatness proof (Theorem 4.5) has a subtler gap. Showing that each component of Π_J(0) contains a torus fixed point p(S) lying in the closure of the general fiber does not by itself force the whole component into that closure. A closed subset of an equidimensional special fiber can have the right dimension and meet a component in a single point without containing it. This needs the usual properness/closure criterion—e.g., the closure's components dominate A^1, or a Hilbert-polynomial argument. Probably fixable, but incomplete as written.\n\nProposition 4.1 is also dense: the derivation of I_b ≥ I_{a+b} has notation slips (conflicting W_>, W_<) and several steps are hard to track. The conclusion is believable; a referee will want it rewritten.\n\nOn the positive side, the construction is natural, the statements are clean, the k=1 result is solid, and the paper is honest about its conjectures (radicality, colored tableaux). The citation pattern looks fine: standard sources plus [FLP22]; self-citation is not an issue here.\n\nWho is this for? People in positroid geometry, quiver Grassmannians, and affine Schubert calculus. It is within-subfield, but it deserves a serious referee: the central claims are likely correct and the gaps are fillable. I would send it to peer review with a request to expand the proofs of 4.3, 4.5, and 4.1.","headline":"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.","tokens_in":18260,"tokens_out":16163,"would_cite":true,"duration_ms":187022,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M15","14D06"],"pacs":[],"model":"deepseek-v4-flash","headline":"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","keywords":["positroid varieties","global affine Grassmannian","flat degeneration","Richardson varieties","juggling variety","quiver Grassmannians","Plücker algebra","affine flag variety"],"falsifier":"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.","tokens_in":17286,"feed_emoji":"📐","tokens_out":10947,"duration_ms":108465,"temperature":0.7,"pith_summary":"Positroid varieties are the pieces of a Grassmannian obtained by projecting Richardson varieties from the full flag variety; they are indexed by juggling patterns. This paper puts each positroid variety into a one-parameter family — the global positroid variety — by letting the cyclic-quiver representation vary. The main result is that every such family is flat: away from zero the fiber is the original positroid variety, while the fiber over zero lies in the juggling variety and splits into equidimensional irreducible components, each isomorphic to an affine Richardson variety (an intersection of a Schubert piece and an opposite Schubert piece in the affine flag variety). The paper also shows the zero fiber equals an intersection of the juggling variety with a product of rotated classical positroid varieties, and it constructs an explicit multi-graded Plücker ideal conjecturally giving the reduced scheme structure, with the conjecture proved for k=1 via a basis of J-admissible monomials. This yields a concrete flat degeneration of every positroid variety into a union of affine Richardson varieties, with dimensions and component labels governed by the juggling combinatorics.","feed_headline":"Positroid varieties degenerate flatly into Richardson varieties","feed_subtitle":"Each Grassmannian positroid sits in a flat one-parameter family whose zero fiber splits into equidimensional Richardson pieces.","key_machinery":"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)","core_discovery":"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","pith_inferences":["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."],"forward_implications":["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."],"supporting_citations":[{"why":"Supplies the definition of positroid varieties as projections of Richardson varieties and the juggling-pattern/affine-permutation labeling.","marker":"[KLS13]"},{"why":"Establishes flatness of the global Grassmannian family and the juggling-variety description of its zero fiber.","marker":"[Go01]"},{"why":"Identifies the zero fiber of the global Grassmannian with a union of affine Schubert varieties in the affine flag variety.","marker":"[HL15]"},{"why":"Provides the quiver-Grassmannian realization and the cell decomposition of the juggling variety used in the proofs.","marker":"[FLP22]"},{"why":"Gives the Plücker relations for quiver Grassmannians, used to show the defining ideal cuts out the fibers.","marker":"[L W19]"},{"why":"Supplies the global Schubert variety framework in which Gr_{k,n} and Π_J live.","marker":"[AB24]"},{"why":"Provides the flatness criterion (general-fiber closure equals the family) used in Theorem 4.5.","marker":"[V25]"},{"why":"Defines Richardson varieties as intersections of opposite Schubert varieties, the objects that appear as irreducible components.","marker":"[Rich92]"}],"fun_headline_variants":["Flat degeneration links positroids to Richardson varieties","Global positroids: flat families to Richardson pieces","Positroid families flatten to Richardson varieties","From positroids to Richardson: a flat one-parameter bridge","Special fiber of positroid families: Richardson components"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"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.","fun_headline_variants_meta":{"raw":{"variants":["Flat degeneration links positroids to Richardson varieties","Global positroids: flat families to Richardson pieces","Positroid families flatten to Richardson varieties","From positroids to Richardson: a flat one-parameter bridge","Special fiber of positroid families: Richardson components"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00073,"raw_usage":{"total_tokens":3074,"prompt_tokens":686,"completion_tokens":2388,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":430,"completion_tokens_details":{"reasoning_tokens":2316}},"tokens_in":430,"tokens_out":2388,"duration_ms":21739,"temperature":1.0,"reasoning_tokens":2316,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-04T22:09:41.990444+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"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.","supporting_citations":[],"review_version":1}