The rationality problem for multinorm one tori, II

1. Probleemstelling en Context

Het artikel onderzoekt het rationaliteitsprobleem voor multinorm-1-tori ($T_{K/k}$) geassocieerd met een eindige étale algebra $K$ over een veld $k$. Een multinorm-1-torus is gedefinieerd als de kern van de normafbeelding:
$$T_{K/k} := \text{Ker}(N_{K/k} : \text{Res}_{K/k} \mathbb{G}_m \to \mathbb{G}_m)$$
waarbij $\text{Res}_{K/k}$ de Weil-beperking is.

De auteurs focussen op de hiërarchie van rationaliteitseigenschappen voor algebraïsche variëteiten:
$$\text{Rationeel} \implies \text{Stabiel rationeel} \implies \text{Retract rationeel} \implies \text{Unirationeel}$$
Het doel is om voorwaarden te vinden waaronder $T_{K/k}$ stabiel rationeel of retract rationeel is over $k$.

De structuur van de algebra $K = K_1 \times \dots \times K_r$ wordt gekarakteriseerd door de grootste gemene deler $d_k(K)$ van de graden van de factoren:
$$d_k(K) := \gcd([K_1 : k], \dots, [K_r : k])$$
De resultaten van het artikel zijn georganiseerd rondom de waarde van $d_k(K)$.

2. Methodologie

De methode is gebaseerd op de standaardtheorie van algebraïsche tori, waarbij rationaliteitseigenschappen worden vertaald naar eigenschappen van hun karaktergroepen (of karaktermodulen).

• G-roosters: Laat $L/k$ een eindige Galois-uitbreiding zijn die $K$ bevat, met Galoisgroep $G = \text{Gal}(L/k)$. De karaktergroep $X^*(T_{K/k})$ is een $G$-rooster (een eindig gegenereerde vrije abelse groep met een $G$-actie).
• Equivalenties:
  • $T_{K/k}$ is stabiel rationeel dan en slechts dan als $X^*(T_{K/k})$ een quasi-permutatie $G$-rooster is.
  • $T_{K/k}$ is retract rationeel dan en slechts dan als $X^*(T_{K/k})$ een quasi-inverteerbaar $G$-rooster is.
• Specifieke constructie: De karaktergroep wordt geïdentificeerd met een specifiek $G$-rooster $J_{G/\mathcal{H}}$, afgeleid van een exacte sequentie geassocieerd met de ondergroepen $\mathcal{H} = \{\text{Gal}(L/K_i)\}$.
• Technieken: De auteurs gebruiken:
  • Coflabby en flabby resoluties van roosters.
  • Reductie naar Sylow-ondergroepen (lokaal-globaal principe).
  • Analyse van specifieke groepenstructuren, met name cyclische groepen en dihedrale groepen ($D_n$).
  • Expliciete constructie van resoluties voor roosters over dihedrale groepen (een technisch hoofdstuk in het artikel).

3. Belangrijkste Resultaten

De resultaten worden gepresenteerd in functie van de waarde van $d = d_k(K)$.

Geval 1: $d_k(K) = 1$

• Stelling 1.1: Als $d_k(K) = 1$, dan is de multinorm-1-torus $T_{K/k}$ stabiel rationeel over $k$.
• Dit is een volledig positief resultaat voor deze klasse. De bewijstechniek toont aan dat $X^*(T_{K/k}) \oplus \mathbb{Z}$ een permutatie-rooster is.

Geval 2: $d_k(K) > 1$ (Niet-retract rationaliteit)

Voor $d > 1$ is de situatie complexer. De auteurs geven voldoende voorwaarden voor het falen van retract rationaliteit.

• Stelling 1.2 ($d=2$): Als $d=2$ en bepaalde intersectievoorwaarden tussen de Galois-sluitingen en de velden gelden (bijv. $L_1 \cap K_2 = k$), dan is $T_{K/k}$ niet retract rationeel. Dit geldt voor zowel $r=2$ als $r \geq 3$ onder specifieke voorwaarden.
• Stelling 1.3 ($d \geq 3$): Als er een paar $i \neq j$ bestaat zodat $L_i \cap K_j = k$, dan is $T_{K/k}$ niet retract rationeel.
• Deze resultaten generaliseren eerdere werk van Demarche en Wei, maar zijn sterker omdat ze minder restrictieve aannames vereisen.

Geval 3: Specifieke Galois-groepen (Cyclisch en Dihedraal)

De auteurs generaliseren resultaten van Endo-Miyata (1975) en Endo (2011) voor het geval de Galois-groep $G$ van de splijtingsuitbreiding een specifieke structuur heeft.

• Cyclische Sylow-ondergroepen (Stelling 1.5):
  Als alle Sylow-ondergroepen van $G$ cyclisch zijn, dan is $T_{K/k}$ altijd retract rationeel.
  Voor stabiele rationaliteit is een equivalentie nodig: $T_{K/k}$ is stabiel rationeel dan en slechts dan als een bepaalde verzameling priemdelers $D_k(K)$ en $P^*(G)$ disjunct zijn. $P^*(G)$ bevat priemdelers $p$ waarvoor de $p$-Sylow-ondergroep normaal is en de conjugatie-afbeelding een beeld heeft van orde $\geq 3$.

  • Corollary: Als $L/k$ cyclisch is, is $T_{K/k}$ altijd stabiel rationeel.

• Dihedrale Galois-groepen (Stelling 1.7):
  Als $\text{Gal}(L/k) \cong D_n$ (de dihedrale groep van orde $2n$):

  • Als $d_k(K)$ oneven is, is $T_{K/k}$ stabiel rationeel.
  • Als $d_k(K)$ even is, is $T_{K/k}$ stabiel rationeel dan en slechts dan als het retract rationeel is.
  • De auteurs geven een volledige classificatie (via ondergroepen $K'$) van wanneer deze equivalentie geldt, afhankelijk van de structuur van de ondergroepen in $D_n$.

4. Technische Bijdragen en Bewijstechnieken

• Generalisatie van Endo-Miyata: Het artikel breidt de klassieke resultaten van Endo en Miyata uit van het geval waar $K$ een veld is, naar het geval waar $K$ een product van velden is (een étale algebra).
• Coflabby Resolutie voor Dihedrale Groepen: Een van de meest technische delen van het artikel (Sectie 7) is de constructie van een expliciete coflabby resolutie voor specifieke roosters over dihedrale groepen $D_{2m}$. Dit is noodzakelijk om de stabiliteit van rationaliteit in het even geval van Stelling 1.7 te bewijzen.
• Criterium voor willekeurige tori: Via Stelling 1.8 en Opmerking 1.9 bieden de auteurs een criterium om retract rationaliteit te controleren voor willekeurige multinorm-1-tori door te kijken naar de lokale situaties (Sylow-ondergroepen) en de waarde van $d_k(K)$.

5. Betekenis en Impact

Dit artikel vormt een belangrijke stap in de classificatie van rationaliteitseigenschappen van algebraïsche tori.

1. Volledigheid: Het lost het probleem volledig op voor het geval $d_k(K)=1$.
2. Verduidelijking: Het geeft scherpe grenzen voor wanneer rationaliteit faalt, zelfs in gevallen waar eerdere criteria (zoals die van Demarche-Wei) niet direct toepasbaar waren.
3. Verbinding met Groepentheorie: Het legt een diepe connectie tussen de algebraïsche structuur van de Galois-groep (cyclisch, dihedraal, Sylow-structuur) en de meetkundige eigenschappen (rationaliteit) van de bijbehorende torus.
4. Methodologisch: De gebruikte technieken, zoals het reduceren van étale algebras tot veldextensies en het gebruik van specifieke rooster-resoluties, bieden waardevolle gereedschappen voor toekomstig onderzoek in de meetkundige invariantentheorie en de theorie van algebraïsche groepen.

Kortom, het artikel biedt een uitgebreid en gestructureerd overzicht van de rationaliteit van multinorm-1-tori, waarbij het de brug slaat tussen klassieke resultaten en nieuwe inzichten voor complexe algebraïsche structuren.