Coxeter theory for curves on blowups of $\mathbb{P}^r$

Dit artikel onderzoekt gladde irreducibele rationale krommen op de opgeblazen projectieve ruimte $\mathbb{P}^r$ door middel van Coxeter-theorie, waarbij numerieke criteria worden afgeleid om te bepalen wanneer dergelijke krommen onder de Weyl-groep van Cremona-transformaties vallen.

De kern

Stel je voor dat je een gigantische, complexe ruimte hebt, laten we hem Y noemen. Deze ruimte is gemaakt door een standaard projectieve ruimte (een soort oneindig groot canvas) op bepaalde punten te "prikken" en die punten uit te rekken tot kleine, nieuwe dimensies. Wiskundigen noemen dit een "blow-up".

In dit papier onderzoeken de auteurs, Olivia Dumitrescu en Rick Miranda, een heel specifiek type lijntje dat door deze ruimte Y kan lopen. Ze noemen deze lijntjes (i)-krommen.

Hier is de uitleg in gewone taal, met een paar creatieve vergelijkingen:

1. De Helden: De (i)-krommen

Stel je voor dat je een elastiekje door deze ruimte trekt. Meestal is zo'n elastiekje rommelig en onvoorspelbaar. Maar de auteurs kijken alleen naar de "perfecte" elastieken.

• Ze zijn glad (geen knopen).
• Ze zijn rond (ze lijken op een cirkel, wiskundig gezien een "rationale kromme").
• Ze hebben een heel specifiek gedrag: ze kunnen niet zomaar uitrekken of krimpen. Ze zijn ofwel stug (ze bewegen niet, een "-1"-kromme), of ze hebben net genoeg bewegingsruimte om te glijden (een "0"-kromme), of ze zijn zelfs vrij om te zwermen (een "1"-kromme).

De auteurs noemen deze specifieke lijntjes (i)-krommen. Ze zijn als de "ideale wegen" in dit landschap.

2. De Magische Spiegels: Cremona-transformaties

Hoe vinden ze deze perfecte lijntjes? Ze gebruiken een magische tool genaamd de Cremona-transformatie.
Stel je voor dat je een foto van een landschap hebt. Je pakt de foto en draait hem om, of je spiegelt hem op een heel specifieke manier. Soms ziet de foto er heel anders uit, maar de onderliggende structuur blijft hetzelfde.

In de wiskunde is dit een transformatie die de ruimte Y op zichzelf afbeeldt. Als je een simpele lijn door twee punten neemt en je "spiegelt" deze met deze magische tool, krijg je een heel nieuw, complexer lijntje. Maar dit nieuwe lijntje is nog steeds een perfecte (i)-kromme!

De auteurs noemen deze lijntjes (i)-Weyl-lijnen. Ze zijn allemaal familie van elkaar, verbonden door deze magische spiegels.

3. De Kaart en het Kompas: De Coxeter-groep

Nu komt het moeilijke deel, maar we kunnen het simpel maken.
De auteurs hebben een enorme verzameling van al deze mogelijke lijntjes. Ze willen weten: "Is dit specifieke lijntje dat ik heb gevonden, eigenlijk gewoon een familie-lid van de simpele lijnen die we al kennen?"

Om dit te checken, gebruiken ze een wiskundig kompas genaamd de Coxeter-groep.

• De Analogie: Stel je voor dat je een doolhof hebt. Je hebt een kaart (de "Chow-ring") die laat zien waar alles zit. De Coxeter-groep is als een set van regels die je vertelt hoe je van het ene pad naar het andere kunt springen.
• Ze hebben een speciaal meetlatje (een bilineaire vorm) ontwikkeld. Als je dit meetlatje op een lijntje legt, krijg je twee getallen: een lineair getal en een kwadratisch getal.
• Als een lijntje een (i)-Weyl-lijn is, moeten deze twee getallen exact overeenkomen met die van de simpele lijnen.

4. Het Grote Geheim: Wanneer is het echt een Weyl-lijn?

De auteurs ontdekten iets interessants:

• Als de ruimte Y klein genoeg is (bijvoorbeeld in 3 dimensies met niet te veel "prikpunten"), dan zijn de regels heel streng. Als een lijntje de juiste getallen heeft op het meetlatje, is het gegarandeerd een familie-lid (een Weyl-lijn).
• Maar als de ruimte heel groot en complex wordt, volstaat het niet om alleen naar de getallen te kijken. Je kunt een lijntje hebben dat eruitziet als een Weyl-lijn (dezelfde getallen), maar dat in werkelijkheid een "verkeerde" weg is die nergens naartoe leidt.

Om dit op te lossen, gebruiken ze een projectie-inegaliteit.

• De Analogie: Stel je voor dat je een schaduw van een object op een muur projecteert. Als het object een echte Weyl-lijn is, moet de schaduw op elke muur (elke projectie) een bepaalde vorm hebben. Als de schaduw te krom is of de verkeerde kant op wijst, dan is het object geen echte Weyl-lijn, zelfs niet als de getallen kloppen.

5. Het Hoogtepunt: De "Noether"-regel voor 3D

Voor de specifieke case van 3-dimensionale ruimtes (onze wereld, als het ware), bewijzen ze een nieuwe versie van een oude regel van Max Noether.
Ze zeggen: "Als je een lijntje hebt in 3D dat voldoet aan onze getallen-regels én aan onze schaduw-regels (projectie-inegaliteit), dan is het gegarandeerd een echte Weyl-lijn."

Dit is als een sleutel: als je de juiste vorm hebt én de juiste lengte, past hij in het slot.

Samenvatting in één zin

De auteurs hebben een systeem bedacht om te bepalen of een complex, gekromd lijntje in een wiskundige ruimte eigenlijk gewoon een "vermomde" simpele lijn is, door te kijken naar zijn "vingerafdruk" (getallen) en zijn "schaduw" (projecties), met behulp van een magische set van spiegels (Cremona-transformaties).

Het is alsof ze een detective zijn die probeert uit te zoeken of een verdachte (een complex lijntje) echt een familielid is van de koninklijke familie (de simpele lijnen), door te kijken naar zijn DNA (de getallen) en zijn gedrag in verschillende situaties (de projecties).

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Coxeter theory for curves on blowups of $\mathbb{P}^r$" van Olivia Dumitrescu en Rick Miranda, geschreven in het Nederlands.

Titel: Coxeter-theorie voor krommen op opgeblazen $\mathbb{P}^r$

Auteurs: Olivia Dumitrescu (UNC Chapel Hill) en Rick Miranda (Colorado State University)
Publicatie: arXiv:2205.13605v1 [math.AG], 26 mei 2022

---

1. Probleemstelling en Context

Het artikel onderzoekt de eigenschappen van gladde, irreducibele, rationale krommen in $Y^r_s$, een algemene opgeblazen versie van de projectieve ruimte $\mathbb{P}^r$ in $s$ algemene punten $p_1, \dots, p_s$.

De auteurs focussen op een specifieke klasse van krommen, de zogenaamde $(i)$-krommen (voor $i \in \{-1, 0, 1\}$). Een $(i)$-kromme is gedefinieerd als een kromme waarvan de normale bundel splits als een directe som van lijnbundels van graad $i$ (d.w.z. $\mathcal{O}_{\mathbb{P}^1}(i)^{\oplus(r-1)}$).

• $(-1)$-krommen: Zijn rigide en corresponderen met flopping klassen.
• $(0)$- en $(1)$-krommen: Zijn beweeglijk en bepalen extremale stralen voor de effectieve kegel van divisors.

Het centrale probleem is het karakteriseren van $(i)$-Weyl-lijnen. Dit zijn krommen die verkregen kunnen worden door standaard Cremona-transformaties toe te passen op een rechte lijn die door $1-i$punten gaat (bijvoorbeeld een lijn door twee punten voor$i=-1$). De vraag is: *Wanneer is een gegeven Chow-klass (bepaald door graad en multipliciteiten) een$(i)$-Weyl-lijn?*

Voor ruimtes die "Mori Dream Spaces" zijn, is dit numeriek oplosbaar via lineaire en kwadratische invarianten. Echter, voor ruimtes die géén Mori Dream Spaces zijn (zoals $Y^3_{12}$), faalt deze karakterisering. Het doel van dit paper is een numeriek criterium te vinden dat ook werkt voor niet-Mori Dream Spaces, specifiek door de irreducibiliteit van de kromme te betrekken via projectie-ongelijkheden.

2. Methodologie

De auteurs combineren de theorie van Chow-ringen, Cremona-transformaties en de theorie van Coxeter-groepen.

• Chow-ring en Bilineaire Vormen: Ze gebruiken de Chow-ring $A(Y^r_s)$ en definiëren een bilineaire vorm $\langle -, - \rangle$ die voortkomt uit de kwadratische vorm $q_{r-1}(d; m) = d^2 - (r-1)\sum m_i^2$. Deze vorm is gerelateerd aan de Dolgachev-Mukai pairing.
• Cremona-transformaties: Ze analyseren de actie van de standaard Cremona-transformatie $\phi_I$ (gecentreerd in $r+1$ punten) op de klassen van divisors en krommen. Deze transformaties genereren de Weyl-groep $W$.
• Coxeter-theorie: De actie van de Weyl-groep op de ruimte van krommeklassen (orthogonaal op de canonieke klasse) wordt geïdentificeerd met de standaard geometrische representatie van een Coxeter-groep van het type $T_{2, r+1, s-r-1}$.
• Tits-kegel en Reductie-algoritme: Ze gebruiken de theorie van de Tits-kegel om te bepalen of een klasse onder de actie van de Weyl-groep kan worden gereduceerd tot een "Cremona-gereduceerde" vorm (waarbij de graad niet verder kan worden verlaagd).
• Projectie-ongelijkheden: Ze introduceren een versterkte versie van de projectie-ongelijkheid om irreducibiliteit te garanderen.

3. Belangrijkste Bijdragen en Resultaten

A. Isomorfisme met Coxeter-groepen (Stelling 4.5 & 4.6)

De auteurs bewijzen dat de actie van de Weyl-groep (gegenereerd door permutaties en Cremona-transformaties) op de ruimte van krommeklassen $V^{r-1}$ isomorf is aan de standaard geometrische representatie van de Coxeter-groep geassocieerd met de grafiek $T_{2, r+1, s-r-1}$.

• Dit stelt hen in staat om de theorie van de Tits-kegel toe te passen om te bepalen of een klasse in de orbit van een lijn ligt.

B. Monotone Reductie en de "Projection Inequality" (Stellingen 5.7, 5.9, 5.10)

Voor $r \ge 3$ bewijzen ze dat alle $(i)$-Weyl-lijnen met graad $>1$ voldoen aan de ongelijkheid $d \le \sum_{j=1}^{r+1} m_j$ (waarbij multipliciteiten in niet-stijgende orde zijn).

• Resultaat: Elke $(i)$-Weyl-lijn kan monotoon gereduceerd worden tot de basislijnklasse (door $1-i$ punten) door een reeks standaard Cremona-transformaties toe te passen.
• Ze tonen aan dat voor $i=-1$ (lijnen door twee punten), er in het geval van een oneindige Weyl-groep geen Cremona-gereduceerde klasse bestaat die een $(-1)$-Weyl-lijn is, tenzij het de originele lijn is.

C. Versterkte Projectie-ongelijkheid (Definitie 6.2)

De auteurs definiëren de Sterke Projectie-ongelijkheid: Een klasse $c$ voldoet hieraan als $\langle c, w(h-e_j) \rangle \ge 1$ voor elke element $w$ van de Weyl-groep waarvoor $\deg(w^{-1}(c)) > 1$.

• Dit is een noodzakelijke voorwaarde voor een klasse om een $(i)$-Weyl-lijn te zijn, die sterker is dan de standaard numerieke invarianten.

D. Noether-type Ongelijkheid voor $\mathbb{P}^3$ (Stelling 6.6)

Voor de specifieke case $r=3$ generaliseren ze de klassieke ongelijkheid van Max Noether voor vlakke krommen naar krommen in $\mathbb{P}^3$.

• Stelling 6.6: Als een krommeklasse $c$ in $Y^3_s$ voldoet aan de juiste lineaire en kwadratische invarianten en de projectie-ongelijkheid ($m_k \le (d-1)/2$), dan geldt $m_1 + m_2 + m_3 + m_4 > d$.
• Dit impliceert dat de klasse niet Cremona-gereduceerd is en dat een Cremona-transformatie de graad strikt verlaagt.

E. Numeriek Criterium voor Weyl-krommen in $\mathbb{P}^3$ (Stelling 6.13)

Dit is het hoofdstuk van het paper. Ze bewijzen dat voor irreducibele krommen in $Y^3_s$ met graad $d > 1$, de volgende twee stellingen equivalent zijn:

1. Numerieke condities: De klasse voldoet aan de juiste lineaire en kwadratische invarianten én de sterke projectie-ongelijkheid.
2. Geometrische conditie: De klasse is een $(i)$-Weyl-lijn (d.w.z. in de orbit van een lijn door $1-i$ punten).

Dit biedt een volledig numeriek karakteriserend criterium voor $(-1)$-Weyl-lijnen in $\mathbb{P}^3$, zelfs in gevallen waar de ruimte geen Mori Dream Space is.

4. Significantie en Impact

• Overbrugging van Lücken: Het paper lost het probleem op van het identificeren van Weyl-lijnen in situaties waar de eerdere methoden (gebaseerd op Mori Dream Spaces) faalden.
• Verbinding Divisors en Krommen: Het toont aan dat de theorie voor divisors (zoals in werk van Dumitrescu en Park) een direct analoog heeft voor krommen, maar dat voor krommen extra voorwaarden (zoals irreducibiliteit via projectie-ongelijkheden) nodig zijn om een volledige karakterisering te krijgen.
• Algorithmische Toepasbaarheid: De resultaten leveren een concreet algoritme om te controleren of een gegeven numerieke klasse een Weyl-lijn is: controleer de invarianten, controleer de sterke projectie-ongelijkheid, en pas Cremona-reductie toe.
• Fundamenteel Begrip: Het verrijkt het begrip van het Minimale Model Programma (MMP) in de context van krommen, niet alleen van divisors, en illustreert hoe Coxeter-theorie fundamentele eigenschappen van rationale krommen in geblazen ruimtes kan onthullen.

Samenvattend biedt dit werk een krachtige, numerieke methode om de geometrie van rationale krommen op opgeblazen projectieve ruimtes te classificeren, met een scherpe karakterisering voor de case $\mathbb{P}^3$.