Canonical Projectivization of Smooth Complete Toric Varieties

Technische Samenvatting: Canonieke Projectivisatie van Gladde Volledige Torische Variëteiten

Probleemstelling
Het artikel behandelt een fundamentele vraag in de torische meetkunde: gegeven een gladde volledige torische variëteit $X_\Sigma$ (gedefinieerd door een gladde volledige waai $\Sigma$ in een rooster $N \cong \mathbb{Z}^n$), kan men dan een gladde projectieve torische variëteit construeren die deze domineert via een eigentijdse birationale torische morfisme? Hoewel het bestaan van een dergelijke dominerende variëteit klassiek is (via het Torische Chow-Lemma gevolgd door resolutie van singulariteiten), gaat de klassieke aanpak doorgaans door singuliere tussenvariëteiten. De specifieke uitdaging die hier wordt aangepakt, is of deze projectivisatie volledig kan worden bereikt via een reeks gladde tussenvariëteiten, waarbij elke morfisme een gewone opblazing is langs een glad door de torus-invariante centrum. Dit relateert aan het probleem van "gladde sterfactorisatie" en onderscheidt het werk van de Zwakke Factorisatiestelling, die zowel opblazingen als afblazingen toestaat.

Methodologie
De auteur, Parsa Bakhtary, stelt een uniforme, constructieve algoritme voor dat de invoerwaai $\Sigma$ verfijnt tot een gladde projectieve waai $\hat{\Sigma}$ in drie onderscheiden fasen. De constructie is canoniek zodra een geordende roosterbasis van $N$ is vastgelegd.

1. Constructie van de Waai van Wandarrangementen:
   De eerste stap construeert een referentiewaai $\mathcal{A}_\Sigma$, de zogenaamde "waai van wandarrangementen". Voor elke kegel $\tau \in \Sigma$ met codimensie één, breidt de auteur het dragende hypervlak uit tot een centraal hypervlak in $N_\mathbb{R}$. De rangschikking van deze hypervlakken definieert een volledige waai $\mathcal{A}_\Sigma$.

   • Eigenschap: $\mathcal{A}_\Sigma$ is een volledige, projectieve waai die $\Sigma$ verfijnt. Echter, $\mathcal{A}_\Sigma$ is over het algemeen niet glad of simpliciaal.

2. Signaalaanpassingsalgoritme (De Fase van Wandaanpassing):
   Het doel is om $\Sigma$ te verfijnen tot een waai $\Gamma(\Sigma)$ die "ondergeschikt" is aan $\mathcal{A}_\Sigma$ (d.w.z. $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$) terwijl de gladheid behouden blijft.

   • Mechanisme: Het algoritme iteratieert door de wandnormalen $m_i$ die $\mathcal{A}_\Sigma$ definiëren. Voor een gegeven normaal $m$ wordt een tweedimensionale kegel $\langle u, v \rangle$ gedefinieerd als "$m$-slecht" als de generatoren aan tegenovergestelde zijden van het hypervlak $\ker(m)$ liggen (d.w.z. $m(u) \cdot m(v) < 0$).
   • Operatie: Het algoritme voert een eindige reeks ster-verfijningen uit op $m$-slechte tweedimensionale kegels. Specifiek, voor een slechte kegel $\langle u, v \rangle$, wordt de straal die wordt gegenereerd door $u+v$ ingevoegd.
   • Beëindiging: Een gewichtsfunctie $w_m(\tau) = |m(u)| + |m(v)|$ wordt gebruikt om beëindiging te bewijzen. Elke verfijning vermindert strikt de maximale gewicht van slechte kegels of vermindert hun aantal.
   • Resultaat: Deze fase produceert een gladde waai $\Gamma(\Sigma)$ waarbij elke kegel volledig binnen één kamer van het wandarrangement ligt (d.w.z. alle straalgeneratoren van een kegel liggen in hetzelfde gesloten halfruimte gedefinieerd door elke wandnormaal). Dit zorgt ervoor dat $\Gamma(\Sigma) \preceq \mathcal{A}_\Sigma$. Cruciaal is dat elke stap een opblazing is langs een glad invariante centrum van codimensie twee.

3. Barycentrische Omhulling (De Fase van Projectiviteit):
   Hoewel $\Gamma(\Sigma)$ glad is en de projectieve waai $\mathcal{A}_\Sigma$ verfijnt, is deze niet per se zelf projectief.

   • Operatie: De auteur past een barycentrisch afgeleide verfijning toe, aangeduid als $\text{Bar}(\Gamma(\Sigma))$. Dit houdt in dat stralen worden ingevoegd die overeenkomen met de zwaartepunten (som van generatoren) van alle kegels met dimensie $k \geq 2$, verwerkt in afnemende volgorde van dimensie.
   • Resultaat: Volgens Lemma 6.4, als een gladde waai $\Phi$ een projectieve waai $\Delta$ verfijnt, dan is de barycentrische verfijning $\text{Bar}(\Phi)$ projectief. Deze stap dwingt projectiviteit af terwijl de gladheid behouden blijft.

Belangrijkste Bijdragen en Resultaten

• Stelling 1.1 (Canonieke Torische Projectivisatie): Het artikel bewijst dat voor elke gladde volledige waai $\Sigma$ in $N_\mathbb{R}$ ($n \geq 2$), er een canonieke eindige reeks torische opblazingen bestaat:
  $$X_{\hat{\Sigma}} = X_r \to X_{r-1} \to \dots \to X_0 = X_\Sigma$$
  zodanig dat:

  1. $X_{\hat{\Sigma}}$ glad en projectief is.
  2. Elke morfisme de opblazing is van een glad door de torus-invariante centrum van codimensie $\geq 2$.
  3. De constructie canoniek is ten opzichte van een vastgelegde geordende roosterbasis.

• Uniformiteit: Het bewijs is uniform over alle dimensies $n$, en vermijdt dimensiespecifieke casestudies (in tegenstelling tot sommige eerdere benaderingen van niet-projectieve driedimensionale variëteiten).

• Specialisatie voor Dimensie Drie: In dimensie drie zijn de "slechte" objecten die door de fase van wandaanpassing worden opgelost, invariante krommen (overeenkomend met 2-kegels), en de barycentrische fase lost invariante krommen en door de torus-vaste punten op (3-kegels). Dit sluit aan bij de filosofie van de "slechte kromme" die wordt waargenomen in niet-projectieve Moishezon-driedimensionale variëteiten.

• Schattingen van Lengte: Het artikel biedt schattingen voor het aantal benodigde opblazingen. De totale lengte decomposeert in een aanpassingskosten (gerelateerd aan het aantal stralen dat wordt toegevoegd om aan wandvoorwaarden te voldoen) en een barycentrische kosten (gerelateerd aan het aantal kegels in de aangepaste waai). Voor driedimensionale variëteiten wordt een specifieke formule afgeleid: $L_{full} = 6f_1(\Gamma) - f_1(\Sigma) - 10$.

Betekenis en Claims
Het artikel claimt een constructieve oplossing te bieden voor het projectivisatieprobleem die de gladheid gedurende het hele proces behoudt.

• Contrast met Klassieke Methoden: In tegenstelling tot het klassieke Torische Chow-Lemma gevolgd door desingularisatie (wat singuliere tussenwaaiers kan introduceren), zorgt deze methode ervoor dat elke tussenvariëteit glad is.
• Contrast met Zwakke Factorisatie: In tegenstelling tot de Zwakke Factorisatiestelling (Włodarczyk), die birationale afbeeldingen decomposeert in opblazingen en afblazingen, bereikt deze constructie het resultaat uitsluitend met opblazingen.
• Contrast met Q-Factoriële Modificaties: De aanpak verschilt van kaders die flips, flops of Q-factoriële modificaties gebruiken (bijv. Fujino–Sato), die vaak resulteren in variëteiten die isomorf zijn in codimensie één in plaats van een dominerende variëteit.
• Canoniekheid: De constructie is deterministisch zodra een roosterbasis is gekozen, en lost de "slechte" deelvariëteiten (die de projectiviteitswanden kruisen) op in een systematische volgorde.

De auteur merkt op dat de gladheidshypothese essentieel is; als de invoerwaai niet glad is, kan de som van generatoren $u+v$ niet primitief zijn, wat de directe toepassing van het signaalaanpassingsalgoritme verhindert. Het werk wordt gepresenteerd als een directe, ongewogen constructie voor gladde waaiers, onderscheiden van gewogen versies van factorisatievermoedens.