Insufficiency of the algebraic Brauer--Manin obstruction for homogeneous spaces

Technische Samenvatting: Onvoldoendeheid van de algebraïsche Brauer–Manin-obstruction voor homogene ruimten

Probleemstelling
Het artikel behandelt het falen van de Hasse-principe (lokaal-globaal principe) voor rationale punten op algebraïsche variëteiten. Specifiek wordt onderzocht of de Brauer–Manin-obstruction, een cohomologische mechanisme geïntroduceerd door Manin, voldoende is om alle dergelijke gevallen van falen te verklaren voor homogene ruimten van verbonden lineaire algebraïsche groepen.

Terwijl de voldoendeheid van de Brauer–Manin-obstruction is vastgesteld voor variëteiten met "tam" geometrie (bijv. geometrisch rationeel verbonden variëteiten) en voor homogene ruimten met verbonden of commutatieve stabilisatoren, blijft het geval van eindige niet-abelse stabilisatoren grotendeels onopgelost. Voorgaand werk door Demarche, Lucchini Arteche, Neftin, Demeio en Lagarde toonde aan dat de algebraïsche component van de Brauer–Manin-obstruction onvoldoende is voor zwakke approximatie in het geval van eindige constante metabelse stabilisatoren. Het bestaan van homogene ruimten waar de algebraïsche obstructie het falen van de Hasse-principe zelf niet verklaart, was echter onbekend. Dit artikel beoogt een dergelijk tegenvoorbeeld te construeren.

Methodologie
De auteurs construeren een specifiek tegenvoorbeeld met behulp van een homogene ruimte $X$ van de speciale lineaire groep $SL_n$ over een getallenlichaam $k$ dat een primitieve $p$-de eenheid bevat (waarbij $p$ een oneven priemgetal is). De constructie steunt op de machinerie ontwikkeld door Borovoi en Kunyavskii, verder verfijnd door de auteur in eerder werk [Lin24].

1. Groepconstructie: De geometrische stabilisator $F$ van de homogene ruimte wordt geconstrueerd als een centrale extensie van $M \oplus M$ door $Z$, waarbij $M = \mathbb{F}_p^d$ en $Z$ een quotient is van $M \otimes M$. De extensie wordt gedefinieerd via een surjectieve, niet-degeneratieve homomorfisme $\phi: M \otimes M \to Z$.
2. Numerieke gegevens: De auteurs kiezen $d = [k:\mathbb{Q}] + 3$ en definiëren de inclusie $A \otimes A \to M \otimes M$ (waarbij $A=\mathbb{F}_p$) door de generator af te beelden op de identiteitsmatrix $Id$. De groep $F$ heeft hierdoor nilpotentieklasse 2 en orde $p^{d^2+2d-1}$.
3. Cohomologische setup: Een klasse $\beta \in H^2(k, Z)$ wordt geconstrueerd met behulp van de globale klassieke veldentheorie. Deze klasse verdwijnt bij alle plaatsen behalve bij een verzameling onderscheiden eindige plaatsen $\{v_1, \dots, v_d\}$, waar de lokale invarianten overeenkomen met de afbeeldingen van rang-één matrices $e_i \otimes e_i$ onder $\phi$.
4. Lokaal versus Globaal Analyse:
   • Lokale existentie: Met behulp van Tate's lokale dualiteit en het feit dat de rang van de lokale cohomologiegroepen $H^1(k_v, \mathbb{F}_p)$ klein is (beperkt door 2 voor plaatsen die niet delen in $p$), tonen de auteurs aan dat lokale oplossingen $x_v, y_v$ bestaan voor de vergelijking $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ voor elke plaats $v$. Dit garandeert dat $X(k_v) \neq \emptyset$ voor alle $v$.
   • Globale niet-existentie: De auteurs bewijzen dat er geen globale oplossing bestaat. Zij maken gebruik van een uniforme bovengrens op de rang van de matrix $A_v = \text{Inv}_v(x \cup y)$ afgeleid van de dimensie van $H^1(k_v, \mathbb{F}_p)$. Voor voldoende grote $d$ dwingen de lokale restricties $A_v$ om exact $e_i \otimes e_i$ te zijn op de specifieke plaatsen en $0$ elders. Het sommeren van deze lokale invarianten levert de identiteitsmatrix $Id$ op, die niet nul is, wat in tegenspraak is met de globale reciprociteitswet (die vereist dat de som van de lokale invarianten nul moet zijn).

Kernbijdragen en Resultaten
Het artikel stelt het volgende hoofdbestanddeel vast (Theorem 1):

• Tegenvoorbeeld Constructie: Er bestaat een homogene ruimte $X$ van $SL_n$ over $k$ met eindige $p$-groep stabilisatoren van nilpotentieklasse 2 waarvoor:

  1. $X$ punten heeft in elke completion $k_v$ (lokale oplosbaarheid).
  2. $X$ geen rationale punten heeft ($X(k) = \emptyset$).
  3. De onramified algebraïsche Brauer-groep voldoet aan $Br_{nr,1}(X) = Br_0(X)$.

• Transcendentale Obstruction: Omdat het algebraïsche deel van de Brauer–Manin-obstruction triviaal is (gelijk aan het constante deel), kan het falen van de Hasse-principe niet worden verklaard door algebraïsche klassen. De auteurs demonstreren dat de volledige onramified Brauer-groep $Br_{nr}(X)$ isomorf is aan $\mathbb{Z}/p$ modulo constanten. Door een expliciete transcendente klasse $A_L \in Br_{nr}(X)$ te construeren met behulp van een lineaire vorm $L: M \otimes M \to \mathbb{F}_p$, tonen zij aan dat deze klasse een niet-nul Brauer–Manin koppeling oplevert:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Dit bevestigt dat het falen van de Hasse-principe wordt verklaard door een transcendente Brauer–Manin-obstruction.

Significantie
Dit artikel biedt het eerste voorbeeld van een homogene ruimte van een verbonden lineaire algebraïsche groep waar de Hasse-principe faalt door een transcendente Brauer–Manin-obstruction, terwijl de algebraïsche obstructie onvoldoende is. Dit resultaat benadrukt de noodzaak om transcendente klassen te overwegen in de aritmetica van homogene ruimten met eindelijke niet-abelse stabilisatoren. Het bevestigt dat voor dergelijke ruimten de "tamme" geometrie conjecturen (die vaak steunen op abelse dualiteit) niet volstaan, en dat de volledige kracht van de Brauer–Manin-obstruction, inclusief transcendente elementen, vereist is om rationale punten te beheersen. De methode exploiteert de interactie tussen de nilpotentieklasse van de stabilisator, de rang van lokale cohomologiegroepen en globale reciprociteitswetten.