Retract rational varieties are uniformly retract rational

Technische Zusammenfassung: „Retract Rational Varieties Are Uniformly Retract Rational“

Problemstellung
Die Arbeit befasst sich mit einer grundlegenden Frage in der Theorie der algebraischen Varietäten bezüglich der lokalen Struktur von rationalen und retract-rationalen Varietäten. Insbesondere wird untersucht, ob die Eigenschaft „retract rational“ die „uniforme Retract-Rationalität“ impliziert.

• Retract-Rationalität: Eine algebraische Varietät $X$ über einem unendlichen Körper $K$ ist retract rational, wenn es eine Zariski-offene dichte Teilmenge $V \subset X$, eine natürliche Zahl $m$, eine Zariski-offene Menge $U \subset K^m$ und reguläre Abbildungen $V \to U \to V$ gibt, deren Komposition die Identität auf $V$ ist.
• Uniforme Retract-Rationalität: $X$ ist uniform retract rational, wenn für jeden Punkt $x \in X$ es eine Zariski-offene Umgebung $V$ von $x$ (nicht notwendigerweise im globalen Sinne dicht, aber lokal zu $x$) gibt, die dieselbe Retraktionsbedingung erfüllt.

Die zentrale Frage (Frage 1.7) lautet: Sind alle glatten (nonsingular) retract-rationalen algebraischen Varietäten uniform retract rational?

Diese Untersuchung ist motiviert durch den breiteren Kontext der Gromov-Elliptizität. Gromov führte die „algebraische Elliptizität“ für komplexe glatte Varietäten ein, eine Eigenschaft, die starke Homotopie- und Approximationsmerkmale impliziert. Es war bekannt, dass uniforme Rationalität die algebraische Elliptizität impliziert. Da rationale Varietäten eine Teilmenge der retract-rationalen Varietäten sind, war es ein offenes Problem, ob alle glatten komplexen projektiven rationalen Varietäten algebraisch elliptisch sind (Frage 1.3). Eine positive Antwort auf die Frage nach der uniformen Retract-Rationalität würde hierzu eine Teillösung liefern, da Beobachtung 1.6 feststellt, dass uniforme Retract-Rationalität (im komplexen Fall) die algebraische Elliptizität impliziert (oder Malleabilität im reellen Fall).

Methodik
Der Beweis stützt sich auf eine Kombination aus lokaler algebraischer Geometrie, kommutativer Algebra und der Manipulation von Polynomabbildungen. Die Kernstrategie besteht darin, lokale rationale Abbildungen zu regulären Keimen (germs) zu erweitern.

1. Lokale Erweiterung von Abbildungen (Proposition 3.1): Das entscheidende technische Werkzeug ist Proposition 3.1, die besagt, dass wenn eine rationale Abbildung $F: K^n \dashrightarrow Y$ an einem Punkt $x_0$ auf einer Untervarietät $X \subset K^n$ regulär ist, dann ein regulärer Keim $G: (K^n, x_0) \to Y$ existiert, der auf $X$ in der Nähe von $x_0$ mit $F$ übereinstimmt.
2. Konstruktion der Erweiterung: Der Beweis von Proposition 3.1 nutzt Proposition 2.2. Diese Proposition konstruiert eine spezifische Polynomabbildung $\sigma: X \times K^{n-m} \to K^n$ (wobei $m = \dim X$) mit folgenden Eigenschaften:
   • Sie wirkt als Identität auf $X$, wenn die zweite Variable Null ist.
   • Ihre Ableitung am Basispunkt ist ein Isomorphismus.
   • Der induzierte Homomorphismus auf den lokalen Ringen ist surjektiv modulo eines spezifischen Ideals, das von den Nennern der rationalen Abbildung erzeugt wird.
     Diese Konstruktion ermöglicht es, die auf $X$ definierte rationale Abbildung lokal auf den umgebenden Raum $K^n$ anzuheben.
3. Generizitätsargumente: Die Konstruktion von $\sigma$ beruht auf Lemma 2.3, welches die Dimensionszählung auf Grassmannianen verwendet, um sicherzustellen, dass eine generische lineare Untervarietät die Nullstelle des relevanten Ideals nur im Ursprung schneidet. Dies gewährleistet die notwendige Transversalität und algebraische Unabhängigkeit für die Erweiterung.
4. Anwendung von Lemma 2.4: Dieses Lemma stellt sicher, dass die Regularität einer rationalen Funktion unter kleinen Störungen der Abbildung erhalten bleibt, was den Übergang von dem konstruierten Keim auf dem Produktraum zurück zum umgebenden Raum ermöglicht.

Zentrale Beiträge und Ergebnisse
Das primäre Ergebnis der Arbeit ist Theorem 1.8:

Sei $X$ eine glatte (nonsingular) retract-rationale algebraische Varietät über einem unendlichen Körper $K$. Dann ist sie uniform retract rational.

Der Beweis erfolgt durch das Betrachten eines beliebigen Punktes $x_0 \in X$. Da $X$ retract rational ist, existieren offene Mengen und Retraktionen global. Der Autor erweitert die Retraktionsabbildung $r: U \to V$ (wobei $V \subset X$) zu einer rationalen Abbildung auf dem umgebenden Raum. Unter Verwendung von Proposition 3.1 konstruiert der Autor einen regulären Keim $G$, der auf einer Umgebung von $x_0$ im umgebenden Raum definiert ist und sich in der Nähe von $x_0$ auf $X$ als Identität beschränkt. Dieser Keim liefert effektiv die lokale Retraktion, die für die uniforme Retract-Rationalität erforderlich ist.

Korollare und Bedeutung
Die Arbeit leitet als direkte Folge Korollar 1.9 ab:

Glatte (nonsingular) rationale komplexe projektive Varietäten sind algebraisch elliptisch.

Bedeutungsansprüche:

• Lösung einer spezifischen Frage: Die Arbeit liefert eine affirmative Antwort auf Frage 1.7 und stellt fest, dass die lokale Eigenschaft (Uniformität) der globalen Eigenschaft (Retract-Rationalität) für glatte Varietäten über unendlichen Körpern folgt.
• Teilantwort auf Gromovs Frage: Durch die Kombination von Theorem 1.8 mit Beobachtung 1.6 bestätigt das Papier, dass alle glatten rationalen komplexen projektiven Varietäten algebraisch elliptisch sind. Dies löst den zweiten Teil von Frage 1.3 für die Klasse der rationalen Varietäten.
• Klärung der Hierarchie: Die Ergebnisse klären die Hierarchie der Eigenschaften für irreduzible glatte komplexe projektive Varietäten:
  $$\text{Uniformly Rational} \implies \text{Rational} \implies \text{Retract Rational} \implies \text{Uniformly Retract Rational} \implies \text{Algebraically Elliptic}$$
  Das Papier stellt fest, dass die umgekehrten Implikationen im Allgemeinen nicht gelten (unter Verweis auf Beispiele von elliptischen Varietäten, die nicht rational oder nicht retract rational sind).

Die Arbeit beansprucht nicht, Frage 1.3 in ihrer Gesamtheit gelöst zu haben (also für alle glatten Varietäten, nicht nur rationale), noch schlägt sie neue experimentelle Anwendungen vor. Ihr Beitrag ist strikt theoretischer Natur und schließt die Lücke zwischen Retract-Rationalität und uniformer Retract-Rationalität mittels algebraischer Erweiterungstechniken.