Complete quasimaps to $\mathsf{Bl}_{\mathbb{P}^s}(\mathbb{P}^r)$

1. Probleemstelling en Motivatie

Het centrale probleem dat wordt aangepakt, is de berekening van geometrische Tevelev-graden ($Tev_{g,n,\beta}^X$), die het aantal kaarten $f: C \to X$ tellen van een vaste, algemene kromme $C$ van genus $g$ naar een doelvariëteit $X$, onderworpen aan incidentievoorwaarden $f(p_i) = x_i$ voor $n$ algemene punten.

• Het Hindernis: Traditionele compactificaties van de moduli-ruimte van kaarten, zoals de moduli-ruimte van stabiele kaarten ($\overline{M}_{g,n}(X, \beta)$) of quasimaps ($Q_\beta(C, X)$), leveren vaak geen enumeratieve tellingen. Hoewel ze intersectietheoretische berekeningen toelaten, leveren de resulterende integralen doorgaans "virtuele" tellingen op. Deze virtuele tellingen omvatten bijdragen van kaarten met singuliere domeinen of kaarten die op een manier degenereren die niet overeenkomt met daadwerkelijke geometrische krommen die aan de incidentievoorwaarden voldoen (excess intersectie aan de rand).
• Het Doel: De auteurs beogen een specifieke compactificatie van de moduli-ruimte van kaarten te construeren waar de intersectie van incidentie-cycli transversaal is en volledig gedragen wordt door de locus van eerlijke, niet-gedegenereerde kaarten. Dit zou toelaten dat tautologische intersectiecijfers gelijk zijn aan het daadwerkelijke geometrische aantal krommen.

De specifieke doelvariëteit die wordt bestudeerd is de opblazing van de projectieve ruimte langs een lineaire deelruimte:
$$X = Bl_s(\mathbb{P}^r)$$
waarbij $s \leq r-2$.

2. Methodologie en Constructie

De auteurs stellen een constructie voor gebaseerd op Complete Quasimaps, die voortbouwt op eerdere werken over quasimaps naar $\mathbb{P}^r$ (Lian, 2024). De methodologie verloopt in drie hoofdfasen:

A. Geaugmenteerde Quasimaps en Inbeddingen van Lineaire Reeksen

In plaats van te beginnen met de standaard quasimap-ruimte $Q_\beta(C, X)$, introduceren de auteurs een verfijnde ruimte van geaugmenteerde quasimaps, aangeduid als $Q^+_\beta(C, X)$.

• Onderliggende Geometrie: Een niet-gedegenereerde kaart $f: C \to X$ komt overeen met een Inbedding van Lineaire Reeksen (ILS). Specifiek wordt de kaart bepaald door een lijnbundel $L$ van graad $d$, een effectieve divisor $D$ van graad $k$, en een inbedding van deelruimtes $V \subset W$ van secties, waarbij $W \subset H^0(C, L)$ dimensie $r+1$ heeft en $V \subset H^0(C, L(-D))$ dimensie $r-s$ heeft.
• De Ruimte: $Q^+_\beta(C, X)$ wordt geconstrueerd als een projectieve bundel over de moduli-ruimte van dergelijke inbeddingen, $Gr^{r-s-1}_{d,k}(C)$. Deze ruimte staat bekend om de verwachte dimensie te hebben en zuiver te zijn.

B. De Opblazingstrategie (Complete Quasimaps)

De ruimte $Q^+_\beta(C, X)$ bevat nog steeds loci waar de incidentievoorwaarden niet transversaal zijn. Deze tekortkomingen treden op in strata waar de secties die de kaart definiëren lineair afhankelijk worden (lage "bi-rang").

• Bi-rang: Gedefinieerd als $(r_1, r_2) = (\dim \langle u_1, \dots, u_{r-s} \rangle, \dim \langle u_1, \dots, u_{r+1} \rangle)$.
• Constructie: De auteurs definiëren de moduli-ruimte van complete quasimaps, $\widetilde{Q}_\beta(C, X)$, als een geïtereerde opblazing van $Q^+_\beta(C, X)$.
  • De opblazingen worden uitgevoerd langs de afsluitingen van strata van geaugmenteerde quasimaps met lage bi-rang, eerst gesorteerd op $r_1$ en vervolgens op $r_2$.
  • Dit proces lost de excess intersecties op door de componenten met een grotere dan verwachte dimensie "weg te blazen", waardoor de ruimte van niet-gedegenereerde kaarten effectief wordt gecompactificeerd.

C. Incidentieloci

De auteurs definiëren incidentieloci $Inc(p, \Lambda) \subset \widetilde{Q}_\beta(C, X)$ als de juiste transformanten van de loci waar $f(p) \in \Lambda$ (voor een lineaire deelruimte $\Lambda \subset X$). De kernvermoeden is dat de intersectie van $n$ dergelijke algemene incidentieloci is:

1. Generiek glad.
2. Zuiver van de verwachte codimensie.
3. Volledig gedragen door de open locus van eerlijke, niet-gedegenereerde kaarten.

3. Belangrijkste Bijdragen en Resultaten

Hoofdvermoeden

Vermoeden 1.1.2 / 2.7.3: Voor $X = Bl_s(\mathbb{P}^r)$ wordt de geometrische Tevelev-graad gegeven door de integraal van het product van incidentieklassen over de moduli-ruimte van complete quasimaps:
$$Tev_{g,n,\beta}^X = \int_{\widetilde{Q}_\beta(C, X)} [Inc(p, x)]^n$$
Dit geldt mits $n \geq r+1$ (zorgend voor niet-gedegenereerdheid).

Stelling 1.1.3 (Dimensie 2)

De auteurs bewijzen het vermoeden in het geval waarin $X = Bl_q(\mathbb{P}^2)$ (de opblazing van $\mathbb{P}^2$ in een punt).

• Belangrijke Input: Het bewijs steunt op een Brill-Noether-stelling voor krommen op torische oppervlakken (Stelling 4.1.1, uit hun eerdere werk [CL25a]). Deze stelling garandeert dat de moduli-ruimte van kaarten naar bepaalde torische opblazingen van $\mathbb{P}^2$ generiek glad is en de verwachte dimensie heeft, mits de beeldkromme een voldoende hoge anti-kanonieke graad heeft.
• Transversaliteit: Door de strata van de opblazing te analyseren (specifiek de bi-rang $(1,1)$ en $(1,2)$ loci) en de Brill-Noether-resultaten te gebruiken, tonen ze aan dat de incidentieloci transversaal snijden en geen excess componenten aan de rand verwerven.

Set-theoretische Beschrijvingen

Het artikel biedt expliciete set-theoretische beschrijvingen van de punten in $\widetilde{Q}_\beta(C, X)$ en de incidentieloci.

• Punten in de uitzonderlijke divisors worden beschreven via complete bi-collineaties, een generalisatie van complete collineaties. Deze omvatten sequenties van lineaire afbeeldingen tussen vectorruimtes afgeleid van de secties van de kaart, waardoor de degeneratie van de secties wordt opgelost.
• Voor $X = Bl_q(\mathbb{P}^2)$ karakteriseren de auteurs expliciet de intersectie van incidentieloci met de uitzonderlijke divisor, en tonen ze hoe het "verdwijnen" van secties bij de gemarkeerde punten wordt opgelost door de opblazingsdata.

Relatie tot Andere Moduli-ruimten

De auteurs vergelijken $\widetilde{Q}_\beta(C, X)$ met:

1. Standaard Quasimaps ($Q_\beta$): Deze kunnen componenten hebben met onverwachte dimensie en virtuele klassen die niet overeenkomen met enumeratieve tellingen.
2. Naive Quasimaps ($P$): Een ruimte die in eerdere werken [CL23a] werd gebruikt voor berekeningen bij "hoge graad".

• Resultaat: In het regime van "hoge graad" ($n > d+1$) vallen de intersectiecijfers op $\widetilde{Q}_\beta$, $Q^+_\beta$ en $P samen en zijn ze enumeratief. Echter, voor kleine $n$ (waar transversaliteit faalt in standaard ruimten), wordt alleen van de complete quasimap-ruimte $\widetilde{Q}_\beta$ verwacht dat deze het juiste enumeratieve aantal oplevert.

4. Betekenis en Toekomstige Richtingen

• Oplossing van Excess Intersectie: Het artikel biedt een concrete geometrische constructie om het probleem van "excess intersectie" in de enumeratieve meetkunde voor opblazingen van projectieve ruimten op te lossen. Het gaat voorbij virtuele tellingen naar daadwerkelijke geometrische tellingen voor specifieke klassen van doelvariëteiten.
• Brill-Noether Theorie: Het werk benadrukt de noodzaak van nieuwe Brill-Noether-stellingen voor kaarten naar torische variëteiten. Het bewijs in dimensie 2 steunt op specifieke eigenschappen van oppervlakken; het algemene geval vereist een geschikt analogon voor hogere-dimensionale torische variëteiten.
• Toekomstig Werk:
  • Hogere Dimensies: De auteurs identificeren dat het bewijzen van het vermoeden voor $X = Bl_s(\mathbb{P}^r)$ met $r > 2$ een "gepunt Brill-Noether-stelling" vereist voor kaarten naar hogere-dimensionale torische variëteiten (Vraag 5.2.2).
  • Berekeningen: Hoewel het bestaan van de moduli-ruimte en de transversaliteit zijn vastgesteld (in dimensie 2), wordt de expliciete berekening van de integralen (de daadwerkelijke Tevelev-graden) uitgesteld tot toekomstig werk, waarbij waarschijnlijk degeneratietechnieken worden gebruikt.

Samenvattend introduceert dit artikel een robuuste moduli-ruimte van complete quasimaps die dient als kandidaat voor een "ware" enumeratieve compactificatie voor kaarten naar opblazingen van projectieve ruimten. Het bewijst dit succesvol voor oppervlakken door gebruik te maken van geavanceerde Brill-Noether-theorie, en biedt zo een weg om vergelijkbare problemen in hogere dimensies op te lossen.