Linearizability notions in equivariant birational geometry

Technische Zusammenfassung: Konzepte der Linearisierbarkeit in der Äquvarianten Birationalen Geometrie

Problemstellung
Diese Arbeit untersucht die äquivariante birationale Geometrie regulärer Aktionen endlicher Gruppen $G$ auf glatten projektiven Varietäten über einem algebraisch abgeschlossenen Körper $k$ des Charaketers Null. Das zentrale Problem besteht darin, die Beziehung zwischen der Linearisierbarkeit von Gruppenaktionen und ihrem Verhalten unter „Twisting“ mittels Torsoren zu verstehen. Speziell untersuchen die Autoren das Ausmaß, in dem globale äquivariante Eigenschaften (wie Linearisierbarkeit, Rationalität und Unirationalität) einer $G$-Varietät $X$ durch die Eigenschaften ihrer Twists $T_X$ über nicht abgeschlossenen Körpern bestimmt werden.

Ein zentraler Spannungspunkt im Feld, wie in vorangegangenen Arbeiten von Duncan und Reichstein ([DR15]) angemerkt, ist, dass zwar linearisierbare Aktionen „versal“ sind (eine Eigenschaft, die mit dem Vorhandensein von rationalen Punkten in Twists zusammenhängt), aber nicht alle versalen Aktionen linearisierbar sind. Die Arbeit versucht, das Verständnis dieser Eigenschaften zu verfeinern, indem sie zeigt, dass viele globale äquivariante Bedingungen auf die Überprüfung eines einzigen, spezifischen Twists reduziert werden können, der aus einer generisch freien versalen Aktion resultiert, anstatt alle möglichen Torsoren prüfen zu müssen.

Methodik
Die Autoren verwenden eine Kombination aus äquivarianter birationaler Geometrie, der Theorie der Torsoren und äquivarianter Intersektionstheorie (Chow-Gruppen).

1. Twisting-Konstruktion: Das zentrale technische Werkzeug ist das Twisting einer $G$-Varietät $X$ durch einen $G$-Torsor $T = \text{Spec}(L)$ über einer Erweiterungskörper $K$. Dies liefert eine Varietät $T_X$ über $K$. Die Arbeit nutzt die Korrespondenz zwischen $G$-Varietäten über $k$ und Varietäten über nicht abgeschlossenen Körpern über diese Konstruktion.
2. Versalität und generische Freiheit: Die Autoren nutzen das Konzept von „versalem“ $G$-Varietäten (bei denen jede invariante dichte offene Teilmenge eine $G$-äquivariante Abbildung von jedem Torsor zulässt) und „generisch freien“ Aktionen. Sie konzentrieren sich auf die Konstruktion eines einzelnen „Test“-Torsors $T_Z$, der aus einer generisch freien versalen $G$-Varietät $Z$ hervorgeht.
3. Äquivariante Chow-Gruppen und Diagonalezerlegung: In Abschnitt 4 führen die Autoren den Begriff der $G$-äquivarianten integralen Diagonalezerlegung ein. Dies beinhaltet die Analyse der Diagonalenklasse $[\Delta_X]$ in der äquivarianten Chow-Gruppe $CH^G_n(X \times X)$ und die Bestimmung, ob diese in ein Produkt aus der Fundamentalklasse und einem Null-Zyklus plus einem Term, der auf einer echten Untervarietät unterstützt ist, zerlegt werden kann.
4. Kohomologische Invarianten: Der letzte Abschnitt analysiert das Verhalten von Amitsur-Invarianten und vernachlässigbarer Kohomologie unter Twisting unter Verwendung der Leray-Spektralsequenz und der Eigenschaften der Brauer-Gruppe.

Wesentliche Beiträge und Ergebnisse

• Reduktion auf einen einzelnen versalen Twist (Theoreme 2.5 & 2.6):
  Die Arbeit stellt fest, dass für eine quasi-projektive $G$-Varietät $X$ eine breite Palette von Eigenschaften, die für alle Twists $T_X$ (über alle Torsoren $T$) gelten, äquivalent zu derselben Eigenschaft ist, die für einen einzelnen Twist $T_Z X$ gilt, wobei $Z$ eine beliebige quasi-projektive $G$-Varietät mit einer generisch freien versalen Aktion ist.

  • Theorem 2.5 deckt Eigenschaften wie die Existenz rationaler Punkte, Unirationalität, stabile Rationalität und Rationalität ab.
  • Theorem 2.6 erweitert diese Äquivalenz auf die Birationalität von Twists ($T_X \sim T_Y$).
  • Bedeutung: Dies stärkt frühere Ergebnisse, die eine Überprüfung der Eigenschaften gegen Twists erforderten, die aus treuen linearen Darstellungen resultieren. Die Autoren zeigen, dass jede generisch freie versale Aktion als „universeller Testfall“ ausreicht.

• G-Koarse-Birationalität und Linearisierbarkeit (Abschnitt 3):
  Motiviert durch die Reduktions-Theoreme definieren die Autoren koarse $G$-Birationalität ($X \sim^c_G Y$) und koarse Linearisierbarkeit (Bedingung (CL)).

  • $X$ ist koarse linearisierbar, wenn es koarse $G$-birational zu einem projektiven Raum $P^d$ ist.
  • Dies definiert eine Hierarchie: Linearisierbarkeit (L) $\implies$ Koarse Linearisierbarkeit (CL) $\implies$ Stabile Linearisierbarkeit (SL).
  • Die Autoren liefern Beispiele (z. B. Aktionen von $S_3 \times S_3$ auf $P^1 \times P^1$), die zeigen, dass (CL) in bestimmten Kontexten strikt schwächer als (L), aber strikt stärker als (SL) ist, und bieten damit eine feinere Klassifizierung von Aktionen, die nicht linearisierbar sind, sich aber unter Twisting wie lineare verhalten.

• Äquivariante Diagonalezerlegung (Abschnitt 4):
  Die Autoren definieren die $G$-äquivariante integrale Diagonalezerlegung (Definition 4.2).

  • Theorem 4.4 beweist, dass eine $G$-Varietät $X$ diese Eigenschaft besitzt, wenn und nur wenn ihr Twist $T_Z X$ (für ein versales $Z$) die standardmäßige (nicht-äquivariante) integrale Diagonalezerlegung besitzt.
  • Theorem 4.6 verbindet dies mit der Linearisierbarkeit: Wenn eine glatte projektive $G$-Varietät mit einer generisch freien Aktion stabil linearisierbar ist, besitzt sie eine $G$-äquivariante integrale Diagonalezerlegung.
  • Theorem 4.7 etabliert die Spezialisierungseigenschaft: Wenn das allgemeine Fiber einer glatten, eigentlichen Familie von $G$-Varietäten eine solche Zerlegung besitzt, dann tut dies auch das spezielle Fiber.

• Kohomologische Hindernisse (Abschnitt 5):
  Die Arbeit untersucht das Verhalten von Amitsur-Invarianten ($Am_d(X, G)$) und dem universellen Torsor-Hindernis unter Twisting.

  • Proposition 5.1 besagt, dass für schwach versale Aktionen höhere Amitsur-Invarianten verschwinden.
  • Proposition 5.3 zeigt, dass die Twisting-Konstruktion durch einen versalen Torsor einen Isomorphismus auf der Amitsur-Gruppe $Am_2(X, G)$ induziert.
  • Proposition 5.2 charakterisiert „vernachlässigbare“ Kohomologieklassen als solche, die verschwinden, wenn sie via der mit einem einzelnen versalen Torsor assoziierten Abbildung zurückgezogen werden, was das Thema verstärkt, dass ein einzelnes versales Objekt das kohomologische Verhalten der gesamten Klasse von Twists kontrolliert.

Bedeutung und Behauptungen
Die Autoren behaupten, dass ihre Ergebnisse eine Stärkung früherer Entwicklungen (speziell jener in [DR15] und [GM22]) darstellen. Während frühere Arbeiten zeigten, dass Eigenschaften aller Twists durch Eigenschaften von Twists impliziert werden, die aus treuen linearen Darstellungen resultieren, demonstriert diese Arbeit, dass die Bedingung auf jede generisch freie versale Aktion gelockert werden kann.

Die Arbeit beansprucht nicht, das allgemeine Linearisierbarkeitsproblem zu lösen, sondern bietet einen robusten Rahmen zum Testen äquivarianter birationaler Eigenschaften. Durch die Einführung der „koarse Linearisierbarkeit“ und die Verknüpfung mit der Diagonalezerlegung bieten die Autoren neue Werkzeuge, um zwischen Aktionen zu unterscheiden, die tatsächlich linearisierbar sind und solchen, die nur „stabil“ oder „koarse“ linearisierbar sind. Die Arbeit schließt die Lücke zwischen äquivarianter Geometrie über algebraisch abgeschlossenen Körpern und der Geometrie von Varietäten über nicht abgeschlossenen Körpern, indem sie zeigt, dass Letztere oft auf die Untersuchung eines einzigen, gut gewählten äquivarianten Modells reduziert werden kann.