Enumerating log rational curves on some toric varieties

Technische Samenvatting: Enumeratie van Logaritmische Rationele Curves op Sommige Torische Variëteiten

Probleemstelling
Dit artikel behandelt de enumeratie van genus 0, fixed-domain logaritmische Gromov-Witten invarianten voor gladde, projectieve torische variëteiten. Specifiek wordt gezocht naar het aantal afbeeldingen van een vaste algemene gepunte rationele curve naar een torische variëteit $X$ die door het maximaal aantal algemene punten gaan en voldoen aan voorgeschreven tangentie-veelvouden langs de torische grens. Deze invarianten, de zogenaamde "logaritmische Tevelev-graden" ($\text{logTev}^X_{\Gamma}$), werden eerder bestudeerd door Cela–Iribar López [CIL24] met behulp van tropische meetkunde, wat leidde tot conjecturen voor specifieke torische variëteiten. De auteurs beogen deze conjecturen te verifiëren of te weerleggen met behulp van directe algebraïsch-geometrische snijpunt-theorie in plaats van tropische combinatoriek.

Methodologie
De auteurs maken gebruik van een directe snijpunt-theoretische benadering op moduli-ruimten van "naïeve log-quasimaps".

1. Moduli-constructie: Voor de primaire familie van variëteiten $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a)) \to \mathbb{P}^r$, construeren de auteurs een compactificatie $Q_{\Gamma}(X_{r,s,a})$ van de moduli-ruimte van log-afbeeldingen $M_{\Gamma}(X_{r,s,a})$. Deze ruimte wordt gerealiseerd als een toren van projectieve bundels over een product van projectieve lijnen die de posities van de grenssnijpunten parametrizereert.
2. Naïef versus Stabiel: In tegenstelling tot de moduli-ruimte van log-stabiele afbeeldingen, staat $Q_{\Gamma}$ willekeurige botsingen van grenspunten toe en dwingt het niet strikt stabiliteitsvoorwaarden af, waardoor het een "naïeve" ruimte is. Het laat zich echter eenvoudig beschrijven als een toren van projectieve bundels, wat expliciete snijpunt-berekeningen vergemakkelijkt.
3. Transversaliteit en Twisting: Een cruciaal technisch onderdeel is de analyse van de transversaliteit van incidentie-voorwaarden. De auteurs definiëren een algoritme om quasimaps die niet "base-point-free" (bpf) zijn te "twisten" naar afbeeldingen met gemodificeerde tangentie-data. Zij bewijzen dat als de intersectie van incidentie-loci niet leeg is, de afbeeldingen aan specifieke dimensie-restricties moeten voldoen; anders is de intersectie leeg.
4. Excess Intersectie: In het geval van blow-ups van $\mathbb{P}^r$, maken de auteurs gebruik van de excess intersection-formule om bijdragen te berekenen van loci waar de snijpunt-waarde niet enumeratief is (dat wil zeggen, waar de intersectie niet gereduceerd is of niet ondersteund wordt op de verwachte locus).

Belangrijkste Resultaten

• Volledige Bepaling voor Projectieve Bundels: De auteurs bewijzen een conjectuur van Cela–Iribar López [CIL24, Conjecture 14] betreffende de logaritmische Tevelev-graden voor $X_{r,s,a} = \mathbb{P}(\mathcal{O}_s \oplus \mathcal{O}(-a))$. Zij leiden een expliciete formule af voor $\text{logTev}^{X_{r,s,a}}_{\Gamma}$ (Theorem 1.3.1 / Theorem 4.2.1).

  • De formule is alleen ongelijk aan nul als specifieke ongelijkheden met betrekking tot de tangentie-veelvouden $m_j$ en het aantal gemarkeerde punten $n$ worden vervuld (bijv. $m_j \leq n-1$).
  • Wanneer deze voorwaarden gelden, wordt de invariant gegeven door een product van faculteiten, een binomiaalcoëfficiënt betrokken bij een afgeleide integer $k_0$, en een macht van $a$.
  • Als de ongelijkheden niet worden vervuld, wordt bewezen dat de invariant nul is.
  • Dit resultaat generaliseert eerdere berekeningen voor Hirzebruch-oppervlakken ($r=s=1$) en biedt een volledig enumeratief antwoord voor deze familie van torische variëteiten.

• Weerlegging van de Conjectuur voor Blow-ups: De auteurs weerleggen [CIL24, Conjecture 15], die de logaritmische Tevelev-graden voorspelde voor de blow-up van $\mathbb{P}^r$ in $r$ torus-vaste punten.

  • Door zich te concentreren op de blow-up van $\mathbb{P}^2$ in 2 punten, demonstreren de auteurs dat de voorspelde waarde (afgeleid van een tautologische snijpunt-waarde op hun naïeve moduli-ruimte) niet altijd gelijk is aan de werkelijke geometrische telling.
  • Zij construeren een specifiek tegenvoorbeeld (Theorem 5.2.2) waarbij de werkelijke invariant ongelijk aan nul is maar verschilt van de voorspelde waarde.
  • Het verschil ontstaat doordat de snijpunt-waarde op de naïeve moduli-ruimte bijdragen bevat van "excess" loci (waar secties identiek verdwijnen) die niet enumeratief zijn. De auteurs berekenen deze excess bijdragen expliciet met behulp van de excess intersection-formule, waarbij zij aantonen dat deze niet in alle gevallen verdwijnen.

Betekenis en Claims
Het artikel claimt het enumeratieve probleem voor een brede klasse van torische variëteiten ($X_{r,s,a}$) op te lossen met behulp van directe algebraïsch-geometrische methoden, waarbij de combinatorische complexiteit van tropische correspondent-theorema's wordt omzeild.

• Enumerativiteit: De auteurs benadrukken dat hoewel fixed-domain Gromov-Witten invarianten in niet-logaritmische settings vaak niet enumeratief zijn (zoals opgemerkt in [BLL+24]), de hier beschouwde logaritmische setting enumeratieve tellingen oplevert voor de variëteiten $X_{r,s,a}$.
• Methodologische Bijdrage: Het werk vestigt dat "naïeve log-quasimaps" een levensvatbaar kader bieden voor expliciete berekeningen, mits men de randgedraging en excess intersectie-bijdragen zorgvuldig analyseert.
• Correctie van Conjecturen: Het artikel biedt een definitieve correctie op de op de tropische methode gebaseerde voorspellingen voor blow-ups van projectieve ruimten, en toont aan dat de tropische correspondentie voor fixed-domain invarianten een subtielere algebraïsch-geometrische verificatie vereist dan voorheen aangenomen.

De auteurs beweren niet het probleem voor álle torische variëteiten of hogere genus te hebben opgelost, maar bieden een volledige oplossing voor de specifieke familie $X_{r,s,a}$ en een tegenvoorbeeld voor de algemene conjectuur voor blow-ups.