Interpolation for rational curves with secants

Sintesi Tecnica: Interpolazione per Curve Razionali con Secanti

Enunciato del Problema
Questo articolo affronta il problema dell'interpolazione per curve razionali nello spazio proiettivo $\mathbb{P}^r$ soggette a una condizione di secanza. Nello specifico, dati gli interi $d, k, r, s$ e uno spazio lineare $P_s \subset \mathbb{P}^r$, gli autori investigano l'esistenza e l'enumerazione di curve razionali $f: \mathbb{P}^1 \to \mathbb{P}^r$ di grado $d$ che incontrano $P_s$ con molteplicità $k$ e passano per $n$ punti generici $x_1, \dots, x_n$. Lo studio considera due scenari:

1. Punti non prescritti: Determinare il numero massimo di punti generici per i quali una curva generica può passare (Domanda 1.1.1(a)).
2. Punti prescritti: Determinare il numero massimo di punti generici $p_i \in \mathbb{P}^1$ tali che $f(p_i) = x_i$ per $x_i$ generici (Domanda 1.1.1(b)).

Geometricamente, queste domande sono riformulate in termini del blow-up $X_{r,s} = \text{Bl}_{P_s}(\mathbb{P}^r)$. Una curva che incontra $P_s$ con molteplicità $k$ corrisponde a una mappa $f: \mathbb{P}^1 \to X_{r,s}$ di grado $(d, k)$. Le domande si riducono a determinare se le mappe di valutazione dal spazio modulare di tali mappe allo spazio bersaglio siano dominanti.

Metodologia
Gli autori determinano le risposte analizzando i tipi di scomposizione (splitting types) di due specifici fasci vettoriali associati a una mappa generica $f$:

• Il fascio normale $N_{C/X_{r,s}}$, che governa la deformazione della curva all'interno dello spazio ambiente (relativo ai punti non prescritti).
• Il fascio tangente ristretto $f^* T_{X_{r,s}}$, che governa la deformazione della mappa con punti del dominio fissi (relativo ai punti prescritti).

Lo strumento tecnico centrale è la proprietà di bilanciamento (balancedness). Un fascio vettoriale su $\mathbb{P}^1$ è bilanciato se si scompone come una somma diretta di fasci lineari con gradi che differiscono al massimo di 1. In caratteristica 0, un fascio è bilanciato se e solo se soddisfa la proprietà di interpolazione (ovvero, le sezioni scompaiono in punti generici come previsto). Gli autori estendono questi risultati a caratteristica arbitraria, inclusa la caratteristica 2, dove sorgono ulteriori ostacoli.

L'approccio metodologico primario è la degenerazione. Gli autori costruiscono curve nodali singolari $C = C' \cup L$ (dove $L$ è una retta di grado specifico) e analizzano i fasci normali e tangenti di queste curve singolari. Utilizzando la teoria delle modificazioni elementari e dei pointing bundles, relazionano i fasci delle curve singolari a quelli delle componenti lisce. Dimostrando che l'interpolazione è una condizione aperta in famiglie piatte, deducono le proprietà della curva liscia generica da quelle delle curve singolari.

Fasi tecniche chiave:

• Passaggi induttivi: Stabilire che se un fascio per grado $(d, k)$ è bilanciato (o "quasi bilanciato"), allora il fascio per $(d + r - s - 1, k + 1)$ è anch'esso bilanciato. Ciò comporta l'aggiunta di configurazioni specifiche di rette alla curva.
• Analisi degli ostacoli: Identificare specifiche condizioni geometriche e aritmetiche sotto le quali il bilanciamento fallisce. Queste includono:
  • Degenerazione: Quando l'immagine della curva giace in un sottospazio lineare proprio.
  • Sequenze di proiezione: Quando la pendenza del fascio tangente relativo è troppo grande rispetto al fascio normale della proiezione, causando la scissione della sequenza di estensione in modo non bilanciato.
  • Ostacoli in caratteristica 2: Fallimenti specifici in caratteristica 2 legati alla mappa di Frobenius e alla parità dei gradi, che impediscono il bilanciamento anche quando le condizioni di pendenza sono soddisfatte.

Contributi Chiave e Risultati

1. Determinazione Completa dei Fasci Normali:
   L'articolo fornisce una classificazione completa del tipo di scomposizione del fascio normale $N_{C/X_{r,s}}$ per curve razionali generiche in $X_{r,s}$ in caratteristica arbitraria.

   • Caratteristica $\neq 2$: Il fascio è bilanciato se e solo se la curva è non degenere e il grado $d$ soddisfa un limite inferiore specifico $d \ge L_{r,s}(k)$. Se $d$ è minore, il fascio si scompone come una somma diretta del fascio tangente relativo e del fascio normale della proiezione, che è non bilanciato.
   • Caratteristica 2: Gli autori identificano che il bilanciamento fallisce non solo a causa della scissione della sequenza di proiezione, ma anche a causa di ostacoli ereditati dallo spazio proiettivo ambiente $\mathbb{P}^r$ (specificamente quando $(r-1) \nmid (d-1)$) e specifiche condizioni aritmetiche su $d$ e $k$. Il Teorema 1.4.3 afferma che questi sono gli unici ostacoli.

2. Determinazione Completa dei Fasci Tangenti Ristretti:
   L'articolo determina il tipo di scomposizione del fascio tangente ristretto $f^* T_{X_{r,s}}$ in tutte le caratteristiche.

   • A differenza del fascio normale, il fascio tangente ristretto è bilanciato se e solo se una specifica disuguaglianza che coinvolge $d, k, r, s$ è soddisfatta ($d \ge L^t_{r,s}(k)$). Questa condizione è uniforme in tutte le caratteristiche.
   • Questo risultato implica che il numero massimo di punti prescritti per cui una curva generica può passare è determinato uniformemente dalla pendenza del fascio tangente ristretto, indipendentemente dalla caratteristica del campo.

3. Risultati Enumerativi (Gradi di Tevelev):
   Nell'appendice, gli autori enumerano il numero di tali curve interpolanti quando il numero di punti è massimo. Calcolano i "gradi di Tevelev" per $X_{r,s}$, fornendo una formula per il numero di mappe che soddisfano $n$ condizioni di incidenza generiche. Questo recupera i risultati precedenti per $s=0$ e li generalizza a spazi lineari di dimensione superiore.

Significato e Rivendicazioni
L'articolo sostiene di risolvere il problema dell'interpolazione per curve razionali con secanti in caratteristica arbitraria. La sua importanza risiede in:

• Uniformità: Stabilire che la risposta al problema dei punti prescritti (Domanda 1.1.1(b)) è uniforme nella caratteristica, mentre il problema dei punti non prescritti (Domanda 1.1.1(a)) presenta comportamenti distinti in caratteristica 2.
• Completezza: Fornire un elenco completo degli ostacoli al bilanciamento, dimostrando che in caratteristica 2, il fallimento del bilanciamento è interamente spiegato dalla scissione della sequenza di proiezione o dalla propagazione del non bilanciamento dallo spazio ambiente $\mathbb{P}^r$.
• Generalizzazione: Estendere i risultati noti per le curve razionali in $\mathbb{P}^r$ (dove $k=0$) al contesto più complesso delle curve con condizioni di secanza ($k>0$) su blow-up di spazi proiettivi.

Gli autori notano esplicitamente che, sebbene si concentrino sulle curve razionali, i metodi e le domande sono rilevanti per le curve generali di genere positivo, sebbene tali casi non siano trattati in questo lavoro. I risultati sono derivati rigorosamente mediante tecniche di geometria algebrica, specificamente spazi modulari, teoria dei fasci vettoriali e argomenti di degenerazione, senza ricorso a dati sperimentali o congetture non provate.