Moduli space of connections on rational irregular curves

Titel: Moduli-ruimte van connecties op rationele irreguliere krommen

Auteur: Mattia Morbello
Trefwoorden: Isomonodromische deformaties, Painlevé V-vergelijking, Moduli-ruimten, Kapranov-compactificatie, Deligne-Mumford stabiele krommen, Hirzebruch-oppervlakken.

1. Probleemstelling en Context

Het artikel richt zich op de studie van de moduli-ruimte van een specifieke klasse van rank-2 meromorfe connecties op de Riemann-sfeer ($\mathbb{P}^1$). Deze connecties, aangeduid als PV-connecties (Painlevé V-type), hebben een polaire divisor van graad 4, bestaande uit één dubbele pool (in $x=1$) en twee simpele polen (in $x=0$ en $x=\infty$).

De kern van het probleem is het construeren van een compactificatie van deze moduli-ruimte, aangeduid als $\mathfrak{Con}^V_\Theta$.

• Achtergrond: De moduli-ruimte is nauw verbonden met de isomonodromische deformaties die leiden tot de Painlevé V-vergelijking. Eerdere werken (Okamoto, Jimbo-Miwa-Ueno, Boalch) hebben de ruimten van beginvoorwaarden voor Painlevé-vergelijkingen bestudeerd, vaak als 8-voudige opblazingen van Hirzebruch-oppervlakken ($F_2$).
• De uitdaging: De bestaande beschrijvingen dekken vaak alleen het "dichte open deel" waar de parameters niet op de singuliere locaties (0, 1, $\infty$) liggen. Het doel is om een volledige, compacte algebraïsche variëteit te construeren die ook de randcomponenten (waar singuliere krommen en degeneraties optreden) correct beschrijft.

2. Methodologie

De auteur hanteert een geometrische aanpak die de parameters van de connectie interpreteert als data van een "rationele irreguliere kromme". De methode verloopt in drie hoofdstappen:

1. Geometrische Interpretatie van Parameters:
   De connecties worden genormaliseerd tot een specifieke vorm (companion form) afhankelijk van drie vrije parameters: $(t, q, \hat{p})$.

   • $q$: Een punt op $\mathbb{P}^1$ (de positie van een schijnbare singulariteit).
   • $t$: Een vector in de raakruimte van $\mathbb{P}^1$ in $x=1$ (gerelateerd aan de tijd in Painlevé V).
   • $\hat{p}$: Een extra complexe parameter gerelateerd aan de eigenvector van de residu-matrix bij $q$.
     De auteur definieert een rationele irreguliere kromme als een $\mathbb{P}^1$ met vier gemarkeerde punten en een gemarkeerde raakvector. De moduli-ruimte van deze krommen wordt aangeduid als $\mathcal{M}$.

2. Compactificatie van de Basis ($\mathcal{M}$):
   Om de moduli-ruimte van connecties te compactificeren, wordt eerst de basis $\mathcal{M}$ gecompactificeerd.

   • De auteur past een techniek toe die is geïnspireerd op Kapranov's compactificatie van $\mathcal{M}_{0,n}$ (moduli-ruimten van genummerde punten).
   • In plaats van punten te compactificeren, worden hier krommen met een raakvector geanalyseerd.
   • De compactificatie $\overline{\mathcal{M}}$ wordt geconstrueerd door de ruimte van gladde gemarkeerde kegelsneden in $\mathbb{P}^2$ te beschouwen die door drie vaste punten gaan met een vooraf bepaalde raakvector.
   • De randcomponenten worden beschreven met behulp van het concept van stabiele nodale irreguliere krommen (geïnspireerd op Deligne-Mumford), waarbij de krommen uit meerdere gladde componenten bestaan die samenkomen in knooppunten.

3. Extensie van de Lijnbundel en Constructie van de Totale Ruimte:
   De moduli-ruimte van connecties wordt gezien als een lijnbundel over de compacte basis.

   • De triviale lijnbundel $\mathcal{M} \times \mathbb{C}$ (waar $\hat{p}$ de vezelcoördinaat is) wordt geëxtendeerd naar de compacte basis $\overline{\mathcal{M}}$.
   • De auteur analyseert het gedrag van de sectie $\hat{p}=1$ langs de randcomponenten om de divisor $D$ te bepalen die de extensie definieert.
   • De uiteindelijke compacte moduli-ruimte $\mathfrak{Con}^V_\Theta$ wordt verkregen door een specifieke projectieve bundel te nemen, deze op te blazen langs speciale secties (om de degeneraties van de connecties correct te modelleren), en vervolgens bepaalde componenten te verwijderen.

3. Belangrijkste Resultaten en Stellingen

• Stelling A (Compactificatie van $\mathcal{M}$): De compactificatie van de moduli-ruimte van rationele irreguliere krommen is isomorf met een singuliere oppervlakte die ontstaat door de contractie van een unieke $[-2]$-kromme in een zwak Del Pezzo-oppervlak van graad 5. De resulterende singulariteit is van het $A_1$-type.
• Stelling B (Extensie van de Lijnbundel): De triviale lijnbundel over $\mathcal{M}$ extendeert naar de gladde overdekking $\widetilde{\mathcal{M}}$ als de bundel $\mathcal{O}_{\widetilde{\mathcal{M}}}(D)$, waarbij $D$ een specifieke divisor is die afhangt van de randcomponenten ($A_0, Q_1, B_i^j$, etc.). De bundel is triviaal op bepaalde randcomponenten, wat het definiëren van globale holomorfe secties mogelijk maakt.
• Stelling C (Constructie van $\mathfrak{Con}^V_\Theta$): De compacte moduli-ruimte wordt geconstrueerd als een open deel van een opgeblazen projectieve bundel over $\widetilde{\mathcal{M}}$, waarbij specifieke secties (die corresponderen met ongedefinieerde connecties) worden verwijderd.
• Stelling D (Geometrie van de Fibers): De compacte ruimte $\mathfrak{Con}^V_\Theta$ draagt een fibratie $\pi: \mathfrak{Con}^V_\Theta \to \mathbb{P}^1$ (gebaseerd op de parameter $t$):
  • Voor $t \in \mathbb{C}^*$ is de vezel $\pi^{-1}(t)$ een Okamoto-ruimte (een 8-voudige opblazing van het tweede Hirzebruch-oppervlak $F_2$), wat overeenkomt met de bekende ruimte van beginvoorwaarden voor Painlevé V.
  • Voor $t=0$ en $t=\infty$ (de randvezels) worden de oppervlakken expliciet beschreven als verenigingen van componenten die isomorf zijn aan $F_1$ of dubbel opgeblazen versies daarvan. Dit beschrijft de gedegenereerde isomonodromische systemen.

4. Bijdragen aan het Vakgebied

1. Expliciete Geometrische Constructie: Het artikel biedt een volledig algebraïsche constructie van de compacte moduli-ruimte voor PV-connecties, inclusief de randgedragingen, wat eerder vaak analytisch of incompleet was.
2. Verbinding met Kapranov en Deligne-Mumford: Het introduceert en formaliseert het concept van "stabiele nodale irreguliere krommen" als een natuurlijke generalisatie van de Deligne-Mumford compactificatie, specifiek toegepast op krommen met een raakvector (irreguliere data).
3. Analyse van Randgedrag: De auteur analyseert in detail hoe de connecties zich gedragen wanneer de parameters naar de singulariteiten convergeren (confluëntie). Dit leidt tot een nauwkeurige beschrijving van de "Okamoto-divisor" en de structuur van de vezels op de rand ($t=0, \infty$).
4. Symmetrieën: De constructie onthult een groep van symmetrieën (involutes) die de moduli-ruimte op zichzelf afbeelden, gerelateerd aan het verwisselen van residu-spectrale data en de permutatie van de polen.

5. Significatie

Dit werk vormt een brug tussen de analytische theorie van isomonodromische deformaties (Painlevé-vergelijkingen) en de algebraïsche meetkunde van moduli-ruimten. Door een expliciete compacte variëteit te construeren, maakt het onderzoek:

• Het bestuderen van de Riemann-Hilbert-correspondentie op de rand van de moduli-ruimte mogelijk.
• Het analyseren van de isomonodromische foliatie op de singuliere componenten, wat essentieel is voor het begrijpen van de globale dynamiek van de Painlevé-vergelijkingen.
• Het biedt een model voor hoe men om kan gaan met irreguliere singulariteiten in de context van moduli-ruimten, wat relevant is voor bredere vraagstukken binnen de niet-lineaire differentiaalvergelijkingen en de geometrische Langlands-correspondentie.

Kortom, Morbello levert een rigoureuze algebraïsche fundament voor de compacte moduli-ruimte van Painlevé V-connecties, waarbij de geometrie van de randcomponenten volledig wordt gekarakteriseerd.