Prym-Brill-Noether Theory for General Covers

Sintesi Tecnica: Teoria di Prym-Brill-Noether per Coperture Generiche

Enunciato del Problema
Il saggio affronta la dimensione della varietà di Prym-Brill-Noether $V^r(C, f)$, definita come l'insieme delle classi di divisori $[D]$ nella varietà di Prym di una copertura doppia étale $f: \tilde{C} \to C$ tali che il rango di $D$ sia almeno $r$. Mentre la dimensione per coperture generiche (dove $C$ ha genere $g$) è stata stabilita da Bertram e Welters come $g - 1 - \binom{r+1}{2}$, il comportamento di questa dimensione per coperture in cui la curva base $C$ possiede proprietà geometriche speciali — specificamente curve $k$-gonali o $k$-ellittiche — rimane meno compreso. Lavori precedenti di Len e Ulirsch, e di Creech, Len, Ritter e Wu, hanno fornito dei limiti per questi casi, ma hanno lasciato aperta la questione dell'ottimalità e della validità di specifiche congetture riguardanti la dimensione.

Metodologia
L'autore utilizza la geometria tropicale come strumento primario per analizzare queste varietà. L'approccio prevede:

1. Tropicalizzazione: Costruzione di un analogo tropicale della varietà di Prym-Brill-Noether, $V^r(\Gamma, \pi)$, per un grafo metrico $\Gamma$ e una copertura doppia libera $\pi: \tilde{\Gamma} \to \Gamma$.
2. Modelli Tropicali Specifici: Invece della "catena di loop" utilizzata nella letteratura precedente, il saggio utilizza un grafo metrico "loop di loop". Questo grafo consiste in $2g-2$ vertici disposti in un ciclo specifico di loop.
3. Codifica Combinatoria: Il saggio stabilisce una biiezione tra le classi di divisori nella varietà di Prym tropicale e le "parole persistenti" (lingering words) nei gruppi di Coxeter (specificamente tipo $A_r$ e tipo $I_2(r+1)$). Una parola persistente permette elementi identità, rispecchiando la flessibilità delle posizioni dei divisori sul grafo.
4. Teoremi di Sollevamento (Lifting): Dimostrando che la varietà tropicale è un'intersezione completa locale e utilizzando il teorema di sollevamento di Rabinoff, l'autore dimostra che le classi di divisori nell'impostazione tropicale si sollevano a classi di divisori nell'impostazione algebrica su campi non archimediani. Ciò consente di trasferire i limiti di dimensione dal grafo tropicale alla curva algebrica.

Contributi Chiave e Risultati

• Descrizione Tropicale di $V^r(\Gamma, \pi)$:
  Per un loop di loop $r$-generico (dove le lunghezze degli archi soddisfano specifiche condizioni di genericità), il saggio descrive completamente la varietà di Prym-Brill-Noether tropicale. Si dimostra che essa è un'unione di tori indicizzati da parole persistenti nel gruppo di Coxeter $A_r$ che contengono una sottoparola ridotta per l'elemento più lungo $w_0$.

  • La varietà è dimostrata essere pura nella dimensione e connessa in codimensione 1.
  • Quando la dimensione è zero (ovvero $g-1 = \binom{r+1}{2}$), la cardinalità della varietà corrisponde al numero di parole ridotte per $w_0$, che corrisponde al numero di tavole di Young standard su una partizione a scalinata.

• Limiti per Coperture $k$-ellittiche (Teorema 1.1):
  Il saggio stabilisce un limite superiore sulla dimensione di $V^r(C, f)$ quando $C$ è una curva $k$-ellittica (che ammette una mappa di grado $k$ verso una curva di genere 1).
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - \frac{k(r+1)}{2} & \text{se } k < r \\ g - 1 - \frac{r(r+1)}{2} & \text{se } k \geq r \end{cases}$$
  L'uguaglianza si verifica quando $k \geq r$. Questo risultato è derivato dall'analisi di loop di loop $k$-uniformi e dalla dimostrazione di un risultato di sollevamento per queste specifiche configurazioni tropicali.

• Limiti per Coperture $k$-gonali (Teorema 1.3):
  Per le curve $k$-gonali generali (che ammettono una mappa di grado $k$ verso $\mathbb{P}^1$), il saggio fornisce un limite superiore migliorato sulla dimensione, raffinando i risultati precedenti di Len, Ulirsch e altri. Il nuovo limite è:
  $$\dim V^r(C, f) \leq \begin{cases} g - 1 - n(r, k) & \text{se } \ell(\ell+1) \leq r+1 \\ g - 1 - \frac{(k-1)(r+1)}{2} & \text{se } k+1 \leq r+1 < \ell(\ell+1) \\ g - 1 - \binom{r+1}{2} & \text{se } k \geq r+1 \end{cases}$$
  dove $\ell = \lceil k/2 \rceil$ e $n(r, k)$ è una funzione precedentemente definita.

• Confutazione della Congettura 3.9:
  Il saggio confuta esplicitamente la Congettura 3.9 di Creech, Len, Ritter e Wu [CLRW22], la quale proponeva una diversa formula dimensionale per le coperture $k$-gonali. Il controesempio deriva dall'analisi del "loop di loop" e dalla specifica combinatoria dei relativi gruppi di Coxeter.

• Nuova Congettura (Congettura 1.4):
  Motivato dai loci di tipo di scomposizione di fasci ortogonali su $\mathbb{P}^1$ (seguendo il lavoro di H. Larson), l'autore propone una nuova congettura per la dimensione di $V^r(C, f)$ nel caso $k$-gonale. Questa congettura suggerisce che la dimensione sia esattamente $g - 1 - (k-1)(r+1) + \binom{k}{2}$, quando $k < r+1$, e $g - 1 - \binom{r+1}{2}$ altrimenti.

• Caso Biellittico ($k=2$):
  Nel caso speciale delle curve biellittiche ($k=2$), il saggio mostra che la varietà tropicale è indicizzata da parole persistenti nel gruppo diedrale $I_2(r+1)$. Questa struttura preserva molte proprietà topologiche del caso generico, inclusa la purezza della dimensione e la connessione in codimensione 1.

Significato e Rivendicazioni
Il saggio sostiene di fornire una nuova prova del teorema di Bertram-Welters per le coperture generiche e offre un miglioramento significativo dei limiti esistenti per le coperture di curve $k$-gonali e $k$-ellittiche. Utilizzando il modello tropicale "loop di loop", l'autore dimostra che la combinatoria dei gruppi di Coxeter (specificamente la struttura delle parole persistenti e l'ordine di Bruhat) può effettivamente codificare la geometria delle varietà di Prym-Brill-Noether.

Il teorema di sollevamento (Teorema 1.2) è centrale per il lavoro, stabilendo che per i loop di loop $r$-generici, ogni classe di divisore tropicale di rango $r$ si solleva a una classe di divisore algebrico. Ciò consente all'autore di dedurre le proprietà della varietà algebrica (come la riducibilità e la dimensione) direttamente dalla combinatoria tropicale. Il saggio conclude che, sebbene i limiti superiori derivati non siano sempre ottimali, essi rappresentano un sostanziale raffinamento rispetto alla letteratura precedente e forniscono un quadro per una congettura più precisa riguardante la dimensione di queste varietà.