Refined enumerative invariants and mixed Welschinger invariants

Dit artikel bewijst dat voor reële torische oppervlakken met conjugaat-invariante puntvoorwaarden op de randdivisoren het getekende aantal reële krommen van willekeurige genus invariant is onder variatie van de punten, en introduceert een nieuwe relatieve verfijnde tropische invariant die zowel dit getekende aantal als de telling van complexe krommen met voorgeschreven raakpunten omvat, terwijl het ook aantoont dat deze invariantie in positieve genus verloren gaat wanneer conjugaatparen in het inwendige worden toegestaan.

De kern

Stel je voor dat je een enorme, complexe puzzel moet oplossen. Je hebt een doos met stukjes (punten in een vlak) en je wilt weten hoeveel manieren er zijn om een mooie, gladde lijn (een kromme) te tekenen die door al die stukjes gaat.

In de wiskunde, en dan specifiek in de meetkunde, proberen wiskundigen dit soort vragen te beantwoorden. Maar er is een groot probleem: als je de puzzelstukjes een beetje verplaatst, verandert het aantal mogelijke lijnen soms volledig. Het is alsof je een brug bouwt, maar als je de steunpalen een centimeter verschuift, is de brug ineens onmogelijk te bouwen of er zijn er ineens tien in plaats van één. Dat is vervelend voor wiskundigen; ze houden van regels die altijd gelden, ongeacht hoe je de stukjes legt.

De auteurs van dit artikel, Eugenii Shustin en Uriel Sinichkin, hebben een nieuwe manier gevonden om dit probleem op te lossen, maar alleen onder een heel specifieke voorwaarde.

De Magische Regel: "Blijf aan de rand"

Stel je voor dat je een zwembad hebt (dat is het vlak waar je tekent).

• Het oude probleem: Als je mensen (de punten) overal in het zwembad zet, is het aantal manieren om een lijn te trekken die ze allemaal raakt, onstabiel.
• De nieuwe ontdekking: De auteurs zeggen: "Oké, als we alle mensen alleen maar op de rand van het zwembad zetten, dan werkt het wel!"

Zolang alle "paartjes" (twee punten die elkaars spiegelbeeld zijn) op de rand liggen, is het aantal manieren om een lijn te tekenen stabiel. Het maakt niet uit hoe je die mensen op de rand verplaatst; het antwoord blijft hetzelfde. Dit is een enorme doorbraak, vooral omdat dit werkt voor lijnen met "gaten" (wiskundig: krommen met een bepaald genus, of "handvatten").

De Magische Bril: Tropische Meetkunde

Hoe hebben ze dit bewezen? Ze gebruiken een truc die ze tropische meetkunde noemen.

Stel je voor dat je een foto van een landschap hebt. Als je de foto heel erg vervormt, zodat alle details verdwijnen en je alleen nog maar de contouren ziet (zoals een schets met potlood), heb je een "tropische versie" van het landschap.

• In de echte wereld zijn lijnen krom en complex.
• In de tropische wereld zijn lijnen rechte stukjes die hoekjes maken, net als een stratenkaart of een netwerk van riolering.

De auteurs zeggen: "Laten we het probleem niet in de moeilijke, kromme wereld oplossen, maar in deze simpele, hoekige wereld." Ze bewijzen dat als je de simpele versie oplost, je het antwoord voor de moeilijke versie ook krijgt.

De Twee Kleuren van de Wereld

Het artikel gaat over twee soorten lijnen:

1. Complexe lijnen: Dit zijn lijnen die in de "magische" wiskundige wereld bestaan. Ze zijn altijd stabiel.
2. Reële lijnen: Dit zijn de lijnen die we daadwerkelijk kunnen tekenen op papier. Hier is het lastig, want zoals gezegd, hangt het aantal vaak af van de positie van de punten.

De auteurs hebben een nieuwe manier van tellen bedacht. Ze tellen niet gewoon "1, 2, 3", maar ze geven elke lijn een teken (+ of -).

• Sommige lijnen tellen als +1.
• Andere lijnen tellen als -1.

Als je deze getekende lijnen bij elkaar optelt, krijg je een totaal dat altijd hetzelfde blijft, zolang je je aan de "rand-regel" houdt. Het is alsof je een balans hebt: als je een lijn verplaatst, verdwijnt er misschien een +1, maar er verschijnt tegelijkertijd een -1, waardoor het totaal gelijk blijft.

De "Geavanceerde" Teller (De y-variabele)

De auteurs hebben nog iets nog slimmers bedacht: een super-teller.
Stel je voor dat je een draaiknop hebt op je teller.

• Als je de knop op positie A draait, telt hij de complexe lijnen (de makkelijke, magische wereld).
• Als je de knop op positie B draait, telt hij de reële lijnen met de + en - tekens (de moeilijke, echte wereld).
• Maar de knop kan ook ergens tussenin staan. Dan krijg je een "gemengde" telling die informatie geeft over beide werelden tegelijk.

Dit is hun grootste prestatie: ze hebben één formule bedacht die alles dekt. Je kunt de knop draaien en je ziet hoe de ene telling overgaat in de andere.

Wat gebeurt er als je de regels breekt?

Het artikel eindigt met een waarschuwing. Ze zeggen: "Als je de mensen niet op de rand zet, maar ergens in het midden van het zwembad, dan werkt deze magische stabiliteit niet meer." Zelfs als je heel voorzichtig bent en alles perfect regelt, blijft het aantal reële lijnen onstabiel als je ze in het midden zet. De "rand-regel" is dus essentieel.

Samenvatting in één zin

De auteurs hebben ontdekt dat je het aantal manieren om lijnen te tekenen door een reeks punten stabiel kunt houden (en zelfs een nieuwe, krachtige manier om ze te tellen hebt), mits je die punten op de rand van je tekenvlak houdt; ze hebben dit bewezen door een slimme brug te slaan tussen de echte wereld en een vereenvoudigde, hoekige "schets-wereld".

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Refined Enumerative Invariants and Mixed Welschinger Invariants" van Eugenii Shustin en Uriel Sinichkin, geschreven in het Nederlands.

Titel: Gerefineerde Enumeratieve Invarianten en Gemengde Welschinger-invarianten

1. Het Probleem

De enumeratieve meetkunde bestudeert het tellen van algebraïsche krommen die aan bepaalde incidentievoorwaarden voldoen.

• Complex geval: Over de complexe getallen zijn deze aantallen doorgaans deformatie-invariant (Gromov-Witten invarianten).
• Reëel geval: Over de reële getallen is het "naieve" aantal reële krommen dat aan voorwaarden voldoet, afhankelijk van de specifieke configuratie van de beperkingen (punten).
• Welschinger's oplossing (Genus 0): Om invariantie te herstellen in genus 0, telt Welschinger reële rationale krommen met een teken (Welschinger-teken), bepaald door de pariteit van het aantal solitaire reële knopen. Dit levert een deformatie-invariant op.
• De Obstructie: In hogere genus (positieve genus) faalt deze aanpak doorgaans; het getekende aantal reële krommen is niet invariant onder variatie van de beperkingen, tenzij in zeer specifieke situaties.
• Tropische Geometrie: Tropische meetkunde biedt een combinatorisch kader om zowel complexe als reële tellingen te benaderen. Echter, eerdere werk (zoals [22]) had beperkingen: de gerefineerde telling was niet altijd invariant, en de limiet $y \to -1$ had geen duidelijke geometrische interpretatie voor gemengde condities (punten in het inwendige versus op de rand).

Doel van dit artikel: Het bewijzen van de invariantie van het getekende aantal reële krommen in willekeurige genus, onder de specifieke voorwaarde dat alle geconjugeerde paren punten zich op de randdivisoren van een torische oppervlakte bevinden (essentieel perifeer). Daarnaast wordt een nieuwe "gerefineerde" tropische invariant geïntroduceerd die zowel de complexe telling ($y \to 1$) als de gemengde Welschinger-telling ($y \to -1$) recovert.

2. Methodologie

De auteurs combineren algebraïsche meetkunde, tropische geometrie en de theorie van niet-Archimedische velden.

• Tropische Correspondentie: Ze gebruiken de correspondentiestelling om algebraïsche krommen over een niet-Archimedisch veld $K$ (Puiseux-reeksen) te relateren aan tropische krommen.
• Verrijkte Tropische Krommen: Ze introduceren "verrijkte" tropische krommen, waarbij aan elke vertex van de tropische kromme een limietkromme (een algebraïsche kromme op een torische oppervlakte) is gekoppeld.
• Realiteit en Involutie: Voor reële krommen wordt een involutie $c$ op de tropische kromme gedefinieerd die overeenkomt met de complexe conjugatie.
• Gerefineerde Gewichten: Ze definiëren een gewicht voor tropische krommen dat afhangt van een parameter $y$, gebaseerd op de multipliciteiten van de vertices en randen. Dit gewicht gebruikt de $q$-analogie (hier $y$) van de multipliciteit: $[a]_y^- = \frac{y^{a/2} - y^{-a/2}}{y^{1/2} - y^{-1/2}}$.
• Relatieve Invarianten: De telling wordt uitgevoerd voor krommen met voorgeschreven tangentiële orde aan de randdivisoren.

3. Belangrijkste Bijdragen en Resultaten

A. Hoofdstelling (Theorema 1.1): Invariantie in Hogere Genus
De auteurs bewijzen dat voor een torische oppervlakte $X = \text{Tor}_{\mathbb{R}}(P)$ en een conjugatie-invariante verzameling punten $w$ (waarbij alle geconjugeerde paren op de randdivisoren liggen), het getekende aantal reële krommen van genus $g$ invariant is onder variatie van de punten, mits de gereduceerde tropische realisatie in algemene positie is.

• Dit is een doorbraak, omdat invariantie in positieve genus eerder als onmogelijk werd beschouwd voor algemene configuraties.
• De invariantie geldt specifiek voor "essentieel perifere" beperkingen (punten op de rand).

B. De Gerefineerde Tropische Invariant
Ze definiëren een nieuwe invariant $RR_y(P, g, \langle u_i \rangle)$, een som over tropische krommen van hun gerefineerde gewichten.

• Limiet $y \to 1$: Deze invariant recovert het aantal complexe algebraïsche krommen met voorgeschreven tangentiële orde aan de rand (Theorema 3.5).
• Limiet $y \to -1$: Deze invariant recovert het getekende aantal reële krommen (de gemengde Welschinger-invariant), mits de punten aan de randvoorwaarden voldoen (Propositie 5.5 en Theorema 4.10).
• De invariantie van deze gerefineerde som wordt bewezen door te laten zien dat de som constant blijft bij overgangen tussen verschillende tropische krommen (via codimensie-1 gebeurtenissen).

C. Berekening en Formules

• Ze geven een expliciete formule voor het getekende aantal (Theorema 4.10) die afhangt van de structuur van de tropische kromme, specifiek de verdeling tussen "reële" (oneven gewicht) en "imaginair" (even gewicht) delen van de kromme.
• De formule bevat termen zoals $(-1)^{\text{Int}(V)}$ (waarbij $\text{Int}(V)$ het aantal gehele punten in de duale cel is) en multipliciteiten $\mu(V)$.
• Voor het projectieve vlak met punten op één randcomponent kunnen ze de berekening reduceren tot "floor diagrams" (Propositie 5.6).

D. Negatief Resultaat (Genus > 0, Interne Punten)
In Sectie 6 tonen ze aan dat de invariantie faalt als geconjugeerde paren punten in het inwendige van de torische oppervlakte worden toegestaan, zelfs onder sterke genericiteitsaannames.

• Ze presenteren een tegenvoorbeeld voor genus 1 en graad 4 in $\mathbb{P}^2$, waarbij het getekende aantal varieert tussen 63 en 69, afhankelijk van de positie van het geconjugeerde paar in de tropische configuratie (Propositie 6.3).
• Dit bevestigt dat de beperking tot randpunten (essentieel perifeer) noodzakelijk is voor de invariantie in hogere genus.

4. Significatie

• Verbinding tussen Reëel en Complex: Het artikel biedt een diepgaand inzicht in hoe complexe en reële enumeratieve invarianten met elkaar verbonden zijn via een gerefineerde parameter $y$.
• Oplossing voor Hogere Genus: Het lost een langdurig open probleem op door een specifieke klasse van beperkingen (randpunten) te identificeren waarvoor de Welschinger-telling invariant blijft in hogere genus.
• Nieuw Invariant: De introductie van de "relative refined tropical invariant" biedt een krachtig nieuw gereedschap voor de berekening van enumeratieve invarianten met randvoorwaarden.
• Grenzen van Invariantie: Door het negatieve resultaat voor interne punten te tonen, schetst het artikel de scherpe grenzen van wat mogelijk is in de reële enumeratieve meetkunde, wat verdere onderzoek richt op de rol van de topologie van de beperkingen.

Samenvattend introduceert dit artikel een robuust kader voor het tellen van reële krommen in hogere genus op torische oppervlakken, waarbij het de klassieke Welschinger-theorie uitbreidt en koppelt aan moderne gerefineerde tropische methoden, maar tegelijkertijd de fundamentele beperkingen van deze invariantie blootlegt.