Rigidity and Cohomology of Seaweed Lie Algebras

Titel: Rigideit en Cohomologie van Zeewier-Lie-algebra's (Seaweed Lie Algebras)

Auteurs: Vincent E. Coll, Jr. en Alan Hylton
Taal: Nederlands (samenvatting van het Engelse artikel)

---

1. Het Probleem

Zeewier-Lie-algebra's (ook wel biparabolische subalgebra's genoemd) vormen een grote en structureel rijke klasse van subalgebra's binnen eenvoudige Lie-algebra's. Ze ontstaan als de doorsnede van tegenovergestelde parabolische subalgebra's. Hoewel deze algebra's uitgebreid zijn bestudeerd vanuit het perspectief van indextheorie, meander-combinatoriek en expliciete invariantentheoretische structuren, was hun adjoint-cohomologie ($H^*(\mathfrak{s}, \mathfrak{s})$) in het algemeen nog niet bepaald.

Het bepalen van deze cohomologie is fundamenteel voor de deformatietheorie:

• $H^2(\mathfrak{s}, \mathfrak{s})$ regelt infinitesimale deformaties.
• $H^3(\mathfrak{s}, \mathfrak{s})$ regelt de bijbehorende obstructietheorie.

De centrale vraag was: Onder welke voorwaarden zijn zeewier-algebra's cohomologisch rigide (d.w.z. hebben ze geen niet-triviale deformaties), en hoe ziet de cohomologie eruit wanneer ze niet rigide zijn?

2. Methodologie

De auteurs gebruiken een combinatie van spectrale sequenties, representatietheorie en structurele decompositie om het probleem aan te pakken. De aanpak is verdeeld in twee gevallen, gebaseerd op de decomposeerbaarheid van de algebra.

A. Spectrale Sequentie van Hochschild-Serre

De basis van de analyse is de Levi-decompositie van een zeewier-algebra $\mathfrak{s} = \mathfrak{r} \ltimes \mathfrak{n}$, waarbij $\mathfrak{r}$ de reductieve deel is en $\mathfrak{n}$ de nilradicaal. De auteurs gebruiken de Hochschild-Serre spectrale sequentie:
$$E_2^{p,q} = H^p(\mathfrak{r}, H^q(\mathfrak{n}, \mathfrak{s})) \Rightarrow H^{p+q}(\mathfrak{s}, \mathfrak{s})$$
Om te bewijzen dat de cohomologie verdwijnt, moeten ze aantonen dat de termen $H^q(\mathfrak{n}, \mathfrak{s})^\mathfrak{r}$ (de $\mathfrak{r}$-invarianten) voor alle $q$ nul zijn.

B. Gebruik van de Casimir-operator en Homotopie

Voor het geval van indecomposabele algebra's gebruiken de auteurs een krachtige techniek die een homotopie-operator ($k$) combineert met een identiteit van de Casimir-operator ($\Gamma$).

• Ze definiëren een operator $\bar{\Gamma} = \Gamma - k\delta$.
• Ze tonen aan dat deze operator werkt als een niet-degenererende schaaltransformatie op de ruimte van cocycli.
• Dit impliceert dat elke cocyclus een coboundary is, waardoor de cohomologie verdwijnt.

C. Decompositie via het Centrum

Voor decomposabele algebra's maken ze gebruik van het feit dat het centrum $Z(\mathfrak{s})$ niet triviaal is. Ze gebruiken een stelling van Coll en Gerstenhaber over de cohomologie van semidirecte producten om de cohomologie van $\mathfrak{s}$ te reduceren tot de cohomologie van de quotiënt-algebra $\mathfrak{Q} = \mathfrak{s}/Z(\mathfrak{s})$ en het centrum zelf.

3. Belangrijkste Bijdragen en Resultaten

De hoofdstelling (Stelling 1.1) identificeert indecomposabiliteit als de precieze voorwaarde voor volledige cohomologische rigideit.

Resultaat 1: Indecomposabele Zeewier-algebra's

• Stelling: Als $\mathfrak{s}$ een indecomposabele zeewier-subalgebra is van een complexe eenvoudige Lie-algebra, dan geldt:
  $$H^*(\mathfrak{s}, \mathfrak{s}) = 0$$
• Conclusie: Dergelijke algebra's zijn absoluut rigide. Ze ondergaan geen niet-triviale infinitesimale deformaties.
• Technische onderbouwing: Dit wordt bewezen door te tonen dat $H^q(\mathfrak{n}, \mathfrak{s})^\mathfrak{r} = 0$ voor alle $q \geq 0$. De kern van het bewijs ligt in het feit dat voor indecomposabele algebra's het centrum $Z(\mathfrak{s})$ triviaal is ($Z(\mathfrak{s}) = \{0\}$), wat leidt tot het verdwijnen van de $E_2$-termen in de spectrale sequentie.

Resultaat 2: Decomposabele Zeewier-algebra's

• Stelling: Als $\mathfrak{s}$ decomposabel is, dan is er een canonieke isomorfisme voor elke $n \geq 0$:
  $$H^n(\mathfrak{s}, \mathfrak{s}) \cong \bigoplus_{i+j=n} \left( \bigwedge^i Z(\mathfrak{s})^* \otimes H^j(\mathfrak{s}/Z(\mathfrak{s}), \mathfrak{s}) \right)$$
• Conclusie: De cohomologie wordt volledig bepaald door het centrum $Z(\mathfrak{s})$ en de cohomologie van de quotiënt-algebra.
• Belangrijke observatie: De quotiënt-algebra $\mathfrak{Q} = \mathfrak{s}/Z(\mathfrak{s})$ is zelf een som van indecomposabele zeewier-algebra's en is dus cohomologisch triviaal ($H^j(\mathfrak{Q}, \mathfrak{Q}) = 0$). Hierdoor is het centrum de enige bron van niet-triviale adjoint-cohomologie.
• Specifiek voor $n=2$ (Deformaties):
  $$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)$$
  Dit betekent dat alle deformaties voortkomen uit interacties met het centrum.

4. Significatie en Implicaties

1. Unificatie van Rigideit: Het artikel biedt een uniform kader voor zowel rigide als niet-rigide gevallen. Het verduidelijkt dat de rigideit van parabolische subalgebra's (een bekend resultaat van Tolpygo) een speciaal geval is van zeewier-algebra's: zeewier-algebra's zijn rigide precies wanneer ze geen centrum hebben.
2. Computationele Efficiëntie: Voor decomposabele algebra's reduceert het probleem het berekenen van cohomologie van een grote algebra tot het berekenen van cohomologie over een veel kleinere quotiënt-algebra en het centrum. Dit is computatieel zeer waardevol, aangezien het berekenen van Lie-algebra cohomologie schaalt met de dimensie.
3. Structuur van Deformaties: De resultaten tonen aan dat zeewier-algebra's niet gesloten zijn onder formele deformatie. Een deformatie kan een zeewier-algebra transformeren in een algebra die geen zeewier meer is (zoals geïllustreerd in het voorbeeld van type $G_2$). Dit suggereert dat zeewier-algebra's deel uitmaken van een grotere familie (zoals proset-algebra's) die wel gesloten is onder deformatie.
4. Geometrische Interpretatie: De decompositie van de deformatieruimte in tensorcomponenten (zoals beschreven in Remark 5.2) heeft parallellen met de deformatietheorie van complexe analytische variëteiten (Frölicher-Nijenhuis en Kodaira-Spencer), waarbij verschillende componenten verschillende "richtingen" van deformatie regelen.

Samenvatting

Dit artikel lost een langdurig open probleem op door de volledige adjoint-cohomologie van zeewier-Lie-algebra's te karakteriseren. Het bewijst dat indecomposabiliteit equivalent is aan cohomologische rigideit. Voor decomposabele gevallen wordt aangetoond dat het centrum de enige oorzaak is van niet-triviale cohomologie en deformaties. Dit biedt een krachtige, uniforme beschrijving die de theorie van parabolische subalgebra's uitbreidt en nieuwe inzichten biedt in de deformatietheorie van Lie-algebra's.