Rigidity and Cohomology of Seaweed Lie Algebras

1. Problem Statement

The paper addresses the determination of the adjoint cohomology $H^*(\mathfrak{s}, \mathfrak{s})$ for seaweed Lie algebras (also known as biparabolic subalgebras) within a complex simple Lie algebra $\mathfrak{g}$.

• Context: Seaweed algebras are intersections of opposite parabolic subalgebras ($\mathfrak{s} = \mathfrak{p}_{\pi_1} \cap \mathfrak{p}^-_{\pi_2}$). While their structure, index theory, and combinatorial properties (via meanders) are well-studied, their deformation theory and cohomology had not been generally determined.
• Significance of the Problem: The second cohomology group $H^2(\mathfrak{s}, \mathfrak{s})$ governs infinitesimal deformations, while $H^3(\mathfrak{s}, \mathfrak{s})$ governs obstructions. Determining these groups is essential for understanding the rigidity (structural stability) of these algebras.
• Specific Gap: Previous results (e.g., by Elashvili and Rakviashvili) covered specific cases (Type A, indecomposable), but a uniform description covering both rigid and non-rigid cases across all types was missing.

2. Methodology

The authors employ a combination of spectral sequence techniques, representation theory, and structural decomposition.

A. Structural Decomposition

The analysis relies on the Levi decomposition of a seaweed algebra $\mathfrak{s}$:
$$\mathfrak{s} = \mathfrak{r} \ltimes \mathfrak{n}$$
where $\mathfrak{r}$ is the reductive part (containing the Cartan subalgebra $\mathfrak{h}$) and $\mathfrak{n}$ is the nilradical.
Crucially, the authors distinguish between:

1. Indecomposable Seaweeds: Defined by the condition $\pi_1 \cup \pi_2 = \Pi$ (all simple roots are involved). These have a trivial center ($Z(\mathfrak{s}) = \{0\}$).
2. Decomposable Seaweeds: Defined by $\pi_1 \cup \pi_2 \subsetneq \Pi$. These possess a non-trivial center.

B. The Hochschild–Serre Spectral Sequence

The primary computational tool is the Hochschild–Serre spectral sequence associated with the extension $\mathfrak{n} \hookrightarrow \mathfrak{s} \twoheadrightarrow \mathfrak{r}$:
$$E_2^{p,q} = H^p(\mathfrak{r}, H^q(\mathfrak{n}, \mathfrak{s})) \implies H^{p+q}(\mathfrak{s}, \mathfrak{s})$$
The strategy involves analyzing the terms $H^q(\mathfrak{n}, \mathfrak{s})$ as $\mathfrak{r}$-modules.

C. Key Technical Tools

1. Hochschild's Lemma: Used to show that if an $\mathfrak{r}$-module is semisimple and has no invariants, its cohomology vanishes.
2. Casimir Operator and Homotopy: To prove the vanishing of $H^q(\mathfrak{n}, \mathfrak{s})^\mathfrak{r}$ for $q \geq 1$, the authors construct a homotopy operator $k$ and utilize the Casimir identity $\Gamma = \delta k + k \delta$. They demonstrate that the modified Casimir operator acts as a strictly positive scaling map on the space of cocycles, forcing injectivity and thus vanishing cohomology.
3. Coll–Gerstenhaber Decomposition: For the decomposable case, they utilize a theorem regarding the cohomology of Lie semidirect products where the ideal is abelian (the center).

3. Key Contributions and Results

Theorem 1: Indecomposable Case (Absolute Rigidity)

Result: If $\mathfrak{s}$ is an indecomposable seaweed subalgebra, then:
$$H^n(\mathfrak{s}, \mathfrak{s}) = 0 \quad \text{for all } n \geq 0$$
Implication: Indecomposable seaweeds are absolutely rigid. They admit no non-trivial infinitesimal deformations.
Mechanism: The proof shows that for indecomposable seaweeds, the center is trivial. Consequently, the $E_2$ page of the spectral sequence vanishes entirely because:

• $H^0(\mathfrak{n}, \mathfrak{s})^\mathfrak{r} = Z(\mathfrak{s}) = 0$.
• $H^q(\mathfrak{n}, \mathfrak{s})^\mathfrak{r} = 0$ for all $q \geq 1$ (proven via the Casimir operator argument).

Theorem 2: Decomposable Case (Cohomological Reduction)

Result: If $\mathfrak{s}$ is decomposable, it splits as $\mathfrak{s} \cong Z(\mathfrak{s}) \oplus \mathfrak{Q}$, where $\mathfrak{Q} = \mathfrak{s}/Z(\mathfrak{s})$ is a direct sum of indecomposable seaweeds. The cohomology is given by:
$$H^n(\mathfrak{s}, \mathfrak{s}) \cong \bigoplus_{i+j=n} \left( \bigwedge^i Z(\mathfrak{s})^* \otimes H^j(\mathfrak{Q}, \mathfrak{s}) \right)$$
Implication:

• Since $\mathfrak{Q}$ is a sum of indecomposable seaweeds, $H^j(\mathfrak{Q}, \mathfrak{s}) = 0$ for $j \geq 1$.
• The only non-vanishing terms arise from the center.
• Conclusion: The center $Z(\mathfrak{s})$ is the unique source of non-trivial adjoint cohomology. All deformations are driven by the interaction between the center and the quotient.

Explicit Formulas for Deformation Theory

The paper derives specific formulas for the deformation space ($n=2$) and obstruction space ($n=3$):

• Infinitesimal Deformations ($H^2$):
  $$H^2(\mathfrak{s}, \mathfrak{s}) \cong \left( \bigwedge^2 Z(\mathfrak{s})^* \otimes Z(\mathfrak{s}) \right) \oplus \left( Z(\mathfrak{s})^* \otimes H^1(\mathfrak{Q}, \mathfrak{s}) \right)$$
• Obstructions ($H^3$):
  $$H^3(\mathfrak{s}, \mathfrak{s}) \cong \left( \bigwedge^3 Z(\mathfrak{s})^* \otimes Z(\mathfrak{s}) \right) \oplus \left( \bigwedge^2 Z(\mathfrak{s})^* \otimes H^1(\mathfrak{Q}, \mathfrak{s}) \right)$$

4. Significance and Impact

1. Unification of Rigidity Theory: The paper places seaweed algebras within the broader context of parabolic subalgebra rigidity. It confirms that parabolic subalgebras (which are centerless) are rigid, and extends this to the broader class of seaweeds, identifying the center as the precise obstruction to rigidity.
2. Computational Efficiency: The decomposition theorem provides a practical method for computing cohomology. Instead of calculating cohomology for large, complex decomposable algebras, one only needs to compute the cohomology of the smaller, centerless quotient $\mathfrak{Q}$ (which is zero) and the center.
3. Geometric Insight: The authors note that the splitting of the deformation space mirrors the Frölicher–Nijenhuis and Kodaira–Spencer theories for complex manifolds. The different tensor components correspond to distinct "directions" of deformation.
4. Category Stability: The examples demonstrate that seaweed algebras are not closed under formal deformation. Deforming a decomposable seaweed often results in an algebra that is no longer a seaweed (e.g., it may become a Lie poset algebra). This suggests that seaweeds are part of a larger, stable family (proposed as "proset algebras") rather than a closed category.

5. Conclusion

The paper establishes that indecomposability is the necessary and sufficient condition for the absolute rigidity of seaweed Lie algebras. For decomposable cases, the cohomology is entirely determined by the center, providing a canonical and uniform description of their deformation theory. This work resolves a long-standing gap in the structural theory of biparabolic subalgebras and offers a robust framework for future studies on Lie poset algebras and related structures.