On characterization of toric varieties

Titel: Zur Charakterisierung torischer Varietäten (On Characterization of Toric Varieties)

Zusammenfassung:
Der Artikel untersucht eine Vermutung von V. V. Shokurov, die torische Varietäten durch numerische Invarianten charakterisieren soll. Der Autor widerlegt die Vermutung in ihrer allgemeinen Form für Dimensionen $n \ge 3$, indem er Gegenbeispiele konstruiert. Zudem werden abgeschwächte Versionen der Vermutung bewiesen und eine angebliche „Beweisführung" der Vermutung in einer anderen Publikation ([6]) als fehlerhaft entlarvt.

1. Problemstellung und Hintergrund

Das zentrale Problem ist die Charakterisierung algebraischer Varietäten, die eine transitive Gruppenwirkung zulassen, insbesondere torischer Varietäten.

• Hintergrund: Für projektive Räume und Grassmann-Mannigfaltigkeiten existieren bekannte Charakterisierungssätze. Für torische Varietäten gab es bisher nur unvollständige Kriterien (z. B. das Aufspalten eines bestimmten Garben-Ext-Elements).

• Die Shokurov-Vermutung (Vermutung 1.3):
  Gegeben sei ein Paar $(X, D)$, wobei $X$ eine normale, projektive Varietät und $D = \sum d_i D_i$ ein $\mathbb{Q}$-Rand (Boundary) ist. Unter den Bedingungen, dass $(X, D)$ log-kanonisch (lc) ist, $-(K_X + D)$ nef ist und $X$ $\mathbb{Q}$-faktoriell ist, lautet die Vermutung:
  $$\sum d_i \le r(X, D) + \dim X$$
  wobei $r(X, D)$ die Dimension des von den $D_i$ aufgespannten $\mathbb{Q}$-Vektorraums in $N_1(X) \otimes \mathbb{Q}$ ist.
  Gleichheitsfall: Die Gleichheit gilt genau dann, wenn das Paar $(X, D')$ (für ein geeignetes $D' \ge \lfloor D \rfloor$) torisch ist.

• Komplexitätsbegriff: J. McKernan führte die Komplexität $c(X, D) := r(X, D) + \dim X - \sum d_i$ ein. Die Vermutung besagt implizit: Wenn $c(X, D) < 1$ (bzw. $c(X, D)=0$ für ganzzahlige Koeffizienten), dann ist $X$ torisch.

2. Methodik

Der Autor verfolgt einen dreifachen Ansatz:

1. Analyse bestehender Beweise: Überprüfung der Argumentation in früheren Arbeiten (insbesondere [25]), die die Vermutung für Dimension 2 beweisen und für höhere Dimensionen auf zwei Hauptbehauptungen stützen:
   • Isomorphie in Kodimension 1 impliziert Torizität.
   • Existenz ganzzahliger $\mathbb{Q}$-Komplemente für $K_X + D$.
2. Konstruktion von Gegenbeispieten: Entwicklung einer spezifischen geometrischen Konstruktion, um die oben genannten Behauptungen zu widerlegen.
3. Beweis schwächerer Versionen: Herleitung positiver Resultate unter zusätzlichen Einschränkungen (z. B. wenn $K_X + D \equiv 0$).

3. Hauptergebnisse und Beiträge

A. Widerlegung der Vermutung für $n \ge 3$ (Hauptresultat)

Der Autor definiert eine Klasse von falsch-torischen (fake toric) Varietäten ($T_{f,n}$): Varietäten, die alle numerischen Bedingungen der Shokurov-Vermutung erfüllen (insbesondere $c(X, D) < 1$), aber selbst nicht torisch sind.

• Satz 1.11: Für jede Dimension $n \ge 3$ ist die Klasse $T_{f,n}$ nicht leer.
• Konstruktion (für $n=3$):
  • Startpunkt: Eine Quadrik $Q \subset \mathbb{P}^4$.
  • Operation: Aufblasen einer $G$-invarianten Geraden $\ell \subset Q$, gefolgt von einem Quotienten nach einer Gruppe $G \cong \mathbb{Z}/2 \times \mathbb{Z}/2$.
  • Die Gruppe $G$ wird durch zwei kommutierende Involutionen erzeugt, die auf $Q$ wirken.
  • Das resultierende $X$ ist singulär, besitzt einen Rand $D$ mit $K_X + D \equiv 0$ und der absoluten Komplexität $ac(X, D) = 3/4$.
  • Ergebnis: $X$ erfüllt die numerischen Kriterien ($ac < 1$), ist aber nicht torisch. Dies widerlegt die Shokurov-Vermutung in ihrer allgemeinen Form für Dimensionen $\ge 3$.
  • Hinweis: Für glatte $X$ wurde die Vermutung kürzlich in [39] bewiesen; das Gegenbeispiel ist also notwendig singulär.

B. Positive Ergebnisse (Schwächere Versionen)

Obwohl die Vermutung falsch ist, gelten unter stärkeren Annahmen positive Aussagen:

• Proposition 1.14 (Prokhorov): Wenn $K_X + D \equiv 0$ und alle $d_i = 1$ sind, dann gilt $c(X, D) \ge 0$. Falls $c(X, D) = 0$, ist $X$ rational zusammenhängend.
• Satz 1.15: Unter den Bedingungen von Prop. 1.14 gilt:
  • Wenn $ac(X, D) = 0$, dann ist $X$ rational.
  • Wenn $ac(X, D) = 1$ und $X$ rational zusammenhängend ist, dann ist $X$ rational.
  • Beweismethode: Induktion über die Dimension unter Verwendung einer „Morse-Funktion" (eines Pencil) und der Struktur der Fasern.

C. Kritik an der Arbeit [6]

Im Anhang analysiert der Autor einen kürzlich veröffentlichten Beweis der Shokurov-Vermutung in [6] (Duke Math. J.) und identifiziert fundamentale Fehler:

1. Fehler in der algebraischen Geometrie: Die Autoren behaupten fälschlicherweise, dass ein Ring $R$, der von einem Torus $(\mathbb{C}^*)^r$ auf einer Dimension $d > r$ operiert und $d$ invariante Divisoren besitzt, notwendigerweise ein Polynomring sein muss. Der Autor liefert ein explizites Gegenbeispiel (eine singuläre Fläche in $\mathbb{C}^3$), das diese Behauptung widerlegt.
2. Fehler bei Rationalitätskriterien: Die Anwendung eines Rationalitätskriteriums für Conic Bundles über Prym-Varietäten auf singuläre Fälle (die in [6] betrachtet werden) ist ungültig, da das Kriterium nur für glatte (oder zumindest terminale) Conic Bundles bekannt ist.

4. Signifikanz und Implikationen

• Korrektur des Forschungsstands: Die Arbeit zeigt, dass die intuitive Vermutung, dass niedrige Komplexität ($c < 1$) automatisch Torizität impliziert, in höheren Dimensionen und bei singulären Varietäten falsch ist.
• Grenzen der Minimalen Modelltheorie (MMP): Die Konstruktion demonstriert, dass die Strategie, die auf „Isomorphie in Kodimension 1" und „$\mathbb{Q}$-Komplemente" basiert, bei singulären Fällen versagt. Die Annahme, dass ein Isomorphismus in Kodimension 1 zwischen einer torischen und einer beliebigen Varietät die Torizität der letzteren erzwingt, gilt nicht global ohne weitere Bedingungen (wie z. B. Mori Dream Space-Eigenschaft).
• Richtung für zukünftige Forschung: Die Arbeit stellt offene Fragen zur Struktur der „falsch-torischen" Varietäten (z. B. ob sie als Quotienten torischer Bündel entstehen oder ob sie reguläre Torus-Aktionen zulassen). Sie grenzt den Gültigkeitsbereich der Charakterisierungstheorie präzise ein: Sie gilt für glatte Varietäten (wie in [39] gezeigt), aber nicht für den allgemeinen singulären Fall.

Fazit: Der Artikel ist ein kritisches Werk, das eine weit verbreitete Vermutung in der birationalen Geometrie widerlegt, indem er pathologische Gegenbeispiele konstruiert, und gleichzeitig die korrekten, eingeschränkten Versionen der Vermutung beweist. Er dient als notwendige Korrektur für die Literatur, insbesondere im Hinblick auf die fehlerhafte Argumentation in [6].