Interpolation for rational curves with secants

Technische Samenvatting: Interpolatie voor Rationele Curven met Secanten

Probleemstelling
Dit artikel behandelt het probleem van interpolatie voor rationele curven in de projectieve ruimte $\mathbb{P}^r$ onder een secantievoorwaarde. Specifiek onderzoeken de auteurs de existentie en enumeratie van rationele curven $f: \mathbb{P}^1 \to \mathbb{P}^r$ van graad $d$ die een lineaire ruimte $P_s \subset \mathbb{P}^r$ ontmoeten met multipliciteit $k$ en passeren door $n$ algemene punten $x_1, \dots, x_n$. De studie beschouwt twee scenario's:

1. Onvoorgeschreven punten: Het bepalen van het maximale aantal algemene punten waar een algemene dergelijke curve doorheen kan gaan (Vraag 1.1.1(a)).
2. Voorgeschreven punten: Het bepalen van het maximale aantal algemene punten $p_i \in \mathbb{P}^1$ zodanig dat $f(p_i) = x_i$ voor algemene $x_i$ (Vraag 1.1.1(b)).

Geometrisch worden deze vragen geherformuleerd in termen van de blow-up $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$. Een curve die $P_s$ ontmoet met multipliciteit $k$ komt overeen met een afbeelding $f: \mathbb{P}^1 \to X_{r,s}$ van graad $(d, k)$. De vragen reduceren tot het bepalen of de evaluatiemappen van de moduli-ruimte van dergelijke afbeeldingen naar de doelruimte dominant zijn.

Methodologie
De auteurs bepalen de antwoorden door de splitting types te analyseren van twee specifieke vectorbundels geassocieerd met een algemene afbeelding $f$:

• De normaalbundel $N_{C/X_{r,s}}$, die de deformatie van de curve binnen de omringende ruimte regelt (gerelateerd aan onvoorgeschreven punten).
• De gerestringeerde tangentbundel $f^* T_{X_{r,s}}$, die de deformatie van de afbeelding met vaste domeinpunten regelt (gerelateerd aan voorgeschreven punten).

Het centrale technische instrument is de eigenschap van gebalanceerdheid (balancedness). Een vectorbundel op $\mathbb{P}^1$ is gebalanceerd als deze splitst als een directe som van lijnbundels waarvan de graden maximaal 1 verschillen. In karakteristiek 0 is een bundel gebalanceerd als en slechts als deze de interpolatie-eigenschap bezit (dat wil zeggen, secties verdwijnen bij algemene punten zoals verwacht). De auteurs breiden deze resultaten uit naar willekeurige karakteristiek, inclusief karakteristiek 2, waar aanvullende obstructies optreden.

De primaire methodologische aanpak is degeneratie. De auteurs construeren singuliere nodale curven $C = C' \cup L$ (waarbij $L$ een lijn van specifieke graad is) en analyseren de normaal- en tangentbundels van deze singuliere curven. Met behulp van de theorie van elementaire modificaties en pointing bundles relateren zij de bundels van de singuliere curve aan die van de gladde componenten. Door te bewijzen dat interpolatie een open conditie is in vlakke families, leiden zij de eigenschappen van de algemene gladde curve af uit die van de singuliere curven.

Belangrijke technische stappen omvatten:

• Inductieve stappen: Het vaststellen dat als een bundel voor graad $(d, k)$ gebalanceerd (of "bijna gebalanceerd") is, de bundel voor $(d + r - s - 1, k + 1)$ ook gebalanceerd is. Dit geschiedt door specifieke configuraties van lijnen aan de curve toe te voegen.
• Obstructieanalyse: Het identificeren van specifieke geometrische en rekenkundige condities waaronder gebalanceerdheid faalt. Deze omvatten:
  • Degeneratie: Wanneer het beeld van de curve in een strikte lineaire deelruimte ligt.
  • Projectiesequenties: Wanneer de helling van de relatieve tangentbundel te groot is ten opzichte van de normaalbundel van de projectie, waardoor de extensiesequentie op een ongebalanceerde manier splitst.
  • Karakteristiek 2 Obstructies: Specifieke falen in karakteristiek 2 gerelateerd aan de Frobenius-afbeelding en de pariteit van de graden, die voorkomen dat de bundel gebalanceerd is, zelfs wanneer de hellingscondities zijn vervuld.

Belangrijkste Bijdragen en Resultaten

1. Volledige Bepaling van Normaalbundels:
   Het artikel biedt een volledige classificatie van het splitting type van de normaalbundel $N_{C/X_{r,s}}$ voor algemene rationele curven in $X_{r,s}$ in willekeurige karakteristiek.

   • Karakteristiek $\neq 2$: De bundel is gebalanceerd als en slechts als de curve niet-degenerat is en de graad $d$ aan een specifieke ondergrens $d \ge L_{r,s}(k)$ voldoet. Als $d$ kleiner is, splitst de bundel als een directe som van de relatieve tangentbundel en de normaalbundel van de projectie, wat ongebalanceerd is.
   • Karakteristiek 2: De auteurs identificeren dat gebalanceerdheid niet alleen faalt door het splitsen van de projectiesequentie, maar ook door obstructies die overgenomen zijn van de omringende projectieve ruimte $\mathbb{P}^r$ (specifiek wanneer $(r-1) \nmid (d-1)$) en specifieke rekenkundige condities op $d$ en $k$. Stelling 1.4.3 stelt dat dit de enige obstructies zijn.

2. Volledige Bepaling van Gerestringeerde Tangentbundels:
   Het artikel bepaalt het splitting type van de gerestringeerde tangentbundel $f^* T_{X_{r,s}}$ in alle karakteristieken.

   • In tegenstelling tot de normaalbundel is de gerestringeerde tangentbundel gebalanceerd als en slechts als een specifieke ongelijkheid met betrekking tot $d, k, r, s$ geldt ($d \ge L^t_{r,s}(k)$). Deze conditie is uniform over alle karakteristieken.
   • Dit resultaat impliceert dat het maximale aantal voorgeschreven punten waar een algemene curve doorheen kan gaan, uniform wordt bepaald door de helling van de gerestringeerde tangentbundel, ongeacht de karakteristiek van het veld.

3. Enumeratieve Resultaten (Tevelev-graden):
   In de appendix enumereren de auteurs het aantal dergelijke interpolerende curven wanneer het aantal punten maximaal is. Zij berekenen de "Tevelev-graden" voor $X_{r,s}$, waarbij zij een formule geven voor het aantal afbeeldingen dat aan $n$ algemene incidentiecondities voldoet. Hiermee herstellen zij eerdere resultaten voor $s=0$ en generaliseren zij deze naar hogere-dimensionale lineaire ruimten.

Betekenis en Claims
Het artikel claimt het interpolatieprobleem voor rationele curven met secanten in willekeurige karakteristiek op te lossen. De betekenis ligt in:

• Uniformiteit: Het vaststellen dat het antwoord op het probleem van de voorgeschreven punten (Vraag 1.1.1(b)) uniform is in karakteristiek, terwijl het probleem van de onvoorgeschreven punten (Vraag 1.1.1(a)) een afwijkend gedrag vertoont in karakteristiek 2.
• Volledigheid: Het bieden van een volledige lijst van obstructies voor gebalanceerdheid, waarbij wordt aangetoond dat in karakteristiek 2 het falen van gebalanceerdheid volledig verklaard wordt door het splitsen van de projectiesequentie of de propagatie van ongebalanceerdheid vanuit de omringende projectieve ruimte.
• Generalisatie: Het uitbreiden van bekende resultaten voor rationele curven in $\mathbb{P}^r$ (waar $k=0$) naar de complexere setting van curven met secantiecondities ($k>0$) op blow-ups van projectieve ruimten.

De auteurs merken expliciet op dat hoewel zij zich richten op rationele curven, de methoden en vragen relevant zijn voor algemene curven van positieve genus, hoewel die gevallen niet in dit werk worden behandeld. De resultaten zijn rigoureus afgeleid met behulp van algebraïsche geometrie-technieken, specifelijk moduli-ruimten, vectorbundeltheorie en degeneratiemethoden, zonder te vertrouwen op experimentele data of onbewezen conjecturen.