Rationality problem for norm one tori of tensor products of étale algebras and Hasse norm principle

Technische Samenvatting: Rationaliteit van Norm Eén Tori van Tensorproducten van Étale Algebra's en het Hasse Normprincipe

1. Probleemstelling
Het artikel behandelt twee onderling verbonden problemen in de rekenkundige meetkunde van algebraïsche tori over een lichaam $k$:

1. Het Rationaliteitsprobleem: Gegeven twee algebraïsche $k$-tori $T_1$ en $T_2$ die een specifieke rationaliteits eigenschap $P$ bezitten (zoals stabiele $k$-rationaliteit of retract $k$-rationaliteit), bezit dan ook hun tensorproduct $T_1 \otimes_k T_2$ eigenschap $P$? Specifiek onderzoeken de auteurs de norm één torus $T_{A \otimes B} = R^{(1)}_{A \otimes B/k}(\mathbb{G}_m)$ geassocieerd met het tensorproduct van twee étale $k$-algebra's $A$ en $B$.
2. Het Hasse Normprincipe: Voor globale lichamen $k$, geldt het Hasse normprincipe voor de velduitbreiding $K/k$ (of de étale algebra $A/k$) die is geconstrueerd als een tensorproduct van uitbreidingen van onderling ondeelbare graden?

Hoewel het algemene antwoord op de rationaliteitsvraag negatief is, identificeren de auteurs specifieke voorwaarden waaronder de eigenschap behouden blijft, waardoor nieuwe voorbeelden van stabiel en retract rationele tori worden gegenereerd en de geldigheid van het Hasse normprincipe voor deze gevallen wordt vastgesteld.

2. Methodologie
De auteurs hanteren een constructieve aanpak gebaseerd op de cohomologie van eindige groepen en de theorie van $G$-roosters (waarbij $G$ de Galoisgroep van het ontbindingslichaam is). De kernmethodologie omvat:

• Flauwe Resoluties: Door gebruik te maken van de correspondentie tussen algebraïsche tori en $G$-roosters, wordt de rationaliteit van een torus $T$ bepaald door de "flauwe klasse" $[M]_{fl}$ van zijn karaktermodule $M$. $T$ is stabiel rationeel als $[M]_{fl} = 0$ en retract rationeel als $[M]_{fl}$ inverteerbaar is.
• Permutatieorde ($p$-ord): Het artikel introduceert een nieuwe invariante voor een $G$-rooster $M$, aangeduid als $p\text{-ord}(M)$. Dit wordt gedefinieerd als het kleinste gehele getal $a \geq 1$ zodanig dat $a \cdot \text{Id}_M$ ontbindt via een permutatie $G$-rooster. Deze invariante dient als maat voor hoe ver een rooster verwijderd is van een directe somfactor van een permutatierooster.
• Tensorproducten van Uitbreidingen: De auteurs ontwikkelen expliciete cohomologische hulpmiddelen om tensorproducten van uitbreidingen van $G$-roosters te behandelen. Door de exacte rijen geassocieerd met augmentatiemappingen te analyseren (bijvoorbeeld $0 \to I_X \to \mathbb{Z}[X] \to \mathbb{Z} \to 0$), construeren zij resoluties voor tensorproducten van roosters.
• Voorwaarden van Onderling Ondeelbaarheid: Het centrale technische mechanisme rust op de voorwaarde dat de permutatieordes van de karaktermodulen van de samenstellende tori onderling ondeelbaar zijn. Dit maakt het splitsen van bepaalde exacte rijen die tensorproducten betrekken mogelijk, waardoor ervoor wordt gezorgd dat de flauwe klasse van het product voorspelbaar gedraagt.

3. Belangrijkste Bijdragen en Resultaten

• Hoofdstelling over Rationaliteit van Tori (Stelling 6.15):
  Laat $T_1$ en $T_2$ algebraïsche $k$-tori zijn met karaktermodulen $M_1$ en $M_2$. Als de permutatieordes $d_1 = p\text{-ord}(M_1)$ en $d_2 = p\text{-ord}(M_2)$ voldoen aan $\gcd(d_1, d_2) = 1$, dan:

  • Als $T_1$ en $T_2$ stabiel $k$-rationeel zijn, dan is $T_1 \otimes_k T_2$ stabiel $k$-rationeel.
  • Als $T_1$ en $T_2$ retract $k$-rationeel zijn, dan is $T_1 \otimes_k T_2$ retract $k$-rationeel.

• Toepassing op Norm Eén Tori (Stelling 7.4):
  Laat $A = \prod K_i$ en $B = \prod E_j$ étale $k$-algebra's zijn met graden $m_i = [K_i:k]$ en $n_j = [E_j:k]$. Als $\gcd(m_i, n_j) = 1$ voor alle $i, j$, en als de norm één tori $T_A$ en $T_B$ stabiel (respectievelijk retract) $k$-rationeel zijn, dan:

  • De algebraïsche torus $T_A \otimes_k T_B$ is stabiel (respectievelijk retract) $k$-rationeel.
  • De norm één torus $T_{A \otimes B}$ van het tensorproduct van algebra's is stabiel (respectievelijk retract) $k$-rationeel.
  • In het specifieke geval waarin $A$ en $B$ velduitbreidingen zijn van onderling ondeelbare graden, is $A \otimes_k B$ een velduitbreiding, en erft zijn norm één torus de rationaliteitseigenschap.

• Hasse Normprincipe (Stelling 8.1 en Corollaria):
  Voor een globaal lichaam $k$, als $K = K_1 \otimes_k \cdots \otimes_k K_t$ een compositum is van eindige separabele uitbreidingen met onderling ondeelbare graden $[K_i:k]$, en als de individuele norm één tori $T_{K_i}$ stabiel of retract rationeel zijn, dan:

  • Het Hasse normprincipe geldt voor $K/k$.
  • De zwakke benaderingseigenschap geldt voor $T_K$.
  • Dit wordt afgeleid uit het verdwijnen van de ongevertakte Brauergroep (of equivalent, het verdwijnen van de Shafarevich-Tate-groep) voor de resulterende torus, wat volgt uit de rationaliteitsresultaten.

• Expliciete Classificaties (Paragrafen 8.1–8.3):
  De auteurs bieden gedetailleerde tabellen die de Galoisgroepen $G = \text{Gal}(L/k)$ classificeren waarvoor de norm één torus van een samengestelde uitbreiding $K/k$ (met graad $n \leq 30$) stabiel of retract rationeel is. Hierin zijn gevallen opgenomen waarbij $G$ een subdirect product is van groepen geassocieerd met de individuele uitbreidingen (bijvoorbeeld $G \leq S_{n_1} \times S_{n_2}$). Zij lijsten expliciet gevallen op voor $n=6, 10, 12, 14, 15$ en breiden de classificatie uit tot $18 \leq n \leq 30$.

4. Betekenis en Claims
Het artikel claimt een systematische methode te bieden voor het genereren van nieuwe voorbeelden van stabiel en retract rationele norm één tori door bestaande te combineren via tensorproducten, mits hun graden (of meer precies, hun permutatieordes) onderling ondeelbaar zijn.

• Nieuwheid van Invariante: De introductie van de "permutatieorde" $p\text{-ord}(M)$ wordt benadrukt als een systematisch hulpmiddel dat in deze context eerder niet was bestudeerd, waardoor een precieze criterium (onderling ondeelbaarheid) mogelijk wordt voor het behoud van rationaliteit onder tensorproducten.
• Constructieve Bewijzen: De bewijzen worden beschreven als constructief, waarbij steun wordt gezocht op expliciete manipulaties van flauwe resoluties van $G$-roosters in plaats van abstracte existentieargumenten.
• Rekenkundige Implicaties: De resultaten verbinden direct de meetkundige eigenschap van rationaliteit met het rekenkundige Hasse normprincipe. Door rationaliteit vast te stellen voor samengestelde uitbreidingen van onderling ondeelbare graden, bevestigen de auteurs het Hasse normprincipe voor deze specifieke velduitbreidingen over globale lichamen.
• Beperkingen: De auteurs merken op dat de voorwaarde van onderling ondeelbaarheid noodzakelijk is; zij geven voorbeelden (Voorbeeld 7.6) waar het tensorproduct van twee stabiel rationele tori faalt om retract rationeel te zijn als de graden een gemeenschappelijke factor delen. Zij erkennen ook dat het algemene probleem van $k$-rationaliteit (in tegenstelling tot stabiele of retract rationaliteit) voor tensorproducten met $r \geq 3$ open blijft.

Kortom, het artikel vestigt een robuust kader voor het begrijpen van het gedrag van rationaliteitseigenschappen onder tensorproducten van algebraïsche tori, waarbij specifiek gebruik wordt gemaakt van de onderling ondeelbaarheid van graden om het behoud van deze eigenschappen en de geldigheid van het Hasse normprincipe voor de resulterende velduitbreidingen te waarborgen.