Retract rational varieties are uniformly retract rational

Technische Samenvatting: "Retract Rational Varieties Are Uniformly Retract Rational"

Probleemstelling
Het artikel behandelt een fundamentele vraag in de theorie van algebraïsche variëteiten met betrekking tot de lokale structuur van rationale en retract rationale variëteiten. Specifiek wordt onderzocht of de eigenschap "retract rationaal" impliceert dat een variëteit "uniform retract rationaal" is.

• Retract Rationaliteit: Een algebraïsche variëteit $X$ over een oneindig lichaam $K$ is retract rationaal als er een Zariski-open dichte deelverzameling $V \subset X$ bestaat, een natuurlijk getal $m$, een Zariski-open deelverzameling $U \subset K^m$, en reguliere afbeeldingen $V \to U \to V$ waarvan de compositie de identiteit op $V$ is.
• Uniform Retract Rationaliteit: $X$ is uniform retract rationaal als voor elke punt $x \in X$ er een Zariski-open omgeving $V$ van $x$ bestaat (niet noodzakelijkerwijs globaal dicht in de zin van de gehele variëteit, maar lokaal aan $x$) die aan dezelfde retractievoorwaarde voldoet.

De centrale vraag (Vraag 1.7) luidt: Zijn alle gladde (nonsingular) retract rationale algebraïsche variëteiten uniform retract rationaal?

Deze vraag wordt gedreven door de bredere context van Gromov-elliptisiteit. Gromov introduceerde "algebraïsche elliptisiteit" voor complexe gladde variëteiten, een eigenschap die sterke homotopie- en benaderingskenmerken impliceert. Het was bekend dat uniforme rationaliteit algebraïsche elliptisiteit impliceert. Hoewel rationale variëteiten een deelverzameling zijn van retract rationale variëteiten, was het een open probleem of alle gladde rationale complexe projectieve variëteiten algebraïsch elliptisch zijn (Vraag 1.3). Een positief antwoord op de vraag over uniform retract rationaliteit zou een gedeeltelijke oplossing bieden voor dit probleem, aangezien Observatie 1.6 vaststelt dat uniform retract rationaliteit algebraïsche elliptisiteit impliceert (in het complexe geval) of malleabiliteit (in het reële geval).

Methodologie
Het bewijs steunt op een combinatie van lokale algebraïsche meetkunde, commutatieve algebra en de manipulatie van polynoomafbeeldingen. De kernstrategie is het uitbreiden van lokale rationale afbeeldingen naar reguliere germen (germs).

1. Lokale Extensie van Afbeeldingen (Propositie 3.1): Het cruciale technische instrument is Propositie 3.1, die stelt dat als een rationale afbeelding $F: K^n \dashrightarrow Y$ regulier is in een punt $x_0$ op een subvariëteit $X \subset K^n$, er een reguliere germen $G: (K^n, x_0) \to Y$ bestaat die overeenkomt met $F$ op $X$ nabij $x_0$.
2. Constructie van de Extensie: Het bewijs van Propositie 3.1 maakt gebruik van Propositie 2.2. Deze propositie construeert een specifieke polynoomafbeelding $\sigma: X \times K^{n-m} \to K^n$ (waarbij $m = \dim X$) met de volgende eigenschappen:
   • Het werkt als de identiteit op $X$ wanneer de tweede variabele nul is.
   • De afgeleide bij het basispunt is een isomorfisme.
   • De geïnduceerde homomorfisme op de lokale ringen is surjectief modulo een specifieke ideaal gegenereerd door de noemers van de rationale afbeelding.
     Deze constructie maakt het mogelijk om de rationale afbeelding gedefinieerd op $X$ lokaal te liften naar een reguliere afbeelding op de omringende ruimte $K^n$.
3. Generieke Argumenten: De constructie van $\sigma$ steunt op Lemma 2.3, dat gebruikmaakt van dimensietelling op Grassmannianen om te garanderen dat een generieke lineaire deelruimte de nulverzameling van het relevante ideaal slechts in de oorsprong snijdt. Dit garandeert de noodzakelijke transversaliteit en algebraïsche onafhankelijkheid voor de extensie om te werken.
4. Toepassing van Lemma 2.4: Dit lemma zorgt ervoor dat de regulariteit van een rationale functie behouden blijft onder kleine perturbaties van de afbeelding, waardoor de overgang van de geconstrueerde germen op de productruimte terug naar de omringende ruimte mogelijk wordt.

Belangrijkste Bijdragen en Resultaten
Het primaire resultaat van het artikel is Stelling 1.8:

Laat $X$ een gladde retract rationale algebraïsche variëteit zijn over een oneindig lichaam $K$. Dan is zij uniform retract rationaal.

Het bewijs verloopt door een willekeurig punt $x_0 \in X$ te nemen. Omdat $X$ retract rationaal is, bestaan er globaal open verzamelingen en retracties. De auteur breidt de retractieafbeelding $r: U \to V$ (waarbij $V \subset X$) uit naar een rationale afbeelding op de omringende ruimte. Gebruikmakend van Propositie 3.1, construeert de auteur een reguliere germen $G$ die gedefinieerd is op een omgeving van $x_0$ in de omringende ruimte, die zich in de buurt van $x_0$ op $X$ beperkt tot de identiteit. Deze germen levert effectief de lokale retractie die vereist is voor uniform retract rationaliteit.

Corollaria en Betekenis
Het artikel leidt Corollary 1.9 af als een direct gevolg van Stelling 1.8:

Gladde rationale complexe projectieve variëteiten zijn algebraïsch elliptisch.

Betekenisclaims:

• Resolutie van een Specifieke Vraag: Het artikel geeft een bevestigend antwoord op Vraag 1.7, waarbij wordt vastgesteld dat de lokale eigenschap (uniformiteit) volgt uit de globale eigenschap (retract rationaliteit) voor gladde variëteiten over oneindige lichamen.
• Gedeeltelijk Antwoord op Gromovs Vraag: Door Stelling 1.8 te combineren met Observatie 1.6, bevestigt dit artikel dat alle gladde rationale complexe projectieve variëteiten algebraïsch elliptisch zijn. Dit biedt een oplossing voor het tweede deel van Vraag 1.3 voor de klasse van rationale variëteiten.
• Verduidelijking van de Hiërarchie: De resultaten verhelderen de hiërarchie van eigenschappen voor irreducibele gladde complexe projectieve variëteiten:
  $$\text{Uniform Rationaal} \implies \text{Rationaal} \implies \text{Retract Rationaal} \implies \text{Uniform Retract Rationaal} \implies \text{Algebraïsch Elliptisch}$$
  Het artikel merkt op dat de omgekeerde implicaties in het algemeen niet gelden (met verwijzing naar voorbeelden van elliptische variëteiten die niet rationaal of niet retract rationaal zijn).

Het artikel beweert niet Vraag 1.3 in haar geheel te hebben opgelost (dus niet voor álle gladde variëteiten, maar enkel voor rationale), noch stelt het nieuwe experimentele toepassingen voor. De bijdrage is strikt theoretisch en overbrugt de kloof tussen retract rationaliteit en uniform retract rationaliteit met behulp van algebraïsche extensietechnieken.