Complexity of the Zero Set of a Matrix Schubert Ideal

Sintesi Tecnica: Complessità dello Zeroset di un Ideale di Schubert Matriciale

Enunciato del Problema
Il lavoro indaga la complessità combinatoria di specifiche sottovarietà nel contesto delle $T$-varietà. Una $T$-varietà è una varietà normale dotata di un'azione di un toro algebrico $T$. La complessità di tale varietà è definita come la differenza tra la sua dimensione e la dimensione di una massima orbita $T$ (o equivalentemente, $\dim(X) - \dim(\sigma)$, dove $\sigma$ è il cono dei pesi). Una complessità inferiore indica che la varietà è più suscettibile a metodi combinatori; ad esempio, la complessità 0 corrisponde alle varietà toriche.

Gli autori si concentrano sulle varietà di Schubert matriciali $X_w$, introdotte da Fulton, che sono varietà affini di matrici $n \times n$ definite da condizioni di rango sulle sottomatrici determinate da una permutazione $w \in S_n$. Sebbene $X_w$ ammetta una naturale azione $T \times T$ (dove $T \simeq (\mathbb{C}^*)^n$), la sua complessità è spesso banalizzata da un grande fattore affine $\mathbb{C}^k$. Per ovviare a ciò, gli autori studiano la parte "essenziale" della varietà, denotata $Y_w$, definita dalla decomposizione $X_w \cong Y_w \times \mathbb{C}^k$ dove $k$ è massima. L'ideale definitorio di $Y_w$ coincide con quello di $X_w$.

Il problema centrale è caratterizzare l'insieme dei numeri interi non negativi che possono essere realizzati come complessità di $Y_w$ per un fisso $n \geq 4. I lavori precedenti hanno stabilito che la complessità 1 è impossibile e che l'insieme delle complessità realizzabili esclude solo il 1 quando$n$ varia sui multipli di 4. Questo lavoro restringe l'ambito a un gruppo simmetrico fisso $S_n$ per determinare l'esatto intervallo delle complessità realizzabili.

Metodologia
Gli autori impiegano una combinazione di geometria algebrica, combinatoria e teoria dei grafi:

1. Decomposizione Geometrica: Definiscono $Y_w$ come la proiezione di $X_w$ sullo spazio lineare generato dalle entrate non presenti nel "diagramma nord-ovest" $NW(w)$. La dimensione di $Y_w$ è data da $|L'(w)|$, dove $L'(w)$ è un particolare diagramma a gradini derivato dal diagramma di Rothe $D(w)$ della permutazione.
2. Azione del Toro e Coni dei Pesi: La complessità $d_w$ di $Y_w$ sotto l'azione $T \times T$ è calcolata utilizzando la formula:
   $$d_w = \dim(Y_w) - \dim(\sigma_w)$$
   dove $\sigma_w$ è il cono dei pesi associato all'azione.
3. Traduzione in Teoria dei Grafi: Il cono dei pesi $\sigma_w$ è identificato come il cono degli spigoli di un grafo bipartito diretto $G_w$. I vertici di $G_w$ corrispondono alle righe e alle colonne non vuote del diagramma $L(w)$, e gli spigoli corrispondono alle entrate in $L(w)$.
4. Formula della Complessità: Utilizzando la formula per la dimensione dei coni degli spigoli, la complessità è espressa come:
   $$d_w = |L'(w)| - |V(G_w)| + |C(G_w)|$$
   dove $|V(G_w)|$ è il numero di vertici e $|C(G_w)|$ è il numero di componenti connesse. Ciò è ulteriormente raffinato utilizzando il numero ciclotomico $\nu(G_w)$ del grafo sottostante non orientato:
   $$d_w = \nu(G_w) + |\text{dom}(w)| - |D(w)|$$
   dove $\text{dom}(w)$ è la "parte dominante" del diagramma di Rothe.
5. Dimostrazioni Costruttive: Per stabilire l'intervallo delle complessità realizzabili, gli autori utilizzano lemmi riguardanti la modifica dei diagrammi di Rothe. Nello specifico, mostrano come sostituire una regione del diagramma di una permutazione con il diagramma di una permutazione più piccola influisca sulla complessità, permettendo loro di costruire permutazioni con specifici valori di complessità.

Contributi e Risultati Chiave

• Complessità Massima: Il lavoro determina la complessità massima possibile per $Y_w$ con $w \in S_n$ (per $n \geq 4$).

  • Teorema 4.2: La complessità massima è $(n-1)(n-3)$.
  • Unicità: Questo massimo è raggiunto unicamente dalla permutazione $s_{n-1} = [1, \dots, n-2, n, n-1]$. Il grafo associato $G_w$ per questa permutazione è isomorfo al grafo bipartito completo $K_{n-1, n-1}$.

• Valori di Complessità Realizzabili: Il lavoro caratterizza l'insieme di tutti gli interi $d$ che possono essere realizzati come complessità di qualche $Y_w$ per un $n$ fisso.

  • Teorema 4.8: Per un $n \geq 4$ fisso, l'insieme delle complessità realizzabili è $\{0, 2, 3, \dots, (n-1)(n-3)\}$.
  • Esclusione di 1: Il lavoro conferma che la complessità 1 non è mai realizzabile per alcuna $w \in S_n$ (basandosi su risultati precedenti di Escobar–Mészáros e Donten-Bury–Escobar–Portakal).
  • Colmatura del Vuoto: Gli autori dimostrano che ogni intero compreso tra 0 e il massimo (escluso 1) è realizzabile. Gestiscono il caso specifico della complessità 4 per $n=5$ (che non era coperto dalla loro costruzione generale di intervalli) esponendo esplicitamente la permutazione $12534$.

Significato
Il lavoro fornisce una classificazione completa dello spettro di complessità per le varietà di Schubert matriciali (nello specifico le loro parti essenziali $Y_w$) all'interno di un gruppo simmetrico fisso $S_n$. Stabilendo che la complessità può assumere qualsiasi valore intero da 0 fino al massimo teorico $(n-1)(n-3)$, con l'unica eccezione di 1, gli autori chiariscono il panorama combinatorio di queste varietà. Questo risultato affina le conoscenze precedenti, che erano limitate ai casi in cui $n$ variava sui multipli di 4. Il lavoro collega le proprietà geometriche delle varietà determinantal alle proprietà strutturali dei grafi bipartiti (nello specifico i numeri ciclotomici e i coni degli spigoli), offrendo uno strumento combinatorio preciso per analizzare la struttura di $T$-varietà delle varietà di Schubert matriciali.