A cohomological invariant for algebras of degree 8 and exponent 2 in characteristic 2

Titel en Context

Titel: Een cohomologische invariant voor algebra's van graad 8 en exponent 2 in karakteristiek 2.
Auteurs: Ahmed Laghribi en Nico Lorenz.
Doel: Uitbreiding van het werk van Sivatski (2022), dat een cohomologische invariant introduceerde voor centrale simpele algebra's in karakteristiek $\neq 2$, naar velden met karakteristiek 2.

---

1. Het Probleem

In de theorie van centrale simpele algebra's is het een fundamenteel maar moeilijk probleem om te bepalen of een algebra decomposeerbaar is. Een algebra $A$ is decomposeerbaar als deze isomorf is met een tensorproduct $A_1 \otimes_F A_2$ van niet-triviale centrale simpele algebra's.

• Voor algebra's van graad $2^i$ en exponent 2 is bekend dat ze equivalent zijn met een product van $i$ quaternionen-algebra's (voor $i=1, 2$).
• Voor graad 8 en exponent 2 is de situatie complexer. Er bestaan onontbindbare (indecomposable) algebra's (voorbeelden gevonden door Amitsur, Rowen, Tignol, en Karpenko).
• Een ander gerelateerd probleem is descend: gegeven een algebra $A$ over een extensie $K/F$, bestaat er een algebra $A'$ over $F$ zodat $A \cong A' \otimes_F K$?

In karakteristiek 2 zijn de standaard methoden (zoals die gebaseerd op kwadratische vormen in karakteristiek $\neq 2$ of de Arf-invariant) vaak niet direct toepasbaar of vereisen aanpassingen. Er was behoefte aan een nieuwe invariant die informatie codeert over de decomposeerbaarheid en descend in deze specifieke context.

---

2. Methodologie en Constructie

De auteurs introduceren een nieuwe cohomologische invariant $inv(A)$ gebaseerd op de Kato-Milne cohomologie en de theorie van differentiaalvormen in karakteristiek 2.

A. Kader en Notatie

• $F$: Een veld met karakteristiek 2.
• $A$: Een centrale simpele algebra over $F$ met exponent 2.
• $L/F$: Een extensie die $A$ splitst. De auteurs focussen op extensies van de vorm $L = K(\wp^{-1}(a), \wp^{-1}(b))$, waarbij $K/F$ een willekeurige kwadratische extensie is (separabel of niet-separabel). Hierbij is $\wp(x) = x^2 + x$.
• $H^n_2(F)$: De $n$-de Kato-Milne cohomologiegroep, geïdentificeerd met $I^n_q(F)/I^{n+1}_q(F)$ via de isomorfismen van Kato.

B. Constructie van de Invariant $inv(A)$

Stel dat $A$ splitst over $L = K(\wp^{-1}(a), \wp^{-1}(b))$ en dat $[L:F]=8$.

1. Omdat $A$ splitst over $L$, is de restrictie $A_K$ Brauer-equivalent aan een biquaternionen-algebra over $K$, zeg $[a, x) \otimes [b, y)$ voor zekere $x, y \in K^*$.
2. Men associeert hierbij een Albert-vorm $\phi$ over $K$:
   $$\phi = [1, a+b] \perp x[1, a] \perp y[1, b]$$
   (waarbij $[u, v]$ de kwadratische vorm $uX^2 + XY + vY^2$ aanduidt).
3. Men gebruikt de Scharlau-transfer $s^*$ geïnduceerd door een lineaire afbeelding $s: K \to F$ (de trace in het separabele geval, of een specifieke lineaire vorm in het niet-separabele geval).
4. De invariant wordt gedefinieerd als het beeld van de transfer van de Albert-vorm in de derde Kato-Milne cohomologie:
   $$inv(A) := e_3(s^*(\phi)) \in H^3_2(F) / G$$
   waarbij $G$ een ondergroep is die gerelateerd is aan de Brauer-klasse van $A$ en de normen van elementen in een tussenveld $E = K(\wp^{-1}(a+b))$.

De auteurs bewijzen dat deze invariant welgedefinieerd is (onafhankelijk van de keuze van $x$ en $y$) en dat deze elementen in een specifieke kwotiëntgroep van $H^3_2(F)$ representeert.

---

3. Belangrijkste Resultaten

A. Karakterisering van Trivialiteit (Propositie 4.3)

De invariant $inv(A)$ is triviaal (nul) als en slechts als de algebra $A$ voldoet aan specifieke decompositievoorwaarden:

• $A$ is Brauer-equivalent met een tensorproduct $Q \otimes [a+b, v) \otimes Q'$, waarbij $Q$ een quaternionen-algebra over $F$ is en $Q'$ splitst over $K$.
• Dit is equivalent met het feit dat de delingsalgebra die Brauer-equivalent is aan $A_E$ (waar $E = K(\wp^{-1}(a+b))$) gedefinieerd is over $F$.

Dit resulteert in een krachtige test: $inv(A) = 0 \iff A$ is "decomposeerbaar" in de zin dat hij afstamt van een kleinere structuur over $F$.

B. Relatie met Bestaande Invarianten en Descend

• De auteurs vergelijken $inv(A)$ met de invariant $\delta_{K/F}$ uit eerdere werken (Barry, Chapman, Laghribi).
• Resultaat: Als $inv(A) = 0$, dan is $\delta_{K/F}(A) = 0$.
• Gegenvoorbeeld (Voorbeeld 4.6): Er wordt een biquaternionen-algebra geconstrueerd waarbij $\delta_{K/F}(A) = 0$ maar $inv(A) \neq 0$. Dit toont aan dat $inv(A)$ een scherpere invariant is en dat de omgekeerde implicatie niet geldt. Dit voorbeeld maakt gebruik van de constructie van Rowen van onontbindbare algebra's en residu-afbeeldingen.

C. Toepassing op Chow-groepen en Onontbindbare Algebra's (Sectie 5)

De auteurs passen hun resultaten toe om een analogon te construeren van een resultaat van Sivatski en Karpenko:

• Ze construeren een onontbindbare centrale simpele algebra $B$ van graad 8 en exponent 2 over een veld $K$ met cohomologische 2-dimensie 3.
• Ze bewijzen dat de torsie van de tweede Chow-groep van de Severi-Brauer variëteit van $B$, genoteerd als $Tors CH_2(SB(B))$, niet triviaal is (isomorf met $\mathbb{Z}/2\mathbb{Z}$).
• Het niet-triviale element wordt expliciet beschreven als een symbool in $H^3_2(K)$. Dit bevestigt een diepe connectie tussen de decomposeerbaarheid van algebra's en de meetkunde van hun Severi-Brauer variëteiten in karakteristiek 2.

D. Descend-resultaten (Sectie 6)

De invariant wordt gebruikt om descend-resultaten te bewijzen voor algebra's en kwadratische vormen:

• Theorema 6.1: Als een algebra $D$ over een veld $F$ na uitbreiding met een oneven graadse extensie $M/F$ en een gemengde biquadratische extensie $L/M$ Brauer-equivalent wordt met een quaternionen-algebra, dan is $D$ zelf al Brauer-equivalent met een quaternionen-algebra over $F$.
• Theorema 6.6: Een vergelijkbaar descend-resultaat voor kwadratische vormen. Als de anisotrope deel van een vorm $\phi$ over een gemengde biquadratische extensie $E/F$ gedefinieerd is over een oneven graadse extensie $L$, dan is de anisotrope deel over $E$ zelf gedefinieerd over $F$ (onder bepaalde voorwaarden op de dimensie en de Arf-invariant).

---

4. Significatie en Bijdrage

1. Uitbreiding naar Karakteristiek 2: Het artikel vult een belangrijke lacune in de literatuur door cohomologische invarianten voor graad 8 algebra's te ontwikkelen in karakteristiek 2, een gebied waar de theorie van kwadratische vormen en differentiaalvormen fundamenteel verschilt van de karakteristiek $\neq 2$ gevallen.
2. Nieuwe Invariant: De introductie van $inv(A)$ biedt een nieuw instrument om de decomposeerbaarheid van algebra's te testen. Het is sterker dan eerdere invarianten zoals $\delta_{K/F}$.
3. Verbinding tussen Algebra en Meetkunde: Door de connectie te leggen met de Chow-groepen van Severi-Brauer variëteiten, verrijkt het werk het begrip van de meetkundige implicaties van algebraïsche decomposeerbaarheid.
4. Technische Innovatie: Het gebruik van Kato-Milne cohomologie, differentiaalvormen ($d\log$), en Scharlau-transfer in de context van niet-perfecte velden (karakteristiek 2) demonstreert geavanceerde technieken die van toepassing zijn op bredere problemen in de theorie van centrale simpele algebra's.
5. Descend Theorie: De resultaten leveren nieuwe criteria voor descend, wat essentieel is voor het begrijpen van hoe algebraïsche structuren zich gedragen onder veldextensies, met name in de context van "excellent" velden en biquadratische extensies.

Samenvattend biedt dit artikel een grondige theoretische uitbreiding van de theorie van centrale simpele algebra's in karakteristiek 2, met concrete toepassingen in de classificatie van onontbindbare algebra's en de studie van kwadratische vormen.