Upper bounds for logarithmic Gromov-Witten invariants of projective space

Titel: Bovenkanten voor Logaritmische Gromov-Witten Invarianten van Projectieve Ruimte

Auteur: Dan Simms
Onderwerp: Algebraïsche meetkunde, Logaritmische meetkunde, Gromov-Witten theorie.

1. Probleemstelling

Het artikel richt zich op het vinden van een bovengrens voor de genus 0 logaritmische Gromov-Witten invarianten van de projectieve ruimte $\mathbb{P}^k$, relatief tot haar torische rand (de verzameling coördinaathypervlakken).

In de logaritmische Gromov-Witten theorie worden kaarten $f: C \to X$ geteld waarbij de curve $C$ specifieke raakvoorwaarden (contactordes) heeft met de randdivisor $D$. De invarianten worden gedefinieerd als het snijgetal van evaluatieafbeeldingen met een virtuele fundamentele klasse op de moduli-ruimte van logaritmisch stabiele kaarten, aangeduid als $\mathcal{M}_{g,\alpha}(X, D)$.

De uitdaging ligt in het berekenen of schatten van deze aantallen, die vaak complex zijn vanwege de aanwezigheid van de rand en de noodzaak van virtuele cycli. Het doel van dit werk is om een expliciete polynoombovengrens te geven die afhankelijk is van de contactordes en het aantal gemarkeerde punten.

2. Methodologie

De kern van de bewijstechniek rust op een alternatieve compactificatie van de moduli-ruimte en het benutten van positiviteitseigenschappen van projectieve ruimten.

• Isomorfisme en Rigidificatie:
  Voor genus 0 kaarten naar een torische variëteit, waarbij ten minste één gemarkeerd punt in de dichte torus $T \subset \mathbb{P}^k$ wordt afgebeeld (d.w.z. geen contact met de rand), bestaat er een isomorfisme:
  $$\mathcal{M}_{0,\alpha}(\mathbb{P}^k, \partial\mathbb{P}^k) \cong \mathcal{M}_{0,n} \times T$$
  Hierbij is $\mathcal{M}_{0,n}$ de moduli-ruimte van genummerde punten op $\mathbb{P}^1$ en $T$ de torus.

• Alternatieve Compactificatie:
  In plaats van de gebruikelijke compactificatie naar de ruimte van logaritmisch stabiele kaarten, compactificeert de auteur de ruimte naar een product van projectieve ruimten:
  $$\mathcal{M}_{0,n} \times T \hookrightarrow \mathbb{P}^{n-3} \times \mathbb{P}^k$$
  De moduli-ruimte wordt hierbij gezien als een open deelverzameling van dit product.

• Transversaliteit en Positiviteit:
  De invarianten worden geïnterpreteerd als transversale snijpunten binnen de open moduli-ruimte. Door de afbeeldingen te sluiten in de grotere ruimte $\mathbb{P}^{n-3} \times \mathbb{P}^k$, ontstaan er extra componenten op de rand.
  De auteur maakt gebruik van Theorema 2.6 (gebaseerd op [7]), dat stelt dat voor een nonsinguliere variëteit met een globaal gegenereerd raakbundel (zoals een product van projectieve ruimten), de bijdragen van snijpunten (inclusief die op de rand) niet-negatief zijn.

  Dit leidt tot de ongelijkheid:
  $$\text{Invariant} \leq \text{Graad van het snijproduct in } \mathbb{P}^{n-3} \times \mathbb{P}^k$$
  Omdat de extra bijdragen van de rand positief zijn, vormt de totale graad in de compacte ruimte een geldige bovengrens voor de werkelijke invariant.

• Berekening:
  De auteur berekent de graad van de afgeleide cycli in het product van projectieve ruimten. Dit vereist het analyseren van de bidegree van de polynomen die de evaluatievoorwaarden definiëren, rekening houdend met de contactordes $\alpha_{ij}$.

3. Belangrijkste Resultaten

Hoofdstelling (Theorema 1.1):
Voor de projectieve ruimte $\mathbb{P}^k$ met $n$ gemarkeerde punten en contactordes $\alpha_{ij}$ (waarbij minstens één punt in de torus ligt), geldt de volgende bovengrens voor de genus 0 primaire invarianten:

$$\langle d_1 H^{\nu_1}, \ldots, d_n H^{\nu_n} \rangle^{\mathbb{P}^k | \partial\mathbb{P}^k}_{0,\alpha} \leq d_1 \cdots d_n \binom{n - 3 + k - \nu}{n - 3} \left( \sum_{i=1}^n \alpha_i^{\max} \right)^{n-3}$$

Waarbij:

• $\alpha_i^{\max} = \max_j \alpha_{ij}$ de maximale contactorde is voor het $i$-de punt.
• $\nu$ de maximale codimensie is van een insertie op een punt zonder raakcontact met de rand.
• De binomiaalcoëfficiënt gelijk is aan 1 als er een puntconstraint (puntvoorwaarde) wordt opgelegd aan een punt zonder randcontact.

Specifieke Voorbeelden:

1. Maximaal Contact: Voor krommen die maximaal raak zijn aan de rand en door 2 algemene punten gaan, wordt de bovengrens $((k+1)d)^k$.
2. Karakteristieke Getallen: Voor het tellen van rationale vlakke krommen van graad $d$ door $3d-1$ punten ($N_d$), wordt de bovengrens afgeleid als:
   $$N_d \leq \frac{(3d)^{6d-4}}{(d!)^3}$$

Vergelijking met Exacte Waarden (Sectie 4):
De auteur vergelijkt de bovengrens met bekende resultaten berekend via tropische meetkunde (Mikhalkin's correspondentiestelling):

• Bij 3 raakpunten is de bovengrens slechts een constante factor groter dan de exacte waarde (bijv. $9d^2$ vs $d^2$).
• Bij 4 of meer raakpunten wordt de bovengrens minder scherp (bijv. $81d^4$ vs $2d^2(d-1)$), wat aangeeft dat de methode het beste werkt bij een klein aantal gemarkeerde punten met raakcontact.

4. Significatie en Toekomstperspectief

• Technische Innovatie: Het artikel introduceert een krachtige methode om bovenkanten te bewijzen door de moduli-ruimte te compactificeren tot een product van projectieve ruimten. Dit benut de eenvoudige cohomologie en de positiviteit van de raakbundel van projectieve ruimten om negatieve bijdragen uit te sluiten.
• Generalisatie: De methode is niet beperkt tot projectieve ruimten. De auteur stelt dat deze aanpak direct toepasbaar is op alle gladde torische variëteiten en meer algemeen op moduli-ruimten die birationeel equivalent zijn aan een variëteit met een globaal gegenereerde raakbundel.
• Praktische Toepassing: Hoewel de bovengrens niet altijd scherp is (vooral bij veel gemarkeerde punten), biedt het een expliciete, berekenbare polynoom die de groei van deze invarianten kwantificeert. Dit is waardevol voor het begrijpen van de asymptotische gedrag van Gromov-Witten invarianten.

Conclusie:
Dan Simms levert een nieuw bewijs voor de beperking van logaritmische Gromov-Witten invarianten door een brug te slaan tussen de complexe structuur van de moduli-ruimte en de eenvoudige meetkunde van producten van projectieve ruimten. Het werk benadrukt hoe positiviteitseigenschappen kunnen worden gebruikt om schattingen te maken waar exacte berekeningen vaak te complex zijn.