Curves in projective space and RSK

1. Il Problema: I Gradi Tevelev Geometrici

Il lavoro si concentra sul calcolo dei gradi Tevelev geometrici ($Tev^{\mathbb{P}^r}_{g,n,d}$) nello spazio proiettivo complesso $\mathbb{P}^r$.

• Definizione: Questi invarianti enumerano il numero di mappe di grado $d$, $f: C \to \mathbb{P}^r$, da una curva algebrica liscia e generale $C$ di genere $g$ a $\mathbb{P}^r$, tali che la mappa interpoli un numero massimo possibile di punti fissi.
• Vincoli: Siano $p_1, \dots, p_n \in C$ e $x_1, \dots, x_n \in \mathbb{P}^r$ punti generali distinti. Il numero di punti $n$ è fissato dalla relazione di bilancio dei parametri:
  $$n = \frac{r+1}{r} \cdot d - g + 1 \ge r + 1$$
  Sotto queste condizioni, l'insieme delle mappe interpolanti è finito e trasversale.
• Stato dell'arte precedente: In lavori precedenti (es. [Lia24a]), questi numeri sono stati espressi tramite calcolo di Schubert come numeri di intersezione su una varietà Grassmanniana $Gr(r+1, d+1)$. Tuttavia, queste formule algebrico-geometriche non fornivano una spiegazione combinatoria diretta o "positiva" del conteggio.

2. Metodologia: Dalla Geometria alla Combinatoria

L'obiettivo principale degli autori è fornire una prova combinatoria del conteggio dei gradi Tevelev, traducendo i risultati geometrici in termini di parole e corrispondenze di tableaux.

La metodologia si articola in tre fasi principali:

A. Traduzione in L-Tableaux

Il punto di partenza è la caratterizzazione di $Tev^{\mathbb{P}^r}_{g,n,d}$ in termini di L-tableaux (introdotti in [FL23] e [GRB23]).

• Un L-tableau è una griglia $(r+1) \times (d-r)$ riempita con due tipi di interi:
  • Intieri blu: Formano un Semi-Standard Young Tableau (SSYT) con valori in $\{1, \dots, r+1\}$.
  • Intieri rossi: Formano un SSYT ruotato di $180^\circ$ con valori in $\{1, \dots, g\}$, dove ogni valore appare esattamente $r$ volte.
• Vincoli aggiuntivi: Per contare correttamente i gradi Tevelev, il tableau blu deve soddisfare condizioni specifiche riguardanti l'assenza di "strisce" $(i, i+1)$ di una certa lunghezza (condizioni di "1-strip-less").

B. Conversione in Coppie di Tableaux (P, Q)

Gli autori estendono il lavoro di Gillespie–Reimer-Berg [GRB23] per gestire l'intero range di parametri, non solo il caso di grado elevato ($d \ge rg+r$).

• Viene definita una trasformazione $\psi$ che aggiusta il tableau blu (aggiungendo o rimuovendo colonne di altezza $r+1$) per ottenere un tableau $P$ di dimensione totale $g$.
• Viene definita una mappa $\phi$ che converte il tableau rosso $R$ in un Standard Young Tableau (SYT) $Q$ di dimensione $g$.
• Risultato chiave (Proposizione 3.12): Esiste una biiezione tra l'insieme degli L-tableaux validi e l'insieme di coppie di tableaux $(P, Q)$ di stessa forma, dove $P$ è un SSYT vincolato e $Q$ è un SYT.

C. Applicazione della Corrispondenza RSK

L'ultimo passo utilizza la corrispondenza di Robinson-Schensted-Knuth (RSK) per mappare le coppie $(P, Q)$ in parole $(r+1)$-arie di lunghezza $g$.

• La corrispondenza RSK trasforma una parola in una coppia di tableaux $(P, Q)$.
• Gli autori analizzano come i vincoli geometrici sugli L-tableaux (e di conseguenza su $P$ e $Q$) si traducono in proprietà combinatorie della parola immagine.
• Strumenti teorici:
  • Teorema di Greene: Collega la forma del tableau $P$ alla lunghezza delle massime unioni di sottosequenze crescenti e decrescenti della parola.
  • Equivalenza di Knuth: Analizza come le trasformazioni elementari di Knuth preservino la struttura delle sottosequenze specifiche (in particolare le sottosequenze $(i, i+1)$).

3. Risultati Principali

Il risultato centrale è il Teorema 1.1, che fornisce una caratterizzazione combinatoria esplicita dei gradi Tevelev.

Teorema 1.1: Assumendo la relazione di bilancio per $n$, il numero $Tev^{\mathbb{P}^r}_{g,n,d}$ è uguale al numero di parole $(r+1)$-arie di lunghezza $g$ che soddisfano tre condizioni:

1. Condizione sulle sottosequenze decrescenti: La parola contiene una collezione di almeno $g + r - d$ sottosequenze disgiunte di lunghezza $r+1$. (Questa condizione è vacua se $d \ge g+r$).
2. Condizione sulle sottosequenze non decrescenti: Non esistono sottosequenze non decrescenti di lunghezza maggiore di $\lfloor d/r \rfloor$.
3. Condizione sulle sottosequenze $(i, i+1)$: Non esistono sottosequenze non decrescenti costituite esclusivamente da $i$ e $i+1$ di lunghezza $\lfloor d/r \rfloor$.

Implicazioni e Casi Particolari:

• Recupero del caso di grado elevato: Se $d \ge rg + r$, tutte e tre le condizioni diventano vacue (o automaticamente soddisfatte). Il numero di parole è semplicemente $(r+1)^g$, recuperando il risultato noto $Tev^{\mathbb{P}^r}_{g,n,d} = (r+1)^g$.
• Interpretazione positiva: A differenza delle formule di intersezione che possono coinvolgere cancellazioni di termini, questa interpretazione conta direttamente oggetti combinatori (parole), fornendo una spiegazione "positiva" del conteggio.
• Caso $r=1$: Per curve piane ($r=1$), le condizioni si semplificano notevolmente. In un caso specifico ($d = g/2 + 1$), il conteggio coincide con i numeri di Catalan, collegando il problema ai cammini reticolari e ai lavori classici di Castelnuovo.

4. Significato e Contributi

• Ponte tra Geometria e Combinatoria: Il lavoro chiude un divario importante fornendo una prova combinatoria diretta per invarianti geometrici complessi che erano stati calcolati solo tramite calcolo di Schubert.
• Generalizzazione: Estende i risultati di [GRB23] (validi solo per $d \ge g+r$) all'intero spettro dei gradi Tevelev, inclusi i casi "speciali" di Brill-Noether ($d < g+r$).
• Nuova Struttura Combinatoria: Introduce una nuova classe di parole vincolate che enumerano curve proiettive, rivelando strutture nascoste (come le relazioni con le sottosequenze disgiunte) che non erano evidenti nella formulazione geometrica originale.
• Strumenti Analitici: Dimostra l'efficacia della combinazione di tecniche di teoria delle rappresentazioni (RSK, tableaux) e geometria algebrica per risolvere problemi di enumerazione di curve.

In sintesi, Lian e Solotko trasformano un problema di enumerazione geometrica in un problema di conteggio di parole con vincoli di sottosequenza, offrendo una comprensione più profonda e accessibile dei gradi Tevelev attraverso la lente della corrispondenza RSK.