Interpolation for rational curves with secants

Technische Zusammenfassung: Interpolation für rationale Kurven mit Sekanten

Problemstellung
Diese Arbeit befasst sich mit dem Problem der Interpolation für rationale Kurven im projektiven Raum $\mathbb{P}^r$ unter einer Sekanzbedingung. Gegeben seien die ganzen Zahlen $d, k, r, s$ und ein linearer Raum $P_s \subset \mathbb{P}^r$, untersucht die Autorenschaft die Existenz und Enumeration von rationalen Kurven $f: \mathbb{P}^1 \to \mathbb{P}^r$ des Grades $d$, die $P_s$ mit der Multiplizität $k$ schneiden und durch $n$ allgemeine Punkte $x_1, \dots, x_n$ verlaufen. Die Studie betrachtet zwei Szenarien:

1. Unvorgeschriebene Punkte: Bestimmung der maximalen Anzahl allgemeiner Punkte, durch die eine allgemeine solche Kurve verlaufen kann (Frage 1.1.1(a)).
2. Vorgeschriebene Punkte: Bestimmung der maximalen Anzahl allgemeiner Punkte $p_i \in \mathbb{P}^1$, so dass $f(p_i) = x_i$ für allgemeine $x_i$ gilt (Frage 1.1.1(b)).

Geometrisch werden diese Fragen in Bezug auf die Blow-up $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$ umformuliert. Eine Kurve, die $P_s$ mit Multiplizität $k$ schneidet, entspricht einer Abbildung $f: \mathbb{P}^1 \to X_{r,s}$ des Grades $(d, k)$. Die Fragen reduzieren sich darauf, zu bestimmen, ob die Evaluationsabbildungen aus dem Modulirraum solcher Abbildungen auf den Zielraum dominant sind.

Methodik
Die Autoren bestimmen die Antworten durch die Analyse der Zerlegungstypen (Splitting Types) zweier spezifischer Vektorbündel, die mit einer allgemeinen Abbildung $f$ assoziiert sind:

• Das Normalbündel $N_{C/X_{r,s}}$, welches die Deformation der Kurve innerhalb des Umgebungssystems steuert (verwandt mit unvorgeschriebenen Punkten).
• Das eingeschränkte Tangentenbündel $f^* T_{X_{r,s}}$, welches die Deformation der Abbildung mit festen Domänenpunkten steuert (verwandt mit vorgeschriebenen Punkten).

Das zentrale technische Werkzeug ist die Eigenschaft der Balanciertheit (Balancedness). Ein Vektorbündel auf $\mathbb{P}^1$ ist balanciert, wenn es als direkte Summe von Linienbündeln zerfällt, deren Grade sich höchstens um 1 unterscheiden. In Charakteristik 0 ist ein Bündel genau dann balanciert, wenn es die Interpolationseigenschaft erfüllt (d. h. die Sektionen verschwinden an allgemeinen Punkten wie erwartet). Die Autoren erweitern diese Ergebnisse auf beliebige Charakteristiken, einschließlich der Charakteristik 2, in der zusätzliche Hindernisse auftreten.

Der primäre methodische Ansatz ist die Degeneration. Die Autoren konstruieren singuläre nodale Kurven $C = C' \cup L$ (wobei $L$ eine Gerade eines spezifischen Grades ist) und analysieren die Normal- und Tangentenbündel dieser singulären Kurven. Unter Verwendung der Theorie der elementaren Modifikationen und Pointing-Bündel setzen sie die Bündel der singulären Kurve in Beziehung zu denen der glatten Komponenten. Durch den Nachweis, dass Interpolation eine offene Bedingung in flachen Familien ist, leiten sie die Eigenschaften der allgemeinen glatten Kurve aus den singulären Kurven ab.

Zentrale technische Schritte sind:

• Induktive Schritte: Feststellung, dass wenn ein Bündel für den Grad $(d, k)$ balanciert (oder „fast balanciert“) ist, dann auch das Bündel für $(d + r - s - 1, k + 1)$ balanciert ist. Dies beinhaltet das Hinzufügen spezifischer Konfigurationen von Geraden zu der Kurve.
• Hindernisanalyse (Obstruction Analysis): Identifizierung spezifischer geometrischer und arithmetischer Bedingungen, unter denen die Balanciertheit fehlschlägt. Dazu gehören:
  • Degeneriertheit: Wenn das Bild der Kurve in einem echten linearen Unterraum liegt.
  • Projektionssequenzen: Wenn die Steigung des relativen Tangentenbündels zu groß im Vergleich zum Normalbündel der Projektion ist, was dazu führt, dass die Extensionssequenz auf unbalancierte Weise splittet.
  • Hindernisse in Charakteristik 2: Spezifische Ausfälle in Charakteristik 2 im Zusammenhang mit der Frobenius-Abbildung und der Parität der Grade, welche die Balanciertheit verhindern, selbst wenn die Steigungsbedingungen erfüllt sind.

Wesentliche Beiträge und Ergebnisse

1. Vollständige Bestimmung der Normalbündel:
   Die Arbeit liefert eine vollständige Klassifikation des Zerlegungstyps des Normalbündels $N_{C/X_{r,s}}$ für allgemeine rationale Kurven in $X_{r,s}$ in beliebiger Charakteristik.

   • Charakteristik $\neq 2$: Das Bündel ist balanciert genau dann, wenn die Kurve nicht-degeneriert ist und der Grad $d$ eine spezifische untere Schranke $d \ge L_{r,s}(k)$ erfüllt. Ist $d$ kleiner, splittet das Bündel als direkte Summe des relativen Tangentenbündels und des Normalbündels der Projektion, was unbalanciert ist.
   • Charakteristik 2: Die Autoren identifizieren, dass die Balanciertheit nicht nur durch das Splitten der Projektionssequenz fehlschlägt, sondern auch durch Hindernisse, die aus dem umgebenden projektiven Raum $\mathbb{P}^r$ vererbt werden (speziell wenn $(r-1) \nmid (d-1)$), sowie durch spezifische arithmetische Bedingungen auf $d$ und $k$. Theorem 1.4.3 besagt, dass dies die einzigen Hindernisse sind.

2. Vollständige Bestimmung der eingeschränkten Tangentenbündel:
   Die Arbeit bestimmt den Zerlegungstyp des eingeschränkten Tangentenbündels $f^* T_{X_{r,s}}$ in allen Charakteristiken.

   • Im Gegensatz zum Normalbündel ist das eingeschränkte Tangentenbündel genau dann balanciert, wenn eine spezifische Ungleichung unter Einbeziehung von $d, k, r, s$ gilt ($d \ge L^t_{r,s}(k)$). Diese Bedingung ist über alle Charakteristiken hinweg einheitlich.
   • Dieses Ergebnis impliziert, dass die maximale Anzahl vorgeschriebener Punkte, durch die eine allgemeine Kurve verlaufen kann, einheitlich durch die Steigung des eingeschränkten Tangentenbündels bestimmt wird, unabhängig von der Charakteristik des Körpers.

3. Enumerative Ergebnisse (Tevelev-Grade):
   Im Anhang enumerieren die Autoren die Anzahl solcher interpolierenden Kurven, wenn die Anzahl der Punkte maximal ist. Sie berechnen die „Tevelev-Grade“ für $X_{r,s}$ und liefern eine Formel für die Anzahl der Abbildungen, die $n$ allgemeine Inzidenzbedingungen erfüllen. Dies stellt bisherige Ergebnisse für $s=0$ wieder her und verallgemeinert sie auf höherdimensionale lineare Räume.

Bedeutung und Ansprüche
Die Arbeit beansprucht, das Interpolationsproblem für rationale Kurven mit Sekanten in beliebiger Charakteristik gelöst zu haben. Ihre Bedeutung liegt in:

• Uniformität: Der Nachweis, dass die Antwort auf das Problem der vorgeschriebenen Punkte (Frage 1.1.1(b)) in der Charakteristik einheitlich ist, während das Problem der unvorgeschriebenen Punkte (Frage 1.1.1(a)) ein distinktes Verhalten in Charakteristik 2 aufweist.
• Vollständigkeit: Die Bereitstellung einer vollständigen Liste von Hindernissen für die Balanciertheit, wobei gezeigt wird, dass das Versagen der Balanciertheit in Charakteristik 2 vollständig durch das Splitten der Projektionssequenz oder die Propagation der Unbalanciertheit aus dem umgebenden projektiven Raum erklärt werden kann.
• Verallgemeinerung: Die Erweiterung bekannter Ergebnisse für rationale Kurven in $\mathbb{P}^r$ (wo $k=0$) auf den komplexeren Kontext von Kurven mit Sekanzbedingungen ($k>0$) auf Blow-ups projektiver Räume.

Die Autoren weisen explizit darauf hin, dass sich ihre Methoden und Fragen, obwohl sie sich auf rationale Kurven konzentrieren, auch für allgemeine Kurven positiven Geschlechts relevant sind, wenngleich diese Fälle in dieser Arbeit nicht behandelt werden. Die Ergebnisse werden rigoros unter Verwendung von Techniken der algebraischen Geometrie, insbesondere Moduliräumen, Vektorbündeltheorie und Degenerationsargumenten, ohne Rückgriff auf experimentelle Daten oder unbewiesene Vermutungen abgeleitet.