Invariant polynomials and Mukai's models of moduli spaces of curves and K3 surfaces

Technische Samenvatting: Invariante Polynomen en de Modellen van Mukai voor Modulirim van Krommen en K3-oppervlakken

Probleemstelling
Sinds de late jaren 1980 heeft Shigeru Mukai birationale modellen geïntroduceerd, aangeduid als $M^X_{1,g}$ en $M^X_{2,g}$, voor specifieke modulirim van krommen en gepolariseerde K3-oppervlakken van genus $g \in \{7, 8, 9, 10\}$. Deze modellen worden gedefinieerd als Geometric Invariant Theory (GIT) quotienten van Grassmanniaanse variëteiten door eenvoudige lineair-algebraïsche groepen. Hoewel er fundamentele resultaten bestaan met betrekking tot de stabiliteit van gladde, algemene objecten binnen deze modellen, blijft de GIT-stabiliteit van singuliere krommen en oppervlakken die op de grenzen van deze modulirim verschijnen, grotendeels onbekend. Eerdere pogingen om de semistabiliteit van specifieke singuliere voorbeelden (zoals in genus 7) te verifiëren, vertrouwden op klassieke, expliciete constructies van invariante polynomen en directe evaluatie. Deze methoden waren computationeel prohibitief en vereisten massale parallelle rekenkracht en aanzienlijke tijd om zelfs een enkel voorbeeld te evalueren.

Methodologie
Het artikel stelt een computationeel efficiënte aanpak voor voor het construeren en evalueren van invariante polynomen geassocieerd met Mukai's GIT-problemen. De methodologie verloopt in drie fasen:

1. Constructie van Invariante Polynomen:
   De auteurs analyseren de decompositie van de buitenste machten $\Lambda^g V_g^*$ (voor krommen) en $\Lambda^{g+1} V_g^*$ (voor oppervlakken), waarbij $V_g$ de specifieke representatie is die geassocieerd wordt met de groep $G_g$ die op de Grassmanniaanse variëteit werkt. Door irreduceerbare submodules binnen deze decomposities te identificeren, construeren de auteurs invariante polynomen $F_{g,d}$ van specifieke graden.

   • De strategie behelst het selecteren van irreduceerbare submodules van kleine dimensie en het vinden van de laagste graad $d$ waarvoor de symmetrische macht $\text{Sym}^d$ van de submodule een triviale $G_g$-module bevat (een invariant).
   • Voor specifieke gevallen (bijv. Genus 8, Dimensie 2) maken de auteurs gebruik van een combinatorische formule voor $SL_n$-invarianten uitgedrukt in termen van Gelfand-Tsetlin-bases, geïmplementeerd in het LieAlgebraRepresentations-pakket voor Macaulay2. Dit vermijdt de noodzaak voor algemene, geheugenintensieve algoritmen.

2. Lokalisatie van Singuliere Objecten:
   De auteurs identificeren specifieke punten in de parameterruimten (Grassmanniaanse variëteiten) die overeenkomen met singuliere krommen en oppervlakken. Deze omvatten:

   • Tangent developables (raakontwikkelingen).
   • Cuspidale kubische krommen met $g$-gonale symmetrie.
   • Gebalanceerde K3-tapijten (carpets) en linten (ribbons).
   • Grafkrommen geassocieerd met trivalent grafen ($\Gamma_7, \Gamma_8, \Gamma_9$).
   • Reduceerbare oppervlakken en krommen met generiek niet-gereduceerde componenten.
     De coördinaten voor deze punten worden afgeleid uit automorfisme groepen, algoritmen voor grafkrommen en computerzoekopdrachten voor niet-gereduceerde structuren.

3. Evaluatie en Verificatie:
   Gebruikmakend van de geconstrueerde polynomen en de geïdentificeerde punten, evalueren de auteurs $F_{g,d}$ op de parametermiddelen die de singuliere objecten representeren. Als de waarde niet nul is, is het object bewezen GIT-semistabiel. Alle berekeningen worden uitgevoerd met Macaulay2.

Belangrijkste Bijdragen

• Algoritmische Efficiëntie: Het artikel introduceert een methode voor het evalueren van invariante polynomen die aanzienlijk efficiënter is dan eerdere benaderingen. Waar eerder werk dagen van berekening op high-performance clusters vereiste (bijv. 36 uur op AWS-instances), construeert en evalueert de nieuwe methode polynomen voor genus 7 op een standaard laptop in ongeveer 24 uur, waarbij daaropvolgende evaluaties bijna onmiddellijk zijn.
• Implementatie: Het werk is geïmplementeerd in het LieAlgebraRepresentations-pakket voor Macaulay2, dat in de Appendix een combinatorische formule voor $SL_n$-invarianten bevat.
• Combinatorische Formule: De Appendix biedt een zelfstandig bewijs van een combinatorische formule voor een $SL_n$-invariant in termen van Gelfand-Tsetlin-bases, wat cruciaal is voor de efficiënte berekening van de genus 8 invariant.

Resultaten
De auteurs bewijzen Stelling 1.1, waarmee zij vaststellen dat een grote verscheidenheid aan singuliere krommen en oppervlakken GIT-semistabiel zijn in Mukai's modellen voor genera 7 tot en met 10. Specifiek bevestigt het artikel de semistabiliteit van:

• Genus 7: Tangent developables, 7-cuspidale kubische krommen, gebalanceerde K3-tapijten, gebalanceerde linten en grafkrommen.
• Genus 8: Tangent developables, 8-cuspidale kubische krommen, reduceerbare oppervlakken met vier niet-gereduceerde componenten, reduceerbare krommen met vijf niet-gereduceerde componenten, en grafkrommen.
• Genus 9: Tangent developables, 9-cuspidale kubische krommen, gebalanceerde K3-tapijten, gebalanceerde linten en grafkrommen.
• Genus 10: Tangent developables, 10-cuspidale kubische krommen, reduceerbare oppervlakken met twee niet-gereduceerde componenten, en reduceerbare krommen met vier niet-gereduceerde componenten.

Opmerkelijk genoeg wordt aangetoond dat de genus 8 reduceerbare oppervlak (Voorbeeld 8c) strikt semistabiel is, een resultaat dat de specifieke invariante polynoom $F_{8,2}$ vereiste die via de combinatorische formule is afgeleid, aangezien algemene methoden faalden vanwege geheugenbeperkingen.

Betekenis en Claims
Het artikel claimt dat de primaire bijdrage de demonstratie is van een schaalbare en efficiënte methode voor het analyseren van de grenzen van Mukai's modulirim. De auteurs benadrukken dat de "meest opvallende kenmerken" van hun resultaten de "lengte en breedte" van de lijst met geverifieerde semistabiele objecten zijn, in plaats van de specifieke geometrische eigenschappen van enig enkel item. De methodologie maakt het mogelijk om veel meer voorbeelden te analyseren dan voorheen mogelijk was. Het artikel claimt niet het algemene probleem van het karakteriseren van de gehele grens van deze modulirim op te lossen, maar biedt een robuust computationeel instrument om de semistabiliteit van specifieke, complexe singuliere objecten te verifiëren die voorheen onhandelbaar waren. Het werk breidt de bevindingen van [25] uit door de klassieke, expliciete berekeningen te vervangen door een representatietheoretische benadering die zowel sneller als geheugenefficiënter is.