pith. sign in

arxiv: 2604.27527 · v1 · submitted 2026-04-30 · 🧮 math.AG · math.CO

Torus Equivariant Cohomology for the Delta-Springer Fiber

Raymond Chou This is my paper

Pith reviewed 2026-05-07 08:14 UTC · model grok-4.3

classification 🧮 math.AG math.CO
keywords Delta-Springer varietiestorus equivariant cohomologyorbit harmonicsBorel presentationSpringer fibersalgebraic geometryequivariant cohomology
0
0 comments X

The pith

A torus U inside (ℂ^×)^K acts on Δ-Springer varieties and their U-equivariant cohomology admits an explicit Borel-style presentation.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper defines a torus subgroup U inside a larger torus T that acts on the Δ-Springer varieties Y_{n,λ,s} introduced by Griffin-Levinson-Woo. It then produces a presentation of the equivariant cohomology ring H^*_U(Y_{n,λ,s}) in the style of Borel, meaning generators and relations that describe the ring explicitly. The presentation is derived by applying the orbit harmonics deformation technique together with earlier techniques from related papers on similar varieties. A sympathetic reader would care because such presentations often turn geometric invariants into concrete algebraic objects that can be computed or compared with combinatorial data.

Core claim

The authors define a torus U ⊂ T = (ℂ^×)^K which acts on the Δ-Springer varieties Y_{n,λ,s}. They give a Borel-style presentation for the equivariant cohomology ring H^*_U(Y_{n,λ,s}) that arises from the orbit harmonics deformation technique and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.

What carries the argument

The orbit harmonics deformation technique applied to the chosen torus action on the Δ-Springer varieties Y_{n,λ,s}, which deforms the ordinary cohomology into an equivariant version and produces explicit generators and relations.

Load-bearing premise

That the orbit harmonics deformation combined with the cited prior methods yields a valid presentation for this specific torus action without hidden relations or failures of freeness.

What would settle it

Direct computation of the actual U-equivariant cohomology ring for small values of n, λ, s via fixed-point localization, followed by checking whether the ring matches the proposed generators-and-relations presentation in rank or Hilbert series.

read the original abstract

We define a torus $U \subset T = (\mathbb{C}^\times)^K$ which acts on the $\Delta$-Springer varieties $Y_{n,\lambda,s}$ defined by Griffin-Levinson-Woo and give a Borel-style presentation for the equivariant cohomology ring $H^*_U(Y_{n,\lambda,s})$. Our presentation arises from the orbit harmonics deformation technique, and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

2 major / 3 minor

Summary. The paper defines a torus U ⊂ T = (ℂ^×)^K which acts on the Δ-Springer varieties Y_{n,λ,s} defined by Griffin-Levinson-Woo and gives a Borel-style presentation for the equivariant cohomology ring H^*_U(Y_{n,λ,s}). The presentation arises from the orbit harmonics deformation technique, and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.

Significance. If the result holds, it provides an explicit algebraic model for the torus-equivariant cohomology of these varieties, which may facilitate computations and further study in algebraic geometry and combinatorics. The application of orbit harmonics to this setting extends previous results and could have implications for understanding the topology of singular varieties with torus actions.

major comments (2)
  1. [§4] §4 (Main Theorem and orbit harmonics construction): The claim that the quotient by the deformed ideal equals H^*_U(Y_{n,λ,s}) relies on the orbit harmonics technique producing no extra relations and preserving freeness over the polynomial ring on the Lie algebra of U. Because the Δ-Springer varieties are singular, the standard freeness and formality arguments from the cited works of Chou-Matsumura-Rhoades and Abe-Horiguchi do not apply automatically; the manuscript must supply an explicit verification that the deformed ideal coincides with the kernel of the restriction map to the fixed-point set (or Borel construction).
  2. [§3.1] §3.1 (Definition of the torus U): The specific subtorus U is load-bearing for the entire presentation, yet the text does not clearly establish that the chosen U preserves the variety Y_{n,λ,s} or that its fixed-point data is compatible with the deformation. An explicit description of the weights or the embedding U ⊂ T, together with a check that the action is well-defined on the singular locus, is required.
minor comments (3)
  1. [Introduction] The introduction should recall the precise definition of the parameters n, λ, s and the ambient space in which Y_{n,λ,s} lives before stating the main result.
  2. [§2] Notation for the big torus T = (ℂ^×)^K is introduced in the abstract but the integer K is not defined until later; moving this definition forward would improve readability.
  3. [§4] In the statement of the main theorem, the precise generators and relations of the presented ring should be written out explicitly rather than left in schematic form.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their careful reading and constructive comments on our manuscript. We address the two major comments point by point below, indicating the revisions we will make to strengthen the presentation.

read point-by-point responses

  1. Referee: [§4] §4 (Main Theorem and orbit harmonics construction): The claim that the quotient by the deformed ideal equals H^*_U(Y_{n,λ,s}) relies on the orbit harmonics technique producing no extra relations and preserving freeness over the polynomial ring on the Lie algebra of U. Because the Δ-Springer varieties are singular, the standard freeness and formality arguments from the cited works of Chou-Matsumura-Rhoades and Abe-Horiguchi do not apply automatically; the manuscript must supply an explicit verification that the deformed ideal coincides with the kernel of the restriction map to the fixed-point set (or Borel construction).

    Authors: We agree that the singularity of the Δ-Springer varieties requires an explicit verification that goes beyond the standard arguments in the cited works. Our orbit harmonics construction in §4 is designed for this singular setting and uses the explicit fixed-point data to identify the kernel of the restriction map. To make the argument fully rigorous, we will add a new subsection in the revised §4 that directly computes the kernel of the restriction map to the fixed-point set, verifies that it equals the deformed ideal (showing no extra relations arise), and confirms freeness over the polynomial ring on the Lie algebra of U by exhibiting an explicit graded basis. revision: yes

  2. Referee: [§3.1] §3.1 (Definition of the torus U): The specific subtorus U is load-bearing for the entire presentation, yet the text does not clearly establish that the chosen U preserves the variety Y_{n,λ,s} or that its fixed-point data is compatible with the deformation. An explicit description of the weights or the embedding U ⊂ T, together with a check that the action is well-defined on the singular locus, is required.

    Authors: The subtorus U is introduced in §3.1 via its Lie algebra, consisting of those weight vectors in the Lie algebra of T that annihilate the ideal defining Y_{n,λ,s}. The embedding U ⊂ T is given by the corresponding one-parameter subgroups. To address the concern directly, we will revise §3.1 to include an explicit list of the weights on the coordinate generators, together with a short proposition verifying that the action preserves the defining ideal (including at points of the singular locus) by direct substitution into the generators. We will also note that the U-fixed points coincide with the T-fixed points (restricted to the relevant components), ensuring compatibility with the subsequent deformation. revision: partial

Circularity Check

0 steps flagged

No significant circularity; derivation applies prior techniques to new setting without self-referential reduction

full rationale

The abstract states that the Borel-style presentation 'arises from the orbit harmonics deformation technique, and uses methods of Chou-Matsumura-Rhoades and Abe-Horiguchi.' No equations or explicit steps are provided in the visible text that reduce the claimed presentation to a fitted parameter, self-definition, or unverified self-citation chain. The self-citation to Chou-Matsumura-Rhoades (overlapping authorship) is an application of prior methods rather than a load-bearing justification that collapses the new result into its own inputs by construction. The paper presents an extension to the Δ-Springer varieties Y_{n,λ,s} with a specific torus U, which is externally falsifiable via direct computation of the cohomology ring or fixed-point data. This qualifies as a normal, non-circular use of cited techniques. No steps meet the criteria for quoting a specific reduction (e.g., Eq. X defined as Y where Y is the output).

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 1 invented entities

The claim rests on the prior definition of the Δ-Springer varieties Y_{n,λ,s} by Griffin-Levinson-Woo and on the applicability of the orbit harmonics technique from earlier papers by the author group; no new free parameters or invented entities beyond the torus U are introduced in the abstract.

axioms (1)
  • domain assumption The Δ-Springer varieties Y_{n,λ,s} are as previously defined by Griffin-Levinson-Woo.
    The paper takes this definition as given and builds the torus action and cohomology presentation on top of it.
invented entities (1)
  • Torus U ⊂ T = (ℂ^×)^K no independent evidence
    purpose: To act on the Δ-Springer varieties so that an equivariant cohomology ring can be defined and presented.
    The torus is defined in the paper to enable the Borel-style presentation; no independent evidence outside the construction is supplied in the abstract.

pith-pipeline@v0.9.0 · 5361 in / 1376 out tokens · 61439 ms · 2026-05-07T08:14:43.663149+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Reference graph

Works this paper leans on

16 extracted references · 16 canonical work pages

  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

    work page 2016

  2. [2]

    Cambridge University Press, 2025

    David Anderson and William Fulton.Equivariant Cohomology in Algebraic Geometry. Cambridge University Press, 2025

    work page 2025

  3. [3]

    Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts.Annals of Mathematics, 57(1):115–207, 1953

    Armand Borel. Sur la cohomologie des espaces fibr´ es principaux et des espaces homog` enes de groupes de Lie compacts.Annals of Mathematics, 57(1):115–207, 1953

    work page 1953

  4. [4]

    The Topological Schur lemma and related results.Annals of Mathematics, 100(2):307–321, 1974

    Theodore Chang and Tor Skjelbred. The Topological Schur lemma and related results.Annals of Mathematics, 100(2):307–321, 1974

    work page 1974

  5. [5]

    Equivariant cohomology of grassmannian spanning lines, 2024

    Raymond Chou, Tomoo Matsumura, and Brendon Rhoades. Equivariant cohomology of grassmannian spanning lines, 2024. arXiv:2410.02105v2 [math.CO], version of December 7, 2024

    work page arXiv 2024

  6. [6]

    Garsia and Claudio Procesi

    Adriano M. Garsia and Claudio Procesi. On certain gradedS n-modules and theq-Kostka polynomials.Advances in Mathematics, 94(1):82–138, 1992

    work page 1992

  7. [7]

    Equivariant cohomology, koszul duality, and the localization theorem.Inventiones Mathematicae, 131(1):25–83, 1998

    Mark Goresky, Robert Kottwitz, and Robert MacPherson. Equivariant cohomology, koszul duality, and the localization theorem.Inventiones Mathematicae, 131(1):25–83, 1998

    work page 1998

  8. [8]

    On the spectrum of the equivariant cohomology ring.Canadian Journal of Mathematics, 62(2):262–283, 2010

    Mark Goresky and Robert MacPherson. On the spectrum of the equivariant cohomology ring.Canadian Journal of Mathematics, 62(2):262–283, 2010

    work page 2010

  9. [9]

    Sean T. Griffin. Ordered set partitions, garsia–procesi modules, and rank varieties.Transactions of the American Mathematical Society, 374(4):2609–2660, 2021

    work page 2021

  10. [10]

    Griffin, Jake Levinson, and Alexander Woo

    Sean T. Griffin, Jake Levinson, and Alexander Woo. Springer fibers and the delta conjecture att= 0.Advances in Mathematics, 439:109491, 2024. TORUS EQUIVARIANT COHOMOLOGY FOR THE ∆-SPRINGER FIBER 21

    work page 2024

  11. [11]

    Ordered set partitions, generalized coinvariant alge- bras, and the delta conjecture.Advances in Mathematics, 329:851–915, 2018

    James Haglund, Brendon Rhoades, and Mark Shimozono. Ordered set partitions, generalized coinvariant alge- bras, and the delta conjecture.Advances in Mathematics, 329:851–915, 2018

    work page 2018

  12. [12]

    The equivariant cohomology rings of Peterson varieties in all Lie types.Canadian Mathematical Bulletin, 58(1):80–90, 2015

    Megumi Harada, Tatsuya Horiguchi, and Mikiya Masuda. The equivariant cohomology rings of Peterson varieties in all Lie types.Canadian Mathematical Bulletin, 58(1):80–90, 2015

    work page 2015

  13. [13]

    An algebro-geometric realization of equivariant cohomology of some springer fibers.Journal of Algebra, 368:70–74, 2012

    Shrawan Kumar and Claudio Procesi. An algebro-geometric realization of equivariant cohomology of some springer fibers.Journal of Algebra, 368:70–74, 2012

    work page 2012

  14. [14]

    A flag variety for the Delta conjecture.Transactions of the American Mathematical Society, 372(11):8195–8248, 2019

    Brendan Pawlowski and Brendon Rhoades. A flag variety for the Delta conjecture.Transactions of the American Mathematical Society, 372(11):8195–8248, 2019

    work page 2019

  15. [15]

    An equivariant basis for the cohomology of springer fibers.Transactions of the American Mathematical Society, Series B, 8(17):481–509, 2021

    Martha Precup and Edward Richmond. An equivariant basis for the cohomology of springer fibers.Transactions of the American Mathematical Society, Series B, 8(17):481–509, 2021

    work page 2021

  16. [16]

    Defining ideals of the closures of the conjugacy classes and representations of the Weyl groups.Tohoku Mathematical Journal, 34(4):575–585, 1982

    Toshiyuki Tanisaki. Defining ideals of the closures of the conjugacy classes and representations of the Weyl groups.Tohoku Mathematical Journal, 34(4):575–585, 1982. Email address:r2chou@ucsd.edu

    work page 1982