Type C Richardson Boundaries and Newton-Okounkov Degenerations of Odd-Dimensional Projective Space

Zhaoyang Liu

Type C Richardson Boundaries and Newton-Okounkov Degenerations of Odd-Dimensional Projective Space

T0 review · 0 major / 4 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read The paper shows that an admissible flag on $P^{2n-1}$, built from the type $C_n$ boundary, yields a flag valuation whose degree-augmented value semigroup coincides with the lattice points of the cone over the polar dual of the Newton…

desk verdict Serious explicit computation in the Rietsch-mirror framework: the flag-valuation semigroup identification is new and holds up, the Lusztig superpotential is honestly credited to [22], and the paper deserves a real referee. read the letter →

arxiv 2608.11109 v1 pith:KBBQZSBY submitted 2026-08-11 math.AG math.RT

Zhaoyang Liu This is my paper · ORCID

classification math.AGmath.RT MSC 14M1514M2514J33

keywords odd-dimensionalprojectivespaceRietschmirrorNewton-OkounkovbodiestoricdegenerationsLusztigtoriLandau-GinzburgmodelsflagvaluationstypeChomogeneous

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

The paper aims to establish that the two mirror descriptions of odd-dimensional projective space—the classical toric mirror and Rietsch's Lie-theoretic mirror for $P^{2n-1}=Sp_{2n}/P_1$—are two faces of one explicit Newton–Okounkov degeneration. It constructs an admissible flag whose flag valuation records orders of vanishing along quadrics and coordinate hyperplanes, and proves that the degree-augmented value semigroup equals the lattice-point semigroup of the cone over the polar dual of the Newton polytope of the dual-side Laurent polynomial. This yields a flat degeneration of $P^{2n-1}$ to a toric variety whose fan is the normal fan of that polar dual. Along the way the paper computes the type $C_n$ boundary divisor and the Lusztig-torus superpotential explicitly, and exhibits a rank-one degeneration of the type $C_n$ boundary to the standard toric boundary while the ambient projective space stays fixed. A sympathetic reader would care because the representation-theoretic mirror is converted into concrete polytopal data that also links the two boundary structures on the same Fano variety.

What carries the argument

The carrying object is the admissible flag $Y_\bullet$ built from the quadrics $Q_r=\{F_r=0\}$, where $F_r=\sum_{j=0}^r(-1)^j p_{r-j}p_{N-r+j}$, with the final surface $Q_1$ identified with $\mathbb{P}^1\times\mathbb{P}^1$ and a toric flag on it. The flag valuation $\nu_{\mathrm{flag}}$ records successive orders of vanishing along these strata; subtracting $k\mathbf{1}$ and applying the lattice permutation $\sigma$ re-labels the values as exponent coordinates of the dual Laurent polynomial. Anderson's Newton–Okounkov theorem converts the finitely generated value semigroup into a flat toric degeneration, and the polar-dual relation together with the inequalities defining $P_n^\vee$ encode exactly which lattice points occur in each degree.

What would settle it

Check whether the local equations defining each flag stratum at $p_\infty$ have independent linear parts; if for some $m$ the linear part of $F_m$ is a combination of the linear parts already imposed, smoothness fails and the value semigroup could contain extra points. Alternatively, search for a section $s\in H^0(P^N,\mathcal{O}((N+1)k))$ whose normalized flag value lies outside $kP_n^\vee\cap \mathbb{Z}^{2n-1}$, or for a lattice point of $kP_n^\vee$ that no section attains.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1.2: there is an admissible flag $Y_\bullet$ on $P^N$, $N=2n-1$, with flag valuation $\nu_{\mathrm{flag}}$ such that for every $k\ge 0$, $$\$\sigma$\left(\{\nu_{\mathrm{flag}}(s)-k\mathbf{1}: 0\ne s\in $H^{0}$(P^N,\mathcal{O}((N+1)k))\}\right)=kP_n^\vee\cap \mathbb{Z}^{2n-1},$$ where $H_N=p_0p_N\prod_{r=1}^{n-1}F_r$ satisfies $\nu_{\mathrm{flag}}(H_N)=\mathbf{1}$ and $P_n^\vee$ is the polar dual of the Newton polytope of the Lusztig-torus superpotential (with $q=1$). Corollary 1.3 then identifies the degree-augmented value semigroup, under the unimodular map $\Sigma$, with $S_n=\{(k,m):k\ge 0,\ m\in kP_n^\vee\cap \mathbb{Z}^{2n-1}\}$, giving a flat degeneration $P^{2n-1}\rightsquigarrow \mathrm{Proj}\,\mathbb{C}[S_n]$; the special fibre is the toric variety whose fan is the normal fan of $P_n^\vee$, equivalently the face fan of $\mathrm{Newt}(W_{\mathrm{Lus}})$. The supporting explicit formulae are the type $C_n$ boundary $D_C=\mathrm{div}(p_0p_N F_1\cdots F_{n-1})$ and the superpotential $W_{\mathrm{Lus}}=a_1+\cdots+a_{n-1}+b+c_{n-1}+\cdots+c_1+q(a_1+c_1)/(a_1\cdots a_{n-1}b^2c_{n-1}\cdots c_1)$ on the Lusztig torus.

Load-bearing premise

The load-bearing premise is that the flag $Y_\bullet$ constructed in Section 4.4 is admissible: every flag member is irreducible and smooth at the point $p_\infty$, so the flag valuation has one-dimensional leaves and Anderson's theorem applies. Lemma 4.4 asserts this through a local-equation argument, but the independence check for every stratum is compressed.

Editorial extensions

If this is right

The Rees algebra of the flag-valuation filtration is $\mathbb{C}[S_n]$, so $P^{2n-1}$ admits a flat degeneration to the toric variety whose fan is the normal fan of $P_n^\vee$.
For every $k$, the normalized value set of sections of degree $(N+1)k$ is exactly the lattice points of $kP_n^\vee$, so the Newton–Okounkov body of the flag is $P_n^\vee$ itself.
The degree-augmented value semigroup is finitely generated by Gordan's lemma, so the degeneration is a genuine flat Rees degeneration rather than a formal construction.
The toric special fibre is also described by the face fan of $\mathrm{Newt}(W_{\mathrm{Lus}})$, directly linking the Lie-theoretic Laurent polynomial to the degeneration combinatorics.
The rank-one weight degeneration gives a flat family $(P^{2n-1},D_C)\rightsquigarrow(P^{2n-1},D_{\mathrm{tor}})$ with the ambient projective space fixed.

Reading between the lines

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

Inference: The flag valuation's Newton–Okounkov body should be exactly $P_n^\vee$; if so, its Euclidean volume must equal the leading coefficient of the Hilbert polynomial of the anticanonical ring, giving a concrete numerical check of the construction.
Inference: By analogy with the Grassmannian case, the flag valuation or its value semigroup likely admits a cluster-theoretic description; the paper raises this as a question but does not prove it.
Inference: The rank-one degeneration connecting $D_C$ to $D_{\mathrm{tor}}$ suggests there should be a compatible degeneration of the mirror Laurent polynomials from $W_{\mathrm{Lus}}$ to $W_{\mathrm{tor}}$, possibly through mutations, which the paper does not construct.

Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

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

Short version: this is a serious explicit computation. The genuinely new part is not the Lusztig Laurent polynomial—the paper credits [22] for that—but the type C flag valuation on P^{2n-1} whose degree-augmented value semigroup is exactly the lattice points of kP_n^vee, and the two consequences: a flat toric degeneration via Anderson, and a rank-one boundary degeneration from D_C to D_tor. I went through the main line and it holds.

What the paper does well: the boundary computation (Thm 3.3) is a genuine piece of matrix work; the Gauss-factorization criterion and Jacobi minor computation are detailed and correct. Lemma 3.10, the triangular-factorization calculation giving the superpotential, is heavy but internally consistent. The proof of Prop 4.6 is the heart. The converse direction is a real construction: for each lattice point it builds an explicit section and checks the successive vanishing orders. I did not find a gap. Cor 4.8 correctly identifies the polar dual. The n=2 toy example is presented as motivation and matches the mutation picture.

Where it is soft: Lemma 4.4, the admissibility of the flag, is compressed—it says the defining equations form a regular system of parameters without writing out each independence check. I checked the local linear parts; the claim is correct. The divisibility argument in Prop 4.6 is also terse at the point where e_sigma is shown not to be divisible by F_{n-1}; the n>2 argument is fine, and the n=2 case is disposed of by nonvanishing of the restriction to Q_1. Both are places a referee should ask for one extra sentence, not places where the proof collapses. The dependence on [22] for the Laurent polynomial formula is a provenance issue only: the formula is re-proved here, so the unpublished status of [22] does not create a correctness hole. Minor: the cluster question is left open, but it is honestly labeled a question.

The paper is for people working on Rietsch mirrors, Newton-Okounkov degenerations, and toric mirror symmetry for homogeneous spaces. It is an extension of Rietsch-Williams and Wang to type C projective space, not a paradigm shift. It deserves a serious referee. Send it out, with the request that the referee check Lemma 4.4 and the converse of Prop 4.6 carefully; I expect minor revisions on exposition rather than substantive corrections.

Referee Report

0 major / 4 minor

Summary. This paper compares two mirror-theoretic degeneration pictures attached to odd-dimensional projective space P^{2n-1}. The first is the classical toric mirror; the second is the Rietsch mirror of Sp_{2n}/P_1, whose dual side is compactified by the odd quadric SO_{2n+1}/P_1^∨. The author computes the type C_n Richardson boundary D_C on P^{2n-1} (Theorem 1.1) and the Lusztig-torus Laurent superpotential W_Lus^{(2n-1)} (Theorem 3.11). The central result (Theorem 1.2) constructs an admissible flag Y• whose flag valuation satisfies σ({ν_flag(s)−k1}) = kP_n^∨ ∩ Z^{2n-1} for every k, where P_n^∨ is the polar dual of the Newton polytope of W_Lus. Consequently the degree-augmented value semigroup is identified with the lattice-point semigroup of the cone over P_n^∨, giving a flat toric degeneration P^{2n-1} ⇝ Proj C[S_n] whose fan is the normal fan of P_n^∨. A rank-one weight degeneration connects (P^{2n-1}, D_C) to the standard toric boundary (Theorem 4.7 and Section 4.5).

Significance. The paper gives a fully explicit, parameter-free comparison of two degeneration pictures attached to the same Fano variety: the toric boundary mirror and the Lie-theoretic Rietsch mirror. The type C boundary and the dual-side superpotential are computed independently from representation-theoretic data, and the equality of the flag-valuation polytope with the polar dual of the Newton polytope is derived rather than fitted. The matrix computations in Section 3 are detailed and checkable, and the n=2 toy example with the Laurent mutation is a useful sanity check. If the construction extends to other homogeneous spaces it would be a substantial contribution; already for projective space it is a clean illustration of the Gross–Siebert/Rietsch mirror philosophy.

minor comments (4)

[Section 4.4, Lemma 4.4] The admissibility proof is compressed, especially the claim that the defining equations form a regular system of parameters at p∞. Please expand the check: state explicitly that at p∞ the linear part of F_m is (−1)^m p0, that the previously imposed coordinate hyperplanes are distinct from p0 and from one another, and that therefore the displayed equations have independent linear parts at every stratum.
[Section 4.4, Proposition 4.6] In the converse direction, the claim that the chosen lift eσ introduces no additional vanishing along the intermediate branches is load-bearing but only asserted. Please add the missing argument: a nonzero polynomial in p0, p1, p_{N−1}, p_N cannot be divisible by F_m for m ≥ 2 because F_m contains a monomial involving p_m or p_{N−m}; together with the fact that eσ restricts to the chosen nonzero section on Q1, this shows it does not vanish on any intermediate stratum Z_m.
[Section 4.5] The flatness argument for H_{N,t} states that H_{N,t} has a coefficient equal to 1 and hence no nonzero polynomial in t divides it. Please cite or briefly sketch the primitive-polynomial criterion for flatness over C[t], so that the conclusion that the quotient is C[t]-flat is fully transparent.
[Section 4.8, Corollary 4.8] The statement that the fan of the special fibre is the face fan of Newt(W_n) relies on 0 being in the interior of Newt(W_n). This follows from the presence of the positive coordinate vertices and the negative monomials, but it is not stated; please add a sentence making this explicit.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity

full rationale

The paper's central derivation chain is self-contained rather than circular. The type C_n boundary D_C is computed directly from the Sp_{2n}/P_1 Richardson-stratum equations via Gauss factorization and Jacobi's complementary minor identity (Theorem 3.3), and the Lusztig-torus superpotential W_Lus is computed by explicit triangular-factorization and simple-root-coordinate calculations (Lemmas 3.9 and 3.10, Theorem 3.11); neither quantity is fitted or defined in terms of the later Newton-Okounkov statement. The polytope P_n^\vee is defined as the polar dual of the Newton polytope of that independently computed Laurent polynomial, and Proposition 4.6 then proves the flag-valuation value set equals kP_n^\vee \cap Z^d by residual-degree bookkeeping and an explicit converse construction of sections, not by assuming the equality. The lattice permutation sigma is explicitly declared to be only a coordinate identification and is not used as a new valuation, so no renaming of the target polytope occurs. Lemma 4.4 is compressed, but a compressed admissibility argument is a correctness risk, not a circularity: admissibility is a hypothesis of Anderson's external theorem, not an equivalent reformulation of the conclusion. The citation to the unpublished Tillmann-Morris manuscript [22] supplies motivation and the n=2 toy check, while the general-n formula is proved in the body, so it is not load-bearing self-citation. No fitted parameters are renamed as predictions, and no uniqueness theorem is imported from the authors' prior work. Thus no circular step meets the evidentiary standard required by the analysis.

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

The central claim has no fitted constants. The quantum parameter q is a formal variable in the mirror potential; it is set to 1 only when the Newton polytope is taken, and because it multiplies a monomial, it does not change the polytope. The paper draws on standard Lie-theoretic mirror machinery and Anderson's theorem, and it introduces no new physical or geometric entities.

assumptions (5)

domain assumption G/P1 ≅ P^{2n-1} for G=Sp_{2n}, because every line in a symplectic vector space is isotropic.
Used throughout to identify the homogeneous space with projective space; Section 3.1.
domain assumption Rietsch's mirror construction: the open Richardson variety R^∨_{w_P,w_0} and the superpotential F_P give the mirror of G/P, and Lusztig's parametrization from a reduced word gives a dense torus chart.
Basis of the whole dual-side computation; Section 2.2 and Section 3.2.
standard math Gauss factorization criterion using southeast principal minors, and Jacobi's complementary minor identity.
Used to prove the type C boundary formula in Theorem 3.3; Lemmas 3.4 and 3.5.
standard math Anderson's Newton-Okounkov degeneration theorem: an admissible flag valuation with one-dimensional leaves and finitely generated value semigroup gives a flat degeneration to a toric variety.
Converts the value-semigroup computation into the degeneration statement; Section 4.1 and Theorem 4.7.
domain assumption The flag Y• in Section 4.4 is admissible, in particular every member is irreducible and smooth at p∞.
Needed for one-dimensional leaves and for Anderson's theorem; Lemma 4.4 gives a proof, but it is compressed.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Type C Richardson Boundaries and Newton-Okounkov Degenerations of Odd-Dimensional Projective Space." pith.science (2026). https://pith.science/paper/KBBQZSBY

@misc{pith2026260811109,
  author       = {Pith},
  title        = {Pith review of: Type C Richardson Boundaries and Newton-Okounkov Degenerations of Odd-Dimensional Projective Space},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KBBQZSBY}},
  note         = {Machine review of arXiv:2608.11109}
}

abstract

We compare two mirror-theoretic degeneration pictures attached to odd-dimensional projective space. If $\PP^{2n-1}$ is viewed as a toric variety, one obtains the classical toric mirror. If it is viewed as the type $C_n$ homogeneous space $Sp_{2n}/P_1$, Rietsch's Lie-theoretical construction gives a superpotential on the dual side. We compute the type $C_n$ boundary $D_C$, while on the dual-side Lusztig torus we compute the corresponding Laurent polynomial. We construct Newton--Okounkov bodies, and in each case the degree-augmented value semigroup is identified with the lattice-point semigroup of the cone over the polar dual of the corresponding Newton polytope. This gives two toric degeneration pictures attached to the same projective space. We also exhibit a rank-one weight degeneration connecting $D_C$ with the standard toric boundary while keeping the ambient projective space fixed.

Figures

Figures reproduced from arXiv: 2608.11109 by the authors.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

23 extracted references · 22 canonical work pages

[22]

Tillmann-Morris,An alternative Landau–Ginzburg mirror toCP 3, 2020, unpublished manuscript

H. Tillmann-Morris,An alternative Landau–Ginzburg mirror toCP 3, 2020, unpublished manuscript. Available fromhttps://sites.google.com/view/hannah-tillmann-morris/ research

work page 2020
[1]

Akhtar, T

M. Akhtar, T. Coates, S. Galkin, and A. M. Kasprzyk,Minkowski polynomials and mutations, SIGMA Symmetry Integrability Geom. Methods Appl.8(2012), Paper 094, 17 pp

work page 2012
[2]

Anderson,Okounkov bodies and toric degenerations, Math

D. Anderson,Okounkov bodies and toric degenerations, Math. Ann.356(2013), no. 3, 1183–1202

work page 2013
[3]

V. V. Batyrev,Quantum cohomology rings of toric manifolds, Ast´ erisque218(1993), 9–34

work page 1993
[4]

V. V. Batyrev,Dual polyhedra and mirror symmetry for Calabi–Yau hypersurfaces in toric vari- eties, J. Algebraic Geom.3(1994), no. 3, 493–535

work page 1994
[5]

Coates, A

T. Coates, A. M. Kasprzyk, G. Pitton, and K. Tveiten,Maximally mutable Laurent polynomials, Proc. R. Soc. A477(2021), no. 2254, Paper No. 20210584, 21 pp

work page 2021
[6]

F. R. Gantmacher,The Theory of Matrices, Vol. 1, Chelsea Publishing Co., New York, 1959

work page 1959
[7]

A. B. Givental,Equivariant Gromov–Witten invariants, Internat. Math. Res. Notices1996, no. 13, 613–663

work page

Show all 23 references

[8]

A. B. Givental,A mirror theorem for toric complete intersections, inTopological Field Theory, Primitive Forms and Related Topics(Kyoto, 1996), Progr. Math.160, Birkh¨ auser Boston, Boston, MA, 1998, 141–175

1996
[9]

Harada and K

M. Harada and K. Kaveh,Integrable systems, toric degenerations and Okounkov bodies, Invent. Math.202(2015), no. 3, 927–985

2015
[10]

Hori and C

K. Hori and C. Vafa,Mirror symmetry, preprint, arXiv:hep-th/0002222, 2000

2000 arXiv
[11]

Kaveh and A

K. Kaveh and A. G. Khovanskii,Newton–Okounkov bodies, semigroups of integral points, graded algebras and intersection theory, Ann. of Math. (2)176(2012), no. 2, 925–978

2012
[12]

Knutson, T

A. Knutson, T. Lam, and D. E. Speyer,Projections of Richardson varieties, J. Reine Angew. Math.687(2014), 133–157

2014
[13]

Lam and M

T. Lam and M. Shimozono,Quantum cohomology ofG/Pand homology of affine Grassmannian, Acta Math.204(2010), no. 1, 49–90

2010
[14]

Lazarsfeld and M

R. Lazarsfeld and M. Mustat ¸˘ a,Convex bodies associated to linear series, Ann. Sci. ´Ec. Norm. Sup´ er. (4)42(2009), no. 5, 783–835

2009
[15]

Lusztig,Total positivity in reductive groups, inLie Theory and Geometry, Progr

G. Lusztig,Total positivity in reductive groups, inLie Theory and Geometry, Progr. Math.123, Birkh¨ auser Boston, Boston, MA, 1994, 531–568. 30

1994
[16]

B. R. Marsh and K. Rietsch,Parametrizations of flag varieties, Represent. Theory8(2004), 212–242

2004
[17]

Pech and K

C. Pech and K. Rietsch,A comparison of Landau–Ginzburg models for odd dimensional quadrics, Bull. Inst. Math. Acad. Sin. (N.S.)13(2018), no. 3, 249–291

2018
[18]

C. Pech, K. Rietsch, and L. Williams,On Landau–Ginzburg models for quadrics and flat sections of Dubrovin connections, Adv. Math.300(2016), 275–319

2016
[19]

Peterson,Quantum cohomology ofG/P, lecture course at Massachusetts Institute of Technol- ogy, Spring 1997; notes typeset by A

D. Peterson,Quantum cohomology ofG/P, lecture course at Massachusetts Institute of Technol- ogy, Spring 1997; notes typeset by A. Ram and G. Azaria

1997
[20]

Rietsch,A mirror symmetric construction ofqH ∗ T (G/P) (q), Adv

K. Rietsch,A mirror symmetric construction ofqH ∗ T (G/P) (q), Adv. Math.217(2008), no. 6, 2401–2442

2008
[21]

Rietsch and L

K. Rietsch and L. Williams,Newton–Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians, Duke Math. J.168(2019), no. 18, 3437–3527

2019
[23]

Wang,Towards cluster duality for Lagrangian and orthogonal Grassmannians, J

C. Wang,Towards cluster duality for Lagrangian and orthogonal Grassmannians, J. Symbolic Comput.114(2023), 102–121. 31

2023

Pith tools

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

[1] [22]

Tillmann-Morris,An alternative Landau–Ginzburg mirror toCP 3, 2020, unpublished manuscript

H. Tillmann-Morris,An alternative Landau–Ginzburg mirror toCP 3, 2020, unpublished manuscript. Available fromhttps://sites.google.com/view/hannah-tillmann-morris/ research

work page 2020

[2] [1]

Akhtar, T

M. Akhtar, T. Coates, S. Galkin, and A. M. Kasprzyk,Minkowski polynomials and mutations, SIGMA Symmetry Integrability Geom. Methods Appl.8(2012), Paper 094, 17 pp

work page 2012

[3] [2]

Anderson,Okounkov bodies and toric degenerations, Math

D. Anderson,Okounkov bodies and toric degenerations, Math. Ann.356(2013), no. 3, 1183–1202

work page 2013

[4] [3]

V. V. Batyrev,Quantum cohomology rings of toric manifolds, Ast´ erisque218(1993), 9–34

work page 1993

[5] [4]

V. V. Batyrev,Dual polyhedra and mirror symmetry for Calabi–Yau hypersurfaces in toric vari- eties, J. Algebraic Geom.3(1994), no. 3, 493–535

work page 1994

[6] [5]

Coates, A

T. Coates, A. M. Kasprzyk, G. Pitton, and K. Tveiten,Maximally mutable Laurent polynomials, Proc. R. Soc. A477(2021), no. 2254, Paper No. 20210584, 21 pp

work page 2021

[7] [6]

F. R. Gantmacher,The Theory of Matrices, Vol. 1, Chelsea Publishing Co., New York, 1959

work page 1959

[8] [7]

A. B. Givental,Equivariant Gromov–Witten invariants, Internat. Math. Res. Notices1996, no. 13, 613–663

work page