Pith. sign in

REVIEW 3 major objections 3 minor 23 references

For cotangent representations of reductive groups, Hall induction lands in a torsion-free equivariant Borel–Moore homology module, so restriction to the fixed point is injective; in K-theory the image satisfies wheel-type divisibility condi

Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →

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

T0 review · deepseek-v4-flash

2026-08-03 13:08 UTC pith:3KGXMPAX

load-bearing objection Extends quiver CoHA results to cotangent representations, but the main torsion-freeness theorem should be read as conditional on unproved purity assumptions. the 3 major comments →

arxiv 2601.00124 v4 pith:3KGXMPAX submitted 2025-12-31 math.RT math.AG

Hall induction for cotangent representations and wheel conditions

Danil Gubarevich This is my paper
classification math.RT math.AG MSC 14F0814F4316G2020G05
keywords Hall inductioncotangent representationBorel-Moore homologytorsion freenesswheel conditionsK-theoretic Hall algebravanishing cyclesmoment map
verification ladder T0 review T1 audit T2 compute T3 formal T4 reserved

The pith

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

This paper proves that for a cotangent representation of a complex reductive group, the Hall induction maps built from vanishing cycles and dimensional reduction land in a module over the equivariant cohomology of the acting group that is torsion free, provided an auxiliary torus with two specified weight directions is present. Equivalently, the restriction map from the Borel–Moore homology of the moment-map zero fiber to the equivariant cohomology of a fixed point is injective. A direct corollary is that this homology is concentrated in even degrees. In K-theory, the paper establishes a complementary statement: the image of the restriction map is contained in a Weyl-symmetric intersection of ideals generated by factors of the form 1 minus a line character, yielding a wheel condition that generalizes the known one-loop-quiver case. The upshot, if the theorem holds, is that Hall induction for arbitrary reductive-group representations admits the same kind of explicit symmetric-polynomial description that quiver cohomological Hall algebras enjoy.

Core claim

The central claim is Theorem 5.4: under three assumptions on an auxiliary torus T^s — it acts on T^*V×g preserving μ^{-1}_V(0), it commutes with G, and it contains subtori C^*_1, C^*_2 acting with weights (1,−1,0) and (1,0,−1) — the H_{G×T^s}-module H^{BM}_{G×T^s}(μ^{-1}_V(0),Q) is torsion free. This is equivalent to injectivity of the restriction map to the fixed point. The proof reduces torsion-freeness to freeness over the cohomology ring of C^*_2 via torus localization, and that freeness is obtained from a spectral sequence whose degeneration is supplied by a cited purity statement for the equivariant Borel–Moore homology of the zero fiber. Corollary 5.7, that the module is concentrated

What carries the argument

The central object is the Hall induction map Ind^λ_ν, defined whenever λ⪯ν: it composes pullbacks, vanishing-cycle restriction and extension, and proper pushforward to map H^{BM}_{L_λ}(μ^{-1}_λ(0),Q)[d_λ+2l_λ] to H^{BM}_{L_ν}(μ^{-1}_ν(0),Q)[d_ν+2l_ν], with dimensional reduction translating vanishing-cycle cohomology of T^*V×g into Borel–Moore homology of the moment-map zero fiber. The torsion-freeness proof is carried by the auxiliary torus T^s, whose subtori C^*_1 and C^*_2 with weights (1,−1,0) and (1,0,−1) make the fixed locus a point and permit localization; the module is then shown free over the cohomology ring of C^*_2. In K-theory the operative mechanism is the base-change computation

Load-bearing premise

The proof of the torsion-freeness theorem delegates the degeneration of its key spectral sequence to a cited purity theorem for equivariant Borel–Moore homology, and if that purity statement does not cover the present class of reductive-group representations, the freeness over the subtorus cohomology and hence the entire theorem may fail.

What would settle it

Run the spectral sequence (5.3) on a cotangent representation whose zero fiber is not known to satisfy the cited purity condition; any non-zero differential on the E_2 page would produce an element annihilated by a non-zero equivariant class, i.e. torsion, directly contradicting Theorem 5.4.

Watch this falsifier — get emailed when new claim-graph text bears on it.

If this is right

  • For every representation satisfying the torus hypotheses, Hall induction is an embedding into a torsion-free equivariant module, giving a concrete realization of the zero-fiber homology as a subspace of symmetric polynomials.
  • The Borel–Moore homology of μ^{-1}_V(0) is concentrated in even homological degrees, producing a parity collapse for the entire induction ladder.
  • In K-theory, the image of the restriction map obeys explicit wheel divisibility: any image class vanishes when both a line character and its paired dual-line character equal 1, for every Cartesian pair in the statement.
  • For the adjoint representation of GL_n the wheel conditions recover the one-loop-quiver preprojective conditions, and for SL_2 symmetric powers the theorem yields three explicit families of ideals.
  • The torsion-freeness statement permits computations of Hall induction on the fixed-point side via the localization isomorphism, rather than directly on the singular zero fiber.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The containment in Theorem 6.2 is stated as an inclusion; the worked examples suggest that for adjoint representations and SL_2 symmetric powers the intersection of ideals may describe the image exactly, which would give a complete shuffle-algebra presentation of the K-theoretic Hall algebra of cotangent representations.
  • The purity input in Lemma 5.5 is used only to force a spectral sequence to degenerate; if degeneration could be obtained from a weaker vanishing statement, Theorem 5.4 would extend beyond the cited purity setting, including singular quotient stacks.
  • For the additive character stacks of genus g, the wheel conditions impose divisibility on K-theory classes of G-local systems on Riemann surfaces; testing sharpness for small rank could connect these conditions to known generators of character-variety K-theory.
  • The even-degree concentration of the homology suggests a possible motivic refinement: if the Hall induction maps split on graded pieces, the structure might be upgraded to a categorical statement rather than a numeric one.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper studies the cotangent stack T*(V/G) for a complex reductive group G and a finite-dimensional representation V. It constructs, following Kontsevich--Soibelman and Davison, a Hall induction map between Borel--Moore homology groups of the zero loci of moment maps associated to cocharacters, using equivariant dimensional reduction and critical vanishing cycles. The main homological result, Theorem 5.4, asserts that, under assumptions on an auxiliary torus T^s, the H_{G×T^s}-module H^BM_{G×T^s}(μ_V^{-1}(0),Q) is torsion free, equivalently that the restriction to the fixed point is an embedding. The proof relies on Lemma 5.5, whose proof cites a purity result of Hennecart and a theorem of Davison. In K-theory, Theorem 6.2 gives wheel-type divisibility conditions for the image of the restriction map to a fixed point, with applications to adjoint representations and to irreducible representations of SL_2(C).

Significance. If the proofs are completed, Theorem 5.4 would extend the Schiffmann--Vasserot and Davison embedding results for preprojective CoHA of quivers to arbitrary cotangent representations of reductive groups, giving a torsion-free equivariant-homology realization of Hall induction. Theorem 6.2 is a useful K-theoretic analog of wheel conditions outside the quiver setting, and the examples are informative. The paper is clearly written and exhibits the expected functorial structures. However, the central homological claim depends on cited purity statements whose hypotheses are not verified in the present setting, so the current proofs are conditional rather than complete.

major comments (3)
  1. [§5.1, Lemma 5.5 and Eq. (5.3)] The proof asserts that the right-hand side of (5.3) is pure, citing [H25a, Corollary 1.11] and [D22, Lemma 9.5], and concludes that the Leray spectral sequence degenerates at E2. But [H25a, Corollary 1.11] is a result for symmetric quotient stacks, and the manuscript does not verify that μ_V^{-1}(0)/G, or the fiber varieties Y'_{λ,N} appearing in (5.3), satisfy the hypotheses of that corollary for arbitrary reductive G and arbitrary representation V. It also does not explain how purity of H^BM_G(μ_V^{-1}(0),Q) propagates to the specific fiber cohomology groups in (5.3). Without this verification, the freeness of H^BM_{G×T^s}(μ_V^{-1}(0),Q) as a k_2-module is unsupported, and the subsequent localization argument in Theorem 5.4 cannot exclude S-torsion. This is load-bearing, and the author's own acknowledgement of a prior inaccuracy in the proof of Theorem 5.4 underscores the sensitivity o
  2. [§5.1, proof of Theorem 5.4 after Lemma 5.5] After Lemma 5.5, the proof reduces the torsion check to the locus bN = {(x,a) ∈ V×N : a.x = 0} by citing 'the argument in [SV22, Proposition 5.2]' for an isomorphism of localized pushforward maps. The statement and hypotheses of [SV22, Proposition 5.2] are not recorded, and the manuscript does not explain why that proposition applies to the present class of cotangent representations. This reduction is essential for the subsequent stratification by nilpotent orbits and for the final S-torsion-freeness, so the proof is incomplete at this point as written.
  3. [§6.2, proof of Theorem 6.2] The K-theoretic containment is derived from the chain j^* = i_0^* p^* = v_0^* i_V^* p^* = v_0^* p'_* i_V^! and the computation v_0^* p'_*[O_l] = 1 - χ_l^{-1}. The computation is plausible, but the manuscript does not justify that the square in the diagram is Cartesian as a scheme-theoretic fiber product: the condition that l⊕l' intersects μ_V^{-1}(0) in l∪l' does not by itself rule out embedded components or non-reduced structure. If the square is not Cartesian, the base-change identity f^* g_* = g'_* f^! cannot be applied. Theorem 6.2 should either state the scheme-theoretic hypothesis explicitly or prove the required fiber-product statement for the pairs of lines used in the examples.
minor comments (3)
  1. [§2.2, final paragraph] The module structure of H^BM(X/G,Q) over H(BG,Q) is stated in a way that conflates the general construction with the smooth case. For singular X, such as μ_V^{-1}(0), the module structure used in Theorem 5.4 should be defined explicitly.
  2. [§6.2] Typos and small errors: 'embbedding' should be 'embedding'; 'a pont' in §2.3 should be 'a point'; the reference [RSYZ20] has an incomplete year '202'.
  3. [§4.4, Lemma 4.7] The proof of associativity is only 'This is proven the same way as in [KS11]'. Given that the induction map is defined as a composition of five nontrivial steps, a precise reference or a few words explaining which compatibilities are used would improve the exposition.

Circularity Check

0 steps flagged

No significant circularity: the paper's main theorems are proved from explicit hypotheses and external third-party results; there are no fitted parameters, no self-citation chains, and no step where the conclusion is assumed as an input.

full rationale

The derivation chain in this paper is self-contained in the relevant sense. The core construction (Section 4) adapts the Kontsevich–Soibelman CoHA multiplication from [KS11] and the dimensional reduction from [D16]; these are external references, not the author's own prior work, and the induction map is explicitly written as a composition of defined functorial maps. Theorem 5.4's proof uses Lemma 5.5, whose proof invokes purity of H^BM_G(mu_V^{-1}(0),Q) from [H25a, Corollary 1.11] and arguments from [D22, Theorem 9.6]. This is an external, independently stated theorem, not a result of the present paper, and the torsion-freeness conclusion is not the same as that purity; there is no equation in which the target result is substituted into its own premise. The K-theoretic wheel conditions (Theorem 6.2) are proved directly by base change and explicit local resolutions (v_0^*p'_*[O_l] = 1 - chi_l^{-1}), not by quoting the known one-loop quiver result; the latter is only recovered as an example. There are no self-citations by the author. The acknowledgement that Ben Davison pointed out an inaccuracy in an earlier proof of Theorem 5.4 flags a proof-sensitivity concern, but a correctness risk is not circularity: the current text cites external theorems and states its hypotheses explicitly. Thus no circular step can be exhibited, and the appropriate score is 0.

Axiom & Free-Parameter Ledger

0 free parameters · 6 axioms · 0 invented entities

The paper contributes no free parameters or invented entities. The main premises are the explicit torus hypothesis and the applicability of external theorems: purity [H25a], dimensional reduction [D16], Atiyah-Bott localization [GKM], Deligne purity [DIII], and K-theoretic base change [Z]. The most load-bearing and least checked is the purity premise in Lemma 5.5.

axioms (6)
  • domain assumption Purity of H^BM_G(μ^{-1}_V(0),Q) cited as [H25a, Corollary 1.11]
    Load-bearing in Lemma 5.5; implies degeneration of the Leray spectral sequence. The paper does not verify its hypotheses for general reductive G-representations.
  • standard math Dimensional reduction isomorphism [D16, Theorem A.1 / Corollary A.9]
    Used to identify vanishing-cycle cohomology with Borel-Moore homology of μ^{-1}_V(0). A proven external theorem.
  • standard math Atiyah-Bott localization [GKM, Theorem 6.2(3)]
    Used in the proof of Theorem 5.4 to localize to the fixed locus and establish S-torsion-freeness.
  • domain assumption Existence of subtori C*_1, C*_2 with weights (1,-1,0) and (1,0,-1) in T^s
    Explicit hypothesis for Theorem 5.4; the proof uses C*_1 for localization and C*_2 for freeness, so the theorem is conditional on this action.
  • standard math Deligne's purity of Borel-Moore homology of orbits [DIII, Théorème 9.1.1]
    Used in Lemma 5.6 to split long exact sequences and reduce the torsion check to stabilizer tori.
  • standard math K-theoretic base change [Z, Lemma 2.5]
    Used in the proof of Theorem 6.2 to rewrite the restriction map in terms of pullbacks/pushforwards in the Cartesian square.

pith-pipeline@v1.3.0-alltime-deepseek · 23732 in / 14885 out tokens · 139802 ms · 2026-08-03T13:08:16.680213+00:00 · methodology

0 comments
read the original abstract

In this short note we study the Hall induction of cotangent representations of reductive groups. We prove its torsion freeness in Borel-Moore homology. In K-theory we find an analog of wheel conditions verified by the image of restriction map to the fixed point and consider examples.

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

23 extracted references · 3 canonical work pages

  1. [1]

    Pramod N. Achar . Perverse Sheaves and Applications to Representation Theory , (2021)

    2021

  2. [2]

    Representation theory and complex geometry , Springer Science and Business Media, 2009

    Neil Chriss and Victor Ginzburg . Representation theory and complex geometry , Springer Science and Business Media, 2009

    2009

  3. [3]

    David. H. Collingwood, William. M. McGovern . Nilpotent Orbits In Semisimple Lie Algebra , (1993). https://doi.org/10.1201/9780203745809 https://doi.org/10.1201/9780203745809

    work page doi:10.1201/9780203745809 1993

  4. [4]

    B. Davison . The critical CoHA of a quiver with potential , (2016). https://arxiv.org/abs/1311.7172 https://arxiv.org/abs/1311.7172

    Pith/arXiv arXiv 2016

  5. [5]

    B. Davison . The integrality conjecture and the cohomology of preprojective stacks , (2022). https://arxiv.org/abs/1602.02110 https://arxiv.org/abs/1602.02110

    Pith/arXiv arXiv 2022

  6. [6]

    Affine BPS algebras, W algebras, and the cohomological Hall algebra of ^2 , (2025)

    B.Davison . Affine BPS algebras, W algebras, and the cohomological Hall algebra of ^2 , (2025). https://arxiv.org/abs/2209.05971 https://arxiv.org/abs/2209.05971

    Pith/arXiv arXiv 2025

  7. [7]

    P. Deligne . Théorie de Hodge : III , Publications Mathématiques de l'IHÉS, Tome 44 (1974), pp. 5-77

    1974

  8. [8]

    Sheaves in topology , Springer-Verlag (2004)

    Alexandru Dimca . Sheaves in topology , Springer-Verlag (2004)

    2004

  9. [9]

    Equivariant intersection theory

    Edidin, D., Graham, W. . Equivariant intersection theory. , Invent. Math. 131 (1998), 595-634

    1998

  10. [10]

    Goresky, R

    M. Goresky, R. Kottwitz, R. MacPherson . Equivariant cohomology, Koszul duality, and the localization theorem , Inv. Math. 131 (1998), 25-83

    1998

  11. [11]

    W. Graham . Positivity in equivariant Schubert calculus , (1999). https://arxiv.org/pdf/math/9908172 https://arxiv.org/pdf/math/9908172

    Pith/arXiv arXiv 1999

  12. [12]

    Hennecart

    L. Hennecart . Cohomological integrality for symmetric representations of reductive groups , (2025). 10.48550/arXiv.2406.09218 https://arxiv.org/abs/2406.09218

    work page doi:10.48550/arxiv.2406.09218 2025

  13. [13]

    Hennecart

    L. Hennecart . Cohomological integrality for symmetric quotient stacks , (2025). arXiv:2408.15786 https://arxiv.org/abs/2408.15786

    Pith/arXiv arXiv 2025

  14. [14]

    Adeel.A. Khan . Virtual fundamental classes of derived stacks I , (2019). https://doi.org/10.48550/arXiv.1909.01332 https://doi.org/10.48550/arXiv.1909.01332

    Pith/arXiv arXiv doi:10.48550/arxiv.1909.01332 2019

  15. [15]

    Kontsevich, Y

    M. Kontsevich, Y. Soibelmann . Cohomological Hall algebra, exponential Hodge structures and motivic Donaldson-Thomas invariants , ommunications in Number Theory and Physics, 5(2), 231–352

  16. [16]

    J.S. Milne . Algebraic groups , (2017). https://www.jmilne.org/math/Books/iAG2017.pdf https://www.jmilne.org/math/Books/iAG2017.pdf

    2017

  17. [17]

    A. Negut . Shuffle algebras for quivers and wheel conditions . https://arxiv.org/abs/2108.08779 https://arxiv.org/abs/2108.08779

    Pith/arXiv arXiv

  18. [18]

    Cohomological Hall algebras, vertex algebras and instantons , (202)

    Miroslav Rapcak, Yan Soibelman, Yaping Yang, Gufang Zhao . Cohomological Hall algebras, vertex algebras and instantons , (202). https://doi.org/10.1007/s00220-019-03575-5 https://doi.org/10.1007/s00220-019-03575-5

    work page doi:10.1007/s00220-019-03575-5

  19. [19]

    Schiffmann, E

    O. Schiffmann, E. Vasserot . On cohomological Hall algebras of quivers : generators . J. Reine Angew. Math. 760, 59-132 (2020)

    2020

  20. [20]

    Schiffmann, E

    O. Schiffmann, E. Vasserot . On cohomological Hall algebras of quivers : generators ,(2022). https://arxiv.org/abs/1705.07488 https://arxiv.org/abs/1705.07488

    Pith/arXiv arXiv 2022

  21. [21]

    The affine Yangian of _1 revisited , (2022)

    A.Tsymbaliuk . The affine Yangian of _1 revisited , (2022). https://arxiv.org/abs/1404.5240 https://arxiv.org/abs/1404.5240

    Pith/arXiv arXiv 2022

  22. [22]

    K-theoretic Hall algebras, quantum groups and super quantum groups , (2022)

    M.Varagnolo, E.Vasserot . K-theoretic Hall algebras, quantum groups and super quantum groups , (2022). https://arxiv.org/abs/2011.01203 https://arxiv.org/abs/2011.01203

    Pith/arXiv arXiv 2022

  23. [23]

    Y. Zhao . The Feigin-Odesskii Wheel Conditions and Sheaves on Surfaces . https://arxiv.org/pdf/1909.07870 https://arxiv.org/pdf/1909.07870

    Pith/arXiv arXiv 1909