REVIEW 4 major objections 5 minor 1 cited by
The positive orthogonal Grassmannian
T0 review · 4 major / 5 minor · reviewed 2026-08-11 · deepseek-v4-flash
Pith's one-line read Positroid cells of Gr_+(k,n) do not induce a CW cell decomposition of OGr_+(k,n) for n>2k+1; a triangle cell glues to the diagonal of a square cell.
desk verdict Sections 3-4 are genuinely useful, but the Section 5 obstruction for OGr+(2,6) is not valid as stated, so the advertised negative result is unproven. 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 mechanism behind the positive results and the obstruction is the sign-alternating quadratic form $\omega_0(x,y)=x_1y_1-x_2y_2+\cdots+(-1)^{n-1}x_ny_n$ and the equations it imposes on Plücker coordinates, $P\Omega P^T=0$ in the notation of Remark 2.3. These equations force a compatibility condition on positroids: a positroid $M$ can meet $\mathrm{OGr}_+(k,n)$ only if, for every pair of $(k-1)$-element index sets $I,J$, the sets $A^+_{IJ}(M)$ and $A^-_{IJ}(M)$ are either both nonempty or both empty; such $M$ are called orthopositroids. The paper's counterexample is carried by two explicit matrices in $\mathrm{OGr}_+(2,6)$, one giving a triangular cell and one giving a square cell whose closure is isomorphic to $\mathrm{OGr}_+(1,4)$, with the triangle edge glued to the square diagonal. A displayed $(k-2)\times(n-6)$ block extension is then used to transport this glued configuration to all $n>2k+1$ and $k>1$.
What would settle it
Compute $P\Omega P^T$ for the $k\times n$ block matrix displayed in Section 5 with a generic positive $(k-2)\times(n-6)$ block: if the isotropy equations (5) force some Plücker coordinate to change sign or force the block to vanish, then the extension to all $n>2k+1$ and $k>1$ fails, leaving only the $(2,6)$ obstruction. A positive result would confirm the intended embedding and support the non-CW claim in the general regime.
Extended reading notes
Core claim
The central discovery is that the positroid stratification of the positive Grassmannian does not descend to a CW decomposition of the positive orthogonal Grassmannian in the regime $n>2k+1$, $k>1$. The obstruction is explicit: in $\mathrm{OGr}_+(2,6)$, two two-dimensional cells, one triangular and one square, have closures whose intersection is a triangle edge that is also a diagonal of the square, so the cell poset cannot be a regular CW complex. Alongside this, the paper establishes positive structural results: $\mathrm{OGr}_+(1,n)$ is combinatorially the product of simplices $\Delta^{\lceil n/2\rceil-1} \times \Delta^{\lfloor n/2\rfloor-1}$ and admits the canonical form given in Theorem 3.3, and $\mathrm{OGr}_+(k,2k+1)$ is linearly isomorphic to $\mathrm{OGr}_+(k+1,2k+2)$, with the faces of the former indexed by matchings on $[2k+2]$. The paper further defines orthopositroids---positroids for which the two sign sets $A^+_{IJ}$ and $A^-_{IJ}$ are simultaneously empty or nonempty---shows that every point of $\mathrm{OGr}_+(k,n)$ lies in an orthopositroid cell, and conjectures that every orthopositroid is realized by such a point.
Load-bearing premise
The general claim for all $k>1$ and $n>2k+1$ rests on the assertion that the displayed block-matrix extension embeds the $(2,6)$ triangle-square configuration into $\mathrm{OGr}_+(k,n)$ while preserving isotropy with respect to $\omega_0$, nonnegativity of all Plücker coordinates, and the offending gluing; the paper states this extension but does not prove that the appended $(k-2)\times(n-6)$ block satisfies the defining equations (5), so if that embedding fails, only the $k=2$, $n=6$ failure is established.
Editorial extensions
If this is right
- For $n=2k+1$, the linear isomorphism between $\mathrm{OGr}_+(k,2k+1)$ and $\mathrm{OGr}_+(k+1,2k+2)$ reduces boundary computations to the known $n=2k$ case, where matchings on $[2k+2]$ index the cells.
- For $k=1$, the boundary structure is a product of two simplices, and the canonical form from Theorem 3.3 gives an explicit logarithmic-form description of $\mathrm{OGr}_+(1,n)$ as a positive geometry.
- For $n>2k+1$ and $k>1$, any future CW decomposition of $\mathrm{OGr}_+(k,n)$ cannot use the positroid cells as its cells; the paper's orthopositroid condition is the necessary first constraint on which positroid cells survive.
- The Gröbner basis and primeness results imply that, for $n>2k$, the homogeneous coordinate ring of $\mathrm{OGr}(k,n)$ is described by the straightening-law quadrics and has the explicit degree from Proposition 2.7.
- If Conjecture 5.3 holds, the orthopositroids of type $(k,n)$ give exactly the cells that meet $\mathrm{OGr}_+(k,n)$, providing the raw material for the missing cell decomposition.
Reading between the lines
- A testable extension is to compute the Euler characteristic of the cell complex assembled from the 99 orthopositroid cells of $\mathrm{OGr}_+(2,6)$ and compare it with the topological Euler characteristic of the variety; equality would support Conjecture 5.3, while failure would show that realizability alone does not guarantee a CW structure.
- The triangle-square gluing suggests that the correct boundary complex for $n>2k+1$ may require cells that are not convex polytopes, or may require subdividing positroid cells, since a single positroid cell closure already exhibits non-regular incidence.
- The same obstruction likely appears in the Plücker-positive flag variety $F_+(k,n)$, because $\mathrm{OGr}_+(k,n)$ is cut out from it by the diagonal condition; if so, a new cell decomposition for $F_+(k,n)$ in the $n>2k+1$ range would be a prerequisite for $\mathrm{OGr}_+(k,n)$.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. This paper studies the positive orthogonal Grassmannian OGr_+(k,n) for the alternating quadratic form ω0. The authors give a Gröbner basis and degree formula for the orthogonal Grassmannian OGr(k,n), describe OGr_+(1,n) as a product of simplices and as a positive geometry, prove an isomorphism between OGr_+(k,2k+1) and OGr_+(k+1,2k+2) with a matching description, and claim that for n>2k+1 and k>1 the positroid cells of Gr_+(k,n) do not induce a CW cell decomposition of OGr_+(k,n). The negative claim is supported by an example in OGr_+(2,6) involving a triangular cell and a square cell whose edge is claimed to glue to a diagonal.
Significance. If fully correct, the paper would make several useful contributions: a concrete positive-geometry structure for OGr_+(1,n), a bridge between OGr_+(k,2k+1) and OGr_+(k+1,2k+2), and a motivation for the new notion of orthopositroid. The exhaustive enumeration of 99 realizable orthopositroids in Table 1 and the representation-theoretic degree computation are valuable. However, the central negative theorem is not established as written: the only explicit obstruction in Section 5 is invalid, and the generalization to all k,n is only asserted. The remaining results may survive revision, but the main novelty needs a corrected argument or a replacement counterexample.
major comments (4)
- [§5, displayed matrices after Mσ and Mτ] The edge e1 is not a boundary edge of the closure of Cσ in the positive orthogonal Grassmannian. For b>0, the Plücker coordinate p35 = det[[0,b],[1,0]] = -b is negative while p13 = 1, so the row span is not in Gr_+(2,6); for b=0, e1 is just the single vertex also lying on e3. If one instead takes the actual y=0 boundary of Cσ, represented by [[1,1,0,0,-x,-x],[0,0,1,1,0,0]] with x>0, then p35=p36=p45=p46=x>0, while every point of Cτ has p35=p36=p45=p46=0 identically, so this boundary is not in the closure of Cτ. The claimed gluing of a triangle edge to a diagonal of the square is therefore not established, and the only explicit obstruction to a CW decomposition in the paper disappears.
- [§5, final paragraph starting 'In general this problem arises...'] The extension from OGr_+(2,6) to arbitrary (k,n) with n>2k+1 is asserted without proof. The displayed block extension is not shown to satisfy the orthogonality equations (5), nor is it shown that the embedded copies of Cσ and Cτ remain positive and preserve the claimed incidence. Even if the k=2,n=6 obstruction were valid, this paragraph would not establish the theorem for all k>1 and n>2k+1.
- [§4, proof of Theorem 4.5] The positivity statement is justified by 'It is not so difficult to see' without a verification. Since the claim depends on the sign conventions in equation (5) and on which connected component is selected in OGr_+(k+1,2k+2), please provide an explicit check that the linear isomorphism sends the positive locus to the positive locus, or give a precise reference that contains this statement.
- [§2, proof of Theorem 2.6] The passage from a Gröbner basis of I_{k,n,0} to one of I_{k,n} under the substitution φ is not justified. The map φ identifies q_J with ±p_{[n]\J}, so it is not injective on monomials: q_J and p_{[n]\J} have the same image, and cancellations can occur. The claim that an inequality between monomials 'continues to hold' after applying φ requires proof; please supply a direct argument or a standard reference showing that the images of the initial monomials generate in(I_{k,n}).
minor comments (5)
- [§2, equation numbering] The text refers to '(8) and (8)' where two different displayed equations are evidently intended; please renumber them.
- [§5, block matrix display] The block matrix used for the claimed generalization is difficult to parse; please rewrite it with clearly labeled blocks and explicitly state which entries are zero, which are free parameters, and how the blocks are chosen to satisfy the isotropy equations.
- [§3, proof of Theorem 3.3] The proof of the positive-geometry property is abbreviated; in particular, the verification on all boundary strata and the treatment of the u_n=0 boundary are only sketched. Please expand the residue computations or indicate which steps are standard.
- [Table 1] The enumeration of the 99 orthopositroids is presented as the output of 'an exhaustive computation'; please specify the computational method used and state whether code or a verification script is available.
- [References] Reference [6] lacks journal or preprint data; please complete the bibliographic information. Also, 'A exhaustive computation' on page 20 should be 'An exhaustive computation'.
Circularity Check
No significant circularity: the main derivations are self-contained, and the self-citations point to external theorems that are not the target results.
full rationale
The paper's central claims are derived from explicit equations and constructions rather than from fitted parameters or definitions that presuppose the conclusions. The boundary structure of OGr+(1,n) is proved directly from the quadric equation and the parametrization (14); the positive-geometry statement in Theorem 3.3 is checked by explicit residue computations on the displayed canonical form. The isomorphism between OGr+(k,2k+1) and OGr+(k+1,2k+2) is supported by an explicit map (18) and by the coordinate-ring proof in Proposition 4.3, which is included in the text rather than assumed. The non-CW claim for OGr+(2,6) rests on the two explicit matrices M_sigma and M_tau and on the asserted triangle-square gluing; whether that gluing is geometrically correct is a question of validity, not circularity. The generalization to n > 2k+1 uses a block-matrix extension whose isotropy and positivity are not proved in detail, but that is an omitted verification, not an argument that assumes the conclusion. The only self-citation of note is [8, Theorem 2.7], used in Theorem 2.6 to transfer a Grobner basis from spinor-helicity varieties; that prior result is external to the paper's main boundary-cell claims and is not defined in terms of them. Conjecture 5.3 is explicitly left open, so it cannot serve as a hidden input. No equation in the paper is defined so that the target result becomes true by construction, and no fitted quantity is renamed as a prediction. Therefore no circular step is exhibited.
Assumptions & free parameters
assumptions (4)
- standard math The prime ideal of OGr(k,n) is generated in degree 2 for n>2k, by Kostant's theorem.
- standard math Borel-Weil-Bott and the Weyl dimension formula compute the Hilbert function of the coordinate ring of OGr(k,n).
- domain assumption The Gröbner basis for the spinor-helicity ideal SH(k,n,0) from [8, Theorem 2.7] specializes to a Gröbner basis of I_{k,n} under the map sending q_{J'} to a signed complementary p-coordinate.
- domain assumption The sign-alternating quadratic form omega_0 in Eq. (1) is fixed, and positivity depends critically on the signature.
invented entities (1)
-
Orthopositroid
Cite this review
Pith. "Pith review of The positive orthogonal Grassmannian." pith.science (2026). https://pith.science/paper/U2QZGCKX
@misc{pith2026241214091,
author = {Pith},
title = {Pith review of: The positive orthogonal Grassmannian},
year = {2026},
howpublished = {\url{https://pith.science/paper/U2QZGCKX}},
note = {Machine review of arXiv:2412.14091}
}
abstract
The Pl\"ucker positive region $\mathrm{OGr}_+(k,2k)$ of the orthogonal Grassmannian emerged as the positive geometry behind the ABJM scattering amplitudes. In this paper we initiate the study of the positive orthogonal Grassmannian $\mathrm{OGr}_+(k,n)$ for general values of $k,n$. We determine the boundary structure of the quadric $\mathrm{OGr}_+(1,n)$ in $\mathbb{P}^{n-1}_{+}$ and show that it is a positive geometry. We show that $\mathrm{OGr}_+(k,2k+1)$ is isomorphic to $\mathrm{OGr}_+(k+1, 2k+2)$ and connect its combinatorial structure to matchings on $[2k+2]$. Finally, we show that in the case $n>2k+1$, the \emph{positroid cells} of $\mathrm{Gr}_+(k,n)$ do not induce a CW cell decomposition of $\mathrm{OGr}_+(k,n)$.
Figures
Figures from the paper (4 more)
Forward citations
Cited by 1 Pith paper
-
The Cosmological Grassmannian
Massless spinning de Sitter correlators can be written as integrals over the orthogonal Grassmannian OGr(n,2n), which makes conformal and current-conservation constraints manifest and yields four-point functions nearl...
Reference graph
Works this paper leans on
-
[8]
E L MAAZOUZ , Y., PFISTER , A., AND STURMFELS , B. Spinor-helicity varieties. arXiv:2406.17331 (2024)
arXiv 2024
-
[1]
A BENDA , S., AND GRINEVICH , P. G. Rational degenerations of m-curves, totally positive Grassmannians and KP2-solitons. Comm. Math. Phys. 361 , 3 (2018), 1029–1081
work page 2018
-
[2]
Positive geometries and canonical forms
A RKANI -H AMED , N., B AI, Y., AND LAM, T. Positive geometries and canonical forms. Journal of High Energy Physics 2017, 11 (2017), 1–124
work page 2017
-
[3]
Grassmannian geometry of scattering amplitudes
A RKANI -H AMED , N., B OURJAILY , J., C ACHAZO , F., G ONCHAROV , A., P OST- NIKOV, A., AND TRNKA , J. Grassmannian geometry of scattering amplitudes . Cambridge University Press, Cambridge, 2016
work page 2016
-
[4]
A RKANI -H AMED , N., AND TRNKA , J. The amplituhedron. Journal of High Energy Physics 2014, 10 (2014), 30
work page 2014
-
[5]
On two notions of total positivity for generalized partial flag varieties of classical lie types
B ARKLEY , G., B ORETSKY , J., E UR, C., AND GAO, J. On two notions of total positivity for generalized partial flag varieties of classical lie types. THE POSITIVE ORTHOGONAL GRASSMANNIAN 23 arXiv:2410.11804 (2024)
arXiv 2024
-
[6]
Cluster structures on spinor helicity and momen- tum twistor varieties
B OSSINGER , L., AND LI, J.-R. Cluster structures on spinor helicity and momen- tum twistor varieties
-
[7]
The algebraic theory of spinors and Clifford algebras
C HEVALLEY , C. The algebraic theory of spinors and Clifford algebras. Springer- Verlag, Berlin, 1997. Collected works. V ol. 2, Edited and with a foreword by Pierre Cartier and Catherine Chevalley, With a postface by J.-P. Bourguignon
work page 1997
Show all 20 references
-
[9]
N., AND LAM, T
G ALASHIN , P., K ARP, S. N., AND LAM, T. The totally nonnegative Grassman- nian is a ball. Adv. Math. 397 (2022), Paper No. 108123, 23
2022
-
[10]
Ising model and the positive orthogonal Grassmannian
G ALASHIN , P., AND PYLYAVSKYY, P. Ising model and the positive orthogonal Grassmannian. Duke Math. J. 169, 10 (2020), 1877–1942
2020
-
[11]
Com- binatorial geometries, convex polyhedra, and schubert cells
G ELFAND , I., G ORESKY , M., M ACPHERSON , R., AND SERGANOVA , V. Com- binatorial geometries, convex polyhedra, and schubert cells. Advances in Mathe- matics 63, 3 (1987), 301–316
1987
-
[12]
Principles of algebraic geometry
G RIFFITHS , P., AND HARRIS , J. Principles of algebraic geometry. Wiley Clas- sics Library. John Wiley & Sons, Inc., New York, 1994. Reprint of the 1978 original
1994
-
[13]
The positive orthogonal Grassmannian and loop amplitudes of ABJM
H UANG , Y.-T., W EN, C., AND XIE, D. The positive orthogonal Grassmannian and loop amplitudes of ABJM. J. Phys. A 47, 47 (2014), 474008, 48
2014
-
[14]
Kp solitons and total positivity for the grass- mannian
K ODAMA , Y., AND WILLIAMS , L. Kp solitons and total positivity for the grass- mannian. Inventiones mathematicae 198 (2014), 637–699
2014
-
[15]
On spinor varieties and their secants
M ANIVEL , L. On spinor varieties and their secants. SIGMA Symmetry Integra- bility Geom. Methods Appl. 5 (2009), Paper 078, 22
2009
-
[16]
Total positivity, grassmannians, and networks
P OSTNIKOV , A. Total positivity, grassmannians, and networks. arXiv:0609764 (2006)
2006
-
[17]
Positive Grassmannian and polyhedral subdivisions
P OSTNIKOV , A. Positive Grassmannian and polyhedral subdivisions. In Proceed- ings of the International Congress of Mathematicians—Rio de Janeiro 2018. Vol. IV. Invited lectures (2018), World Sci. Publ., Hackensack, NJ, pp. 3181–3211
2018
-
[18]
S AGAN , B. E. Combinatorics: The art of counting , vol. 210. American Mathe- matical Soc., 2020
2020
-
[19]
W ILLIAMS , L. K. The positive Grassmannian, the amplituhedron, and cluster algebras. In Proceedings of the International Congress of Mathematicians. Vol
-
[20]
EMS Press, Berlin, 2023, pp
Sections 12–14. EMS Press, Berlin, 2023, pp. 4710–4737. YASSINE EL MAAZOUZ California Institute of Technology e-mail: maazouz@caltech.edu YELENA MANDELSHTAM Institute for Advanced Study e-mail: yelenam@ias.edu
2023
Reviewed August 11, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.