Pith. sign in

REVIEW 1 major objections 6 minor 15 references

Cohomology of perfect Lie algebras

T0 review · 1 major / 6 minor · reviewed 2026-08-12 · deepseek-v4-flash

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

Pith's one-line read For the perfect Lie algebras $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{C}) \ltimes V_{2n-1}$, this paper proves $H^3(\mathfrak{g},\mathfrak{g}) \cong \mathbb{C}^{\lfloor (n+1)/3\rfloor}$ and $H^4(\mathfrak{g},\mathfrak{g}) \cong…

desk verdict Solid paper with real new results for sl2 ⋉ V_m adjoint cohomology; the computational table lacks released code but the central argument is internally consistent. read the letter →

arxiv 2411.14952 v1 pith:A5WAWFBV submitted 2024-11-22 math.RT

Dietrich Burde , Friedrich Wagemann This is my paper · ORCID
classification math.RT MSC 17A3217B56
keywords Liealgebracohomologyperfectalgebrasadjointsemidirectproductssl2representationsexteriorpowersGaussianpolynomialspartitionnumbers
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 studies the adjoint cohomology of perfect Lie algebras over the complex numbers, meaning the cohomology of the algebra with coefficients in itself, a basic invariant that vanishes for semisimple algebras and is still poorly understood for non-semisimple ones. The main result concerns the family $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{C}) \ltimes V_m$, where $V_m$ is the irreducible $\mathfrak{sl}_2$-module of dimension $m+1$. For odd $m = 2n-1$ the authors prove that $H^3(\mathfrak{g},\mathfrak{g}) \cong \mathbb{C}^{\lfloor (n+1)/3\rfloor}$ and $H^4(\mathfrak{g},\mathfrak{g}) \cong \mathbb{C}$, extending the known degree 0, 1, 2 computations to degrees 3 and 4. The paper also classifies all complex perfect Lie algebras of dimension at most 9 and computes $H^0, H^1, H^2$ for each entry, yielding a low-dimensional census relevant to the open question of whether a perfect non-semisimple algebra can have all adjoint cohomology vanish.

What carries the argument

The load-bearing identity is the multiplicity formula of Theorem 3.7: as $\mathfrak{sl}_2(\mathbb{C})$-modules, $\Lambda^j(V_{j+k-1}) \cong \bigoplus_{n=0}^{\lfloor jk/2\rfloor} (V_{jk-2n})^{\oplus N(j,k,n)}$, where $N(j,k,n)$ is the coefficient of $q^n$ in the Gaussian polynomial $(1-q)\left[{j+k \atop k}\right]_q$, equivalently $N(j,k,n) = p(j,k,n) - p(j,k,n-1)$, a difference of partition counts. This turns exterior-power decompositions of $\mathfrak{sl}_2$-modules into partition-number bookkeeping; for $j = 3$ and $j = 4$ the needed coefficients are evaluated in closed form (Propositions 3.8 and 3.13), and those evaluations feed the 4-term exact sequences of Proposition 3.19 that isolate $H^3(V,\mathfrak{g})^{\mathfrak{s}}$ and $H^4(V,\mathfrak{g})^{\mathfrak{s}}$.

What would settle it

Recompute the relevant multiplicities by direct decomposition of $\Lambda^3(V_7)$ and $\Lambda^4(V_8)$ with a computer algebra system, then run the long exact sequence to obtain $\dim H^3(\mathfrak{sl}_2(\mathbb{C})\ltimes V_7,\mathfrak{sl}_2(\mathbb{C})\ltimes V_7)$ and the analogous computation for $V_9$; the paper's Proposition 3.20 predicts dimension 1 for $m=7$ ($n=4$, $\lfloor 5/3\rfloor = 1$) and dimension 2 for $m=9$ ($n=5$, $\lfloor 6/3\rfloor = 2$), so any deviation in these small cases would refute the multiplicity formula on which the main result rests.

Watch

Extended reading notes

Core claim

On the paper's own terms: for the semidirect product $\mathfrak{g} = \mathfrak{sl}_2(\mathbb{C}) \ltimes V_{2n-1}$, with $V_{2n-1}$ the irreducible $\mathfrak{sl}_2(\mathbb{C})$-module of dimension $2n$, the adjoint cohomology in degrees 0 through 4 is given by $H^0 = 0$, $H^1 \cong \mathbb{C}$, $H^2 = 0$, $H^3 \cong \mathbb{C}^{\lfloor (n+1)/3\rfloor}$, and $H^4 \cong \mathbb{C}$ (Proposition 3.20). The argument runs through the Hochschild-Serre formula, which reduces $H^k(\mathfrak{g},\mathfrak{g})$ to the $\mathfrak{s}$-invariants $H^k(V,\mathfrak{g})^{\mathfrak{s}}$, and through a long exact sequence in $V$-cohomology; the key input is a partition-counting formula for the multiplicity of each irreducible $\mathfrak{sl}_2$-module inside the exterior powers $\Lambda^j(V_m)$ for $j \le 4$. The same machinery yields the total adjoint cohomology for $m = 1, 2, 3, 5, 7$, and a separate part of the paper classifies all complex non-semisimple perfect Lie algebras of dimension $\le 9$ and lists $H^0, H^1, H^2$ for each.

Load-bearing premise

The decisive assumption is that the closed-form multiplicity evaluations from the cited explicit plethysm formula are transcribed correctly; if that formula were misstated, the claimed dimensions of $H^3$ and $H^4$ for the family would change, and the classification's completeness further depends on the completeness of the cited low-dimensional classifications.

Editorial extensions

If this is right

  • For every odd $m = 2n-1$, the adjoint cohomology of $\mathfrak{sl}_2(\mathbb{C}) \ltimes V_{2n-1}$ in degrees 0 through 4 is now explicit: it is concentrated in degrees 1, 3, 4, with $H^3$ growing like $\lfloor (n+1)/3\rfloor$ while $H^4$ stays one-dimensional.
  • The total adjoint cohomology is completely determined for $m = 1, 2, 3, 5, 7$, giving a small catalogue of perfect non-semisimple algebras whose full cohomology is known.
  • The classification of complex perfect Lie algebras of dimension $\le 9$ provides a complete list of such algebras together with their $H^0, H^1, H^2$; in particular none of these low-dimensional examples has all three spaces vanishing.
  • The method reduces cohomology computations to partition-number evaluations, so any further closed-form values of the multiplicity $N(j,k,n)$ would immediately yield new higher-degree adjoint cohomology for the same family.

Reading between the lines

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

  • Inference: the same partition-counting route should extend to $j = 5, 6$; the bottlenecks are closed forms for $N(5,k,n)$ and $N(6,k,n)$, so the approach points toward a systematic description of fixed-degree adjoint cohomology as $m$ grows.
  • Inference: the uniform one-dimensionality of $H^4$ for odd $m$ suggests a duality phenomenon for these semidirect products, possibly a Poincar\'e-style relation between $H^k(\mathfrak{g},\mathfrak{g})$ and $H^{\dim\mathfrak{g}-k}(\mathfrak{g},\mathfrak{g})$ at least when the module $V$ is self-dual; the paper's use of Poincar\'e duality for $V$-cohomology in Proposition 4.4 hints at this.
  • Inference: the low-dimensional census constrains searches for counterexamples to the vanishing conjecture: since no perfect algebra up to dimension 9 has $H^0 = H^1 = H^2 = 0$, the first candidate would have dimension at least 10, and the table's formula $\dim H^1 = e_1^2 + \cdots + e_m^2$ limits which radical structures are worth testing.
  • Inference: Proposition 3.13 gives an exact formula for the multiplicity of $V_{2\ell}$ in $\Lambda^4(V_{k+3})$; feeding this into the long exact sequence for even $m$ would yield $H^4(\mathfrak{g},\mathfrak{g})$ for the even members of the family, which the paper does not carry out.
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

1 major / 6 minor

Summary. The paper studies adjoint cohomology of perfect complex Lie algebras, concentrating on the semidirect products g = sl2(C) ⋉ V_m. Its main theoretical contribution is Proposition 3.20, which for odd m = 2n−1 gives H^3(g,g) ≅ C^{⌊(n+1)/3⌋} and H^4(g,g) ≅ C. The method combines the Hochschild–Serre spectral-sequence reduction, a long exact sequence from the authors' earlier work, and explicit sl2(C)-multiplicity formulas for exterior powers. The paper further computes total adjoint cohomology for m = 1, 2, 3, 5, 7, and presents a classification table of complex non-semisimple perfect Lie algebras of dimension at most 9 together with the dimensions of H^0, H^1, H^2.

Significance. If the results are correct, Proposition 3.20 provides one of the first explicit higher-degree adjoint cohomology computations for an infinite family of perfect non-semisimple Lie algebras, going beyond the well-studied degrees 0, 1, 2. The proofs are mostly coherent and internally consistent: the weight-parity vanishing arguments and the small-m total cohomology computations agree with the stated formulas, and the paper is honest about its limitations, noting that the general total cohomology remains unknown. The multiplicities in Proposition 3.13 are derived in-text rather than simply quoted, and the results are cross-checked on small cases. The classification table in Section 5 is potentially useful, but its computational verification is not supplied, which prevents the reader from fully validating a central advertised claim.

major comments (1)
  1. [Section 5, Proposition 5.3] The classification table for complex non-semisimple perfect Lie algebras of dimension n ≤ 9 is one of the two main results advertised in the abstract, but its proof is not reproducible. The text states only that the H^k(g,g) dimensions 'have been computed ... by computer' and gives no code, data, or algorithmic description; for the H^2 column in particular, no method is specified beyond the comparison with Proposition 5.1 for the abelian-radical cases. Moreover, the derivation of the complex classification list from Turkowski's real classifications is only sketched: the reader cannot independently check that L^0_{8,13} is the only missing complex algebra, nor the isomorphisms asserted in the Turkowski column. Please provide the computational verification (code or explicit linear-algebra routines) and a complete correspondence between Turkowski's real algebras and the complex algebras listed.
minor comments (6)
  1. [Section 3, Proposition 3.13] In the proof, the sentence defining P says 'P(2k−ℓ) is the number of partitions of k−ℓ−1 with parts in {2,3,4}', but the subsequent use P(2k−ℓ) = c_{2k−ℓ} requires the argument to be 2k−ℓ. Please correct this notational slip, since as written the definition contradicts the formula that follows.
  2. [Section 4, Proposition 4.2] In the proof, the sentence 'By Proposition 3.9 we have H^3(V,V) = H^3(V,g/V) = 0' is imprecise: Proposition 3.9 concerns H^3(V,g/V) only, while the vanishing of H^3(V,V) for m = 2 follows from Corollary 3.12 or from a direct computation of Λ^3(V_2).
  3. [Section 3, Proposition 3.19] The claim that the vanishings follow immediately from Theorem 3.7 should be expanded: one needs the observation that V_{2n-1} has only odd weights, so Λ^k(V_{2n-1}) has even weights for even k and odd weights for odd k, which excludes the summands V_{2n-1} and V_2 respectively. Please state this parity argument explicitly.
  4. [Section 3, Proposition 3.8] The proof invokes 'Theorem 1.3, Formula (1.8) in [9]' without reproducing the formula. Since Proposition 3.8 feeds into Corollary 3.9, please state the cited formula explicitly (or give a direct derivation) so that the multiplicity computation can be checked without consulting [9].
  5. [Section 4, Propositions 4.4 and 4.5] For the small-m total cohomology results, the values H^5(V,V)^s = C and H^7(V,V)^s = C are asserted without indicating the Poincaré-duality step used to derive them from H^3(V,V)^s and H^1(V,V)^s. Adding one sentence on this duality would make the proofs easier to follow.
  6. [Section 5, proof of Proposition 5.3] There is a typo in 'based on the the work of Turkowski'. Also, the notations p(j,k,n) and p(k,j,n) are used inconsistently in Theorem 3.7 and Proposition 3.8; please unify them.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the odd-family cohomology computation follows from standard exact sequences and external multiplicity formulas, not from its own target.

full rationale

The central claim (Prop. 3.20) is derived by computing H^j(V,V)^s and H^j(V,g/V)^s and then using the Hochschild-Serre decomposition; none of these quantities is set equal to the claimed H^3 or H^4 dimensions. The key multiplicity input, Theorem 3.7, is quoted from the external paper [9], and Prop. 3.13 is proved in text from the standard partition recurrence in [1]. Prop. 3.11, the other external input, comes from [6]. The paper's own prior work [7] is used only for the standard long exact sequence and the H^1 formula; those lemmas are parameter-free, stated with assumptions that do not include the target result, and are not a uniqueness claim or ansatz restriction. The unreproduced formula in Prop. 3.8 (Formula (1.8) of [9]) and the unreleased computer calculation behind the table in Prop. 5.3 are reproducibility gaps, but they are not circular: no fitted parameter is renamed as a prediction, and no equation reduces by construction to an input. For these reasons no circular step can be quoted, and the circularity score is 0.

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

The paper's central results are derived from several standard and external results rather than from raw first principles. The structural isomorphisms come from the authors' earlier paper [7]; the plethysm formula comes from [9]; the classification table is inherited from Turkowski's classification [14,15] plus one new algebra. These are background assumptions the reader must accept, but they are published results, not fitted parameters. There are no free parameters fit to data in this paper, since it is a pure mathematics contribution.

assumptions (5)
  • standard math Structural cohomology identifications: H^k(g,g) ≅ H^k(V,g)^s ⊕ H^{k-3}(V,g)^s for g=s⋉V, and the long exact sequence of Lemma 3.2.
    Taken from the authors' prior paper [7], cited as established; these form the framework for all later computations.
  • standard math Multiplicity formula N(j,k,n): the multiplicity of V_{jk-2n} in Λ^j(V_{j+k-1}) equals the coefficient of q^n in the Gaussian polynomial, as stated in Theorem 3.7.
    Quoted from [9] (Hahn-Huh-Lim-Sohn); the paper does not prove this formula.
  • standard math Closed-form evaluations for N(3,k,(3k-2)/2) and the generating function identity in Proposition 3.13, using 'Theorem 1.3, Formula (1.8) in [9]'.
    Reproduced from [9] without full derivation; an error here would propagate to H^3 and H^4.
  • domain assumption Turkowski's classification of low-dimensional real Lie algebras with nontrivial Levi decomposition [14,15], used as the basis for the perfect Lie algebra classification in dimension ≤9.
    The paper states the classification is 'not difficult to derive' from Turkowski, but does not reconstruct the proof; completeness is inherited from Turkowski.
  • ad hoc to paper The computer computations for the table in Proposition 5.3 are correct.
    The paper reports H^0,H^1,H^2 dimensions 'by computer' without releasing code or data; this is an unverified computational claim.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Cohomology of perfect Lie algebras." pith.science (2026). https://pith.science/paper/A5WAWFBV

@misc{pith2026241114952,
  author       = {Pith},
  title        = {Pith review of: Cohomology of perfect Lie algebras},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/A5WAWFBV}},
  note         = {Machine review of arXiv:2411.14952}
}
abstract

We study the adjoint cohomology of perfect Lie algebras over the complex numbers. For the family of perfect Lie algebras $\mathfrak{g}=\mathfrak{sl}_2(\Bbb C)\ltimes V_m$ we obtain some explicit results for $H^k(\mathfrak{g},\mathfrak{g})$ with $k\ge 0$. Here $V_m$ is the irreducible representation of $\mathfrak{sl}_2(\Bbb C)$ of dimension $m+1$. For the computation of the cohomology we use the Hochschild-Serre formula, a long exact sequence in the cohomology and explicit formulas for the multiplicities of $V_k$ in the exterior product $\Lambda^j(V_m)$ for $j\le 4$. In general we cannot determine the total adjoint cohomology for $\mathfrak{sl}_2(\Bbb C)\ltimes V_m$, but for some small $m$ this is possible. We also give a classification of complex perfect Lie algebras $\mathfrak{g}$ of dimension $n\le 9$ and explicitly compute the cohomology spaces $H^k(\mathfrak{g},\mathfrak{g})$ with $k=0,1,2$ for all Lie algebras from the classification list.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 15 canonical work pages

  1. [9]

    H. Hahn, J. Huh, E. Lim, J. Sohn: From partition identities to a combinatorial approach to ex plicit Satake inversion. Ann. Comb. 22 (2018), no. 3, 543–562

    work page 2018

  2. [6]

    Bremner, H

    M. Bremner, H. Elgendy: Alternating quaternary algebra structures on irreducible representations of sl2(C). Linear Algebra Appl. 433 (2010), no. 8-10, 1686–1705

    work page 2010

  3. [1]

    G. E. Andrews: The Theory of Partitions . Cambridge University Press, Cambridge, 1998, xvi+255 pp

    work page 1998

  4. [2]

    Angelopoulos, S

    E. Angelopoulos, S. Benayadi: Construction d’alg` ebres de Lie sympathiques non semi-sim ples munies de produits scalaires invariants . C. R. Acad. Sci. Paris, t. 317, S´ erie I (1993), 741–744

    work page 1993

  5. [3]

    Arnal, H

    D. Arnal, H. Benamor, S. Benayadi, G. Pinczon: Une alg` ebre de Lie non semi-simple rigide et sympathique: H 1(g) = H 2(g) = H 0(g,g) = H 1(g,g) = H 2(g,g) = 0. C. R. Acad. Sci. Paris, t. 315, S´ erie I (1992), 261–263

    work page 1992

  6. [4]

    Benayadi: Certaines propri´ et´ es d’une classe d’alg` ebres de Lie quig´ en´ eralisent les alg` ebres de Lie semi- simples

    S. Benayadi: Certaines propri´ et´ es d’une classe d’alg` ebres de Lie quig´ en´ eralisent les alg` ebres de Lie semi- simples. Ann. Fac. Sci. Toulouse, 5 e s´ erie, t.12, 1 (1991), 29–35

    work page 1991

  7. [5]

    Benayadi: Structure of perfect Lie algebras without center and outer d erivations

    S. Benayadi: Structure of perfect Lie algebras without center and outer d erivations. Ann. Fac. Sci. Toulouse, 6e s´ erie, t.5, 2 (1996), 203–231

    work page 1996

  8. [7]

    Burde, F

    D. Burde, F. Wagemann: Sympathetic Lie algebras and adjoint cohomology for Lie alg ebras. Journal of Algebra, Vol. 629 (2023), 381–398

    work page 2023

Show all 15 references
  1. [8]

    Fulton, J

    W. Fulton, J. Harris: Representation theory. A first course . Graduate Texts in Mathematics, 129. Readings in Mathematics. Springer-Verlag, New York, 1991. xvi+551 pp

    1991

  2. [10]

    Hochschild, J-P

    G. Hochschild, J-P. Serre: Cohomology of Lie algebras . Ann. Math. (2) 57 (1953), no. 3, 591–603

    1953

  3. [11]

    Pirashvili: On strongly perfect Lie algebras

    T. Pirashvili: On strongly perfect Lie algebras . Communications in Algebra 41 (2013), no. 5, 1619–1625

    2013

  4. [12]

    Rauch: Effacement et d´ eformation

    G. Rauch: Effacement et d´ eformation. Ann. Inst. Fourier (Grenoble) 22 (1972), no. 1, 239–269

    1972

  5. [13]

    R. W. Richardson: On the rigidity of semi-direct products of Lie algebras . Pacific J. Math. 22 (1967), 339–344

    1967

  6. [14]

    Turkowski: Low-dimensional real Lie algebras

    P. Turkowski: Low-dimensional real Lie algebras . J. Math. Phys. 29 (1988), no. 10, 2139–2144

    1988

  7. [15]

    Turkowski: Structure of real Lie algebras

    P. Turkowski: Structure of real Lie algebras . Linear Algebra and its Applications 171 (1992), 197–212. F akult¨at f ¨ur Mathematik, Universit ¨at Wien, Oskar-Morgenstern-Platz 1, 1090 Wien, Aus- tria Email address : dietrich.burde@univie.ac.at Laboratoire de math ´ ematiques ...

    1992

Pith tools

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