Pith. sign in

REVIEW 2 major objections 4 minor 1 cited by

Nilpotent CoHAs of A² are commutative, unlike their noncommutative parent

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 · glm-5.2

2026-07-08 03:10 UTC pith:UDFQYQ7X

load-bearing objection Clean degree-counting proves nilpotent CoHAs of A² are commutative; one dependency in the seminilpotent case needs checking. the 2 major comments →

arxiv 2607.06512 v1 pith:UDFQYQ7X submitted 2026-07-07 math.RT math.AG

Commutativity of nilpotent cohomological Hall algebras of A²

Lucien Hennecart This is my paper
classification math.RT math.AG
keywords mathbfnilpotentalgebraalgebrascohasbracketcasecoha
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 two natural nilpotent variants of the cohomological Hall algebra (CoHA) of the affine plane A² are commutative algebras. The non-nilpotent CoHA of A² was previously shown to be governed by the Lie algebra W_{1+∞} of differential operators on C*, which is highly noncommutative. The author shows that imposing nilpotency conditions shifts the cohomological degrees of the underlying generators in such a way that a degree-counting argument forces every Lie bracket to vanish. Concretely, the Lie bracket on the affinized BPS Lie algebra is constrained by two independent structures: it is filtered with respect to the perverse filtration (giving an upper bound on the perverse degree of the output) and it is graded with respect to the cohomological degree (forcing the output to live in the same cohomological degree as the input). For the fully nilpotent case, the generators sit in cohomological degree 2, so a bracket of two elements in degrees 2+2m and 2+2n produces something in degree 4+2(m+n), while the perverse filtration constrains the target to degrees at most 2+2(m+n), which is strictly smaller, so the bracket is zero. For the seminilpotent case, the generators sit in degree 0, so the bracket source is in degree 2(m+n), and a stricter perverse filtration bound (relying on a separate result about the less perverse filtration) forces the target below 2(m+n), again killing the bracket. Both nilpotent BPS Lie algebras are thus identified with a free polynomial ring sQ[s,u] as an abelian Lie algebra, and the corresponding CoHAs are symmetric algebras. The paper also describes what happens when a one-dimensional torus C* acts on A² with weights +1 and -1 on the two coordinate axes: the equivariant nilpotent CoHAs become enveloping algebras of Rees Lie algebras built from specific filtrations on W_{1+∞}^+, providing a deformation that interpolates between the commutative non-equivariant nilpotent picture and the noncommutative non-nilpotent picture.

Core claim

The central mechanism is a degree obstruction: the Lie bracket on the affinized BPS Lie algebra must simultaneously respect a perverse filtration bound and preserve cohomological degree. When nilpotency conditions are imposed, the BPS sheaf restricts to a locus where its cohomological degree is shifted upward (to degree 2 for fully nilpotent, or the generators are concentrated in degree 0 for seminilpotent with the source bracket landing in degree 2(m+n)). In both cases, the cohomological degree of the bracket's source strictly exceeds the maximum cohomological degree allowed by the perverse filtration bound on the target. Since the bracket must be graded for cohomological degree, it has no容

What carries the argument

Affinized BPS Lie algebra; perverse filtration; cohomological degree grading; nilpotent and seminilpotent restrictions via Gysin pullback; Rees Lie algebra construction for the equivariant case; Milnor–Moore theorem over PIDs

Load-bearing premise

For the seminilpotent case, the proof relies on a separate result (co-authored by the present author) stating that the associated graded of the Lie bracket on the BPS Lie algebra with respect to the less perverse filtration vanishes, which yields a strict inequality k < m+n in the target degree bound. Without this strict inequality, the target would include cohomological degree 2(m+n), matching the source, and the degree-counting argument would fail. The fully nilpotent case,

What would settle it

If the strict perverse filtration bound k < m+n (rather than k ≤ m+n) were shown to fail for the seminilpotent restriction, the degree-counting obstruction would collapse and the bracket could be nonzero. More broadly, if a nonzero Lie bracket were found in either nilpotent BPS Lie algebra at any degree, the commutativity claim would be falsified.

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

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

2 major / 4 minor

Summary. The paper proves that both the fully nilpotent and seminilpotent cohomological Hall algebras (CoHAs) of $A^2$ are commutative, in contrast with the non-nilpotent CoHA of $A^2$ which is governed by the noncommutative Lie algebra $W_{1+infty}$. The proofs proceed via the Milnor--Moore theorem: the affinized BPS Lie algebras $hat g^{nil}_{A^2}$ and $hat g^{SN}_{A^2}$ are shown to be abelian by combining (i) the perverse filtration constraint on the Lie bracket with (ii) the cohomological degree constraints on the generators. The fully nilpotent case (Theorem 1.1) uses the standard perverse filtration bound $k le m+n$ together with the fact that $g^{nil}_{A^2}$ sits in cohomological degree 2. The seminilpotent case (Theorem 1.2) uses a strict inequality $k < m+n$ derived from [HJ26, Theorem 1.1] together with the fact that $g^{SN}_{A^2}$ sits in degree 0. The paper also describes the $C^*$-equivariant nilpotent CoHAs as enveloping algebras of Rees Lie algebras associated with filtrations on $W^+_{1+infty}$ (Theorem 1.3).

Significance. The main results are clean, surprising, and well-motivated: the contrast between the commutative nilpotent CoHAs and the noncommutative non-nilpotent CoHA of $A^2$ is a notable structural insight. The proofs of Theorems 1.1 and 1.3 are parameter-free degree-counting and Gysin-restriction arguments with each step justified. Theorem 1.3 provides a concrete, falsifiable description of the equivariant nilpotent CoHAs as Rees Lie algebras, and the appendix provides a self-contained Milnor--Moore theorem over PIDs. The paper relies on several results co-authored by the author ([HJ26], [Dav+26], [DHM22], [DHM23]), which is natural given the collaborative nature of the field but should be noted.

major comments (2)
  1. §4, Proof of Theorem 1.2: The strict inequality $k < m+n$ for the perverse filtration is the load-bearing step distinguishing the seminilpotent case from the nilpotent case. The proof derives this from [HJ26, Theorem 1.1], which concerns the *less perverse* filtration, not the perverse filtration. As the less perverse filtration is generally a coarsening of the perverse filtration (LP_i superset P_i), strictness for LP does not automatically imply strictness for P. The paper states that the bracket 'sends BPS_{A^2}[-2m] boxed BPS_{A^2}[-2n] to BPS_{A^2}[-2k] for k < m+n' without explicitly bridging this gap. Either (a) the two filtrations coincide on BPS_{A^2} otimes H^*_{C^*}(pt) cong oplus_m BPS_{A^2}[-2m] for the Jordan quiver, or (b) [HJ26, Theorem 1.1] directly addresses the perverse filtration. The author should clarify which case holds and provide the explicit justification. If (a
  2. the filtrations coincide, a one-sentence remark with a reference or argument would suffice. If (b), the citation should be corrected. Without this clarification, the proof of Theorem 1.2 has a gap that does not affect Theorem 1.1.
minor comments (4)
  1. §1.2.2: The Rees Lie algebra $RF^{nil}[W^+_{1+infty}]$ is defined as $oplus_{i ge 1} F^{nil}_{2i} t^i$, while $RF^{SN}[W^+_{1+infty}]$ is defined as $oplus_{i ge 0} F^{SN}_{2i} t^i$. The indexing difference ($i ge 1$ vs $i ge 0$) should be briefly motivated, as it affects the structure of the Rees algebra.
  2. §4, Proof of Theorem 1.3: The identification $Phi^{SN}(hbar^r p^{SN}_{d,a}) = -z^d D^a t^{a+r}$ is stated, but the role of the parameter $r$ (which appears to be a non-negative integer indexing the $H^*_{C^*}(pt)$-module structure) could be made more explicit for the reader.
  3. Appendix A, Proposition A.2: The proof uses that $Prim(A) otimes_R K to Prim(A otimes K)$ is injective with image consisting of primitive elements. The surjectivity onto $Prim(A otimes K)$ is implicitly claimed but not argued; a brief justification would strengthen the proof.
  4. The reference [Dav+26] appears as both a 2026 arXiv preprint and is cited for the factorization coproduct construction. The journal status of this reference should be updated if it has since been accepted.

Simulated Author's Rebuttal

1 responses · 0 unresolved

The referee raises one major comment concerning the proof of Theorem 1.2: the derivation of the strict inequality k < m+n for the perverse filtration from [HJ26, Theorem 1.1], which concerns the less perverse filtration. We agree this gap in the argument must be addressed and will revise the manuscript accordingly.

read point-by-point responses

  1. Referee: §4, Proof of Theorem 1.2: The strict inequality k < m+n for the perverse filtration is the load-bearing step distinguishing the seminilpotent case from the nilpotent case. The proof derives this from [HJ26, Theorem 1.1], which concerns the less perverse filtration, not the perverse filtration. As the less perverse filtration is generally a coarsening of the perverse filtration (LP_i superset P_i), strictness for LP does not automatically imply strictness for P. The paper states that the bracket 'sends BPS_{A^2}[-2m] boxed BPS_{A^2}[-2n] to BPS_{A^2}[-2k] for k < m+n' without explicitly bridging this gap. Either (a) the two filtrations coincide on BPS_{A^2} otimes H^*_{C^*}(pt) cong oplus_m BPS_{A^2}[-2m] for the Jordan quiver, or (b) [HJ26, Theorem 1.1] directly addresses the perverse filtration. The author should clarify which case holds and provide the explicit justification. If (a) [—

    Authors: The referee is correct that the argument as written contains a gap. The key point is that [HJ26, Theorem 1.1] concerns the less perverse filtration, and since LP_i ⊇ P_i, strictness for the less perverse filtration does not automatically imply strictness for the perverse filtration. We will revise the proof of Theorem 1.2 to bridge this gap explicitly. The correct justification is as follows. The Lie bracket on BPS_{A^2} ⊗ H^*_{C^*}(pt) respects the perverse filtration (as argued in the proof of Theorem 1.1). The associated graded of this bracket with respect to the less perverse filtration vanishes by [HJ26, Theorem 1.1], combined with the fact that the Lie bracket on BPS_{A^2} itself vanishes [Dav25, Proposition 7.3]. Since the perverse filtration refines the less perverse filtration, the vanishing of the associated graded for the coarser (less perverse) filtration implies the vanishing of the associated graded for the finer (perverse) filtration. Concretely: if the bracket sends P_m ⊗ P_n into LP_{<m+n} (which is what [HJ26, Theorem 1.1] gives, since the associated graded for LP vanishes), and since P_{<m+n} ⊆ LP_{<m+n}, we need the reverse containment. The correct argument is that the vanishing of the LP-associated graded means the bracket lands in LP_{m+n-1}, and since P_{m+n-1} = LP_{m+n-1} ∩ (the perverse truncation), we need to verify that the image actually lies in P_{m+n-1}. This follows because the bracket respects the perverse filtration (so the image lies in P_{≤m+n}) and simultaneously lies in LP_{<m+n} (by [HJ26, Theorem 1.1]), and the intersection P_{≤m+n} ∩ LP_{<m+n} = P_{<m+n} when the two filtrations are compatible in the standard way. We will add a detailed justification of this last step, including a reference to or proof of the compatibility of the revision: no

Circularity Check

0 steps flagged

No significant circularity; one self-citation is load-bearing for Theorem 1.2 but is not circular by construction

full rationale

The paper's central commutativity results (Theorems 1.1 and 1.2) follow from parameter-free degree-counting arguments. Theorem 1.1 uses only the standard perverse filtration bound (k ≤ m+n) combined with the cohomological degree offset of g^nil_{A²} (concentrated in degree 2), yielding source degree 4+2(m+n) > target degree ≤ 2+2(m+n). No fitted parameters or ansatz choices are involved. Theorem 1.2 relies on [HJ26, Theorem 1.1] (co-authored by the present author) for the strict inequality k < m+n on the perverse filtration. This is a self-citation, but it is not circular: [HJ26, Theorem 1.1] derives strictness from [Dav25, Proposition 7.3] (the vanishing of the BPS Lie bracket, an independent result by Davison), and the strict inequality is a structural property of the filtration, not a fit to the target commutativity claim. The degree-counting argument itself (source degree 2(m+n) vs. target degree < 2(m+n)) is a genuine mathematical deduction, not a renaming or definitional equivalence. The self-citation chain [HJ26] → [Dav25, Prop 7.3] provides independent mathematical content (the BPS Lie algebra of A² has trivial bracket, proven via cohomological integrality). Whether the transfer from the 'less perverse' to the 'perverse' filtration is fully justified for the Jordan quiver is a correctness concern, not a circularity concern. The paper is largely self-contained against external benchmarks, with the self-citation providing real independent support. Score 2 reflects one load-bearing self-citation that is not itself circular but whose applicability to the perverse filtration could benefit from explicit verification.

Axiom & Free-Parameter Ledger

0 free parameters · 5 axioms · 0 invented entities

No new entities are postulated. The paper works entirely with existing mathematical objects (commuting stacks, BPS sheaves, Lie algebras W_{1+∞}, Rees constructions).

axioms (5)
  • domain assumption The CoHA product on A_{A²} respects the perverse t-structure, hence the Lie bracket respects the perverse filtration.
    Section 4, first paragraph of Proof of Theorem 1.1. Stated as following from 'standard properties of t-structures' and the fact that the direct sum morphism is perverse t-exact. This is a standard result in the CoHA framework.
  • domain assumption The associated graded of the Lie bracket on BPS_{A²} ⊗ H*_{C*}(pt) with respect to the less perverse filtration vanishes.
    Proof of Theorem 1.2, citing [HJ26, Theorem 1.1]. This is the key input for the seminilpotent case, providing the strict inequality k < m+n. It is a theorem from a co-authored paper, not an axiom of the present paper, but it is an unproved background result the paper depends on.
  • domain assumption The cohomological integrality isomorphism and support lemma for the BPS sheaf hold for the nilpotent and seminilpotent restrictions.
    Sections 3.1 and 3.2, following [Dav22, Proposition 3.8] and [Dav23, Theorem D]. Used to identify primitive elements with the affinized BPS Lie algebra.
  • standard math The graded Milnor-Moore theorem applies to identify A_{A²} ≅ U(ĝ_{A²}) and its nilpotent variants.
    Sections 3.1, 3.2, and Appendix A. The PID version (Proposition A.2) is proved in the paper; the field version is standard.
  • domain assumption Davison's description of the non-nilpotent C*-equivariant affinized BPS Lie algebra as a Rees Lie algebra of a filtration on W^+_{1+∞}.
    Proof of Theorem 1.3, citing [Dav22, Theorem C]. Used as input to determine the structure constants of the bracket, which are then restricted via Gysin maps.

pith-pipeline@v1.1.0-glm · 18172 in / 5954 out tokens · 417732 ms · 2026-07-08T03:10:20.716567+00:00 · methodology

0 comments
read the original abstract

In this paper, we prove that both the seminilpotent and the fully nilpotent CoHAs of $\mathbf{A}^2$ are commutative. This is a surprising result in strong contrast with the CoHA of $\mathbf{A}^2$ without nilpotency conditions, previously studied by Davison, which is related to the Lie algebra $W_{1+\infty}$ of differential operators on $\mathbf{C}^*$. The latter is highly noncommutative. Our proof combines two constraints on the Lie bracket on the affinized BPS Lie algebra: it is filtered with respect to the perverse filtration and it is graded with respect to the cohomological degree. In the case of the Jordan quiver and nilpotent CoHAs, these constraints force the Lie bracket to vanish. We also describe the equivariant nilpotent CoHAs in the presence of the action of a one-dimensional torus rescaling the first coordinate of $\mathbf{A}^2$ with weight $1$ and the second with weight $-1$. In this case, one obtains enveloping algebras of Rees Lie algebras associated with the nilpotent and the seminilpotent filtrations on the Lie algebra $W_{1+\infty}^+$, reminiscent of the description of the equivariant non-nilpotent CoHA given by Davison.

discussion (0)

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

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. The loop-nilpotent cohomological Hall algebra

    math.RT 2026-07 conditional novelty 7.0

    Loop-nilpotent CoHAs of tripled quivers are isomorphic to an explicit integral shuffle algebra, yielding generators, Coulomb-branch surjections, BPS characterizations, and a new Kac-polynomial formula.

Reference graph

Works this paper leans on

4 extracted references · 4 canonical work pages · cited by 1 Pith paper · 2 internal anchors

  1. [1]

    Hecke operators on symplectic surfaces and $\chi$-independence

    [BSV20] Tristan Bozec, Olivier Schiffmann, and Eric Vasserot. “On the number of points of nilpotent quiver varieties over finite fields”. In: Annales scientifiques de l’ ´Ecole normale sup´ erieure53.6 (2020), pp. 1501–1544. [Dav+26] Ben Davison, Lucien Hennecart, Tasuki Kinjo, Olivier Schiffmann, and Eric Vasserot. “Hecke operators on symplectic surfaces...

    work page internal anchor Pith review Pith/arXiv arXiv 2020

  2. [2]

    Coherent sheaves on surfaces, COHAs and deformed $W_{1+\infty}$-algebras

    20 REFERENCES [Mel+23] Anton Mellit, Alexandre Minets, Olivier Schiffmann, and Eric Vasserot. “Coher- ent sheaves on surfaces, COHAs and deformed W1+∞-algebras”. In: arXiv preprint arXiv:2311.13415 (2023). [Min20] Alexandre Minets. “Cohomological Hall algebras for Higgs torsion sheaves, moduli of triples and sheaves on surfaces”. In: Selecta Mathematica 2...

    work page internal anchor Pith review Pith/arXiv arXiv 2023

  3. [3]

    Commuting varieties of semisimple Lie algebras and alge- braic groups

    [Ric79] R William Richardson. “Commuting varieties of semisimple Lie algebras and alge- braic groups”. In: Compositio Mathematica 38.3 (1979), pp. 311–327. [RS17] Jie Ren and Yan Soibelman. “Cohomological Hall algebras, semicanonical bases and Donaldson–Thomas invariants for 2-dimensional Calabi–Yau categories (with an appendix by Ben Davison)”. In: Algeb...

    work page 1979

  4. [4]

    On two cohomological Hall algebras

    [YZ20] Yaping Yang and Gufang Zhao. “On two cohomological Hall algebras”. In: Pro- ceedings of the Royal Society of Edinburgh Section A: Mathematics 150.3 (2020), pp. 1581–1607. Laboratoire Ami´enois de Math´ematique Fondamentale et Appliqu´ee, CNRS UMR 7352, Universit´e de Picardie Jules Verne, 33 rue Saint Leu, 80000 Amiens, France Email address : lucie...

    work page 2020