Scrollar invariants of singular curves on toric surfaces

Technische Samenvatting: Scrollar-invarianten van Singuliere Curven op Torische Oppervlakken

Probleemstelling
Het artikel onderzoekt de scrollar-invarianten van eindige afdekkingen $f: C^\nu \to \mathbb{P}^1$ geïnduceerd door monomiale projecties van singuliere integrale curven $C$ op gepolariseerde torische oppervlakken $(S_\Delta, \mathcal{O}(\Delta))$. Gegeven een curve $C$ in een lineair systeem $|\mathcal{O}(\Delta)|$, bezit de normalisatie $C^\nu$ een graad-$d$ afbeelding naar $\mathbb{P}^1$ via de $x_1$-coördinaatprojectie. De scrollar-invarianten $e(C, f) = (e_1, \dots, e_{d-1})$ worden gedefinieerd door het splitsingstype van de vectorbundel $f_* \mathcal{O}_{C^\nu} = \mathcal{O}_{\mathbb{P}^1} \oplus \bigoplus_{i=1}^{d-1} \mathcal{O}_{\mathbb{P}^1}(-e_i)$.

Hoewel de invarianten voor gladde curven zijn bepaald door Castryck en Cools [CC17] via een combinatorische formule met betrekking tot de roosterbreedte van $\Delta$, is het gedrag voor singuliere curven complexer. Op een gegeven Severi-variëteit $V^{irr}_{g, \Delta}$ (die integrale curven van geometrische genus $g$ parametriseert), zijn de scrollar-invarianten niet noodzakelijkerwijs constant. De centrale vraag is om de scrollar-invarianten te bepalen voor een algemene curve in een irreducibele component van de Severi-variëteit, in het bijzonder voor $h$-transversale polygonen, en om te begrijpen hoe deze invarianten variëren over verschillende componenten.

Methodologie
De auteurs maken gebruik van tropische meetkunde, specifelijk het raamwerk van geparametriseerde tropische curven en vloerdiagrammen (floor diagrams) ontwikkeld in hun eerdere werken [CHT22, CHT23, CHT26a, CHT26b]. De bewijsstrategie rust op de volgende stappen:

1. Semicontinuïteit en Minimaliteit: De scrollar-invarianten zijn bovengeschat semicontinu $\meten$ de specialisatie-relatie (een partiële ordening op sequenties). Om te bewijzen dat een specifieke set invarianten $e_{g, \Delta}$ wordt gerealiseerd door een algemene curve in een component $V$, volstaat het om een enkele curve $C \in V$ te vinden waarvan de invarianten "minimaal" zijn (d.w.z. $e(C, f) \preceq e_{g, \Delta}$).
2. Berekening van de Tropische Rang: De auteurs construeren een specifieke geparametriseerde tropische curve $\Gamma$ (een eenvoudige, uitgerekte, op vloer-decompositie gebaseerde of ssfd-curve) en een divisor $D_{trop}$ zodanig dat de Baker-Norine rang van veelvouden van $D_{trop}$ begrensd wordt door de waarden die door de doel-invarianten worden voorgeschreven. Dit vestigt een bovengrens op de invarianten voor elke algebraïsche curve die tropiseert naar $(\Gamma, D_{trop})$.
3. Liftbaarheid via een Relatieve Benadering: De kern van de technische uitdaging is het liften van de tropische curve $(\Gamma, D_{trop})$ naar een algebraïsche curve in de Severi-variëteit. De auteurs gebruiken een relatieve benadering voor liftbaarheid [CHT26a, CHT26b]. Zij tonen aan dat de geconstrueerde tropische curve "sw-equivalent" is (via specifieke modificaties van vloerdiagrammen) aan een curve die bekend staat als liftbaar.
   • Een belangrijke innovatie is de herformulering van liftbaarheidsvoorwaarden in termen van vloerdiagrammen. Zij bewijzen dat voor $h$-transversale polygonen de relevante vloerdiagrammen mod-equivalent zijn aan "prime-to-$p$" diagrammen (waarbij de rand-veelvouden niet deelbaar zijn door de karakteristiek van het basisfeld).
   • Op basis van resultaten van Tyomkin [Tyo12] zijn prime-to-$p$ tropische curven liftbaar naar algebraïsche curven.
4. Afhandeling van Niet-Primitieve Afdekkingen: De auteurs behandelen gevallen waarin de projectie niet primitief is (d.w.z. factoriseert door een tussenliggende afdekking). Zij tonen aan dat als de polygoon $\Delta$ geen horizontale zijde bezit, de scrollar-invarianten niet minimaal zijn op alle componenten van de Severi-variëteit, waarbij zij expliciete tegenvoorbeelden geven.

Belangrijkste Bijdragen en Resultaten

• Generalisatie van de Castryck-Cools Formule: Het artikel breidt de Castryck-Cools formule [CC17] uit naar singuliere curven en willekeurige karakteristieken, en biedt een bovengrens op de scrollar-invarianten van $f: C^\nu \to \mathbb{P}^1$ in termen van de roosterbreedte-invarianten van $\Delta$ (Corollary 4.4).
• Hoofdtheorema (Theorem 5.4): Voor een $h$-transversale polygoon $\Delta$ van hoogte $d \ge 2$:
  1. Er bestaat ten minste één irreducibele component $V \subseteq V^{irr}_{g, \Delta}$ waarvoor de scrollar-invarianten van een algemene curve in $V$ gelijk zijn aan het unieke minimale element $e_{g, \Delta}$ van de verzameling toelaatbare invarianten.
  2. Indien $\Delta$ een horizontale zijde bezit, dan hebben elke irreducibele component $V \subseteq V^{irr}_{g, \Delta}$ scrollar-invarianten gelijk aan $e_{g, \Delta}$.
• Tegenvoorbeelden voor Universaliteit: Het artikel biedt voorbeelden (Example 5.1, Remark 5.2) waaruit blijkt dat als $\Delta$ geen horizontale zijde heeft, de scrollar-invarianten kunnen variëren tussen componenten van de Severi-variëteit, en dat de minimale invarianten mogelijk niet op alle componenten worden gerealiseerd. Dit benadrukt de noodzaak van de "horizontale zijde"-aanname voor het tweede deel van het Hoofdtheorema. De auteurs merken op dat hoewel de tweede bewering kan falen zonder horizontale zijde, zij geen voorbeeld kennen waar de eerste bewering (existentie van ten minste één component met minimale invarianten) faalt.
• Realisabiliteit: Als gevolg hiervan vestigt het artikel de realiseerbaarheid van de minimale scrollar-invarianten $e_{g, \Delta}$, waarmee de resultaten van Vakil en Vemulapalli [VV26] worden teruggevonden en uitgebreid naar alle karakteristieken en singuliere curven.

Betekenis
Dit werk vormt de eerste toepassing van tropische methoden om de scrollar-invarianten van algemene singuliere curven op torische oppervlakken te bepalen. Het overbrugt de kloof tussen het combinatorische begrip van gladde curven en de geometrische complexiteit van singuliere curven in Severi-variëteiten.

Het artikel claimt significantie op enkele specifieke gebieden:

• Uitbreiding van Bekende Resultaten: Het generaliseert de Castryck-Cools formule naar singuliere curven en willekeurige karakteristieken, en breidt de resultaten van Redigolo [Red26] over Hirzebruch-oppervlakken uit naar de bredere klasse van $h$-transversale polygonen.
• Tropisch-Liftbaarheid Raamwerk: Het demonstreert de kracht van de "relatieve benadering" voor liftbaarheid, waarbij wordt aangetoond dat zelfs in kleine karakteristieken waar eerdere realiseerbaarheidsresultaten (bijv. [Tyo12], [ABBR15]) niet van toepassing zijn, liftbaarheid kan worden vastgesteld via sw-equivalentie naar prime-to-$p$ diagrammen.
• Verheldering van Moduli-gedrag: Het verheldert het gedrag van Maroni-loci (loci van afdekkingen met vaste scrollar-invarianten) in de context van torische oppervlakken, waarbij wordt aangetoond dat hoewel een minimale invariant altijd realiseerbaar is, de uniformiteit van invarianten over de gehele Severi-variëteit afhangt van de geometrie van de polarisatie (specifiek de aanwezigheid van horizontale zijden).

De auteurs merken op dat de interactie tussen de stratificatie door scrollar-invarianten (Maroni-loci) en de stratificatie door splitsingstypen van lijnbundels (Brill-Noether-loci) een openstaande vraag blijft, die dit artikel als een eerste stap in een geplande reeks behandelt.