Varietà di Hessenberg regolari semisemplici con anelli di coomologia generati in grado due

Informazioni Fondamentali

• ID Articolo: 2301.03762
• Titolo: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• Autori: Mikiya Masuda, Takashi Sato
• Classificazione: math.AG (Geometria Algebrica), math.AT (Topologia Algebrica), math.SG (Geometria Simplettica)
• Data di Pubblicazione: 11 novembre 2025 (versione arXiv v4)
• Link dell'Articolo: https://arxiv.org/abs/2301.03762

Riassunto

Le varietà di Hessenberg regolari semisemplici $\mathrm{Hess}(S,h)$ sono sottovarietà lisce della varietà di bandiere, determinate da una matrice quadrata $S$ con autovalori distinti e da una funzione di Hessenberg $h$. L'anello di coomologia $H^*(\mathrm{Hess}(S,h))$ è indipendente dalla scelta di $S$, ma rimane non esplicitamente descritto salvo in pochi casi. Questo articolo caratterizza le funzioni di Hessenberg $h$ per le quali $H^*(\mathrm{Hess}(S,h))$ come anello è generato in grado due, mostrando che tali $h$ sono precisamente le cosiddette funzioni di tipo (doppio) lecca-lecca.

Contesto di Ricerca e Motivazione

1. Problema di Ricerca

L'articolo studia la struttura dell'anello di coomologia delle varietà di Hessenberg regolari semisemplici, in particolare caratterizzando quali funzioni di Hessenberg $h$ rendono l'anello di coomologia $H^*(X(h))$ generato in grado due (ossia tutti i generatori provengono dalla coomologia di grado due).

2. Importanza del Problema

• Connessioni Profonde con la Combinatoria: Le varietà di Hessenberg sono correlate al gruppo simmetrico $S_n$ attraverso l'azione puntuale di Tymoczko; la congettura di Shareshian-Wachs, risolta da Brosnan-Chow e Guay-Paquet, collega $H^*(\mathrm{Hess}(S,h))$ come $S_n$-modulo ai polinomi cromatici simmetrici dei grafi
• Congettura di Stanley-Stembridge: Lo studio della geometria e topologia delle varietà di Hessenberg ha aperto nuove strade per provare la celebre congettura di Stanley-Stembridge della teoria dei grafi
• Fondamentalità della Struttura di Anello: Comprendere quando l'anello di coomologia è generato in grado due è fondamentale per studiare strutture algebriche più complesse

3. Limitazioni dei Metodi Esistenti

• Per funzioni di Hessenberg generali $h$, la struttura di anello di $H^*(X(h))$ rimane non esplicitamente descritta
• I risultati noti si limitano a casi speciali:
  • Quando $h = (n,...,n)$ corrisponde alla varietà di bandiere $\mathrm{Fl}(n)$
  • Quando $h = (2,3,...,n,n)$ corrisponde alla varietà del politopo di permutazioni (varietà torica)
  • Quando $h = (h(1),n,...,n)$, i risultati di 2 mostrano che l'anello è generato in grado due solo quando $h(1)=2$ o $n$

4. Motivazione della Ricerca

Basandosi sui modelli dei casi speciali noti, sorge naturalmente la domanda: per una funzione di Hessenberg generale $h$, quando è $H^*(X(h))$ generato in grado due? L'articolo fornisce una risposta completa attraverso l'uso sinergico della teoria di Morse-Bott, della teoria GKM e delle tecniche di fibrazione.

Contributi Principali

1. Teorema di Caratterizzazione Completa (Teorema Principale 1.1): Per varietà di Hessenberg regolari semisemplici connesse (ossia $h(j) \geq j+1$ per tutti $j \in [n-1]$), si dimostra che $H^*(X(h))$ è generato in grado due se e solo se $h$ ha la seguente forma di "doppio lecca-lecca":a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ dove $1 \leq a < b \leq n$
2. Dimostrazione Geometrica della Sufficienza: Si dimostra che quando $h$ è di tipo doppio lecca-lecca, $X(h)$ è un fibrato su una varietà torica compatta liscia, con fibre prodotto di varietà di bandiere, quindi l'anello di coomologia è generato in grado due
3. Dimostrazione Topologica della Necessità: Attraverso funzioni di Morse-Bott e suriettività di mappe di restrizione, si usano argomenti induttivi per escludere tutti i casi non di tipo doppio lecca-lecca
4. Contributi Tecnici:
   • Utilizzo della teoria GKM per fornire generatori espliciti della coomologia di grado due $H^2(X(h))$
   • Calcoli raffinati della serie di Hilbert per provare che in certi casi l'anello non può essere generato in grado due
   • Stabilimento di relazioni di fibrazione tra varietà di Hessenberg

Spiegazione Dettagliata dei Metodi

Definizione del Compito

Input: Funzione di Hessenberg $h: [n] \to [n]$, monotona non decrescente e $h(j) \geq j$

Output: Determinare se l'anello di coomologia $H^*(X(h))$ è generato come anello in grado due

Vincoli: Si assume $h(j) \geq j+1$ per tutti $j \in [n-1]$ (per garantire che $X(h)$ sia connessa)

Quadro Teorico

1. Teoria GKM e Coomologia Equivariante

La varietà di Hessenberg regolare semisemplice $X(h)$ è una varietà GKM, con il toro algebrico $T = (\mathbb{C}^*)^n$ che agisce su di essa. L'insieme dei punti fissi è: $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

La coomologia equivariante $H^*_T(X(h))$ si immerge tramite il teorema di localizzazione: $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

La sua immagine è caratterizzata dalle seguenti condizioni (coomologia del grafo): $\{f \in \mathrm{Map}(S_n, \mathbb{Z}[t_1,...,t_n]) \mid f(w) - f(w(i,j)) \in (t_{w(i)} - t_{w(j)}), \forall w \in S_n, j < i \leq h(j)\}$

2. Generatori Espliciti della Coomologia di Grado Due

Secondo i risultati di Ayzenberg-Masuda-Sato 4, $H^2(X(h))$ è generato dai seguenti elementi:

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$, corrispondente alla prima classe di Chern dei fibrati lineari tautologici
• $y_{j,k}$ ($j \in \bot(h), k \in [n]$): $y_{j,k}(w) = \begin{cases} t_k - t_{w(j+1)} & k \in \{w(1),...,w(j)\} \\ 0 & \text{altrimenti} \end{cases}$ dove $\bot(h) = \{j \in [n-1] \mid h(j-1) = h(j) = j+1\}$
• $\tau_A$ ($|A| \in L(h)$): $\tau_A(w) = \begin{cases} t_{w(|A|)} - t_{w(|A|+1)} & \{w(1),...,w(|A|)\} = A \\ 0 & \text{altrimenti} \end{cases}$ dove $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

Strategia di Dimostrazione della Necessità (Sezione 3)

Lemma Chiave 3.1 (Funzione di Morse-Bott)

Si costruisce una mappa momento $f_h: X(h) \to \mathbb{R}$ i cui insiemi di livello estremi sono rispettivamente $X(h_1)$ e $X(h_n)$, dove $h_j$ è la funzione di Hessenberg ottenuta eliminando la riga e colonna $j$ dalla configurazione di $h$.

Utilizzando la teoria di Morse-Bott (Tolman-Weitsman 19), si dimostra che le mappe di restrizione: $H^*(X(h);\mathbb{Q}) \to H^*(X(h_1);\mathbb{Q}), \quad H^*(X(h);\mathbb{Q}) \to H^*(X(h_n);\mathbb{Q})$ sono entrambe suriettive.

Corollario 3.2: Se $h'$ è un minore di $h$ (ottenuto ripetutamente prendendo $h_1$ o $h_n$) e $H^*(X(h);\mathbb{Q})$ è generato in grado due, allora anche $H^*(X(h');\mathbb{Q})$ è generato in grado due.

Proposizione 3.3 (Caratterizzazione Combinatoria)

$h$ è di tipo doppio lecca-lecca se e solo se $h$ non contiene minori dei seguenti tipi:

• $(\alpha, \beta,...,\beta)$ o $(\beta-1,...,\beta-1, \beta,...,\beta)$ ($\alpha$ volte), dove $3 \leq \alpha < \beta$
• $(2, \gamma-1,...,\gamma-1, \gamma, \gamma)$, dove $\gamma \geq 5$

I primi due casi sono già stati esclusi da 2; il punto cruciale è trattare il terzo caso.

Dimostrazione della Proposizione 3.4 (Nucleo Tecnico)

Per $h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$), si dimostra che $H^*(X(h);\mathbb{Q})$ non è generato in grado due attraverso i seguenti passi:

Passo 1: Utilizzando il Teorema 2.1(4), si calcola la formula ricorsiva per il polinomio di Poincaré (Lemma 3.7): $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

Passo 2: Si dimostra che il coefficiente di $P_n(q)$ in grado $n-3$ è (Lemma 3.8): $\binom{n}{2} + n(n-3)/2$

Passo 3: Si calcola un limite superiore per la serie di Hilbert del sottoanello $R(h)$ generato da $H^2(X(h))$:

• Si introducono elementi ausiliari $\rho_k$, riscrivendo i generatori come $x_k, \tau_k, \rho_k$
• Si decompone $R(h)$ come somma diretta $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ (come $A(h)$-moduli)
• Si calcolano separatamente i limiti superiori della serie di Hilbert per ogni parte (formule 3.23-3.27)

Passo 4: Si dimostra che il coefficiente di $\mathrm{Hilb}(R(h), \sqrt{q})$ in grado $n-3$ è: $\binom{n}{2}$ strettamente minore del coefficiente corrispondente di $P_n(q)$, contraddizione!

Strategia di Dimostrazione della Sufficienza (Sezione 4)

Costruzione della Fibrazione

Per $h$ di tipo doppio lecca-lecca, si definisce la mappa: $\pi_{[a,b]}: \mathrm{Fl}(n) \to \mathrm{Fl}_{[a,b]}(n)$$\pi_{[a,b]}(V_1 \subset \cdots \subset V_n) = (V_a \subset V_{a+1} \subset \cdots \subset V_b)$

Osservazione Chiave: $V_\bullet \in X(h)$ se e solo se $\pi_{[a,b]}(V_\bullet)$ soddisfa $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

Si definisce: $Y_{[a,b]} = \{(V_a \subset \cdots \subset V_b) \mid SV_k \subset V_{k+1}, a \leq k \leq b-1\}$

Allora $\pi_{[a,b]}$ ristretta a $X(h)$ fornisce una fibrazione: $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

Lemma 4.1 (Struttura di Varietà Torica)

Si dimostra che $Y_{[a,b]}$ è una varietà torica compatta liscia di dimensione $n-1$:

• Attraverso la scelta di un vettore speciale $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$, si costruisce un'orbita di $(\mathbb{C}^*)^n$
• Utilizzando il determinante di Vandermonde si dimostra che questa orbita ha dimensione $n-1$

Conclusione: Poiché sia lo spazio base $Y_{[a,b]}$ (varietà torica) che la fibra $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$ (prodotto di varietà di bandiere) hanno anelli di coomologia generati in grado due, dalla successione spettrale di Serre della fibrazione segue che anche $H^*(X(h))$ è generato in grado due.

Configurazione Sperimentale

Questo articolo è un articolo di matematica pura teorica e non coinvolge esperimenti numerici. Tutti i risultati sono derivati da dimostrazioni matematiche rigorose.

Verifiche Computazionali

• Per piccoli valori di $n$ (come $n=3,4,5$) sono stati eseguiti calcoli espliciti dei polinomi di Poincaré per verifica
• Attraverso la teoria GKM sono stati calcolati i generatori della coomologia di grado due per esempi concreti (Esempi 2.1, 2.2)

Risultati Sperimentali

Risultati Principali

Teorema 1.1 (Teorema Principale): Assumendo $h(j) \geq j+1$ per tutti $j \in [n-1]$, $H^*(X(h))$ è generato in grado due se e solo se esistono $1 \leq a < b \leq n$ tali che: