pith. machine review for the scientific record. sign in

arxiv: 2604.17675 · v1 · submitted 2026-04-20 · 🧮 math.RA

Recognition: unknown

Rigidity and Cohomology of Seaweed Lie Algebras

Alan Hylton, Jr., Vincent E. Coll

Pith reviewed 2026-05-10 04:02 UTC · model grok-4.3

classification 🧮 math.RA
keywords seaweed subalgebrasadjoint cohomologyabsolute rigidityindecomposabledecomposableColl-Gerstenhaber decompositionLie algebra deformations
0
0 comments X

The pith

Indecomposable seaweed subalgebras have vanishing adjoint cohomology and are absolutely rigid.

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

The paper shows that for any seaweed subalgebra s inside a complex simple Lie algebra, the full adjoint cohomology H^*(s,s) vanishes if and only if s is indecomposable. This vanishing implies that s admits no nontrivial deformations inside the ambient algebra, so it is absolutely rigid. When s is decomposable, the Coll-Gerstenhaber decomposition for semidirect products gives an explicit formula for each H^n(s,s) built from exterior powers of the dual of the center Z(s) and the zero-weight cohomology of the quotient s/Z(s). A reader would care because the result supplies both a sharp rigidity criterion and a complete description of the cohomology for an entire large family of subalgebras that appear throughout representation theory.

Core claim

If s is an indecomposable seaweed subalgebra of a complex simple Lie algebra, then H^*(s,s)=0, and hence s is absolutely rigid. If s is decomposable, then the Coll-Gerstenhaber decomposition for Lie semidirect products gives, for each n greater than or equal to 0, a canonical description of H^n(s,s) in terms of exterior powers of Z(s)* and the zero-weight cohomology of s/Z(s). In particular, the center is the unique source of nontrivial adjoint cohomology. These results identify indecomposability as the precise condition for cohomological rigidity and give a uniform description of adjoint cohomology for seaweed Lie algebras.

What carries the argument

The Coll-Gerstenhaber decomposition for the adjoint cohomology of Lie semidirect products, used to separate the vanishing case (indecomposable seaweeds) from the center-generated case (decomposable seaweeds).

If this is right

  • Every indecomposable seaweed subalgebra is absolutely rigid.
  • The adjoint cohomology of any seaweed is completely determined by its center together with a reduced quotient cohomology.
  • Decomposability is the sole obstruction to cohomological rigidity within this class.
  • A uniform formula now exists for H^n(s,s) across all seaweed subalgebras.

Where Pith is reading between the lines

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

  • The same vanishing criterion might be tested on other families of biparabolic or parabolic subalgebras that admit similar decompositions.
  • Concrete low-dimensional examples could be used to verify that the center accounts for all cohomology in the decomposable case.
  • The result supplies a template for proving rigidity in related settings where a center or semidirect-product structure is present.

Load-bearing premise

That the standard definition of indecomposability for seaweed subalgebras over the complex numbers lets the Coll-Gerstenhaber decomposition apply directly without extra correction terms.

What would settle it

An explicit calculation showing that H^1(s,s) or H^2(s,s) is nonzero for some indecomposable seaweed subalgebra inside sl(4,C) or another low-rank simple Lie algebra.

Figures

Figures reproduced from arXiv: 2604.17675 by Alan Hylton, Jr., Vincent E. Coll.

Figure 1
Figure 1. Figure 1: Split Dynkin diagram for the seaweed s of type A2 2.1 Central Splitting and Decomposition The cohomological behavior of seaweeds is closely tied to their centers, which also detect decom￾posability. Theorem 2.4. A seaweed subalgebra s of a simple Lie algebra g is indecomposable if and only if Z(s) = {0}. Proof. (⇒) Suppose s is indecomposable. Let h be the fixed Cartan subalgebra with basis {h1, . . . , hr… view at source ↗
Figure 2
Figure 2. Figure 2: Split Dynkin diagram for the G2 seaweed s In a standard Chevalley basis for G2, this seaweed is 3-dimensional with basis {e2, e13, e14} satisfying the non-zero brackets [e2, e13] = 6e2 and [e2, e14] = −4e2. Since s is decomposable, 5 [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
read the original abstract

Seaweed (biparabolic) subalgebras form a large and structurally rich class of subalgebras of simple Lie algebras. We determine their adjoint cohomology. If $\mathfrak{s}$ is an indecomposable seaweed subalgebra of a complex simple Lie algebra, then \[ H^\ast(\mathfrak{s},\mathfrak{s})=0, \] and hence $\mathfrak{s}$ is absolutely rigid. If $\mathfrak{s}$ is decomposable, then the Coll--Gerstenhaber decomposition for Lie semidirect products gives, for each $n\ge 0$, a canonical description of $H^n(\mathfrak{s},\mathfrak{s})$ in terms of exterior powers of $\mathcal{Z}(\mathfrak{s})^\ast$ and the zero-weight cohomology of $\mathfrak{s}/\mathcal{Z}(\mathfrak{s})$. In particular, the center is the unique source of nontrivial adjoint cohomology. These results identify indecomposability as the precise condition for cohomological rigidity and give a uniform description of adjoint cohomology for seaweed Lie algebras.

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 / 2 minor

Summary. The manuscript determines the adjoint cohomology of seaweed (biparabolic) subalgebras of complex simple Lie algebras. It asserts that if s is indecomposable then H^*(s,s)=0 (hence s is absolutely rigid), while if s is decomposable the Coll-Gerstenhaber decomposition for Lie semidirect products supplies a canonical description of each H^n(s,s) in terms of exterior powers of Z(s)* together with the zero-weight cohomology of s/Z(s), with the center the unique source of nontrivial cohomology.

Significance. If the claims hold, the work supplies a uniform cohomological classification for an important family of subalgebras, directly tying absolute rigidity to indecomposability and isolating the center as the sole source of nontrivial adjoint cohomology in the decomposable case. This strengthens the link between seaweed structure and deformation theory.

major comments (2)
  1. [Decomposable case] The central description of H^n(s,s) for decomposable s rests on the Coll-Gerstenhaber theorem applying verbatim; the manuscript must explicitly confirm that every decomposable seaweed is a semidirect product with Z(s) as normal summand and that the adjoint module satisfies the exact hypotheses of that theorem (including any grading or splitting conditions).
  2. [Indecomposable case] The vanishing statement H^*(s,s)=0 for indecomposable s is load-bearing for the rigidity claim; the proof strategy, any intermediate lemmas on the seaweed root system or parabolic structure, and verification that no hidden assumptions remain must be presented in sufficient detail to permit checking.
minor comments (2)
  1. Notation for the center (Z(s)) and the quotient s/Z(s) should be introduced at the first use and used consistently.
  2. [Abstract] The abstract states the results cleanly; a single sentence indicating the main technical tools (e.g., root-system combinatorics or explicit cochain computations) would help readers locate the arguments.

Simulated Author's Rebuttal

2 responses · 0 unresolved

We thank the referee for their positive summary and constructive major comments. These will strengthen the manuscript by improving explicitness and detail. We respond point by point below, indicating the revisions we will incorporate.

read point-by-point responses

  1. Referee: [Decomposable case] The central description of H^n(s,s) for decomposable s rests on the Coll-Gerstenhaber theorem applying verbatim; the manuscript must explicitly confirm that every decomposable seaweed is a semidirect product with Z(s) as normal summand and that the adjoint module satisfies the exact hypotheses of that theorem (including any grading or splitting conditions).

    Authors: We agree that the application of the Coll-Gerstenhaber theorem requires explicit verification to be fully rigorous. In the revised manuscript we will insert a new lemma (or expanded remark in the preliminaries section on decomposable seaweeds) that confirms: (i) every decomposable seaweed subalgebra s admits the semidirect product structure s = t ⋊ Z(s) with Z(s) an abelian ideal (normal summand) and t = s/Z(s); (ii) the adjoint s-module s satisfies all hypotheses of the Coll-Gerstenhaber theorem, including the required splitting and any grading conditions on the cochain complex. This will justify the canonical description of H^n(s,s) in terms of exterior powers of Z(s)* and the zero-weight cohomology of t. revision: yes

  2. Referee: [Indecomposable case] The vanishing statement H^*(s,s)=0 for indecomposable s is load-bearing for the rigidity claim; the proof strategy, any intermediate lemmas on the seaweed root system or parabolic structure, and verification that no hidden assumptions remain must be presented in sufficient detail to permit checking.

    Authors: We accept that the proof of vanishing adjoint cohomology for indecomposable seaweeds needs expanded exposition for complete verifiability. In the revision we will substantially enlarge the proof section (currently the core argument for the indecomposable case) to include: a step-by-step outline of the overall strategy, full statements and self-contained proofs of all intermediate lemmas on the seaweed root system and its parabolic substructures, and explicit checks confirming that no hidden assumptions (e.g., on the base field, the embedding into the ambient simple Lie algebra, or grading) are tacitly used. This will render the argument checkable without external references. revision: yes

Circularity Check

1 steps flagged

Decomposable-case cohomology description rests on self-cited Coll-Gerstenhaber decomposition

specific steps
  1. self citation load bearing [Abstract]
    "If s is decomposable, then the Coll--Gerstenhaber decomposition for Lie semidirect products gives, for each n≥0, a canonical description of H^n(s,s) in terms of exterior powers of Z(s)* and the zero-weight cohomology of s/Z(s). In particular, the center is the unique source of nontrivial adjoint cohomology."

    The stated canonical description and the uniqueness-of-center conclusion are supplied directly by the cited Coll-Gerstenhaber result. Since one author of the cited decomposition (Coll) is an author of the present paper, the decomposable-case claim reduces to an application of prior self-authored work rather than an independent derivation within this manuscript.

full rationale

The paper asserts two main results. The indecomposable vanishing H^*(s,s)=0 is presented as a new determination without visible reduction to prior self-work in the provided abstract and claims. The decomposable case, however, explicitly invokes the Coll-Gerstenhaber decomposition (co-authored by present author Coll) to supply the canonical description in terms of exterior powers of Z(s)* and zero-weight cohomology of s/Z(s), plus the conclusion that the center is the unique source of nontrivial cohomology. This is a load-bearing self-citation for one branch of the central claim, but the overall derivation does not collapse entirely to self-inputs or definitions by construction. No self-definitional, fitted-prediction, or ansatz-smuggling patterns appear. The result is therefore partially dependent on prior self-work but retains independent content for the indecomposable case, warranting a moderate score.

Axiom & Free-Parameter Ledger

0 free parameters · 2 axioms · 0 invented entities

The claims rest on the standard definition of seaweed subalgebras, the notion of indecomposability, and the applicability of the Coll-Gerstenhaber decomposition; no free parameters or new entities are introduced.

axioms (2)
  • standard math Standard properties of Lie-algebra cohomology over the complex numbers
    Vanishing and decomposition statements rely on general facts about cochain complexes and adjoint modules.
  • domain assumption Coll-Gerstenhaber decomposition for Lie semidirect products
    Invoked explicitly to obtain the canonical description of H^n(s,s) when s is decomposable.

pith-pipeline@v0.9.0 · 5474 in / 1406 out tokens · 54810 ms · 2026-05-10T04:02:40.979602+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

15 extracted references · 5 canonical work pages

  1. [1]

    Tolpygo, A. K. , title=. Mathematical notes of the Academy of Sciences of the USSR , year=. doi:10.1007/BF01093989 , url=

    work page doi:10.1007/bf01093989

  2. [2]

    and Rakviashvili, Giorgi , year =

    Elashvili, A. and Rakviashvili, Giorgi , year =. On regular cohomologies of biparabolic subalgebras of sl(n) , journal =

  3. [3]

    Index of

    Vladimir Dergachev and Alexandre Kirillov , journal =. Index of

  4. [4]

    Fuks, D. B. , year=. Cohomology of infinite-dimensional

  5. [5]

    D. I. Panyushev , title =. Mosc. Math. J. , year =

  6. [6]

    Hochschild and J-P

    G. Hochschild and J-P. Serre , journal =. Cohomology of

  7. [7]

    Une nouvelle démonstration d'un théorème de

    Aribaud, François , journal =. Une nouvelle démonstration d'un théorème de

  8. [8]

    1979 , publisher=

    Lie Algebras , author=. 1979 , publisher=

    1979

  9. [9]

    V. E. Cohomology of. Journal of Lie Theory , pages =. 2016 , number =

    2016

  10. [10]

    2020 , issn =

    A Zassenhaus conjecture and CPA-structures on simple modular Lie algebras , journal =. 2020 , issn =. doi:https://doi.org/10.1016/j.jalgebra.2020.05.006 , url =

    work page doi:10.1016/j.jalgebra.2020.05.006 2020

  11. [11]

    From Lie algebras to Chevalley groups , school =

    Robert Brown , publisher =. From Lie algebras to Chevalley groups , school =. 2018 , url =

    2018

  12. [12]

    and Luks, E

    Leger, G. and Luks, E. , year=. Cohomology Theorems for Borel-Like Solvable Lie Algebras in Arbitrary Characteristic , volume=. Canadian Journal of Mathematics , publisher=. doi:10.4153/CJM-1972-103-1 , number=

    work page doi:10.4153/cjm-1972-103-1 1972

  13. [13]

    2006 , publisher=

    Introduction to Lie Algebras , author=. 2006 , publisher=

    2006

  14. [14]

    Combinatorial index formulas for Lie algebras of seaweed type , journal =

    Alex Cameron and Vincent E. Combinatorial index formulas for Lie algebras of seaweed type , journal =. 2020 , publisher =. doi:10.1080/00927872.2020.1790582 , URL =

    work page doi:10.1080/00927872.2020.1790582 2020

  15. [15]

    The Electronic Journal of Combinatorics , author=

    Contact Lie Poset Algebras , volume=. The Electronic Journal of Combinatorics , author=. 2022 , month=. doi:10.37236/10821 , number=

    work page doi:10.37236/10821 2022