REVIEW 3 major objections 5 minor 1 cited by
Stable map quotients (and orbifold log resolutions) of Richardson varieties
T0 review · 3 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash
Pith's one-line read Every Richardson variety in a generalized partial flag manifold has a canonical orbifold resolution, built from equivariant stable maps, whose boundary strata are indexed by the open Bruhat interval.
desk verdict A genuinely new canonical orbifold resolution of Richardson varieties with strong type A results; the general G/P dual-complex claim in the abstract looks false as stated. 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 central construction is the stable map quotient $M/\!/\,\mathrm{StMap}^S$: for a projective variety $M$ with a circle action $S$, take the connected component of the $S$-fixed locus of the moduli stack of genus-zero stable maps in the class of a generic $S$-orbit closure that contains the maps $z\mapsto S(z)\cdot u$, $u$ general. A key structural fact is that every fixed curve in this component is a `caterpillar': a chain of $\mathbb{P}^1$s, each component carrying the same pair of isotropy weights $\pm\alpha$ for a finite extension $\tilde{S}$ of $S$, with no collapsed components. The dimension loss from this quotient is repaired by passing to the graph space $(M\times\mathbb{P}^1)/\!/\,\mathrm{StMap}^{S_\Delta}$, in which exactly one component maps isomorphically to $\mathbb{P}^1$, so evaluation at $1$ gives the birational morphism to $M$. The tangent-space analysis splits deformations into node-gluing summands and invariant sections of $\gamma^*TM$; the paper computes these $\tilde{S}$-weights explicitly in the Grassmannian and full-flag cases, yielding the stratification by nodes, the simple-normal-crossings property, the order complex of the Bruhat interval as dual complex, and the GKM/Betti number data.
What would settle it
Compute, for a small singular Richardson variety in a flag manifold where the two one-sided limit decompositions are not known to be stratifications, the full $\check{\rho}$-fixed locus in the graph space $X_{(\lambda,0)}^{(\mu,\infty)}/\!/\,\mathrm{StMap}^{\check{\rho}_\Delta}$; if any fixed caterpillar in the chosen component has an end mapping outside $X_\lambda\cap X^\mu$, Theorem 2's component identification fails and the resolution claim for that $X_\lambda^\mu$ collapses. In the Grassmannian case, a faster check is to compare the Betti numbers predicted by the rim-hook-tableau counts (for instance $1,28,235,787,1167,787,235,28,1$ for $X_{(2)}^{(4,4,2)}$) with the actual rational cohomology of the coarse Chow quotient.
Extended reading notes
Core claim
On the paper's own terms, the discovery is that the stable map quotient $$\tilde{X}_\$\lambda$^\mu \;:=\; X_{(\$\lambda$,0)}^{(\mu,\infty)}\,/\!/\,\mathrm{StMap}^{\check{\rho}_\$\Delta$}$$ is a smooth Deligne-Mumford stack equipped with a birational morphism to $X_\lambda^\mu$, hence a canonical orbifold resolution of the Richardson variety. Here $X_{(\lambda,0)}^{(\mu,\infty)}$ is the Richardson variety in $(G\times SL_2)/(P\times B)$ obtained by placing the two Schubert conditions at the $0$- and $\infty$-sections of $\mathbb{P}^1$, and $\check{\rho}_\Delta$ is the smallest regular dominant coweight of $G\times SL_2$. The main mechanism is a component-identification theorem: inside the $\check{\rho}$-fixed locus of the stable map space for the generic orbit-closure class, the connected component containing the graph construction is shown, via a lemma on endpoints of fixed caterpillars, to consist exactly of stable maps whose images lie in $X_\lambda\cap X^\mu$. The paper also proves that the boundary of $\tilde{X}_\lambda^\mu$ is a simple normal crossings divisor on the orbifold, with dual simplicial complex equal to the order complex of the open Bruhat interval $(\lambda,\mu)$, and develops the tangent-weight computations that make the Grassmannian case a GKM space.
Load-bearing premise
The proof needs the two one-sided limits of the circle action on the Richardson variety to decompose the variety into well-behaved cells in a compatible way; for singular Richardson varieties in general flag manifolds this is not automatic, and the paper says the assumption is probably removable but does not prove it.
Editorial extensions
If this is right
- Every Richardson variety $X_\lambda^\mu\subseteq G/P$ acquires a canonical resolution by a smooth orbifold, with no reduced word or auxiliary choice entering the construction.
- The boundary of $\tilde{X}_\lambda^\mu$ is an orbifold simple normal crossings divisor, so the resolution is a log resolution; its dual simplicial complex is the order complex of the open Bruhat interval $(\lambda,\mu)$.
- For $G/B$ the dual complex is a sphere, while for general $G/P$ it can be a sphere or a ball, exactly following the known sphere-versus-ball shellability dichotomy for Bruhat order.
- For Grassmannian Richardson varieties, $\tilde{X}_\lambda^\mu$ is a GKM space, its $T$-fixed points are standard rim-hook skew tableaux of shape $\mu\setminus\lambda$, and the computed weights give palindromic rational Betti numbers.
- The coarse moduli space of $\tilde{X}_\lambda^\mu$ is the Chow quotient $X_\lambda^\mu/\!/_{\mathrm{Chow}}\check{\rho}$, and on the equivariantly smoothable locus the cycle map is bijective.
Reading between the lines
- An extension the paper leaves open: if the stratification hypothesis in Lemma 1(2) is removable as suspected, the canonical resolution should exist for all Richardson varieties without extra hypotheses, so the smoothness theorem would hold in broader generality than the proof currently shows.
- The ball-versus-sphere behavior of the dual complex, together with the orbifold stabilizers found on one-dimensional strata, suggests a refinement of the folk conjecture on dual complexes of anticanonical sncds: boundary components meeting orbifold strata should correspond to the boundary of a ball, not to a sphere.
- Once the orbifold analogue of equivariant K-theoretic localization is available, the function $\Phi$ constructed in Proposition 5 should define a genuine $T$-equivariant ample orbifold line bundle, making $\tilde{X}_\lambda^\mu$ projective in the Grassmannian case; the GKM check in the paper is exactly the condition such a bundle would need to satisfy.
- Because the resolution uses no choices beyond the canonical coweight $\check{\rho}$, it is a natural candidate for a functorial resolution under the projection maps $\pi_k:\mathrm{Fl}(n)\to \mathrm{Gr}(k,n)$ that the paper already uses in Section 7.2.
Signed reviews
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper introduces, for a projective variety M with a C^*-action S, a 'stable map quotient' M//StMap^S, defined as the connected component of the S-fixed locus of a Fulton--Pandharipande stable map space containing generic S-orbit closures. For a Richardson variety X_λ^μ in a flag variety G/P, the author defines a resolution fX_λ^μ via a graph-space variant of this quotient and claims that it is a canonical, choice-free orbifold resolution. Further claims are that the boundary is an orbifold simple normal crossings divisor whose dual simplicial complex is the order complex of the open Bruhat interval (λ,μ), and that in the Grassmannian case the T-fixed points are indexed by standard rim-hook tableaux with explicit GKM weights and computable Betti numbers. The paper contains detailed combinatorial computations in type A and a discussion, partly conjectural, of anticanonicality of the boundary.
Significance. If the type-A results are correct, the paper gives a genuinely new and useful construction: a choice-free birational orbifold model of Richardson varieties with computable equivariant cohomology, connecting stable map spaces to Chow quotients, Bruhat order, and Deodhar-style decompositions. The rim-hook-tableaux indexing, the explicit GKM weights in §5--§6, and the concrete Betti-number examples are valuable and appear to be carefully computed. The relation to the Björner--Wachs theorem is elegant and, in the cases where Theorem 4 is proved, gives a geometric realization of the order complex of an open Bruhat interval. However, the advertised general-G/P statement is not supported by the proofs and, on the basis of the paper's own Corollary 1, appears to be false in that generality. The significance of the paper therefore depends on a substantial reframing: the main theorems must be restricted to the cases actually proved, and the general-G/P claims must be either proved or removed.
major comments (3)
- [Abstract, §1, and §4 (Theorem 4, Theorem 5)] The abstract and Theorem 5 state the dual-complex/order-complex result without a type restriction, but Theorem 4 is proved only under the explicit assumption 'G/P a Grassmannian or full flag variety.' This restriction is not cosmetic. Corollary 1 forces every point of M//StMap^S to be a caterpillar all of whose components carry one common S-weight α. Consequently, a stratum indexed by a Bruhat chain κ_0<...<κ_{m+1} can meet the quotient only if all factors X_{κ_i}^{κ_{i+1}}//StMap^S are realizable with the same α. For ρ̌ on a general G/P, the root-pairing weights take several values; for example, in Sp_4/B a short-root step has weight 1 and long-root steps have weights 2 or 3. A chain mixing such steps has no S-equivariant smoothing, because the node-deformation summand T_n^-⊗T_n^+ has nonzero S-weight. The identification of the dual complex with the full order complex of (λ,μ) is therefore not merely unproved in general but false as stated. Theorem 5 must be restricted to the type-A cases, and the abstract must be corrected accordingly.
- [§2.2 (Lemma 1) and §2.4 (proof of Theorem 2)] Theorem 2's proof uses Lemma 1(2) to conclude that the image of a fixed stable map lies in X_λ ∩ X^μ. Lemma 1(2) is conditional on the hypothesis that the two Białynicki-Birula decompositions of X_λ^μ defined by ρ̌ are stratifications, and the text says this hypothesis is 'likely unnecessary' but supplies no proof. For arbitrary G/P, Richardson varieties can be singular, and the Białynicki-Birula decompositions are not verified to be stratifications. Since Theorem 2 is the basis for the orbifold-smoothness of fX_λ^μ for all G/P, this is a load-bearing gap. The paper should either prove the stratification hypothesis for Richardson varieties or explicitly state Theorem 2 and the resolution theorem under this hypothesis.
- [§4, proof of Theorem 4(1) and §4.2] The suturing argument in Theorem 4(1) requires that the curve obtained by gluing caterpillars along fixed points is equivariantly smoothable, i.e. lies in the same connected component of the S-fixed stable map space. The text says 'We'll need a converse to proposition 2' and then asserts that convexity of G/P plus the proof of Theorem 2 provides it. No actual deformation argument is given. For general G/P the asserted converse is false when adjacent components have different S-weights, since the corresponding node-deformation summand T_n^-⊗T_n^+ has nonzero S-weight and cannot be smoothed equivariantly. This is exactly the mechanism that makes the type-A restriction in Theorem 4 essential. The proof needs either a genuine deformation-theoretic argument in the cases where the statement is claimed, or a revised statement limited to the cases where the weight condition holds.
minor comments (5)
- [Abstract and §1] The first sentence of the abstract says 'generalized partial flag manifold' and the dual-complex sentence carries no type restriction; please add the Grassmannian/full-flag hypothesis or explicitly mark the general-G/P cases as open.
- [§2.8, Proposition 3] The notation (M_μ^λ//StMap^S)_{k nodes} uses subscripts that are not defined in the statement; it should be M//StMap^S or the subscripts should be introduced.
- [§8.3, Proposition 6] The phrase 'a [pt/Z2] which is not a stratum' is informal; please specify the orbifold chart and how the Z_2 stabilizer arises at that T-fixed point.
- [References] The entry [KaStZe91] is missing the first author's name; it should read 'M. M. Kapranov, B. Sturmfels, and A. V. Zelevinsky.'
- [§3] The sentence 'Michalek and Wang have informed me...' would read better as a footnote or an acknowledgment rather than as part of the mathematical narrative.
Circularity Check
No significant circularity: the central claims rest on external stable-map and order-complex theorems, with Betti numbers computed from explicit geometric weights rather than fitted or self-cited inputs.
full rationale
I find no significant circularity. The resolution fX is a genuinely new object: it is defined as a stable-map quotient and its smoothness is transferred from Fulton–Pandharipande's external theorem on stable map spaces of convex varieties, not from any property assumed to hold for the Richardson variety itself. The birationality of the evaluation map to X_λ^μ is proved by a graph-space argument, not by construction. The identification of the boundary's dual simplicial complex with the order complex of the open Bruhat interval (λ,μ) is a proved statement (Theorem 4): nonempty strata are shown to factor as products of Richardson stable-map quotients indexed by strictly increasing Bruhat chains, and the Bruhat order enters through the standard nonemptiness criterion for Richardson varieties rather than being defined so as to force the conclusion. The Betti-number computations are derived from explicit eT-weights in Lemma 3 and Lemma 4, then counted by lex-positive weights; no fitted parameter is later renamed as a prediction. The self-citations are not load-bearing: [Kn20] is a historical aside, and [KnLamSp14] is used only for the classical Richardson boundary being anticanonical, which is motivation rather than the paper's central derivation. The author explicitly flags the Białynicki-Birula stratification hypothesis in Lemma 1 as likely removable, and Theorem 4 explicitly restricts its tangent-space analysis to Grassmannian and full-flag cases; these are correctness limitations or potential gaps for general G/P, not circular reductions. The abstract's general-G/P phrasing is stronger than the proved cases, but that is an overstatement, not a self-referential derivation.
Assumptions & free parameters
assumptions (4)
- domain assumption Stable map spaces StMap_β(P1, G/P) are smooth Deligne-Mumford stacks for convex G/P (Fulton-Pandharipande, Theorem 1).
- standard math Generalized flag varieties G/P are convex: H^1(P1, f^*T(G/P)) = 0 for every genus-zero map f.
- domain assumption The Białynicki-Birula decompositions of X_λ^μ for the circle action ρ̌ are stratifications (Lemma 1(2) hypothesis).
- standard math Order complex of the open Bruhat interval (λ, μ) is a sphere or ball (Björner-Wachs 1982).
Cite this review
Pith. "Pith review of Stable map quotients (and orbifold log resolutions) of Richardson varieties." pith.science (2026). https://pith.science/paper/6EBJBHXX
@misc{pith2026250509905,
author = {Pith},
title = {Pith review of: Stable map quotients (and orbifold log resolutions) of Richardson varieties},
year = {2026},
howpublished = {\url{https://pith.science/paper/6EBJBHXX}},
note = {Machine review of arXiv:2505.09905}
}
abstract
Let $X_\lambda^\mu := X_\lambda \cap X^\mu \subseteq G/P$ be a Richardson variety in a generalized partial flag manifold. We use equivariant stable map spaces to define a canonical resolution $\widetilde{X_\lambda^\mu}$ of singularities, albeit obtaining an orbifold not a manifold. The ``nodal curves'' boundary is an (orbifold) simple normal crossings divisor, and is conjecturally anticanonical. Its dual simplicial complex is the order complex of the open Bruhat interval $(\lambda,\mu) \subseteq W/W_P$, shown in [Bj\"orner-Wachs '82] to be a sphere or ball. In the case of $G/P$ a Grassmannian, the resolution $\widetilde{X_\lambda^\mu}$ is a GKM space, whose $T$-fixed points are indexed by rim-hook tableaux.
Forward citations
Cited by 1 Pith paper
-
Relative Quasimaps and Tilting Module of $U(\mathfrak{gl}_n)$
The equivariant cohomology of the moduli space of relative quasimaps to the flag variety carries a U(gl_n)-action whose specialized summand is, up to a known category equivalence, a tilting module.
Reference graph
Works this paper leans on
-
[1]
Higher-dimensional analogues of stable curves
[Ale06] Valery Alexeev, Higher-dimensional analogues of stable curves. Proceedings of the International Congress of Mathematicians, Madrid, August 22–30, 2006: invited lectures. https://arxiv.org/abs/math/0607682 [ArKhLatParRa] Dhyan Aranha, Adeel A. Khan, Alexei Latyntsev, Hyeonjun Park, Charanya Ravi, Virtual localization revisited. Preprint
work page Pith review arXiv 2006
-
[2]
1-skeleta, Betti numbers, and equivariant cohomology
https://arxiv.org/abs/alg-geom/9608011 [GZa01] Victor Guillemin and Catalin Zara. 1-skeleta, Betti numbers, and equivariant cohomology. Duke Math. J., 107(2):283–349,
-
[4]
Chow Quotients of Toric Varieties as Moduli of Stable Log Maps
[ChSa13] Qile Chen, Matthew Satriano, Chow quotients of toric varieties as moduli of stable log maps. Algebra & Number Theory 7.9 (2013): 2313–2329. https://arxiv.org/abs/1201.3406 [CoDesNSuWe22] Elsa Corniani, Neeraj Deshmukh, Brett Nasserden, Emanuel Reinecke, Nawaz Sultani, Rachel Webb, The stack of admissible covers is algebraic. Stacks Project Exposi...
work page Pith review arXiv 2013
-
[5]
Brick manifolds and toric varieties of brick polytopes
[Deo85] Vinay V . Deodhar, On some geometric aspects of Bruhat orderings. I. A finer decomposition of Bruhat cells. Inventiones mathematicae 79.3 (1985): 499–511. [E16] Laura Escobar, Brick manifolds and toric varieties of brick polytopes. The Electronic Journal of Combinatorics 23.2 (2016): P2-25. https://arxiv.org/abs/1404.4671 [F24] Luis Ferroni, Jacob...
work page Pith review arXiv 1985
-
[1993]
https://arxiv.org/abs/alg-geom/9210002 [KaStZe91] , B. Sturmfels, A. V . Zelevinsky, Quotients of toric varieties. Math. Annalen (1991), Volume 290, pages 643–655. [KhRa] Adeel A. Khan, Charanya Ravi, Cohomological and categorical concentration. Preprint
arXiv 1991
-
[2001]
https://arxiv.org/abs/math/9903051 [Ka93] M. M. Kapranov, Chow quotients of Grassmannians. I, Adv. Soviet Math., vol. 16, Amer. Math. Soc., Providence, RI,
-
[2005]
Advances in Mathematics 43.1 (1982): 87–100
[BjWa82] Anders Björner, Michelle Wachs, Bruhat order of Coxeter groups and shellability. Advances in Mathematics 43.1 (1982): 87–100. [Bri05] Michel Brion, Lectures on the geometry of flag varieties. In Topics in cohomological studies of alge- braic varieties, Trends Math., pages 33–85. Birkhäuser, Basel,
work page 1982
-
[2020]
https://pi.math.cornell.edu/~allenk/agctalk.pdf [KoX16] János Kollár, Chenyang Xu, The dual complex of Calabi–Yau pairs. Invent. math. 205, 527–557 (2016). https://arxiv.org/abs/1503.08320 [Kw07] Seongchun Kwon, Real aspects of the moduli space of genus zero stable maps. Vol 31, Issue 3 (2007), Turkish Journal of Mathematics, p303–317. https://arxiv.org/a...
work page Pith review arXiv 2016
Show all 12 references
-
[2022]
Graduate Texts in Mathematics vol
https://arxiv.org/abs/2207.01652 [BjBre05] Anders Björner, Francesco Brenti, Combinatorics of Coxeter groups. Graduate Texts in Mathematics vol
-
[2023]
Journal für die reine und angewandte Mathematik (Crelle’s Journal) 2014.687 (2014): 133–157
https://arxiv.org/abs/2308.01652 [KnLamSp14] Allen Knutson, Thomas Lam, David E Speyer, Projections of Richardson varieties. Journal für die reine und angewandte Mathematik (Crelle’s Journal) 2014.687 (2014): 133–157. https://arxiv.org/abs/1008.3939 [Kn20] , Stable map resolut...
2014 arXiv
-
[2024]
Algebraic geometry—Santa Cruz 1995, 45–96, Proc
https://arxiv.org/abs/2411.04070 [FuPan97] William Fulton, Rahul Pandharipande, Notes on stable maps and quantum cohomology. Algebraic geometry—Santa Cruz 1995, 45–96, Proc. Sympos. Pure Math., 62, Part
1995 arXiv
-
[2025]
Advances in mathematics 222.2 (2009): 596–620
https://arxiv.org/abs/2303.04831 [TY09] Hugh Thomas, Alexander Yong, A combinatorial rule for (co)minuscule Schubert calculus. Advances in mathematics 222.2 (2009): 596–620. https://arxiv.org/abs/math/0608276 [VeVi03] Gabriele Vezzosi, Angelo Vistoli, Higher algebraicK-theory ...
2009 arXiv
Reviewed August 15, 2026 · model on record in the stance chip above.
Discussion (0). Continue with ORCID to comment.