Hessenberg varieties of codimension one in the flag variety

1. Planteamiento del Problema

El artículo se centra en el estudio de las variedades de Hessenberg de tipo $A$ (asociadas al grupo lineal general $G = GL_n(\mathbb{C})$) que tienen codimensión uno dentro de la variedad bandera $B = G/B$.

• Contexto: Dado un elemento $x \in \mathfrak{g} = \mathfrak{gl}_n(\mathbb{C})$ y un subespacio $H \subseteq \mathfrak{g}$ invariante bajo el Borel $B$, la variedad de Hessenberg se define como $B(x, H) = \{gB \in G/B \mid g^{-1}xg \in H\}$.
• Restricción de Codimensión Uno: Los autores se enfocan específicamente en el caso donde $H = H(m_{\text{max}})$, con $m_{\text{max}} = (n-1, n, \dots, n)$. Este es el único subespacio propio maximal invariante bajo $B$. Se sabe que $B(x, H(m_{\text{max}}))$ tiene codimensión uno si y solo si $x$ no es escalar o, en el caso nilpotente, si su descomposición de Jordan corresponde a la partición $(2, 1^{n-2})$.
• Objetivos:
  1. Derivar una fórmula explícita para el polinomio de Poincaré de estas variedades.
  2. Caracterizar cuándo estas variedades son irreducibles.
  3. Determinar la estructura del lugar singular (especialmente cuando $x$ es nilpotente).
  4. Probar que todas estas variedades son esquemas reducidos.
  5. Establecer la relación de isomorfismo entre estas variedades de Hessenberg y las variedades de Schubert de codimensión uno.

2. Metodología

Los autores emplean una combinación de técnicas geométricas, combinatorias y aritméticas:

• Heurística del Conteo de Puntos (Point Count Heuristic): La herramienta central es un teorema nuevo (Teorema 1) que permite calcular el polinomio de Poincaré de una variedad de Hessenberg sobre $\mathbb{C}$ contando los puntos de la variedad definida sobre un cuerpo finito $\mathbb{F}_p$. Esto se basa en la existencia de una "pavimentación afín" (affine paving) de las variedades de Hessenberg (resultado previo de Tymoczko).
  • Se demuestra que si $x$ es una matriz entera en una forma específica (HFPJF: Highest Form and Permuted Jordan Form), entonces $|B_p(\bar{x}, \bar{H})| = \text{Poin}(B(x, H); p^{1/2})$ para primos grandes $p$.
• Análisis de Parches Afines (Affine Patches): Para estudiar la suavidad y la irreducibilidad, los autores utilizan la cobertura de la variedad bandera por parches afines $N_g \cong \mathbb{C}^{\binom{n}{2}}$. Interseccionan estos parches con la variedad de Hessenberg para obtener hipersuperficies afines definidas por determinantes.
• Cálculo de Determinantes y Criterio de Jacobiano: Analizan el determinante de una matriz de polinomios $A_g$ para determinar cuándo un punto es singular (cuando el término lineal del determinante se anula).
• Teoría de Grupos y Órdenes de Bruhat: Utilizan la teoría de grupos de Lie, la descomposición de Bruhat y criterios de tablero (Tableau Criterion) para analizar las variedades de Schubert y sus lugares singulares.

3. Contribuciones y Resultados Clave

A. Fórmula del Polinomio de Poincaré (Teorema 3)

Los autores derivan una fórmula cerrada para el polinomio de Poincaré de $B(x, H(m_{\text{max}}))$ basada en los valores propios de $x$.
Si $x$ tiene $\ell$ valores propios distintos $\lambda_1, \dots, \lambda_\ell$ con multiplicidades $d_1, \dots, d_\ell$, el polinomio es:
$$\text{Poin}(B(x, H(m_{\text{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)$$
donde $[k]_t = \frac{t^k-1}{t-1}$ y $[k]_t!$ es el factorial $q$-analógico.

• Significado: Esta fórmula es mucho más simple que las anteriores que requerían múltiples casos, y se obtiene directamente contando puntos en cuerpos finitos.

B. Irreducibilidad (Teorema 4)

Se caracteriza completamente cuándo la variedad es reducible:

• $B(x, H(m_{\text{max}}))$ es reducible si y solo si existe $\lambda \in \mathbb{C}$ tal que $x - \lambda I_n$ tiene rango uno.
• Esto ocurre específicamente cuando $x$ es nilpotente con tipo de partición $(2, 1^{n-2})$ o cuando $x$ es semisimple y conjugado a una matriz diagonal con exactamente dos valores propios distintos (uno con multiplicidad $n-1$).

C. Lugar Singular (Teorema 5)

Para el caso en que $x$ es nilpotente:

• El lugar singular de $B(x, H(m_{\text{max}}))$ es exactamente la variedad de Hessenberg $B(x, H((1, n-1, \dots, n-1, n)))$.
• Esto se demuestra analizando los términos lineales en la expansión del determinante que define la variedad localmente.

D. Estructura de Esquema Reducido (Teorema 6)

• Para $n \geq 3$, la variedad de Hessenberg $B(x, H(m_{\text{max}}))$ es un esquema reducido para cualquier $x$.
• La prueba utiliza un lema técnico sobre la raíz de ideales generados por determinantes de matrices de polinomios (Lema 8.3), mostrando que el determinante define un ideal radical.
• Nota: Se muestra un contraejemplo para $n=2$ donde la variedad no es reducida.

E. Relación con Variedades de Schubert (Corolario 7)

Los autores resuelven un problema abierto sobre cuándo una variedad de Schubert de codimensión uno es isomorfa a una variedad de Hessenberg.

• Las variedades de Schubert de codimensión uno son de la forma $X_{s_i w_0}$.
• Se demuestra que $X_{s_i w_0}$ es isomorfa a una variedad de Hessenberg si y solo si $i \in \{1, n-1\}$.
• Para $i \in \{2, n-2\}$, no existe isomorfismo, incluso si los polinomios de Poincaré coinciden (lo cual ocurre si $x$ es nilpotente de rango dos). La distinción se hace comparando los polinomios de Poincaré de los lugares singulares, que resultan ser diferentes.

4. Significado e Impacto

1. Unificación de Métodos: El uso de la "heurística del conteo de puntos" (Teorema 1) proporciona una herramienta poderosa y general para calcular invariantes topológicos (polinomios de Poincaré) de variedades de Hessenberg sin restricciones de codimensión, simplificando drásticamente los cálculos anteriores.
2. Clarificación Geométrica: El trabajo proporciona una descripción completa de la geometría de las variedades de Hessenberg de codimensión uno, resolviendo dudas sobre su irreducibilidad y estructura de esquemas.
3. Distinción entre Tipos de Variedades: El resultado sobre la no-isomorfía entre ciertas variedades de Schubert y de Hessenberg (Corolario 7) es crucial para la clasificación de variedades en la teoría de representaciones y geometría algebraica, mostrando que la coincidencia de invariantes topológicos (como el polinomio de Poincaré) no implica isomorfismo geométrico cuando se consideran los lugares singulares.
4. Aplicabilidad: Las técnicas desarrolladas, especialmente el análisis de parches y el uso de cuerpos finitos, son aplicables a otras familias de variedades singulares en geometría algebraica.

En resumen, el artículo ofrece una comprensión profunda y técnica de una clase específica de variedades de Hessenberg, combinando métodos combinatorios modernos con geometría algebraica clásica para resolver problemas de clasificación y estructura.