Dimension bounds for relative character varieties on the projective line with three punctures $G=GL(r), O(r), Sp(r)$

Titolo: Limiti dimensionali per le varietà di caratteri relative sulla retta proiettiva con tre punti di rimozione

Autore: Emmett Lennen (Dipartimento di Matematica, Università della Pennsylvania)

1. Il Problema

Il lavoro si concentra sulle varietà di caratteri relative definite sul piano proiettivo complesso $P^1$ privato di tre punti ($P^1 \setminus \{0, 1, \infty\}$). In particolare, lo studio riguarda sistemi locali irriducibili con gruppo di struttura $G$, dove $G$ può essere:

• $GL(r)$ (Gruppo lineare generale),
• $O(r)$ (Gruppo ortogonale),
• $Sp(r)$ (Gruppo simplettico).

L'obiettivo principale è stabilire un limite superiore lineare esplicito per il rango $r$ di una varietà di caratteri "MC-minimale" (minimale rispetto alla convoluzione centrale) in funzione della sua dimensione $d$.
Una varietà di caratteri è detta MC-minimale se l'applicazione dell'operazione di convoluzione centrale (middle convolution), definita da Katz, non è più in grado di ridurre il rango del sistema locale. Il problema fondamentale è capire come il rango $r$ di tali varietà minimali si relaziona alla loro dimensione $d$.

2. Metodologia

L'approccio adottato combina la teoria dei sistemi locali, la teoria delle rappresentazioni e metodi combinatori sviluppati da Simpson.

• Convoluzione Centrale (Middle Convolution): Utilizzando l'operatore di Katz, che fornisce isomorfismi tra varietà di caratteri con diverse monodromie, l'autore riduce lo studio di varietà di rango arbitrario a quelle "MC-minimali". Per $G=GL(r)$, questo processo è ben compreso; per i casi quadratici ($O(r), Sp(r)$), richiede l'uso di convolutori di rango superiore o composizioni di convoluzioni di rango 1.
• Descrizione Combinatoria (Diagrammi di Simpson): L'autore utilizza il metodo diagrammatico introdotto da Simpson ([Sim06], [Sim24]). La dimensione della varietà di caratteri è interpretata come l'area "residua" (numero di caselle vuote) in un quadrato $r \times r$ dopo aver rimosso quadrati di dimensioni corrispondenti alle molteplicità degli autovalori delle monodromie.
  • Per il caso lineare ($GL(r)$), la dimensione è data da $\Delta = r^2 - \sum (\lambda_i^j)^2$.
  • Per il caso quadratico ($O(r), Sp(r)$), la dimensione include termini lineari correttivi legati alla parità dei blocchi di Jordan degli autovalori $\pm 1$.
• Analisi delle Partizioni: Il lavoro si basa sull'analisi delle partizioni di $r$ in tre colonne (corrispondenti ai tre punti di rimozione). L'autore introduce una notazione $r = n_i q_i + c_i$, dove $q_i$ è la larghezza della colonna e $c_i$ misura quanto $q_i$ si avvicina a dividere $r$.
• Riduzione dei Casi: Attraverso un'attenta analisi delle disuguaglianze e dell'ordinamento per dominanza delle partizioni (dominance ordering), l'autore riduce lo spazio delle configurazioni possibili a un numero finito di casi critici, verificando manualmente le dimensioni residue per ciascuno.

3. Risultati Chiave

Caso Lineare ($G = GL(r)$)

L'autore conferma e rafforza i risultati esistenti per il caso lineare.

• Teorema 2.8: Per ogni varietà di caratteri MC-minimale con $G=GL(r)$ e dimensione $d > 2$, il rango soddisfa il limite:
  $$r \le 3d$$
  Questo limite è il più stretto possibile utilizzando questo metodo e viene raggiunto esattamente per configurazioni specifiche dove le colonne hanno larghezze proporzionali a $r/2, r/3, r/6$.

Caso Quadratico ($G = O(r), Sp(r)$)

Questo è il contributo principale del lavoro. Simpson aveva precedentemente dimostrato l'esistenza di un limite, ma con costanti enormi e poco pratiche.

• Miglioramento del Limite: L'autore dimostra che per le varietà quadratiche MC-minimali di dimensione $d \ge 2$, il rango soddisfa:
  $$r \le 9d + 54$$
  Questo rappresenta un miglioramento drastico rispetto ai limiti precedenti (che erano dell'ordine di $10^{10}d$ o simili).
• Configurazioni Non-Sovrapposte: Il cuore della dimostrazione risiede nel trattare il caso "non-sovrapposto" (dove le colonne dei diagrammi non si sovrappongono). Viene dimostrato (Teorema 2.18) che per configurazioni non sovrapposte di dimensione $\Delta = 2d$:
  $$r \le 6d + 36$$
  Il limite per il caso generale (incluso quello sovrapposto) si ottiene moltiplicando per un fattore $3/2$, portando al risultato finale $9d + 54$.
• Analisi dei Casi Critici: L'autore esamina sistematicamente le combinazioni di parametri $(n_1, n_2)$ che permettono dimensioni piccole, identificando che solo casi specifici come $(2,2), (3,3), (2,4), (2,3)$ possono produrre configurazioni con dimensione vicina al limite inferiore.

4. Contributi Tecnici Specifici

1. Ottimizzazione dei Limiti: Sostituzione dei limiti esponenziali o con costanti astronomiche trovati in lavori precedenti con limiti lineari stretti e ottimali per il metodo utilizzato.
2. Analisi delle Correzioni Lineari: Nel caso quadratico, la dimensione non dipende solo dall'area dei quadrati rimossi (dimensione della scatola), ma anche da un termine lineare $l$ che dipende dalla scelta degli autovalori ($\pm 1$). L'autore classifica tutte le possibili correzioni lineari per partizioni specifiche (Lemma 4.4), mostrando come la scelta del tipo di autovalore influenzi la dimensione finale.
3. Gestione delle Configurazioni Sovrapposte: Dimostrazione rigorosa che ogni configurazione sovrapposta può essere legata a una configurazione non sovrapposta di rango inferiore o uguale, permettendo di concentrare l'analisi complessa solo sul caso non sovrapposto.
4. Verifica Computazionale dei Casi Residui: Una parte significativa del lavoro consiste nell'analisi esaustiva (Sezione 5) dei casi rimanenti dopo le riduzioni teoriche, dimostrando che per tutte le altre configurazioni la dimensione cresce rapidamente, superando il limite desiderato.

5. Significato e Implicazioni

• Risoluzione di un Problema Aperto: Il lavoro fornisce la prima stima lineare esplicita e ragionevole per il rango delle varietà di caratteri quadratiche minimali, chiudendo un gap significativo nella letteratura matematica.
• Strumento per la Classificazione: Questi limiti sono cruciali per la classificazione dei sistemi locali rigidi e per la comprensione della struttura delle varietà di caratteri. Sapere che il rango è limitato linearmente dalla dimensione permette di ridurre problemi infiniti a problemi finiti verificabili.
• Metodologia Robusta: L'approccio combinatorio basato sui diagrammi di Young e sull'ordinamento per dominanza si rivela uno strumento potente anche per i casi più complessi (quadratici), offrendo un modello per futuri studi su gruppi di Lie più generali.
• Nota sulla Non-Vuotezza: L'autore nota onestamente che i risultati si applicano alle "configurazioni" combinatorie. Affinché questi limiti si applichino alle varietà di caratteri reali, è necessario dimostrare che tali configurazioni corrispondano a varietà non vuote (problema di Deligne-Simpson), un aspetto che rimane aperto per i gruppi quadratici, sebbene recenti progressi (Shu, CBH) offrano speranza per il caso lineare.

In sintesi, il lavoro di Lennen rappresenta un avanzamento significativo nella geometria algebrica e nella teoria delle rappresentazioni, fornendo limiti precisi e gestibili per una classe fondamentale di oggetti geometrici.