Witt groups of Severi-Brauer varieties and of function fields of conics

Dit artikel toont aan dat de Witt-groep van schuif-hermitische vormen over een divisie-algebra met symplectische involutie canoniek isomorf is aan die van symmetrische bilineaire vormen over de bijbehorende Severi-Brauer-variëteit, en breidt dit resultaat voor quaternionenalgebra's uit tot twee exacte vijf-termenrijen die Witt-groepen over het centrum, het functieveld en de residuvelden van de coniek met elkaar verbinden.

De kern

Stel je voor dat wiskunde een enorme bibliotheek is vol met verschillende soorten "spiegels". Sommige spiegels tonen je je eigen gezicht (symmetrische vormen), andere spiegels verdraaien het beeld op een specifieke manier (skew-hermitische vormen). Wiskundigen proberen vaak te begrijpen hoe deze verschillende spiegels met elkaar verbonden zijn.

Dit artikel, geschreven door Anne Quéguiner-Mathieu en Jean-Pierre Tignol, is als het ware een reisgids die een mysterieuze tunnel onthult tussen twee heel verschillende delen van deze bibliotheek.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. De Twee Werelden

De auteurs werken met twee hoofdconcepten:

• De "Divisie-Algebra" (D): Denk hieraan als een complexe, gesloten wereld van getallen die niet altijd makkelijk te delen zijn (net als dat je niet altijd een taart in 3 stukken kunt snijden zonder rest). In deze wereld hebben we speciale vormen van symmetrie, genaamd skew-hermitische vormen.
• De "Severi-Brauer Variëteit" (X): Dit is een geometrisch object, een soort "kromme" of oppervlak dat ontstaat uit die complexe getallenwereld. In dit specifieke artikel kijken ze naar een heel mooi, rond object: een conus (een cirkel in de projectieve ruimte). Op dit oppervlak hebben we te maken met symmetrische vormen.

Het probleem: Het is heel moeilijk om direct te zien hoe de vormen in de complexe getallenwereld (D) zich verhouden tot de vormen op het oppervlak (X). Ze lijken op verschillende talen te spreken.

2. De Magische Bruggenbouwer (De Isomorfisme)

Het eerste grote nieuws in het artikel is dat de auteurs een magische brug hebben gevonden. Ze bewijzen dat er een perfecte, één-op-één vertaling bestaat tussen de "skew-hermitische vormen" in de getallenwereld en de "symmetrische vormen" op het oppervlak.

• De Analogie: Stel je voor dat je een doolhof hebt (de getallenwereld) en een open veld (het oppervlak). Iemand heeft een kaart getekend die precies laat zien hoe elke hoek in het doolhof correspondeert met een punt op het veld.
• De "Lσ" Schat: Om deze brug te bouwen, gebruiken ze een speciaal hulpmiddel genaamd $L_\sigma$. Denk hieraan als een unieke sleutel of een magische lens. Als je door deze lens kijkt, zie je dat de complexe vormen in het doolhof precies hetzelfde zijn als de vormen op het veld, alleen dan met een andere "kleur" (een wiskundig object genaamd een invertible sheaf).

Dit is belangrijk omdat het veld (het oppervlak) vaak makkelijker te bestuderen is dan het doolhof. Als je een probleem op het veld kunt oplossen, kun je de oplossing terugvertalen naar het doolhof.

3. De Grote Kettingreactie (De Exacte Sequenties)

In het tweede deel van het artikel focussen ze op een heel specifiek geval: wanneer de getallenwereld een quaternion is (een soort 4-dimensionaal getalstelsel) en het oppervlak een conus is (een cirkelachtige vorm).

Hier ontdekken ze een reeks van vijf schakels die perfect in elkaar grijpen. Het is als een ketting van dominostenen:

1. Je begint met vormen op het grondgebied (het getalveld $k$).
2. Je gaat naar de conus zelf.
3. Je kijkt naar de "lucht" boven de conus (het functieveld $F$).
4. Je kijkt naar de "randen" of "randpunten" van de conus (de restvelden $k(p)$).
5. Je eindigt weer bij de oorspronkelijke getallenwereld.

De "Residu" (De Rest):
Stel je voor dat je een taart (een vorm) op de conus hebt. Als je naar een specifiek punt op de rand van de taart kijkt, kun je een stukje "rest" (een residu) afsnijden. De auteurs laten zien dat als je al deze restjes van alle punten op de rand verzamelt, je precies terugkomt bij de oorspronkelijke vormen in de getallenwereld.

Ze hebben twee van deze kettingen gevonden:

• Ketting A: Gaat van symmetrische vormen -> naar de conus -> naar de restjes -> naar skew-hermitische vormen.
• Ketting B: Gaat van skew-hermitische vormen -> naar de conus -> naar de restjes -> naar symmetrische vormen.

Het mooie is dat deze kettingen perfect sluiten. Als je een vorm hebt die in het midden "vastzit" (dus die niet van de ene naar de andere kant gaat), betekent dat dat hij een heel specifieke eigenschap heeft. Dit helpt wiskundigen om te begrijpen welke vormen "echt" bestaan en welke alleen maar schijnbaar bestaan door de manier waarop we kijken.

4. Waarom is dit belangrijk?

Vroeger waren wiskundigen als Pfister en Parimala al een stukje op deze weg geweest, maar ze zagen de volledige connectie niet. Dit artikel maakt de hele route helder.

• De "Sleutel" voor Invarianten: De auteurs laten zien hoe je deze kettingen kunt gebruiken om "cohomologische invarianten" te bouwen. Dat klinkt eng, maar het is eigenlijk als het maken van een vingerafdruk voor wiskundige vormen. Als twee vormen dezelfde vingerafdruk hebben, zijn ze in feite hetzelfde, zelfs als ze er anders uitzien.
• Het Oplossen van Raadsels: Door te weten hoe deze schakels in elkaar grijpen, kunnen wiskundigen nu raadsels oplossen over quaternionen die voorheen onoplosbaar leken. Het is alsof ze een oude, vergrendelde deur hebben geopend met de juiste sleutel (de brug tussen de twee werelden).

Samenvatting in één zin

De auteurs hebben een perfecte vertaalsleutel gevonden tussen de complexe wereld van quaternionen en de geometrische wereld van een cirkelvormig oppervlak, en hebben hiermee een reeks van vijf perfect verbonden stappen ontdekt die wiskundigen helpen om de diepe structuur van deze vormen te doorgronden en nieuwe "vingerafdrukken" voor ze te maken.

Het is een mooi voorbeeld van hoe abstracte wiskunde, net als een goed verhaal, uiteindelijk alles met elkaar verbindt.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Witt groups of Severi–Brauer varieties and of function fields of conics" van Anne Quéguiner-Mathieu en Jean-Pierre Tignol, geschreven in het Nederlands.

Titel: Witt-groepen van Severi–Brauer-variëteiten en van functielichamen van kegelsneden

1. Het Probleem en de Context

Het artikel onderzoekt de structuur van Witt-groepen van hermitische en skew-hermitische vormen over een centrale delingsalgebra $D$ met een symplectische involutie $\sigma$, en relateert deze aan de Witt-groepen van de bijbehorende Severi–Brauer-variëteit $X$.

De specifieke uitdagingen zijn:

• Het vinden van een canonieke isomorfisme tussen de Witt-groep van skew-hermitische vormen over $(D, \sigma)$ en de Witt-groep van symmetrische bilineaire vormen over de Severi–Brauer-variëteit $X$ met waarden in een geschikt invertibel schuif (sheaf).
• In het speciale geval waar $D$ een quaternionen-algebra is (en $X$ een gladde projectieve kegelsnede zonder rationale punten), het opzetten van exacte sequenties die de Witt-groepen van vormen over $D$ relateren aan die van het centrum $k$, het functielichaam $F$ van $X$, en de residu-velden $k(p)$ van gesloten punten op $X$.
• Het veralgemenen van eerdere werken van Pfister en Parimala, die zich beperkten tot kwadratische vormen over het centrum, naar vormen over de quaternionen-algebra zelf.

2. Methodologie

De auteurs hanteren een tweeledige aanpak, verdeeld in twee hoofdonderdelen:

Deel 1: Algemene theorie voor centrale delingsalgebra's (Section 2 & 3)

• Locaal vrije schuiven: Ze definiëren een specifiek lokaal vrij schuif $\mathcal{T}$ van rang $n$ op de Severi–Brauer-variëteit $X$. Dit schuif fungeert als een "Morita-equivalentie" tussen de categorie van rechts-$D$-modulen en de categorie van lokaal vrije $\mathcal{O}_X$-modulen.
• Invertibel schuif $L_\sigma$: Gegeven de symplectische involutie $\sigma$, construeren ze een invertibel schuif $L_\sigma$ op $X$ als de doorsnede van $\mathcal{T}$ en zijn geconjugeerde $\sigma(\mathcal{T})$. Dit schuif genereert de Picard-groep $\text{Pic}(X)$.
• Canonieke Isomorfisme: Ze bewijzen dat de Witt-groep van skew-hermitische vormen over $(D, \sigma)$, genoteerd als $W^-(D, \sigma)$, canoniek isomorf is met de Witt-groep van symmetrische bilineaire vormen over $X$ met waarden in $L_\sigma$, genoteerd als $W(X, L_\sigma)$. Dit wordt bereikt via een samengestelde afbeelding die bestaat uit een scalair uitbreidingsmap en een Morita-isomorfisme.

Deel 2: Specialisatie naar Quaternionen-algebra's (Section 4 t/m 6)

• Kegelsneden: Wanneer $D$ een quaternionen-algebra is, is $X$ een kegelsnede. De auteurs gebruiken coördinaten om $X$ te identificeren met een kegelsnede in het projectieve vlak en identificeren $L_\sigma$ met het ideaal-schuif van een specifiek punt $\infty$ op de kegelsnede.
• Residuen en Transfers: Ze introduceren een coherente keuze van uniformisatoren $\pi_p$ en lineaire functionalen $s_p$ voor elke gesloten punt $p$ op $X$. Dit is cruciaal voor het definiëren van residu-afbeeldingen $\partial_p$ en transfer-afbeeldingen $t_p$ tussen Witt-groepen.
• Octagon en Exacte Sequenties: Ze gebruiken een bestaand "octagon" van Witt-groepen (van Lewis) om relaties te leggen tussen vormen over $D$ en vormen over een maximale deellichaam $K$. Dit stelt hen in staat om de exactheid van de nieuwe sequenties te bewijzen.

3. Belangrijkste Resultaten

Hoofdstelling 1: Canonieke Isomorfisme (Theorema 3.3)
Voor een centrale delingsalgebra $D$ van even graad met symplectische involutie $\sigma$, bestaat er een canonieke isomorfisme:
$$M: W^-(D, \sigma) \xrightarrow{\sim} W(X, L_\sigma)$$
Dit resultaat verbindt de algebraïsche theorie van vormen over $D$ direct met de meetkunde van de Severi–Brauer-variëteit.

Hoofdstelling 2: Exacte Sequenties voor Quaternionen (Theorema 6.1 en 6.2)
Voor een quaternionen-algebra $D$ (waarbij $\sigma$ de canonieke conjugatie-involutie is) stellen de auteurs twee vijf-termen exacte sequenties op die de Witt-groepen van hermitische ($W^+$) en skew-hermitische ($W^-$) vormen over $D$ relateren aan de Witt-groepen van het centrum $k$, het functielichaam $F$, en de residu-velden $k(p)$:

1. Voor skew-hermitische vormen:
   $$0 \to W^+(D) \to W(k) \to W(F) \xrightarrow{\delta} \bigoplus_{p} W(k(p)) \to W^-(D) \to 0$$
2. Voor hermitische vormen (met een verschuiving):
   $$0 \to W^-(D) \to W(F) \xrightarrow{\delta'} \bigoplus_{p} W(k(p)) \to W(k) \to W^+(D) \to 0$$

Hierbij zijn $\delta$ en $\delta'$ samengestelde residu-afbeeldingen die afhangen van de coherente keuze van uniformisatoren. De auteurs bewijzen dat de exactheid van deze sequenties onafhankelijk is van deze specifieke keuze, zolang de keuze maar "coherent" is (in de zin van Weil-differentiaals).

Technische Inzichten:

• De auteurs tonen aan dat de residu-afbeeldingen $\delta$ en $\delta'$ slechts verschillen in één punt van graad 2 (het punt $\infty$).
• Ze gebruiken deze structuren om te laten zien dat kwadratische vormen over $k$ die gesplitst worden door $k(\infty)$, in de kern van $\delta'$ liggen. Dit biedt een nieuwe manier om skew-hermitische vormen over $D$ te beschrijven via kwadratische vormen.

4. Bijdrage en Significantie

• Verbinding van Gebieden: Het artikel legt een fundamentele brug tussen de theorie van kwadratische vormen over velden, de theorie van vormen over centrale simple algebra's, en de algebraïsche meetkunde van Severi–Brauer-variëteiten.
• Veralgemening van Pfister en Parimala: Het werk breidt de klassieke resultaten van Pfister (over de Witt-groep van kegelsneden) en Parimala uit door de Witt-groepen van vormen over de quaternionen-algebra zelf expliciet in de exacte sequenties op te nemen, in plaats van alleen via geïsoleerde groepen.
• Cohomologische Invarianten: De exacte sequenties bieden een krachtig gereedschap voor het definiëren van hogere cohomologische invarianten voor skew-hermitische vormen. Het artikel corrigeert en verfijnt eerdere discussies (zoals die van Berhuy) over de afhankelijkheid van deze invarianten van de keuze van een splitsing, en biedt een methode om invarianten te construeren die alleen afhangen van de similariteitsklasse van de vorm.
• Technische Innovatie: De constructie van de coherente transfers en de gebruikte Morita-equivalentie via het schuif $\mathcal{T}$ en het invertibel schuif $L_\sigma$ bieden nieuwe methodologische instrumenten voor het bestuderen van Witt-groepen in de context van Azumaya-algebra's.

Kortom, dit artikel levert een diepgaande en gestructureerde beschrijving van de Witt-groepen van quaternionen-algebra's en hun Severi–Brauer-variëteiten, en biedt een compleet raamwerk voor het analyseren van de relatie tussen lokale en globale invarianten in deze context.