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

Technische Zusammenfassung: Unzulänglichkeit der algebraischen Brauer–Manin-Obstruction für homogene Räume

Problemstellung
Die Arbeit befasst sich mit dem Versagen der Hasse-Prinzipien (lokal-globales Prinzip) für rationale Punkte auf algebraischen Varietäten. Insbesondere wird untersucht, ob die Brauer–Manin-Obstruction – ein kohomologischer Mechanismus, der von Manin eingeführt wurde – ausreicht, um alle derartigen Ausfälle bei homogenen Räumen zusammenhängender linearer algebraischer Gruppen zu erklären.

Während die Hinlänglichkeit der Brauer–Manin-Obstruction für Varietäten mit „zahmer“ Geometrie (z. B. geometrisch rational zusammenhängenden Varietäten) und für homogene Räume mit zusammenhängenden oder kommutativen Stabilisatoren etabliert ist, bleibt der Fall endlicher nicht-abelscher Stabilisatoren weitgehend offen. Vorherige Arbeiten von Demarche, Lucchini Arteche, Neftin, Demeio und Lagarde zeigten, dass der algebraische Teil der Brauer–Manin-Obstruction für die schwache Approximation im Fall endlicher metabelianer konstanter Stabilisatoren unzureichend ist. Die Existenz von homogenen Räumen, bei denen die algebraische Obstruction das Versagen des Hasse-Prinzips selbst nicht erklärt, war jedoch bislang unbekannt. Diese Arbeit zielt darauf ab, ein solches Gegenbeispiel zu konstruieren.

Methodik
Die Autoren konstruieren ein spezifisches Gegenbeispiel unter Verwendung eines homogenen Raums $X$ der speziellen linearen Gruppe $SL_n$ über einem Zahlkörper $k$, der eine primitive $p$-te Wurzel der Einheit enthält (wobei $p$ eine ungerade Primzahl ist). Die Konstruktion stützt sich auf die von Borovoi und Kunyavskii entwickelten Mechanismen, die der Autor in vorangegangener Arbeit [Lin24] weiter verfeinert hat.

1. Gruppenkonstruktion: Der geometrische Stabilisator $F$ des homogenen Raums wird als zentrale Erweiterung von $M \oplus M$ durch $Z$ konstruiert, wobei $M = \mathbb{F}_p^d$ und $Z$ ein Quotient von $M \otimes M$ ist. Die Erweiterung ist über einen surjektiven, nicht-degenerierten Homomorphismus $\phi: M \otimes M \to Z$ definiert.
2. Numerische Daten: Die Autoren wählen $d = [k:\mathbb{Q}] + 3$ und definizieren die Inklusion $A \otimes A \to M \otimes M$ (mit $A=\mathbb{F}_p$), indem der Generator auf die Identitätsmatrix $Id$ abgebildet wird. Die Gruppe $F$ hat somit die Nilpotenzklasse 2 und die Ordnung $p^{d^2+2d-1}$.
3. Kohomologischer Aufbau: Eine Klasse $\beta \in H^2(k, Z)$ wird mittels der globalen Klassenkörpertheorie konstruiert. Diese Klasse verschwindet an allen Orten außer einer Menge distinkter endlicher Orte $\{v_1, \dots, v_d\}$, deren lokale Invarianten den Bildern der Rang-eins-Matrizen $e_i \otimes e_i$ unter $\phi$ entsprechen.
4. Lokale vs. globale Analyse:
   • Lokale Existenz: Unter Verwendung der lokalen Tate-Dualität und der Tatsache, dass der Rang der lokalen Kohomologiegruppen $H^1(k_v, \mathbb{F}_p)$ klein ist (beschränkt durch 2 für Orte, die nicht durch $p$ geteilt werden), zeigen die Autoren, dass lokale Lösungen $x_v, y_v$ für die Gleichung $\beta|_{k_v} = \phi^*(x_v \cup y_v)$ an jedem Ort $v$ existieren. Dies stellt sicher, dass $X(k_v) \neq \emptyset$ für alle $v$ gilt.
   • Globale Nicht-Existenz: Die Autoren beweisen, dass keine globalen Lösungen existieren. Sie nutzen eine einheitliche Schranke für den Rang der Matrix $A_v = \text{Inv}_v(x \cup y)$ unter Verwendung der Dimension von $H^1(k_v, \mathbb{F}_p).$ Für hinreichend großes $d$ erzwingen die lokalen Beschränkungen, dass $A_v$ an den spezifischen Orten exakt $e_i \otimes e_i$ und andernorts $0$ ist. Die Summe dieser lokalen Invarianten ergibt die Identitätsmatrix $Id$, welche ungleich Null ist, was das globale Reziprozitätsgesetz (welches verlangt, dass die Summe der lokalen Invarianten verschwindet) verletzt.

Wesentliche Beiträge und Ergebnisse
Die Arbeit etabliert das folgende Hauptergebnis (Theorem 1):

• Konstruktion des Gegenbeispiels: Es existiert ein homogener Raum $X$ der $SL_n$ über $k$ mit endlichen $p$-Gruppen-Stabilisatoren der Nilpotenzklasse 2, so dass:

  1. $X$ Punkte in jeder Vollendung $k_v$ besitzt (lokale Löslichkeit).
  2. $X$ keine rationalen Punkte besitzt ($X(k) = \emptyset$).
  3. Die unramifizierte algebraische Brauer-Gruppe $Br_{nr,1}(X)$ gleich $Br_0(X)$ ist.

• Transzendente Obstruction: Da der algebraische Teil der Brauer–Manin-Obstruction trivial ist (gleich dem konstanten Teil), kann das Versagen des Hasse-Prinzips nicht durch algebraische Klassen erklärt werden. Die Autoren zeigen, dass die volle unramifizierte Brauer-Gruppe $Br_{nr}(X)$ isomorph zu $\mathbb{Z}/p$ modulo Konstanten ist. Durch die Konstruktion einer expliziten transzendenten Klasse $A_L \in Br_{nr}(X)$ unter Verwendung einer linearen Form $L: M \otimes M \to \mathbb{F}_p$ zeigen sie, dass diese Klasse eine nicht verschwindende Brauer–Manin-Paarung liefert:
  $$\sum_v \text{inv}_v(A_L(P_v)) = 1 \in \mathbb{Z}/p$$
  Dies bestätigt, dass das Versagen des Hasse-Prinzips durch eine transzendente Brauer–Manin-Obstruction erklärt wird.

Bedeutung
Die Arbeit liefert das erste Beispiel eines homogenen Raums einer zusammenhängenden linearen algebraischen Gruppe, bei dem das Hasse-Prinzip aufgrund einer transzendenten Brauer–Manin-Obstruction versagt, während die algebraische Obstruction unzureichend ist. Dieses Ergebnis unterstreicht die Notwendigkeit, transzendente Klassen bei der Arithmetik homogener Räume mit endlichen nicht-abelschen Stabilisatoren zu berücksichtigen. Es bestätigt, dass für solche Räume die „zahmen“ Geometrie-Vermutungen (die oft auf abelscher Dualität beruhen) nicht ausreichen und die volle Kraft der Brauer–Manin-Obstruction, einschließlich transzendenter Elemente, erforderlich ist, um rationale Punkte zu kontrollieren. Die Methode nutzt das Zusammenspiel zwischen der Nilpotenzklasse des Stabilisators, dem Rang lokaler Kohomologiegruppen und globalen Reziprozitätsgesetzen aus.