Pith. sign in

REVIEW 2 major objections 4 minor 43 references

The Springer Geometry of Specht Polynomials and Schubert cycle positivity for two row Springer fiber components

T0 review · 2 major / 4 minor · reviewed 2026-08-01 · deepseek-v4-flash

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

Pith's one-line read For two-row Springer fibers, the Schubert expansion of each component's homology class has coefficients equal to the number of reduced words satisfying simple position constraints.

desk verdict A strong two-row resolution of Springer's Schubert positivity question; the main theorem is solid, with two minor gaps that reviewers should check rather than blockers. read the letter →

arxiv 2607.17487 v1 pith:BNNLY5PZ submitted 2026-07-20 math.AG

Hunter Spink , Vasu Tewari This is my paper · ORCID
classification math.AG MSC 14M1505E1020C3014N15
keywords SpringerfibersSchubertcyclesSpechtpolynomialsJosephwebbasisdivideddifferencesLevi–Richardsonvarietiestwo-rowpartitions
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 resolves the long-standing positivity question for Springer fibers in the two-row case: the homology class of every irreducible component expands into Schubert cycles with nonnegative integer coefficients, and each coefficient is explicitly the number of reduced words of the permutation whose letters lie in prescribed intervals. The general mechanism is a structural theorem identifying, for any partition λ, the classical Specht polynomial generators of the Springer representation with the degree polynomials of λ^⊤-Levi–Richardson varieties, which degenerate to the Springer fiber. This factors the positivity problem through two positive expansions—from Specht polynomials to Joseph polynomials, and from Joseph polynomials to Schubert cycles—and in the two-row case both expansions become explicit combinatorial algorithms, identifying the Springer basis with the web basis and confirming two conjectures.

What carries the argument

The machinery is the chain Specht polynomials → Joseph polynomials → Schubert degree polynomials, connected by the degree-polynomial embedding of H^*(Fl_n) and by the degeneration of λ^⊤-Levi–Richardson varieties to Springer fibers. In the two-row case, the load-bearing identity is the operator equality ev_0 ∏_{(i,j)∈M} ∂_{ij} = ev_0 ∏_{(i,j)∈M}(∂_i + ⋯ + ∂_{j−1}), proved by interleaving zero substitutions with long-range divided differences and a telescoping sum. This identity converts the geometric data of the matching into the word-counting rule of Theorem 6.1.

What would settle it

For a small two-row example, say n=6 with matching {(1,6),(2,3),(4,5)}, compute the Schubert expansion of the component by an independent Schubert-calculus routine (e.g., evaluating the degree map on every Schubert polynomial) and check that each coefficient is the number of reduced words s_{a1}s_{a2}s_{a3} of the permutation with 1≤a1<6, 2≤a2<3, 4≤a3<5; any mismatch disproves the theorem.

Watch

Extended reading notes

Core claim

The central claim is a chain of positive expansions in the homology of the complete flag variety. For any partition λ, the Specht polynomial f_T (a product of differences z_a − z_b for entries in the same column) is the degree polynomial of a Levi–Richardson variety R_C, so the Springer representation is spanned by the classes [R_C]. Under a degeneration from a diagonal matrix to a nilpotent matrix, the disjoint union of these R_C flows into the Springer fiber, giving positive coefficients in the expansion of Specht polynomials into Joseph polynomials. For two-row partitions λ = (n−k, k), components are indexed by packed noncrossing matchings M, and the paper proves that the degree polynomia

Load-bearing premise

The identification of a two-row Springer fiber component's degree polynomial with the product of variable differences rests on a cohomology-ring presentation for such components, whose published proof contains a gap that the paper repairs; if that repaired presentation fails, the main Schubert-positivity theorem collapses.

Editorial extensions

If this is right

  • Every two-row Springer fiber component has a Schubert cycle expansion with nonnegative coefficients, giving a complete positive answer to the positivity question for these components.
  • The degree polynomial of a component is the product of (z_i − z_j) over the arcs of its packed noncrossing matching, so the Springer basis and the web basis for two-row Specht modules coincide geometrically.
  • The Specht-polynomial-to-Joseph-polynomial expansion for two-row partitions is computed by a positive skein algorithm, and the Joseph-to-Schubert expansion by the flagged reduced-word count.
  • An explicit reverse Artin monomial represents the Poincaré dual of each component class, confirming a conjecture; the components of the Poisson degeneracy locus of the flag variety inherit the same positive expansions.

Reading between the lines

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

  • The telescoping identity behind the main theorem is a purely formal statement about long-range divided differences, so the same device might yield positive expansions for three-row or mixed-shape Springer fibers, though the paper does not pursue this.
  • Because two-row components are iterated P^1-bundles, the word-counting formula could be checked recursively bundle by bundle, giving an independent computational verification for small n.
  • The identification of Specht polynomials with degree polynomials of Levi–Richardson varieties is integral and holds for all partitions, suggesting the same factorization of the positivity problem could be made combinatorial beyond two rows, possibly with a generalized web calculus.
  • The explicit Schubert expansion of the Poisson degeneracy-locus components means these classical geometric loci now have a purely combinatorial description of their homology, which might feed into Poisson-geometric applications.
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.

Referee Report

2 major / 4 minor

Summary. The paper claims to realize the type A Springer representation geometrically via Specht polynomials and Levi–Richardson cycles, and for two-row partitions to give manifestly nonnegative Schubert cycle expansions of Springer fiber components. The main theorem (Theorem 6.1) states that for a two-row partition and a packed noncrossing matching M, the coefficient of [X_w] in [B_M] equals the number of reduced words for w with letters in intervals determined by M. The proof proceeds through a chain: Levi–Richardson cycles have degree polynomials equal to Specht polynomials (Theorem 3.1); the Springer basis elements have degree polynomials equal to the corresponding web-basis matching polynomials (Theorem 5.5), established via the Stroppel–Webster presentation of H^*(B_M) with a one-paragraph correction; and a divided-difference identity converts this into the reduced-word count. The paper also proves two conjectures of Precup and Sabando-Alvarez and computes Schubert expansions for Poisson degeneracy locus components.

Significance. If the main results are correct, this is a substantial advance: it resolves Springer's positivity question for all two-row Springer fibers, provides the first combinatorial positive Schubert expansions for such components, and identifies the Springer basis with the web basis. The methods are original, combining geometric degeneration, divided differences, and noncrossing-matching combinatorics, and the paper is rich in worked examples. The main two-row theorems are internally plausible and appear to follow from the stated inputs, and the dependence on external results is largely transparent. However, two load-bearing points require additional work before the claims are fully established.

major comments (2)
  1. [§3.1, Corollary 3.3] The inference from equal fiber dimensions of the family B_{M(t)} to the nonnegative specialization (3.1) is not justified. The text explicitly states that B_{M(t)} is 'not necessarily flat', and for a non-flat family the fundamental class of a general fiber component need not specialize to a positive combination of special fiber components; it could involve other cycles or different multiplicities. A dimension count alone is insufficient. Please either prove flatness of the family (or of a well-chosen closure) or replace the argument with a correct cycle–specialization theorem. This affects the proof of Corollary 4.2, which relies on (3.1).
  2. [§5.2, correction to Theorem 5.7 / proof of Theorem 5.5] Theorem 5.5 is the linchpin of the two-row results, and its proof rests on the corrected Stroppel–Webster presentation. The correction is presented in a single paragraph and leaves several points unstated: (i) the short exact sequence 0→K→F_j|_{B_M}→F_{i-1}|_{B_M}→0 is cited 'as in ibid.' rather than proven; (ii) the claim that K is a rank-2δ subbundle of ker(N^δ)|_{B_M} requires checking both that K is a subbundle of the constant kernel and that ker(N^δ) has rank 2δ; (iii) the step subtracting relations of maximal nested arcs to obtain ι^*x_i+ι^*x_j=0 assumes those arcs cover the interior of (i,j), which should be stated and proved. Because this presentation is load-bearing for the main theorem, please expand it into a self-contained lemma with full details, or provide an independent verification. The alternative route via [30, Eq. 4.12] mentioned in Remark 5.6 is not carried out.
minor comments (4)
  1. [§6, proof of Proposition 6.6] The notation [x_a^1]f is undefined. Please clarify that it denotes the coefficient of the linear monomial x_a in f after the variables in D are set to zero.
  2. [§2.1, definition of ∂_D] The product defining ∂_D should specify the order of the factors explicitly (though the operators on disjoint variable sets commute, the notation is ambiguous).
  3. [§7, Lemma 7.3] The notation f^1 and f^n is introduced without a clear definition (the superscripts are easy to confuse with exponents). Please define these explicitly.
  4. [§3.1] The phrase 'not necessarily flat degeneration' is followed by a conclusion that would require flatness. At minimum, soften the claim or explicitly state a hypothesis under which the conclusion holds.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the central formula is derived from external theorems and self-contained operator identities, with self-citations only guiding strategy.

full rationale

The derivation chain is self-contained given external inputs. Theorem 3.1 identifies the degree polynomial of the Levi-Richardson cycle with the Specht polynomial via the Bergeron–Sottile pattern map and push-pull. Theorem 4.1 fixes the Hotta/Joseph normalization by one direct coordinate-subspace computation. Theorem 5.5 computes D_BM = f_M from the Stroppel–Webster presentation of H*(B_M), an external theorem; the paper supplies a correction to one step of its published proof, which is a plausibility/correctness risk but not a circular reduction, since the target formula is not assumed. Theorem 6.1 then follows from the operator identity of Proposition 6.6 and the standard nil-Hecke duality ev_0 ∂_w S_{w'} = δ_{w,w'}, not from the conjecture being proved. The conjectures of [32] are proven rather than used. Self-citations ([3], [24], [25], [37]) appear in strategy and application discussion (Sections 1 and 8), not as load-bearing input to the main equalities. No fitted parameter is relabeled as a prediction, and no uniqueness theorem from the authors' prior work forces the choice.

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

The paper introduces no new free parameters or invented entities. It relies on standard facts and prior theorems (Borel, Spaltenstein, Tanisaki, Hotta, Stroppel-Webster, Rhoades) plus a geometric degeneration argument whose flatness is not fully justified. The main two-row result has an independent combinatorial proof that bypasses the degeneration.

assumptions (7)
  • standard math Specht polynomials generate the Specht module V_λ over Z (and over F_p for all primes).
    Used in proof of Theorem 3.4 for saturation and to conclude the Z-span of [R_C] is the full Springer lattice. Invoked in Section 3.2.
  • standard math Tanisaki presentation of H^*(B_λ) holds over Z.
    Used to show [R_C] lies in H_*(B_λ) by annihilating the ideal I_λ; citation [1, Theorem 4.1] in Section 3.2.
  • standard math Stroppel-Webster presentation of H^*(B_M) for two-row Springer fibers (Theorem 5.7), including the corrected proof of ι^*x_i+ι^*x_j=0.
    Fundamental to computing D_{B_M} in Theorem 5.5. The paper corrects part of the published proof; the corrected version is a load-bearing input.
  • standard math Hotta's isomorphism: the Joseph polynomials span the Springer representation with [B_T] ↦ J_T.
    Used in proof of Theorem 4.1 to reduce D_{B_T}=J_T to a single tableau by irreducibility of V_λ over Q.
  • standard math Rhoades' positive straightening (skein) rules for expanding Specht polynomials into the web basis.
    Gives the nonnegative coefficients in Corollary 5.11 for expanding [R_C] into [B_M] in the two-row case.
  • domain assumption The family B_{M(t)} degenerating B_{D_{λ^T}} to B_λ is a flat degeneration whose limit cycles are positive integral combinations of the B_T.
    Corollary 3.3 asserts positivity of [R_C] → [B_T] from this degeneration without explicitly proving flatness or the specialization property. This is a gap in the general framework, though not needed for the two-row combinatorial proof.
  • standard math Levi-Richardson varieties R_C are Richardson varieties with u,v the minimal/maximal length representatives of the coset C (Wyser).
    Used in Theorem 3.1 to identify [R_C] with the product of pattern-map pushforwards.

how reviews work

0 comments
Cite this review

Pith. "Pith review of The Springer Geometry of Specht Polynomials and Schubert cycle positivity for two row Springer fiber components." pith.science (2026). https://pith.science/paper/BNNLY5PZ

@misc{pith2026260717487,
  author       = {Pith},
  title        = {Pith review of: The Springer Geometry of Specht Polynomials and Schubert cycle positivity for two row Springer fiber components},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/BNNLY5PZ}},
  note         = {Machine review of arXiv:2607.17487}
}
read the original abstract

We show that the type A Springer representation is realized geometrically in the homology of the complete flag variety by Specht polynomials. For any partition, we identify the classical Specht polynomial generators of the Specht module with the classes of a family of disjoint Levi--Richardson varieties, and this family degenerates to the corresponding Springer fiber. This factors Springer's Schubert positivity problem for Springer fiber components through a chain of positive expansions, from Specht polynomials through the Joseph polynomials to the Schubert cycles. For two-row partitions we make each of these expansions combinatorially explicit, giving manifestly nonnegative Schubert cycle expansions of both the Levi-Richardson cycles and the Springer fiber components. This resolves Springer's question for two-row fibers and proves two conjectures of Precup and Sabando-Alvarez, and identifies the Springer basis with the web basis for two-row Specht modules. As an application, we deduce the Schubert cycle expansions of the components of the Poisson degeneracy locus of the flag variety.

Figures

Figures reproduced from arXiv: 2607.17487 by the authors.

Figure 1
Figure 1. depicts both a packed noncrossing matching and its corresponding SYT of shape (3, 3). A big-to-small ordering can be taken to be (1, 6) ≻ (2, 3) ≻ (4, 5). 1 2 3 4 5 6 1 2 4 3 5 6 [PITH_FULL_IMAGE:figures/full_fig_p017_1.png] view at source ↗

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

43 extracted references · 6 linked inside Pith

  1. [1]

    The torus equivariant cohomology rings of springer varieties.Topology and its Applications, 208:143–159, 2016

    Hiraku Abe and Tatsuya Horiguchi. The torus equivariant cohomology rings of springer varieties.Topology and its Applications, 208:143–159, 2016. 14

    2016

  2. [2]

    Bergeron, L

    N. Bergeron, L. Gagnon, P. Nadeau, H. Spink, and V. Tewari. Equivariant quasisymmetry and noncrossing partitions, 2025, arXiv:2504.15234. 3

    arXiv 2025

  3. [3]

    Bergeron, L

    N. Bergeron, L. Gagnon, P. Nadeau, H. Spink, and V. Tewari. The quasisymmetric flag variety: a toric complex on noncrossing partitions, 2025, arXiv:2508.12171. 3, 8, 26, 27

    arXiv 2025

  4. [4]

    Bergeron and F

    N. Bergeron and F. Sottile. Schubert polynomials, the Bruhat order, and the geometry of flag manifolds.Duke Math. J., 95(2):373–423, 1998. 3, 6, 12

    1998

  5. [5]

    Bergeron and F

    N. Bergeron and F. Sottile. Hopf algebras and edge-labeled posets.J. Algebra, 216(2):641–651, 1999. 3, 6, 12

    1999

  6. [6]

    I. N. Bernšte˘ ın, I. M. Gelfand, and S. I. Gelfand. Schubert cells, and the cohomology of the spacesG/P.Uspehi Mat. Nauk, 28(3(171)):3–26, 1973. 2, 4, 9

    1973

  7. [7]

    S. C. Billey, W. Jockusch, and R. P. Stanley. Some combinatorial properties of Schubert polynomials.J. Algebraic Combin., 2(4):345–374, 1993. 23

    1993

  8. [8]

    A. Borel. Sur la cohomologie des espaces fibrés principaux et des espaces homogènes de groupes de Lie compacts. Ann. of Math. (2), 57:115–207, 1953. 5, 8

    1953

Show all 43 references
  1. [9]

    M. Brion. Lectures on the geometry of flag varieties. InTopics in cohomological studies of algebraic varieties, Trends Math., pages 33–85. Birkhäuser, Basel, 2005. 5

    2005

  2. [10]

    A. S. Buch, P.-E. Chaput, and N. Perrin. Equivariant rigidity of Richardson varieties.Pacific J. Math., 338(2):209–229, 2025. 26

    2025

  3. [11]

    Casbi, A

    É. Casbi, A. Masoomi, and M. Yakimov. The Poisson degeneracy locus of a flag variety.Math. Z., 311(2):Paper No. 30, 40 pp., 2025. 3, 7, 26

    2025

  4. [12]

    De Concini and C

    C. De Concini and C. Procesi. Symmetric functions, conjugacy classes and the flag variety.Invent. Math., 64(2):203–219, 1981. 13, 14

    1981

  5. [13]

    F. Y.C. Fung. On the topology of components of some Springer fibers and their relation to Kazhdan–Lusztig theory.Adv. Math., 178(2):244–276, 2003. 6, 7, 10, 17

    2003

  6. [14]

    Goldwasser, M

    T. Goldwasser, M. Nadeem, G. Sun, and J. Tymoczko. Cell closures for two-row Springer fibers via noncrossing matchings. InAdvances in the mathematical sciences, volume 38 ofAssoc. Women Math. Ser., pages 31–81. Springer, Cham, [2025]©2025. 6

    2025

  7. [15]

    J. J. Güemes. On the homology classes for the components of some fibres of Springer’s resolution.Astérisque, (173-174):10, 257–269, 1989. 2, 6, 10

    1989

  8. [16]

    R. Hotta. On Joseph’s construction of Weyl group representations.Tohoku Math. J. (2), 36(1):49–74, 1984. 2, 15

    1984

  9. [17]

    A. Joseph. On the variety of a highest weight module.J. Algebra, 88(1):238–278, 1984. 2, 6, 11 28 HUNTER SPINK AND V ASU TEW ARI

    1984

  10. [18]

    A. Joseph. On the characteristic polynomials of orbital varieties.Ann. Sci. École Norm. Sup. (4), 22(4):569–603,

  11. [19]

    S. N. Karp and M. E. Precup. Richardson tableaux and components of Springer fibers equal to Richardson varieties, 2025, arXiv:2506.20792. 6, 10

    2025 arXiv

  12. [20]

    Knutson and P

    A. Knutson and P. Zinn-Justin. The Brauer loop scheme and orbital varieties.J. Geom. Phys., 78:80–110, 2014. 2, 3, 6, 11

    2014

  13. [21]

    Kostant and S

    B. Kostant and S. Kumar. The nil Hecke ring and cohomology ofG/Pfor a Kac-Moody groupG.Adv. in Math., 62(3):187–237, 1986. 9

    1986

  14. [22]

    Lascoux and M.-P

    A. Lascoux and M.-P. Schützenberger. Polynômes de Schubert.C. R. Acad. Sci. Paris Sér. I Math., 294(13):447– 450, 1982. 5, 8

    1982

  15. [23]

    Miller and B

    E. Miller and B. Sturmfels.Combinatorial commutative algebra, volume 227 ofGraduate Texts in Mathematics. Springer-Verlag, New York, 2005. 11, 16

    2005

  16. [24]

    Nadeau, H

    P. Nadeau, H. Spink, and V. Tewari. The geometry of quasisymmetric coinvariants, 2024, arXiv:2410.12643. 3, 8, 27

    2024 arXiv

  17. [25]

    Nadeau, H

    P. Nadeau, H. Spink, and V. Tewari. Quasisymmetric divided differences, 2024, arXiv:2406.01510. 7

    2024

  18. [26]

    Postnikov and R

    A. Postnikov and R. P. Stanley. Chains in the Bruhat order.J. Algebraic Combin., 29(2):133–174, 2009. 2, 5, 9

    2009

  19. [27]

    personal communication

    Martha Precup. personal communication. 2, 4, 13

  20. [28]

    B. Rhoades. The polytabloid basis expands positively into the web basis.Forum Math. Sigma, 7:Paper No. e26, 8 pp., 2019. 3, 7, 20

    2019

  21. [29]

    Rhoades, T

    B. Rhoades, T. Yu, and Z. Zhao. Harmonic bases for generalized coinvariant algebras.Electron. J. Combin., 27(4):Paper No. 4.16, 23, 2020. 4, 14

    2020

  22. [30]

    Rimányi, V

    R. Rimányi, V. Tarasov, A. Varchenko, and P. Zinn-Justin. Extended Joseph polynomials, quantized conformal blocks, and aq-Selberg type integral.J. Geom. Phys., 62(11):2188–2207, 2012. 2, 3, 6, 7, 11, 18

    2012

  23. [31]

    H. M. Russell and J. S. Tymoczko. The transition matrix between the Specht and web bases is unipotent with additional vanishing entries.Int. Math. Res. Not. IMRN, (5):1479–1502, 2019. 7

    2019

  24. [32]

    Sabando-Alvarez and M

    C. Sabando-Alvarez and M. Precup. Ideals defining components of two-row Springer fibers, 2026, arXiv:2606.07507. 2, 7, 10, 17, 21, 22, 24, 25

    2026 arXiv

  25. [33]

    B. E. Sagan.The symmetric group, volume 203 ofGraduate Texts in Mathematics. Springer-Verlag, New York, second edition, 2001. Representations, combinatorial algorithms, and symmetric functions. 12

    2001

  26. [34]

    Spaltenstein

    N. Spaltenstein. The fixed point set of a unipotent transformation on the flag manifold.Indag. Math., 38(5):452– 456, 1976. Nederl. Akad. Wetensch. Proc. Ser. A79. 1, 10, 14

    1976

  27. [35]

    Spaltenstein

    N. Spaltenstein. On the fixed point set of a unipotent element on the variety of Borel subgroups.Topology, 16(2):203–204, 1977. 10, 11, 14

    1977

  28. [36]

    W. Specht. Die irreduziblen Darstellungen der symmetrischen Gruppe.Math. Z., 39(1):696–711, 1935. 12

    1935

  29. [37]

    Spink and V

    H. Spink and V. Tewari. Richardson tableaux and Schubert positivity, 2025, arXiv:2510.12391. 2, 6, 7

    2025 arXiv

  30. [38]

    Alge- braic groups and their representations

    T. A. Springer. Open problems in algebraic groups, page 20. Taniguchi Foundation, 1983. conference on “Alge- braic groups and their representations” held at Katata, aug 29–sep 3, 1983. 2, 6

    1983

  31. [39]

    Steinberg

    R. Steinberg. An occurrence of the Robinson-Schensted correspondence.Journal of Algebra, 113(2):523–528,

  32. [40]

    Stroppel and B

    C. Stroppel and B. Webster. 2-block Springer fibers: convolution algebras and coherent sheaves.Comment. Math. Helv., 87(2):477–520, 2012. 6, 7, 10, 17, 18, 19

    2012

  33. [41]

    Tanisaki

    T. Tanisaki. Defining ideals of the closures of the conjugacy classes and representations of the Weyl groups. Tohoku Math. J. (2), 34(4):575–585, 1982. 13, 14 TWO-ROW SPRINGER FIBER COMPONENTS 29

    1982

  34. [42]

    M. A. A. van Leeuwen. Flag varieties and interpretations of Young tableau algorithms.J. Algebra, 224(2):397– 426, 2000. 10

    2000

  35. [43]

    B. J. Wyser. Schubert calculus of Richardson varieties stable under spherical Levi subgroups.J. Algebraic Com- bin., 38(4):829–850, 2013. 3, 12 Department of Mathematics, University of Toronto, Toronto, ON M5S 2E4, Canada Email address:hunter.spink@utoronto.ca Department of Ma...

    2013

Pith tools

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