Delta-matroids and toric degenerations in OG(n,2n+1)

Carl Lian; Chen Chen

Delta-matroids and toric degenerations in OG(n,2n+1)

T0 review · 0 major / 5 minor · reviewed 2026-08-06 · deepseek-v4-flash

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

Pith's one-line read The paper constructs an explicit, T-invariant degeneration of a general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties, each appearing once, and derives the cohomology class of…

desk verdict A genuinely useful, explicit type-B degeneration with a class formula, but Lemma 4.2.5 (dominance of pr_r) is under-proved as written and needs referee attention. read the letter →

arxiv 2507.16133 v2 pith:Z2DLMMHQ submitted 2025-07-22 math.AG math.CO

Chen Chen , Carl Lian This is my paper · ORCID

classification math.AGmath.CO MSC 14M1514M2505B3514N15

keywords delta-matroidsorthogonalGrassmanniantorusorbitclosuresRichardsonvarietiestoricdegenerationsSchubertcalculusmomentpolytopespolyhedraldecompositions

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 establishes a type-B analogue of the classical story that torus orbit closures in Grassmannians degenerate into unions of Schubert and Richardson varieties. For a general point $\Lambda$ of the maximal orthogonal Grassmannian $\mathrm{OG}(n,2n+1)$, the closure $Z_\Lambda$ of its $n$-dimensional torus orbit is shown to admit an explicit embedded degeneration into the union of the Richardson varieties $\Sigma_{I,I^c}$ over all subsets $I\subset[n-1]$, each appearing with multiplicity one. From this degeneration the authors deduce that the cohomology class of $Z_\Lambda$ equals $\sum_{I\subset[n-1]}\sigma_I\sigma_{I^c}$, a Schubert calculus formula in $H^{n(n-1)}(\mathrm{OG}(n,2n+1))$. The proof works by degenerating matrix entries one at a time while preserving isotropy with respect to the underlying quadratic form, and the moment-map images of the pieces give a polyhedral decomposition of the unit hypercube $[0,1]^n$ by delta-matroid base polytopes. If correct, the result provides the type-B counterpart of the Berget–Fink and Anderson–Tymoczko class formulas and makes the toric geometry of these orbit closures explicitly computable.

What carries the argument

The central object is the rooted binary tree $T_n$ of allowed pairs $(I,I')$ of disjoint subsets of $[n-1]$ (Definition 3.1.4), together with the explicit coordinate matrices $M_{I,I'}$ that chart the Richardson variety $\Sigma_{I,I'}$. Each non-saturated vertex has a left child $(I,I'_+)$ and a right child $(I_+,I')$; degenerating the active entry of a 'nicest' matrix to zero realizes the flat limit as the union of the torus orbit closures of general points of the two children. The birational maps that forget plus-entries and take row spans give coordinates on the Richardson varieties, and the moment polytope of each piece is the base polytope of its delta-matroid. These base polytopes cover the unit hypercube $[0,1]^n$, which rules out extra limit components, and a lattice-index comparison shows each component has multiplicity one.

What would settle it

Compute the equivariant localization of $[Z_\Lambda]$ on $\mathrm{OG}(3,7)$ for a general $\Lambda$ and compare it with $\sum_{I\subset\{1,2\}}\sigma_I\sigma_{I^c}$; any disagreement refutes Theorem 1.0.1. Equivalently, find a point $x\in[0,1]^3$ whose associated subset $I$ from Definition 5.1.2 violates the inequality $x(S)\le g_{\Lambda_I}(S)$ for a nice $\Lambda_I$, which would refute Proposition 5.1.1.

Watch

Extended reading notes

Core claim

The central discovery is that the general torus orbit closure $Z_\Lambda\subset\mathrm{OG}(n,2n+1)$ can be flattened, in an explicitly constructed one-parameter family, into a reduced union of exactly the Richardson varieties $\Sigma_{I,I^c}$ for $I\subset[n-1]$. Each limit component appears once. The degeneration is built by walking down a binary tree whose vertices are 'allowed pairs' $(I,I')$; at each step a single active matrix entry is scaled to zero, and the limit splits into two pieces whose row spans lie in the Richardson varieties attached to the two children of that vertex. Because the components' delta-matroid base polytopes tile the hypercube $P(\Lambda)=[0,1]^n$, no other components can appear, and the polytope-cover criterion of the paper's own Corollary 2.4.1 identifies the flat limit. Consequently $[Z_\Lambda]=\sum_{I\subset[n-1]}\sigma_I\sigma_{I^c}$ in $H^{n(n-1)}(\mathrm{OG}(n,2n+1))$, and the same identity holds equivariantly.

Load-bearing premise

The construction only reaches a general torus orbit because, at every step, the rational map $pr_r$ that produces the right-hand limit piece is dominant over the target Richardson variety; if dominance ever failed, the 'nicest' subspaces would not form a dense open locus and the iterative degeneration could miss some Richardson varieties.

Editorial extensions

If this is right

The cohomology class of a general torus orbit closure is $[Z_\Lambda]=\sum_{I\subset[n-1]}\sigma_I\sigma_{I^c}$ in $H^{n(n-1)}(\mathrm{OG}(n,2n+1))$, and the same identity holds $T$-equivariantly.
The special fiber of the constructed degeneration has exactly the Richardson varieties $\Sigma_{I,I^c}$ as components, each appearing with multiplicity 1.
The base polytopes $P(\Lambda_I)$ of the delta-matroids attached to these pieces tile the hypercube $[0,1]^n=P(\Lambda)$, giving a moment-map shadow of the degeneration that matches the Chen–Sanchez–Veliz–Ying hypercube decomposition.
For a general $\Lambda$, the class of the structure sheaf of $Z_\Lambda$ agrees with the delta-matroid $K$-class $y(D(\Lambda))$, so the formula is compatible with delta-matroid invariants.
The class formula is proved by explicit degeneration rather than by equivariant localization, giving a geometric explanation for why every coefficient in the Schubert expansion equals 1.

Reading between the lines

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

The same tree-and-matrix degeneration is likely to adapt to the even orthogonal Grassmannian $\mathrm{OG}(n,2n)$ and the Lagrangian Grassmannian $\mathrm{LG}(n,2n)$, where lattice-path delta-matroids already govern hypercube-type decompositions; the paper stops at the odd orthogonal case.
The proof suggests a combinatorial criterion for reducedness of any toric degeneration of torus-orbit closures: if the base polytopes of the candidate components cover the general fiber's base polytope and each component's vertex-difference lattice is full, then all multiplicities equal one. Testing this criterion on other delta-matroids would be a direct extension.
Because the degeneration scales one matrix entry at a time, one could try to read the Schubert identity $\sigma_I\sigma_{I^c}$ as a statement about initial ideals and Gröbner degenerations of the Plücker ideal of the orbit closure, yielding a purely algebraic proof of the class formula.

Share X Bluesky LinkedIn Reddit HN

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

Main thing to know: this paper is worth taking seriously. It constructs an explicit T-invariant degeneration of general torus orbit closures in OG(n,2n+1) into Richardson varieties, with multiplicity one for each component, and derives the class formula [Z] = sum_I sigma_I sigma_{I^c}. The type A analog was in the literature, but the type B case requires controlling the quadratic form through the matrix charts, and Sections 3-4 do that concretely. The polytope cover in Section 5 and the lattice-index argument for multiplicity one are self-contained and, as far as I can tell, correct. The paper is also honest about the overlap with the forthcoming KSSB work.

Where I would press the authors: Lemma 4.2.5, the dominance of pr_r. The proof argues with sparsity patterns and row-equivalence, but pr_r is not a row-equivalence map: it first zeros prescribed entries and then applies row reduction. Showing that a general (j-1)-sparse matrix is row-equivalent to some ell-sparse input does not, by itself, show that this particular composite map is dominant. The stress-test note makes exactly this complaint, and I think it lands. The j=0 case is not a real concern—there pr_r is a coordinate projection—but for j>0 the proof is incomplete as written. I do not think the lemma is false; it is likely fixable by a direct elimination computation on the inner box, and the rest of the paper's structure gives me confidence. Still, because the non-emptiness of the nicest locus, and hence the whole degeneration, depends on this dominance, a referee should ask for a genuinely rigorous proof.

Bottom line: for people in Schubert calculus, torus orbit closures, or delta-matroids, this is a useful and citable paper. The main theorem is believable and well-supported except for the gap in 4.2.5. I would send it to peer review with a request for clarification rather than desk reject. If the authors fill that gap, it should be a clean acceptance.

Referee Report

0 major / 5 minor

Summary. The paper constructs an explicit, T-invariant, embedded degeneration of the closure Z_Λ of the general torus orbit in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties Σ_{I,I^c}, one for each I⊂[n−1], each appearing with multiplicity one. The degeneration is built iteratively from explicit matrix charts for Richardson varieties, and the absence of extra components and the multiplicity-one statement are proved via moment polytopes: the polytopes P(Λ_I) of the limit pieces cover the unit hypercube, and the associated lattices coincide. From this degeneration the authors deduce the cohomology class formula [Z_Λ]=Σ_{I⊂[n−1]} σ_I σ_{I^c} in H^{n(n−1)}(OG(n,2n+1)). The paper also proves, in an appendix, the equivalence of two standard definitions of the base polytope of a realizable delta-matroid.

Significance. The result is significant: it gives a new, explicit degeneration proof of a type-B analogue of the Berget–Fink/Anderson–Tymoczko formula for general torus orbit closures, and it connects the cohomological formula to a polyhedral decomposition of the hypercube previously studied by Chen–Sanchez–Veliz–Ying. The constructions are concrete and largely self-contained: the charts for Richardson varieties are proved by explicit matrix manipulation, the degeneration is written down entry-by-entry, and the polytope cover and multiplicity statements are proved from rank inequalities and lattice indices rather than imported from localization or assumed cohomology. I specifically checked the potential weak point flagged during review, the dominance of the rational map pr_r in Lemma 4.2.5; on inspection the row-move argument is valid, although the proof is terse and the case j=0 is not explicitly separated. I found no load-bearing mathematical errors; the remaining requests are for clarification and small corrections.

minor comments (5)

[§4.2, Lemma 4.2.5] The proof of dominance of pr_r is quite terse. The assertion that moving the bottom (j−1)−ℓ rows of a (j−1)-sparse matrix to the top produces an ℓ-sparse matrix is correct, but it deserves a short anti-diagonal calculation; without it the reader cannot easily verify that the new first ℓ anti-diagonals are zero and the (ℓ+1)-st is non-zero. In addition, the case j=0 is not covered by the j×(j+1) submatrix argument; for j=0 the map pr_r is a coordinate projection, and this should be stated explicitly.
[§4.2, Lemma 4.2.5] The proof would also benefit from one sentence explaining why row-equivalence to an ℓ-sparse matrix implies dominance of the specific row-reduction map pr_r: after the initial zeroing step, pr_r is the canonical row-reduction map, so a preimage of a general target matrix is obtained by row-reducing an ℓ-sparse matrix row-equivalent to it.
[Example 3.1.5] The last leaf of the tree T_4 is typeset as "({∅, {1, 2, 3}" in the text; this appears to be a typo, and it should presumably read "({1,2,3},∅)" or "(∅,{1,2,3})" according to the intended leaf.
[After Proposition 5.2.6] The sentence "Propositions 5.2.5 and 5.2.5 together imply Proposition 5.2.1" contains a duplicated reference; the second should be Proposition 5.2.6.
[Proof of Theorem 1.0.2] The statement that the limit components of all intermediate steps must also appear with multiplicity 1 is compressed; adding one sentence explaining that a multiplicity greater than 1 at an intermediate degeneration would force the corresponding leaf multiplicity in the final special fiber to exceed 1 would improve readability.

Circularity Check

0 steps flagged · score 1.0 of 10

No significant circularity: the degeneration, polyhedral decomposition, and multiplicity-1 statement are proved self-containedly; self-citations are motivational, not load-bearing.

full rationale

The paper's central derivation is self-contained. Theorem 1.0.2 is established by an explicit iterative degeneration whose special-fiber points are computed in Proposition 4.2.10, and the absence of further components is proved using the moment-polytope coverage criterion of Corollary 2.4.1. The required coverage Proposition 5.1.1 is proved directly from rank inequalities (Propositions 5.2.5 and 5.2.6), not from the desired cohomology class. Multiplicity 1 is proved independently in Proposition 5.3.1 by showing the associated lattices coincide. The final class formula then follows from standard Schubert calculus. The only self-citations are to the second author's type A analogs ([Lia24b], [Lia24a]) and are used as motivation or analogy; the type B construction does not reduce to them. The skeptical concern about Lemma 4.2.5, i.e., whether the sparsity argument fully proves dominance of the rational map pr_r, is a potential correctness or rigor issue, not a circularity: the statement of dominance is not an input of the theorem and its conclusion is not assumed in the polytope or multiplicity arguments. Accordingly, no circular step meeting the required evidentiary standard was found.

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

The central claim does not introduce physical or empirical parameters. The inputs are standard Schubert calculus, flat-family cycle theory, and moment-map polytope theory, all cited. The new definitions such as allowed pairs, inner boxes, and niceness are internal proof scaffolding rather than postulated entities.

assumptions (4)

standard math Schubert classes freely generate H*(OG(n,2n+1)) and a Richardson variety has class sigma_I sigma_{I'}.
Invoked in Section 2.2 to convert the degeneration into the cohomology formula; standard results of BGG73, Bor54, and the incidence correspondence.
standard math Flat degeneration preserves algebraic cycle classes, and KSZ moment polytope theory determines special-fiber components and multiplicities from polytope decompositions.
Used in Section 2.4 and in the proof of Theorem 1.0.2; the component criterion Corollary 2.4.1 depends on it.
standard math The moment map image of Z_Lambda is 2P(Lambda) minus (1,...,1), and the dimension of the polytope equals the dimension of the orbit closure.
Used in Section 2.3 and Section 5; cited from EFLS24 and GS87.
standard math The polytope P(Lambda) defined by the inequalities x(S) <= g_Lambda(S) equals the base polytope of the realizable delta-matroid D(Lambda).
This is Theorem A.2.1, proven in the appendix, and it is used throughout Section 5.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Delta-matroids and toric degenerations in OG(n,2n+1)." pith.science (2026). https://pith.science/paper/Z2DLMMHQ

@misc{pith2026250716133,
  author       = {Pith},
  title        = {Pith review of: Delta-matroids and toric degenerations in OG(n,2n+1)},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/Z2DLMMHQ}},
  note         = {Machine review of arXiv:2507.16133}
}

read the original abstract

We construct an explicit, embedded degeneration of the general torus orbit closure in the maximal orthogonal Grassmannian OG(n,2n+1) into a union of Richardson varieties. In particular, we deduce a formula for the cohomology class of the torus orbit closure, as a sum of products of Schubert classes. The moment map images of the degenerate pieces are the base polytopes of their underlying delta-matroids, and give a polyhedral decomposition of the unit hypercube, which had previously been studied by Chen-Sanchez-Veliz-Ying.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

26 extracted references · 25 canonical work pages

[1]

Anderson and J

D. Anderson and J. Tymoczko. Schubert polynomials and classes of H essenberg varieties. J. Algebra , 323(10):2605--2623, 2010

work page 2010
[2]

Berget and A

A. Berget and A. Fink. Equivariant C how classes of matrix orbit closures. Transform. Groups , 22(3):631--643, 2017

work page 2017
[3]

I. N. Bernstein, I. M. Gelfand, and S. I. Gelfand. Schubert cells, and the cohomology of the spaces G/P . Uspehi Mat. Nauk , 28(3(171)):3--26, 1973

work page 1973
[4]

A. V. Borovik, I. M. Gelfand, and N. White. Coxeter matroids , volume 216 of Progress in Mathematics . Birkh\"auser Boston, Inc., Boston, MA, 2003

work page 2003
[5]

K\"ahlerian coset spaces of semisimple L ie groups

Armand Borel. K\"ahlerian coset spaces of semisimple L ie groups. Proc. Nat. Acad. Sci. U.S.A. , 40:1147--1151, 1954

work page 1954
[6]

A. Bouchet. Greedy algorithm and symmetric matroids. Math. Programming , 38(2):147--159, 1987

work page 1987
[7]

Chandrasekaran and S

R. Chandrasekaran and S. N. Kabadi. Pseudomatroids. Discrete Math. , 71(3):205--217, 1988

work page 1988
[8]

I. Coskun. A L ittlewood- R ichardson rule for two-step flag varieties. Invent. Math. , 176(2):325--395, 2009

work page 2009

Show all 26 references

[9]

I. Coskun. Rigidity of S chubert classes in orthogonal G rassmannians. Israel J. Math. , 200:85--126, 2014

2014
[10]

Dress and T

A. Dress and T. F. Havel. Some combinatorial properties of discriminants in metric vector spaces. Adv. in Math. , 62(3), 1986

1986
[11]

C. Eur, A. Fink, M. Larson, and H. Spink. Signed permutohedra, delta-matroids, and beyond. Proc. Lond. Math. Soc. (3) , 128(3):Paper No. e12592, 54, 2024

2024
[12]

C. Eur, M. Larson, and H. Spink. K -classes of delta-matroids and equivariant localization. Trans. Amer. Math. Soc. , 378(1):731--750, 2025

2025
[13]

W. Fulton. Flags, S chubert polynomials, degeneracy loci, and determinantal formulas. Duke Math. J. , 65:381--420, 1991

1991
[14]

I. M. Gelfand and V. V. Serganova. Combinatorial geometries and the strata of a torus on homogeneous compact manifolds. Uspekhi Mat. Nauk , 42, 1987

1987
[15]

Harada, T

M. Harada, T. Horiguchi, M. Masuda, and S. Park. The volume polynomial of regular semisimple H essenberg varieties and the G elfand— Z etlin polytope. Proc. Steklov Inst. Math. , 305:318--344, 2019

2019
[16]

M. M. Kapranov. Chow quotients of G rassmannians. I . In I. M . G el'fand S eminar , volume 16, Part 2 of Adv. Soviet Math. , pages 29--110. Amer. Math. Soc., Providence, RI, 1993

1993
[17]

A. A. Klyachko. Orbits of a maximal torus on a flag space. Funktsional. Anal. i Prilozhen. , 19(1):77--78, 1985

1985
[18]

Knutson, M

A. Knutson, M. Sanchez, and M. Sherman-Bennett. Forthcoming work
[19]

M. M. Kapranov, B. Sturmfels, and A. V. Zelevinsky. Quotients of toric varieties. Math. Ann. , 290(4):643--655, 1991

1991
[20]

M. Larson. Rank functions and invariants of delta-matroids. Electron. J. Combin. , 32(2):Paper No. 2.4, 17, 2025

2025
[21]

C. Lian. Degenerations of complete collineations and geometric T evelev degrees of P ^r . J. Reine Angew. Math. , 817:153–--212, 2024

2024
[22]

C. Lian. The HHMP decomposition of the permutohedron and degenerations of torus orbits on flag varieties. Int. Math. Res. Not. IMRN , 20:13380--13399, 2024

2024
[23]

C. Lian. Torus orbit closures and 1-strip-less tableaux. Algebr. Comb. , 7(4):1103--1121, 2024

2024
[24]

L.C. Lau, R. Ravi, and M. Singh. Iterative Methods in Combinatorial Optimization . Cambridge Texts in Applied Mathematics. Cambridge University Press, 2011

2011
[25]

Nadeau and V

P. Nadeau and V. Tewari. Forest polynomials and the class of the permutohedral variety. arXiv 2306.10939 , 2023

2023 arXiv
[26]

D. E. Speyer. A matroid invariant via the K -theory of the G rassmannian. Adv. Math. , 221(3):882--913, 2009

2009

Pith tools

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

[1] [1]

Anderson and J

D. Anderson and J. Tymoczko. Schubert polynomials and classes of H essenberg varieties. J. Algebra , 323(10):2605--2623, 2010

work page 2010

[2] [2]

Berget and A

A. Berget and A. Fink. Equivariant C how classes of matrix orbit closures. Transform. Groups , 22(3):631--643, 2017

work page 2017

[3] [3]

I. N. Bernstein, I. M. Gelfand, and S. I. Gelfand. Schubert cells, and the cohomology of the spaces G/P . Uspehi Mat. Nauk , 28(3(171)):3--26, 1973

work page 1973

[4] [4]

A. V. Borovik, I. M. Gelfand, and N. White. Coxeter matroids , volume 216 of Progress in Mathematics . Birkh\"auser Boston, Inc., Boston, MA, 2003

work page 2003

[5] [5]

K\"ahlerian coset spaces of semisimple L ie groups

Armand Borel. K\"ahlerian coset spaces of semisimple L ie groups. Proc. Nat. Acad. Sci. U.S.A. , 40:1147--1151, 1954

work page 1954

[6] [6]

A. Bouchet. Greedy algorithm and symmetric matroids. Math. Programming , 38(2):147--159, 1987

work page 1987

[7] [7]

Chandrasekaran and S

R. Chandrasekaran and S. N. Kabadi. Pseudomatroids. Discrete Math. , 71(3):205--217, 1988

work page 1988

[8] [8]

I. Coskun. A L ittlewood- R ichardson rule for two-step flag varieties. Invent. Math. , 176(2):325--395, 2009

work page 2009