Hessenberg varieties of codimension one in the flag variety

1. Problema e Contesto

Il lavoro si concentra sulle varietà di Hessenberg di tipo $A$ (associate al gruppo lineare generale $G = GL_n(\mathbb{C})$) che hanno codimensione uno nello spazio delle bandiere $\mathcal{B} = G/B$.
Le varietà di Hessenberg $B(x, H)$ sono definite come l'insieme delle bandiere $gB$ tali che $g^{-1}xg \in H$, dove $x$ è un elemento dell'algebra di Lie $\mathfrak{g}$ e $H$ è uno spazio di Hessenberg (un sottospazio $B$-invariante di $\mathfrak{g}$ contenente la sottobolla $\mathfrak{b}$).

Il caso specifico studiato è quello in cui $H = H(m_{max})$, con $m_{max} = (n-1, n, \dots, n)$. Questa scelta è motivata dal fatto che $H(m_{max})$ è l'unico sottospazio massimale proprio $B$-invariante di $\mathfrak{g}$. Quando $x$ non è scalare, la varietà $B(x, H(m_{max}))$ ha codimensione uno in $\mathcal{B}$.
L'obiettivo principale è comprendere le proprietà geometriche e topologiche di queste varietà, in particolare:

• Calcolare i loro polinomi di Poincaré.
• Caratterizzare quando sono irriducibili.
• Determinare il loro luogo singolare.
• Stabilire se sono schemi ridotti.
• Confrontarle con le varietà di Schubert di codimensione uno.

2. Metodologia

Gli autori adottano un approccio che combina geometria algebrica, teoria delle rappresentazioni e combinatoria, introducendo un nuovo strumento potente basato sulla contabilità dei punti su campi finiti.

• Strumento Chiave (Teorema 1 - "Point Count Heuristic"): Gli autori dimostrano che il polinomio di Poincaré di una varietà di Hessenberg $B(x, H(m))$ può essere calcolato contando i punti della varietà corrispondente definita su un campo finito $\mathbb{F}_p$. Nello specifico, se $x$ è in una forma specifica (forma più alta e forma di Jordan permutata, HFPJF) e $p$ è sufficientemente grande, il numero di punti della varietà su $\mathbb{F}_p$ è uguale al valore del polinomio di Poincaré valutato in $p^{1/2}$. Questo permette di evitare calcoli complessi di numeri di Betti basati su decomposizioni affini, sostituendoli con conteggi combinatori elementari.
• Analisi delle Patch Affini: Per studiare la singolarità e la riduttività, gli autori utilizzano le "patch" affini $N_g$ centrate in punti della varietà. In queste coordinate, la varietà di Hessenberg appare come un iperpiano affine definito dal determinante di una matrice specifica $A_g$.
• Teoria degli Schemi: Per dimostrare che gli schemi sono ridotti, analizzano l'ideale generato dal determinante $det(A_g)$ utilizzando l'ordine lessicografico sui monomi e il teorema secondo cui se l'ideale iniziale è privo di quadrati (square-free), allora l'ideale originale è radicale.

3. Risultati Principali

A. Polinomio di Poincaré (Teorema 3)

Gli autori derivano una formula chiusa per il polinomio di Poincaré di $B(x, H(m_{max}))$ basata sugli autovalori di $x$.
Se $x$ ha $\ell$ autovalori distinti $\lambda_1, \dots, \lambda_\ell$ con molteplicità $d_1, \dots, d_\ell$, il polinomio è:
$$Poin(B(x, H(m_{max})); q) = [n-2]_{q^2}! \left( [n]_{q^2}[n-2]_{q^2} + q^{2n-4} \sum_{j=1}^{\ell} [d_j]_{q^2} \right)$$
Questa formula è ottenuta contando i punti fissi di un elemento $y \in \mathfrak{gl}_n(\mathbb{F}_p)$ che agisce su $\mathbb{F}_p^n$.

B. Irreducibilità (Teorema 4)

Viene caratterizzata la condizione di irriducibilità per $B(x, H(m_{max}))$:

• La varietà è riducibile se e solo se esiste $\lambda \in \mathbb{C}$ tale che $x - \lambda I_n$ ha rango uno.
• In termini di decomposizione di Jordan, ciò corrisponde a $x$ essere nilpotente con partizione $(2, 1^{n-2})$ oppure semisemplice con autovalori $c_1$ (molteplicità $n-1$) e $c_2$ (molteplicità 1).
  La prova si basa sul fatto che la varietà è equidimensionale e che la riducibilità è equivalente al fatto che il polinomio di Poincaré non sia monico (cioè il coefficiente del termine di grado massimo non sia 1).

C. Luogo Singolare (Teorema 5)

Per $x$ nilpotente, gli autori determinano esattamente il luogo singolare:

• Il luogo singolare di $B(x, H(m_{max}))$ è esattamente la varietà di Hessenberg $B(x, H((1, n-1, \dots, n-1, n)))$.
• In generale, il luogo singolare è contenuto in questa varietà, ma l'uguaglianza vale solo quando $x$ è nilpotente.
  La dimostrazione utilizza il criterio di Jacobian applicato al determinante $det(A_g)$ nelle coordinate affini.

D. Riduttività degli Schemi (Teorema 6)

Per $n \ge 3$, la varietà di Hessenberg $B(x, H(m_{max}))$ è uno schema ridotto per ogni $x \in \mathfrak{gl}_n(\mathbb{C})$.
Questo risultato è ottenuto dimostrando che il determinante che definisce localmente la varietà genera un ideale radicale. Il caso $n=2$ è un'eccezione (non ridotto se $x$ è nilpotente).

E. Relazione con le Varietà di Schubert (Corollario 7)

Il paper estende risultati precedenti sulla relazione tra varietà di Hessenberg e varietà di Schubert di codimensione uno ($X_{s_i w_0}$).

• Si dimostra che per $i \in \{2, n-2\}$, la varietà di Schubert $X_{s_i w_0}$ non è isomorfa a nessuna varietà di Hessenberg.
• Le uniche varietà di Schubert di codimensione uno isomorfe a varietà di Hessenberg sono quelle per $j \in \{1, n-1\}$.
  La prova si basa sul confronto dei polinomi di Poincaré e dei luoghi singolari (calcolati tramite caratteristiche di Eulero).

4. Significato e Contributi

• Nuovo Metodo Computazionale: L'introduzione del "Point Count Heuristic" (Teorema 1) è un contributo metodologico significativo. Permette di calcolare polinomi di Poincaré per varietà di Hessenberg di qualsiasi codimensione (non solo una) usando metodi elementari su campi finiti, semplificando notevolmente calcoli che richiedevano in passato analisi di casi complessi.
• Completezza Geometrica: Il lavoro fornisce una descrizione completa delle varietà di codimensione uno, risolvendo questioni aperte sulla loro struttura (riduttività, singolarità) che non erano state affrontate in dettaglio per questo caso specifico.
• Classificazione Isomorfica: Il risultato sul non-isomorfismo tra certe varietà di Schubert e quelle di Hessenberg chiarisce i limiti della corrispondenza tra queste due classi di oggetti geometrici fondamentali nella teoria delle rappresentazioni e nella geometria algebrica.
• Generalità: Sebbene focalizzato sul caso di codimensione uno, gli strumenti sviluppati (in particolare il Teorema 1) sono presentati come applicabili a varietà di Hessenberg di codimensione arbitraria, offrendo potenziali applicazioni future in altri contesti.

In sintesi, il paper risolve problemi fondamentali sulla topologia e la geometria delle varietà di Hessenberg di codimensione uno, fornendo formule esplicite, caratterizzazioni geometriche precise e un nuovo potente strumento computazionale basato sulla teoria dei campi finiti.