Class groups of open Richardson varieties in the Grassmannian are trivial

Jake Levinson; Kevin Purbhoo

REVIEW 1 major objections 3 minor 14 references

Class groups of open Richardson varieties in the Grassmannian are trivial

T0 review · 1 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

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

Pith's one-line read Open Richardson varieties have trivial divisor class groups

desk verdict A clean new result for open Richardson varieties over fields; the integer-case proof is too terse to be fully rigorous as written. read the letter →

arxiv 1908.02925 v1 pith:ZTN3XEO5 submitted 2019-08-08 math.AG

Jake Levinson , Kevin Purbhoo This is my paper · ORCID

classification math.AG MSC 14M1514C2013F15

keywords divisorclassgroupopenRichardsonvarietyGrassmannianuniquefactorizationdomainNagata'scriterionPlückercoordinatespositroidPicard

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 proves a structural fact about every open Richardson variety $X^{\gamma}_{\beta}$ in a Grassmannian $\mathrm{Gr}(k,n)$, over any field or over the integers: its divisor class group is trivial. That is, every Weil divisor on $X^{\gamma}_{\beta}$ is principal, and equivalently the coordinate ring is a unique factorization domain and the Picard group vanishes. This matters because smooth, affine, rational varieties need not have trivial divisor class groups, so the result supplies a genuinely new algebraic property for a large family of varieties that appear throughout Schubert calculus. The proof works without assuming the field is algebraically closed, which the authors need for an application over the real numbers.

What carries the argument

The argument is carried by Nagata's criterion, the standard lemma that a Noetherian domain is a unique factorization domain whenever a localization at a set of prime elements is a UFD. It is applied to the coordinate ring $A^{\gamma}_{\beta}$ with the multiplicative set generated by $\Delta_{\delta_1},\ldots,\Delta_{\delta_{k-1}}$. Three objects do the work. The localized ring $B^{\gamma}_{\beta}$ and its Proj, the open subscheme $W^{\gamma}_{\beta}$, are shown to be parametrized by explicit $k\times n$ matrices with prescribed zero, one, free, and invertible entries, making $W^{\gamma}_{\beta}$ a product of affine space and a torus and hence $B^{\gamma}_{\beta}$ a UFD. For each $t$, the set $\mathcal{P}_t=\{\alpha\in[\beta,\gamma]:\alpha\cap[\beta(t+1),\gamma(t)]\neq\varnothing\}$ is shown to be a positroid, so the associated positroid variety is an integral scheme; Lemma 9 uses the Plücker relations to prove that every $\Delta_{\alpha}$ with $\alpha\in\mathcal{P}_t$ lies in the ideal $\langle\Delta_{\delta_t}\rangle$, which identifies the quotient by $\langle\Delta_{\delta_t}\rangle$ with an integral subscheme. That makes $\Delta_{\delta_t}$ prime.

What would settle it

Compute the divisor class group of a concrete open Richardson variety, for instance $\mathrm{Gr}(2,4)$ with $\beta=\{1,2\}$ and $\gamma=\{3,4\}$; the theorem predicts it is zero, so any non-principal divisor would disprove it. A second check is to search for $p$-torsion in the coordinate ring of some positroid variety over $\mathbb{Z}$; the paper's integer-case argument would break if such torsion existed.

Watch

Extended reading notes

Core claim

The central claim is Theorem 1: for any interval $[\beta,\gamma]$ in the Bruhat order on $k$-element subsets of $[n]$, the open Richardson variety $X^{\gamma}_{\beta}$ has trivial divisor class group. Equivalently, its coordinate ring $A^{\gamma}_{\beta}$ is a unique factorization domain. The proof isolates the Plücker coordinates $\Delta_{\delta_0},\ldots,\Delta_{\delta_k}$, where $\delta_t=\{\beta(1),\ldots,\beta(t),\gamma(t+1),\ldots,\gamma(k)\}$, and shows two things. First, localizing $A^{\gamma}_{\beta}$ at all of them produces a ring $B^{\gamma}_{\beta}$ whose Proj is explicitly parametrized by matrices of a fixed block form, hence is a product of affine space and a torus and therefore has a UFD coordinate ring. Second, each intermediate $\Delta_{\delta_t}$ is either a unit of $A^{\gamma}_{\beta}$ or a prime element; the prime case is proved by identifying the vanishing locus of $\Delta_{\delta_t}$ with an open subscheme of a positroid variety, which is integral. Nagata's criterion then upgrades the localization statement to the UFD property of $A^{\gamma}_{\beta}$ itself.

Load-bearing premise

The proof that the elements $\Delta_{\delta_t}$ are prime depends on the external theorems that positroid varieties are integral and that each set $\mathcal{P}_t$ is a positroid; for the integer version it also assumes Richardson varieties over $\mathbb{Z}$ are integral, while the analogous integrality statement for positroid varieties over $\mathbb{Z}$ is explicitly left unproved in the paper.

Editorial extensions

If this is right

Every divisor on $X^{\gamma}_{\beta}$ is principal, and the Picard group of $X^{\gamma}_{\beta}$ is trivial.
The coordinate ring $A^{\gamma}_{\beta}$ is a unique factorization domain, so irreducible regular functions factor uniquely up to units.
The divisor class group of the closed Richardson variety $X^{\gamma}_{\beta}$ is generated by the boundary divisors of the open Richardson variety.
The result holds over any field and over the integers, so no algebraic closure hypothesis is needed for applications.
The open subscheme $W^{\gamma}_{\beta}$ admits an explicit description as the complement of a finite union of positroid varieties inside $X^{\gamma}_{\beta}$.

Reading between the lines

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

Editorial inference: the same localization at the $\delta_t$ Plücker coordinates should give explicit equations for the boundary divisors of any open Richardson variety, because a trivial class group means each boundary divisor is the zero set of a single regular function.
Editorial inference: the paper's integer-case argument would become uniform if positroid varieties were known to be torsion-free over $\mathbb{Z}$; the Hilbert-function argument used for Richardson varieties is explicitly not available there, so proving integrality of positroid varieties over $\mathbb{Z}$ is a natural next step.
Editorial inference: because $W^{\gamma}_{\beta}$ is a product of affine space and a torus, the localized ring $B^{\gamma}_{\beta}$ is a UFD with an explicit unit group, which may make the factorization structure of $A^{\gamma}_{\beta}$ visible through combinatorial tools such as valuations or Newton polytopes.
Editorial inference: a flag-variety analogue would need a replacement for the positroid integrality step, since that step is specific to the Grassmannian; the paper's description of each $X_{\mathcal{P}_t}$ as an intersection of shifted Schubert varieties suggests where to look.

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

The headline: this is a genuinely new result, and the proof is mostly clean. The field-case argument is solid; the integer-case extension is under-justified and needs work before the paper is fully rigorous.

What's new: the statement that every open Richardson variety in the Grassmannian has trivial divisor class group (equivalently, its coordinate ring is a UFD). Prior work covered Schubert cells and Schubert varieties, but not Richardson varieties, and the paper's route through positroid varieties is not just a repackaging. The parametrization of the localized subscheme W^γ_β as affine space times a torus (Theorem 7) is elegant, and the application of Nagata's criterion is well organized. Lemma 9 and Theorem 12, which identify the relevant Plücker coordinates as a positroid, are clear and check out. For anyone working in Schubert calculus, this is a useful tool, not a marginal curiosity.

The soft spot is the integer case. Lemma 5 claims integrality of X^γ_β over Spec Z with a one-sentence proof: 'the Hilbert function is the same over any field.' The stress-test note is right that this needs more. To rule out p-torsion, you need the graded pieces over Z to be torsion-free, and equality of dimensions over Q and over every F_p gives you that only if you already know the Hilbert function over F_p is computed from F_p ⊗ A_Z (which it is) and that rank_Z(A_d) = dim_Q(A_d ⊗ Q) is actually the dimension over Q. That is all fine, but the equality of Hilbert functions across all fields is a real fact about Richardson varieties that is not proved or cited here. The paper even flags the analogous integrality statement for positroid varieties over Z as unproved. As written, the theorem over Z is not fully established. This is repairable: one can either give a proper proof or cite a reference for flatness of Richardson varieties over Z, and the abstract should then match the proof. For the main application in the companion paper, the field case suffices, so this gap doesn't sink the paper.

The citation pattern looks fine; the companion paper [10] appears only as motivation. Overall I'd take this paper seriously and send it to a referee. My recommendation: accept conditionally, with the Z-extension either expanded or trimmed.

Referee Report

1 major / 3 minor

Summary. The paper proves Theorem 1, which states that the divisor class group of any open Richardson variety X^γ_β in the Grassmannian is trivial, equivalently that its coordinate ring is a unique factorization domain. The proof is via Nagata's criterion: the authors define an open subscheme W^γ_β, show it is isomorphic to a product of affine space and a torus, and conclude that the localized ring B^γ_β is a UFD (Theorem 7 and Corollary 8). They then show that each of the Plücker coordinates Δ_{δ_t} is either a unit or a prime element of A^γ_β (Corollaries 10 and 15), using Lemma 9 to identify the relevant set of Plücker coordinates as a positroid and Theorem 13 (Knutson–Lam–Speyer) to obtain integrality of the corresponding positroid variety. Nagata's criterion then gives Proposition 2 and hence Theorem 1. The theorem is claimed over an arbitrary field and over the integers.

Significance. If correct, this is a clean and useful result: it settles the divisor class group, Picard group, and UFD property for all open Richardson varieties in the Grassmannian, over any field and over the integers. The method is elegant and largely self-contained, reducing a geometric statement about divisors to the combinatorial theory of positroids and to standard theorems of Postnikov and Knutson–Lam–Speyer. The explicit parameterization in Theorem 7 is a nice contribution in its own right. The field-case argument appears sound and the external inputs are clearly identified. The main weakness is the integer-case extension, where the proof is considerably more terse and, in my assessment, incomplete as written.

major comments (1)

[§2.1, Lemma 5] The proof that X^γ_β is integral over Spec Z is not adequate as written. The sentence 'This cannot happen since e.g. the Hilbert function of A^γ_β is the same over any field' requires two unproved assertions: (i) the Hilbert function of the Richardson variety is independent of the field, and (ii) equality of the Q-valued and F_p-valued Hilbert functions forces each graded piece of A^γ_β to be torsion-free over Z. Assertion (ii) is not automatic and needs an argument controlling the reduction of a finite free resolution, and assertion (i) needs a proof or a precise citation such as standard monomial theory. The further implication 'if not integral over Z, then A has p-torsion' relies on knowing that the only obstruction to A being a domain, given that Q⊗A is a domain, is torsion; this is true only after one knows the kernel of A→Q⊗A is the torsion submodule, which is exactly what the Hilbert-function statement is supposed to establish. Since Theorem 1 and Proposition 2 are explicitly claimed over the integers, this gap is load-bearing. The manuscript itself notes after Lemma 6 that the analogous integrality statement for positroid varieties over Z is not proved; the same standard is needed here.

minor comments (3)

[§6, Corollary 15] The sentence 'Proj A^γ_β/⟨Δ_{δ_t}⟩ is a closed integral subscheme of Proj A^γ_β, which is equivalent' should be justified: integrality of the Proj of a Z-graded ring does not in general imply primality of the ideal unless one knows the ring is a Laurent polynomial extension of its degree-zero part. Here this is true because Δ_β is a unit of degree one, so A^γ_β ≅ A_0[Δ_β, Δ_β^{-1}], but the step should be stated explicitly.
[§3, Corollary 8] There is a typo: 'an unique factorization domain' should read 'a unique factorization domain'.
[§4–§6] The notation for ℙ_t and ℙ^t is visually indistinguishable in the typeset version of the manuscript; please use clearly distinct symbols and define them once at the start of Section 4.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the derivation is self-contained, relying on Nagata's criterion, an explicit product parametrization, and external positroid integrality theorems.

full rationale

The proof of Proposition 2 is not circular. It applies Nagata's criterion (Lemma 3) with two independent ingredients: first, B^γ_β is shown to be a UFD via the explicit isomorphism φ: Y^γ_β → W^γ_β (Theorem 7), which expresses W^γ_β as a product of affine space and a torus (Corollary 8); second, the Plücker coordinates ∆δ_t are shown to be units or primes using a Plücker-relation argument (Lemma 9), Postnikov's characterization of positroids (Theorem 11), the identification of P_t as a Bruhat interval (Theorem 12), and the external Knutson–Lam–Speyer integrality theorem for positroid varieties (Theorem 13). None of these ingredients assumes Theorem 1 or Proposition 2. The only self-citation, [10], is explicitly motivational ('this paper was written with a specific application in mind') and is not used in any proof step. The short Z-extension in Lemma 5 is under-justified, and the paper itself flags that the analogous Hilbert-function statement for positroid varieties over Z is not proved here; however, that is a rigor gap or potential correctness issue, not a circular reduction, because it does not assume the target class-group statement as an input. The field-case argument is self-contained against external benchmarks, so the circularity score is 0.

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

The paper introduces no free parameters and no new entities. The proof is a reduction to standard commutative algebra and cited results on positroid varieties. The only mildly unproven input is the terse Hilbert function argument for integrality over Z in Lemma 5.

assumptions (6)

standard math Nagata's criterion (Lemma 3): a Noetherian domain is a UFD if localizing at a multiplicative subset generated by prime elements gives a UFD.
Stated and used as a black box from commutative algebra (Eisenbud). It provides the logical bridge from local UFDs to the global UFD claim.
domain assumption The Plücker relations generate the ideal of the Grassmannian (Equation 1).
Standard Grassmannian coordinate ring presentation, used in Lemma 9 to propagate membership in the ideal generated by Δ_{δ_t}.
standard math The equivalence between trivial divisor class group, UFD coordinate ring, trivial Picard group, and boundary-generated class group for the closed Richardson variety (cited to Vakil).
Used in the introduction to state equivalent forms of the main theorem.
domain assumption Postnikov's characterization: a subset of k-subsets is a positroid iff it is the image under π_k of a Bruhat interval [u,v] in S_n (Theorem 11).
Used in Theorem 12 to show P_t is a positroid, which is required to apply the integrality theorem for positroid varieties.
domain assumption Knutson-Lam-Speyer: positroid varieties are integral schemes (Theorem 13).
Load-bearing for Corollary 15: the primality of Δ_{δ_t} follows from the integrality of X_{P_t}. Cited from the published literature.
domain assumption The Hilbert function of a Richardson variety is the same over any field, used to prove integrality over Z in Lemma 5.
The proof of Lemma 5 asserts this in one sentence without a developed argument. This is the weakest external input in the Z-extension.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Class groups of open Richardson varieties in the Grassmannian are trivial." pith.science (2026). https://pith.science/paper/ZTN3XEO5

@misc{pith2026190802925,
  author       = {Pith},
  title        = {Pith review of: Class groups of open Richardson varieties in the Grassmannian are trivial},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/ZTN3XEO5}},
  note         = {Machine review of arXiv:1908.02925}
}

read the original abstract

We prove that the divisor class group of any open Richardson variety in the Grassmannian is trivial. Our proof uses Nagata's criterion, localizing the coordinate ring at a suitable set of Pl\"ucker coordinates. We prove that these Pl\"ucker coordinates are prime elements by showing that the subscheme they define is an open subscheme of a positroid variety. Our results hold over any field and over the integers.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

14 extracted references · 13 canonical work pages

[10]

A topological proof of the Shapiro-Shapiro conjecture

J. Levinson and K. Purbhoo, A topological proof of the Shapiro–Shapiro conjecture , preprint, arXiv:1907.11924

work page Pith review arXiv 1907
[1]

Brion, Lectures on the geometry of ﬂag varieties , in T opics in cohomological studies of algebraic varieties (P

M. Brion, Lectures on the geometry of ﬂag varieties , in T opics in cohomological studies of algebraic varieties (P . Pragacz ed.), Trends Math., Birkhäuser , Basel, 2005

work page 2005
[2]

Deodhar .On some geometric aspects of Bruhat orderings

V . Deodhar .On some geometric aspects of Bruhat orderings. I. A ﬁner deco mposition of Bruhat cells , Invent. Math. 79 (1985) no. 3, 400–511. 10 JAKE LEVINSON AND KEVIN PURBHOO

work page 1985
[3]

Dolgachev .Lectures on Invariant Theory , London Math

I. Dolgachev .Lectures on Invariant Theory , London Math. Soc. Lecture Note Series 296, Cambridge U.P ., 2003

work page 2003
[4]

Eisenbud, Commutative algebra with a view toward algebraic geometry , Graduate T exts in Math

D. Eisenbud, Commutative algebra with a view toward algebraic geometry , Graduate T exts in Math. 150, Springer-V erlag, 1995

work page 1995
[5]

Fulton,Y oung T ableaux with Applications to Representation Theoryand Geometry, Cambridge U.P ., New Y ork, 1997

W . Fulton,Y oung T ableaux with Applications to Representation Theoryand Geometry, Cambridge U.P ., New Y ork, 1997

work page 1997
[6]

Gelfand, M

I. Gelfand, M. Goresky , R. MacPherson, V . Serganova, Combinatorial geome-tries, convex polyhedra, and Schubert cells , Adv . Math. 63 (1987), no. 3, 301–316

work page 1987
[7]

Hartshorne, Algebraic Geometry

R. Hartshorne, Algebraic Geometry. Graduate T exts in Mathematics, 52, Springer–V erlag, 1977

work page 1977

Show all 14 references

[8]

Hodge and D

W .V .D. Hodge and D. Pedoe,Methods of algebraic geometry, Vol. II , Cambridge, U.P ., 1952

1952
[9]

Knutson, T

A. Knutson, T . Lam, and D. Speyer , Positroid varieties: juggling and geometry , Comp. Math., 149 (2013) no. 10, 1710–1752

2013
[11]

Mathieu, Formules de caractères pour les algèbres de Kac-Moody génér ales, Astérisque 159–160 , 1988

O. Mathieu, Formules de caractères pour les algèbres de Kac-Moody génér ales, Astérisque 159–160 , 1988

1988
[12]

Postnikov ,T otal positivity, Grassmannians, and networks, preprint, arXiv:math/0609764

A. Postnikov ,T otal positivity, Grassmannians, and networks, preprint, arXiv:math/0609764

arXiv
[13]

V akil, The rising sea: Foundations of algebraic geometry , November 18, 2017 version, http://math.stanford.edu/∼vakil/216blog/

R. V akil, The rising sea: Foundations of algebraic geometry , November 18, 2017 version, http://math.stanford.edu/∼vakil/216blog/

2017
[14]

Woo and A

A. Woo and A. Y ong, When is a Schubert variety Gorenstein? , Adv . Math, 207 (2006), 205–220. MATHEMATICS DEPARTMENT , U NIVERSITY OF WASHINGTON , S EATTLE , WA, 98195-4350, USA E-mail address: jlev@uw.edu COMBINATORICS & OPTIMIZATION DEPT., UNIVERSITY OF WATERLOO , WATERLOO ...

2006

Pith tools

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

[1] [10]

A topological proof of the Shapiro-Shapiro conjecture

J. Levinson and K. Purbhoo, A topological proof of the Shapiro–Shapiro conjecture , preprint, arXiv:1907.11924

work page Pith review arXiv 1907

[2] [1]

Brion, Lectures on the geometry of ﬂag varieties , in T opics in cohomological studies of algebraic varieties (P

M. Brion, Lectures on the geometry of ﬂag varieties , in T opics in cohomological studies of algebraic varieties (P . Pragacz ed.), Trends Math., Birkhäuser , Basel, 2005

work page 2005

[3] [2]

Deodhar .On some geometric aspects of Bruhat orderings

V . Deodhar .On some geometric aspects of Bruhat orderings. I. A ﬁner deco mposition of Bruhat cells , Invent. Math. 79 (1985) no. 3, 400–511. 10 JAKE LEVINSON AND KEVIN PURBHOO

work page 1985

[4] [3]

Dolgachev .Lectures on Invariant Theory , London Math

I. Dolgachev .Lectures on Invariant Theory , London Math. Soc. Lecture Note Series 296, Cambridge U.P ., 2003

work page 2003

[5] [4]

Eisenbud, Commutative algebra with a view toward algebraic geometry , Graduate T exts in Math

D. Eisenbud, Commutative algebra with a view toward algebraic geometry , Graduate T exts in Math. 150, Springer-V erlag, 1995

work page 1995

[6] [5]

Fulton,Y oung T ableaux with Applications to Representation Theoryand Geometry, Cambridge U.P ., New Y ork, 1997

W . Fulton,Y oung T ableaux with Applications to Representation Theoryand Geometry, Cambridge U.P ., New Y ork, 1997

work page 1997

[7] [6]

Gelfand, M

I. Gelfand, M. Goresky , R. MacPherson, V . Serganova, Combinatorial geome-tries, convex polyhedra, and Schubert cells , Adv . Math. 63 (1987), no. 3, 301–316

work page 1987

[8] [7]

Hartshorne, Algebraic Geometry

R. Hartshorne, Algebraic Geometry. Graduate T exts in Mathematics, 52, Springer–V erlag, 1977

work page 1977