Variedades de Hessenberg semisimples regulares con anillos de cohomología generados en grado dos

Información Básica

• ID del artículo: 2301.03762
• Título: Regular semisimple Hessenberg varieties with cohomology rings generated in degree two
• Autores: Mikiya Masuda, Takashi Sato
• Clasificación: math.AG (Geometría Algebraica), math.AT (Topología Algebraica), math.SG (Geometría Simpléctica)
• Fecha de publicación: 11 de noviembre de 2025 (versión arXiv v4)
• Enlace del artículo: https://arxiv.org/abs/2301.03762

Resumen

Las variedades de Hessenberg semisimples regulares $\mathrm{Hess}(S,h)$ son subvariedades suaves de la variedad de banderas, determinadas por una matriz cuadrada $S$ con valores propios distintos y una función de Hessenberg $h$. El anillo de cohomología $H^*(\mathrm{Hess}(S,h))$ es independiente de la elección de $S$, pero aún no ha sido descrito explícitamente excepto en pocos casos. Este artículo caracteriza las funciones de Hessenberg $h$ para las cuales $H^*(\mathrm{Hess}(S,h))$ como anillo es generado en grado dos, demostrando que tales $h$ son precisamente las llamadas funciones de tipo (doble) piruleta.

Contexto de Investigación y Motivación

1. Problema de Investigación

Este artículo estudia la estructura del anillo de cohomología de variedades de Hessenberg semisimples regulares, en particular caracterizando qué funciones de Hessenberg $h$ hacen que el anillo de cohomología $H^*(X(h))$ sea generado en grado dos (es decir, todos los generadores provienen de la cohomología de grado dos).

2. Importancia del Problema

• Conexiones profundas con matemática combinatoria: Las variedades de Hessenberg se relacionan con el grupo simétrico $S_n$ a través de la acción puntual de Tymoczko. La conjetura de Shareshian-Wachs, resuelta por Brosnan-Chow y Guay-Paquet, conecta $H^*(\mathrm{Hess}(S,h))$ como $S_n$-módulo con funciones simétricas de polinomios cromáticos de grafos
• Conjetura de Stanley-Stembridge: El estudio de la geometría y topología de variedades de Hessenberg ha abierto caminos para demostrar la famosa conjetura de Stanley-Stembridge en teoría de grafos
• Carácter fundamental de la estructura de anillo: Comprender cuándo el anillo de cohomología es generado en grado dos es fundamental para estudiar estructuras algebraicas más complejas

3. Limitaciones de Métodos Existentes

• Para funciones de Hessenberg generales $h$, la estructura de anillo de $H^*(X(h))$ aún no ha sido descrita explícitamente
• Los resultados conocidos se limitan a casos especiales:
  • Cuando $h = (n,...,n)$ corresponde a la variedad de banderas $\mathrm{Fl}(n)$
  • Cuando $h = (2,3,...,n,n)$ corresponde a la variedad de politopos de permutación (variedad toroidal)
  • Cuando $h = (h(1),n,...,n)$, los resultados de 2 muestran que el anillo es generado en grado dos solo cuando $h(1)=2$ o $n$

4. Motivación de la Investigación

Basándose en patrones de casos especiales conocidos, surge naturalmente la pregunta: ¿para qué funciones de Hessenberg generales $h$ es $H^*(X(h))$ generado en grado dos? Este artículo proporciona una respuesta completa mediante la aplicación sintetizada de la teoría de Morse-Bott, la teoría de GKM y técnicas de fibración.

Contribuciones Principales

1. Teorema de Caracterización Completa (Teorema Principal 1.1): Para variedades de Hessenberg semisimples regulares conexas (es decir, $h(j) \geq j+1$ para todo $j \in [n-1]$), se demuestra que $H^*(X(h))$ es generado en grado dos si y solo si $h$ tiene la siguiente forma de "doble piruleta":a+1 & (1 \leq j \leq a) \\ j+1 & (a < j < b) \\ n & (b \leq j \leq n) \end{cases}$$ donde $1 \leq a < b \leq n$
2. Demostración Geométrica de Suficiencia: Se demuestra que cuando $h$ es de tipo doble piruleta, $X(h)$ es un fibrado sobre una variedad toroidal compacta suave, con fibras siendo productos de variedades de banderas, por lo que el anillo de cohomología es generado en grado dos
3. Demostración Topológica de Necesidad: Mediante funciones de Morse-Bott y la sobreyectividad de mapas de restricción, se usan argumentos inductivos para excluir todos los casos no de tipo doble piruleta
4. Contribuciones Técnicas:
   • Uso de la teoría de GKM para dar generadores explícitos de la cohomología de grado dos $H^2(X(h))$
   • Demostración mediante cálculos refinados de series de Hilbert de que ciertos casos no pueden ser generados en grado dos
   • Establecimiento de relaciones de fibración entre variedades de Hessenberg

Explicación Detallada de Métodos

Definición de la Tarea

Entrada: Función de Hessenberg $h: [n] \to [n]$, satisfaciendo monotonicidad no decreciente y $h(j) \geq j$

Salida: Determinar si el anillo de cohomología $H^*(X(h))$ es generado como anillo en grado dos

Restricciones: Se asume que $h(j) \geq j+1$ para todo $j \in [n-1]$ (garantizando que $X(h)$ es conexa)

Marco Teórico

1. Teoría de GKM y Cohomología Equivariante

La variedad de Hessenberg semisimple regular $X(h)$ es una variedad de GKM, con el toro algebraico $T = (\mathbb{C}^*)^n$ actuando sobre ella. El conjunto de puntos fijos es: $X(h)^T = \mathrm{Fl}(n)^T \cong S_n$

La cohomología equivariante $H^*_T(X(h))$ se incrusta mediante el teorema de localización: $H^*_T(X(h)) \hookrightarrow \bigoplus_{w \in S_n} \mathbb{Z}[t_1,...,t_n]$

Su imagen se caracteriza por las siguientes condiciones (cohomología de grafos): $\{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. Generadores Explícitos de Cohomología de Grado Dos

Según los resultados de Ayzenberg-Masuda-Sato 4, $H^2(X(h))$ es generado por los siguientes elementos:

• $x_k$ ($k \in [n]$): $x_k(w) = t_{w(k)}$, correspondiendo a la primera clase de Chern de fibrados de línea tautológicos
• $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{en otro caso} \end{cases}$ donde $\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{en otro caso} \end{cases}$ donde $L(h) = \{j \in [n-1] \mid h(j-1) = j, h(j) = j+1\}$

Estrategia de Demostración de Necesidad (Sección 3)

Lema Clave 3.1 (Función de Morse-Bott)

Se construye un mapa de momento $f_h: X(h) \to \mathbb{R}$, cuyas imágenes inversas en los puntos extremos son $X(h_1)$ y $X(h_n)$ respectivamente, donde $h_j$ es la función de Hessenberg obtenida eliminando la fila $j$ y la columna $j$ de la configuración de $h$.

Utilizando la teoría de Morse-Bott (Tolman-Weitsman 19), se demuestra que los mapas de restricción: $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})$ son ambos sobreyectivos.

Corolario 3.2: Si $h'$ es un menor de $h$ (obtenido mediante repetidas aplicaciones de $h_1$ o $h_n$), y $H^*(X(h);\mathbb{Q})$ es generado en grado dos, entonces $H^*(X(h');\mathbb{Q})$ también es generado en grado dos.

Proposición 3.3 (Caracterización Combinatoria)

$h$ es de tipo doble piruleta si y solo si $h$ no contiene menores de los siguientes tipos:

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

Los dos primeros casos ya fueron excluidos por 2; el caso clave es tratar el tercer tipo.

Demostración de la Proposición 3.4 (Núcleo Técnico)

Para $h = (2, n-1,...,n-1, n, n)$ ($n \geq 5$), se demuestra mediante los siguientes pasos que $H^*(X(h);\mathbb{Q})$ no es generado en grado dos:

Paso 1: Utilizando el teorema 2.1(4), se calcula la fórmula recursiva del polinomio de Poincaré (lema 3.7): $P_n(q) = (1+q)^2[n-2]_q! + (n-2)(q+q^2)[n-3]_q[n-3]_q! + \cdots$

Paso 2: Se demuestra que el coeficiente de $P_n(q)$ en grado $n-3$ es (lema 3.8): $\binom{n}{2} + n(n-3)/2$

Paso 3: Se calcula una cota superior para la serie de Hilbert del subanillo $R(h)$ generado por $H^2(X(h))$:

• Se introducen elementos auxiliares $\rho_k$, reescribiendo los generadores como $x_k, \tau_k, \rho_k$
• Se descompone $R(h)$ como suma directa $A(h) \oplus B(h) \oplus C(h) \oplus D(h)$ (como $A(h)$-módulo)
• Se calculan por separado las cotas superiores de la serie de Hilbert de cada parte (fórmulas 3.23-3.27)

Paso 4: Se demuestra que el coeficiente de $\mathrm{Hilb}(R(h), \sqrt{q})$ en grado $n-3$ es: $\binom{n}{2}$ estrictamente menor que el coeficiente correspondiente de $P_n(q)$, ¡contradicción!

Estrategia de Demostración de Suficiencia (Sección 4)

Construcción de Fibración

Para $h$ de tipo doble piruleta, se define el mapa: $\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)$

Observación Clave: $V_\bullet \in X(h)$ si y solo si $\pi_{[a,b]}(V_\bullet)$ satisface $SV_k \subset V_{k+1}$ ($a \leq k \leq b-1$)

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

Entonces $\pi_{[a,b]}$ restringido a $X(h)$ da una fibración: $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b) \to X(h) \xrightarrow{\pi_{[a,b]}} Y_{[a,b]}$

Lema 4.1 (Estructura de Variedad Toroidal)

Se demuestra que $Y_{[a,b]}$ es una variedad toroidal compacta suave de dimensión $n-1$:

• Mediante la selección de un vector especial $g = (g_1,...,g_n) \in (\mathbb{C}^*)^n$, se construye una órbita de $(\mathbb{C}^*)^n$
• Se utiliza el determinante de Vandermonde para demostrar que esta órbita tiene dimensión $n-1$

Conclusión: Dado que el anillo de cohomología del espacio base $Y_{[a,b]}$ (variedad toroidal) y de la fibra $\mathrm{Fl}(a) \times \mathrm{Fl}(n-b)$ (producto de variedades de banderas) son ambos generados en grado dos, por la sucesión espectral de Serre de la fibración se sigue que $H^*(X(h))$ también es generado en grado dos.

Configuración Experimental

Este artículo es un trabajo de matemática pura teórica y no involucra experimentos numéricos. Todos los resultados se derivan mediante demostraciones matemáticas rigurosas.

Verificación Computacional

• Se realizaron cálculos explícitos del polinomio de Poincaré para valores pequeños de $n$ (como $n=3,4,5$) para verificación
• Se calcularon generadores de cohomología de grado dos para ejemplos concretos mediante la teoría de GKM (ejemplos 2.1, 2.2)

Resultados Experimentales

Resultados Principales

Teorema 1.1 (Teorema Principal): Asumiendo que $h(j) \geq j+1$ para todo $j \in [n-1]$, entonces $H^*(X(h))$ es generado en grado dos si y solo si existen $1 \leq a < b \leq n$ tales que: