Haiman's Conjecture and Springer's Representations

Resumen Técnico: La Conjetura de Haiman y las Representaciones de Springer

Enunciado del Problema
El artículo aborda la generalización de una conjetura de 1993 de Mark Haiman desde los grupos simétricos ($S_n$) hasta grupos de Weyl finitos arbitrarios ($W$). La conjetura original de Haiman postula que, para cualquier permutación $z \in S_n$ y cualquier partición $\mu \vdash n$, el polinomio de Laurent $\alpha_z^\mu(v)$, que codifica la descomposición de la característica de Frobenius de una representación específica de $S_n$ en funciones simétricas monomiales, tiene coeficientes no negativos y forma una secuencia unimodal.

Si bien la conjetura de Haiman fue demostrada para $S_n$ (y está relacionada con la conjetura de Shareshian–Wachs sobre funciones cuasisimétricas cromáticas), una generalización significativa a otros grupos de Weyl se vio obstaculizada por la falta de un análogo natural para los "caracteres monomiales" ($mon_\mu$) fuera del tipo A. Además, los intentos iniciales de generalizar la conjetura utilizando caracteres inducidos desde subgrupos parabólicos fracasaron, ya que estos caracteres son insuficientes para capturar la estructura necesaria, y los polinomios resultantes a menudo exhibían coeficientes negativos o comportamiento no unimodal.

Metodología
El autor emplea un enfoque geométrico arraigado en la teoría de representaciones de grupos reductivos, utilizando específicamente el trabajo de Lusztig y Abreu–Nigro. La metodología procede a través de los siguientes pasos:

1. Modelado Geométrico: El artículo reemplaza el contexto del grupo simétrico con un grupo reductivo complejo conexo $G$ y su grupo de Weyl $W$. El lado izquierdo de la ecuación definitoria de Haiman se sustituye por el carácter $W$ graduado de la cohomología de intersección ($IH^*$) de una variedad de Lusztig $\bar{Y}_{z,g}$. Esta variedad es el cierre de Zariski del conjunto de subgrupos de Borel $B$ tales que $(B, g^{-1}Bg)$ está en posición relativa $z$, donde $g$ es un elemento semisimple regular.
2. Formulación Algebraica: Utilizando la transformada de Fourier exótica $\{ \cdot, \cdot \}$ (un emparejamiento en caracteres irreducibles de $W$ originado en el trabajo de Lusztig sobre grupos reductivos finitos), el autor deriva una fórmula puramente algebraica para el carácter graduado de $IH^*(\bar{Y}_{z,g})$. Esta fórmula expresa el carácter como una combinación lineal que involucra los elementos de la base del álgebra de Hecke $c_z$.
3. Correspondencia de Springer: Para generalizar el lado derecho de la ecuación de Haiman (la descomposición en análogos "monomiales"), el artículo utiliza la correspondencia de Springer. Los caracteres irreducibles $\psi \in \text{Irr}(W)$ se asocian con representaciones de Springer que surgen de elementos unipotentes $u \in G_{\text{uni}}$ y caracteres de sus grupos de componentes. El autor define nuevos polinomios de Laurent $\alpha_z^{\psi, G}(v)$ descomponiendo el carácter de la variedad de Lusztig en estos caracteres de Springer.
4. Inducción y Teoría de Celdas: El artículo analiza las propiedades de $\alpha_z^{\psi, G}$ utilizando teoremas de inducción para subgrupos parabólicos y la teoría de celdas de dos lados en el álgebra de Hecke. Esto permite reducir el problema a grupos de Weyl irreducibles y la identificación de condiciones de anulación basadas en el orden de las celdas.
5. Verificación Computacional: Se realizan cálculos extensos utilizando el paquete GAP3 CHEVIE para grupos de Weyl irreducibles de rango hasta 6 (y datos parciales para rango 7) para probar la positividad y la unimodalidad de los coeficientes de $\alpha_z^{\psi, G}$.

Contribuciones y Resultados Clave

• Teorema 1.1 (Lugar Semisimple Regular): El autor demuestra que el carácter $W$ graduado de la cohomología de intersección de la variedad de Lusztig $\bar{Y}_{z,g}$ (para $g$ en el lugar semisimple regular) viene dado por $v^{\ell(z)} \tau_{z,v}(w)$, donde $\tau_{z,v}$ se define mediante el emparejamiento de la transformada de Fourier exótica. Esto generaliza el resultado de Abreu–Nigro del tipo A a todos los grupos reductivos.
• Teorema 1.3 (Lugar Unipotente): Se establece un resultado paralelo para el lugar unipotente. Para elementos racionalmente suaves $z$, la cohomología equivariante con soporte compacto de una variedad relacionada $\bar{Z}_z$ se relaciona con $\tau_{z,v}$ a través de los caracteres de Springer y el carácter graduado del álgebra simétrica sobre el retículo de raíces. Esto proporciona un nuevo modelo geométrico para los polinomios LLT unicelulares.
• Proposición 1.9 y 1.10: El artículo establece que si $z$ yace en un subgrupo parabólico $W'$, los polinomios $\alpha_z^{\psi, G}$ son sumas de enteros no negativos de los polinomios correspondientes para $W'$. Además, $\alpha_z^{\psi, G}$ se anula si la celda de dos lados de $z$ es estrictamente menor que la celda asociada con $\psi$ en el orden de Kazhdan–Lusztig.
• Conjetura B: Basándose en evidencia computacional, el autor propone una nueva conjetura que generaliza la de Haiman. Establece que si un carácter irreducible $\psi$ está inflado desde un mapa cociente $\phi: W \to \Omega$ donde $\Omega$ es un producto de grupos simétricos, entonces los coeficientes de $\alpha_z^{\psi, G}$ son unimodales en valor absoluto y tienen signo uniforme. Además, si $\phi$ no desciende a través del cociente específico $G_2 \to A_2$, los coeficientes son estrictamente positivos.
• Contraejemplos y Matices: El artículo demuestra que la propiedad de "positividad estricta" (todos los coeficientes positivos) falla para muchos caracteres incluso en rangos bajos (por ejemplo, Tipo $B_7$, $C_7$) y para ciertos caracteres en el Tipo $G_2$ y $D_4$. Esto sugiere que la generalización correcta de la conjetura de Haiman implica "unimodalidad en valor absoluto" y "signo uniforme" en lugar de positividad estricta para todos los caracteres.

Significado
El artículo afirma ofrecer una respuesta definitiva a una pregunta de 1993 planteada por Haiman sobre la generalización de su conjetura a grupos de Weyl. Al construir un modelo geométrico a través de variedades de Lusztig y relacionarlo con representaciones de Springer, el autor proporciona un marco que explica por qué la conjetura original falla en su forma estricta para grupos de Weyl generales y propone una versión refinada (Conjetura B) que se cumple para una clase específica de caracteres (aquellos inflados desde productos de grupos simétricos).

El trabajo une la combinatoria algebraica (polinomios LLT, álgebras de Hecke) y la geometría algebraica (cohomología de intersección, fibras de Springer). Clarifica el papel de la transformada de Fourier exótica en la relación entre variedades de Lusztig y la teoría de Springer, y establece que las propiedades de positividad y unimodalidad son estables bajo inclusiones de subgrupos de Levi. El artículo no afirma demostrar la Conjetura B para todos los casos, pero proporciona evidencia sólida para ella en rangos bajos e identifica las condiciones estructurales precisas (inflación desde grupos simétricos) bajo las cuales se cumple la positividad generalizada.