On factorization of matrix of Kazhdan-Lusztig polynomials

1. Planteamiento del Problema

El trabajo se centra en el álgebra de Hecke $H = H(W, S)$ asociada a un sistema de Coxeter $(W, S)$, donde $W$ es el grupo de Weyl de un álgebra de Kac-Moody simetrizable. El problema principal es entender la estructura de los coeficientes que aparecen en la transición entre diferentes bases del álgebra de Hecke, específicamente:

• Positividad de coeficientes: Se sabe que los polinomios de Kazhdan-Lusztig (que relacionan la base estándar $\{T_w\}$ con la base de Kazhdan-Lusztig $\{C_w\}$) tienen coeficientes no negativos para grupos de Weyl finitos y afines (KL80), y posteriormente para sistemas de Coxeter arbitrarios (EW14).
• Generalización: Grojnowski y Haiman introdujeron las bases híbridas $\{TC^J_w\}$, que interpolan entre la base estándar (cuando $J = \emptyset$) y la base de Kazhdan-Lusztig (cuando $J = S$).
• La pregunta clave: ¿Son los coeficientes de la expansión de una base híbrida $TC^J$ en términos de otra base híbrida $TC^I$ (donde $I \subseteq J$) polinomios en $q$ con coeficientes no negativos?
• Factorización: ¿Se puede factorizar la matriz completa de los polinomios de Kazhdan-Lusztig en un producto de matrices más simples que también posean esta propiedad de positividad?

2. Metodología

Los autores emplean una combinación de técnicas algebraicas y geométricas:

A. Enfoque Algebraico

1. Mapa de Restricción: Definen un mapa de restricción natural $|_J: H \to H_J$, donde $H_J$ es el álgebra de Hecke del subgrupo parabólico $W_J$. Este mapa actúa sobre la base estándar como:
   $$T_w|_J = \begin{cases} T_w & \text{si } w \in W_J \\ 0 & \text{si no} \end{cases}$$
2. Bases Híbridas: Utilizan la definición de Grojnowski-Haiman para las bases híbridas $TC^J_w = T_{w_J} C_{w^J}$, donde $w = w_J \cdot w^J$ es la factorización parabólica única.
3. Relación entre Restricción y Bases Híbridas: Establecen una conexión crucial (Proposición 4.2) que demuestra que los coeficientes de expansión entre bases híbridas son equivalentes a los coeficientes de restricción de ciertos elementos de la base de Kazhdan-Lusztig. Específicamente, el coeficiente de $TC^J_{uv}$ en $h$ es igual al coeficiente de $C_v$ en $(T_u^{-1}h)|_J$.
4. Inducción y Propiedades de Longitud: Utilizan lemas sobre la longitud de elementos en cosetos y la estructura de los órdenes de Bruhat para probar la positividad algebraica de los coeficientes de transición.

B. Enfoque Geométrico

Para grupos de Weyl de álgebras de Kac-Moody simetrizables, ofrecen una prueba geométrica basada en la teoría de haces perversos y módulos de Hodge mixtos:

1. Categorificación: Utilizan el teorema de categorificación que relaciona el álgebra de Hecke con el grupo de Grothendieck de haces perversos semisimples en la variedad de banderas $G/B$.
2. Funtores Geométricos: Interpretan la operación algebraica de multiplicar por $T_u^{-1}$ y restringir a $H_J$ como un funtor entre categorías derivadas de haces constructibles: $\phi^* \pi_! j^*$.
3. Localización Hiperbólica: Demuestran que este funtor preserva la "semisimplicidad" (y por tanto la positividad de los coeficientes) utilizando la localización hiperbólica de Braden, que garantiza que la pureza de los objetos en el contexto de módulos de Hodge mixtos se mantiene bajo ciertas transformaciones geométricas.

3. Contribuciones Clave y Resultados Principales

El artículo presenta tres teoremas fundamentales que responden a las preguntas planteadas:

Teorema A (Positividad de los coeficientes de restricción)

Para $u \in W^J$ (representantes de cosetos izquierdos de longitud mínima) y $w \in W$, los coeficientes de la expansión de $(T_u^{-1} C_w)|_J$ en la base de Kazhdan-Lusztig de $H_J$ son polinomios en $q$ con coeficientes no negativos.

• Significado: Esto confirma que la restricción de elementos de la base de Kazhdan-Lusztig (ajustados por inversos de representantes de cosetos) a subálgebras parabólicas preserva la positividad.

Teorema B (Positividad de la transición entre bases híbridas)

Para $I \subseteq J \subseteq S$ y $w \in W$, la expansión de la base híbrida $TC^J_w$ en términos de la base híbrida $TC^I_x$:
$$TC^J_w = \sum_{x \in W} h^{I,J}_{x,w}(q) TC^I_x$$
tiene coeficientes $h^{I,J}_{x,w}(q) \in \mathbb{Z}_{\geq 0}[q]$.

• Significado: Esto generaliza los teoremas de positividad conocidos (Springer, Lusztig, Dyer-Lehrer) al contexto de bases híbridas interpoladas.

Teorema C (Factorización de la matriz de Kazhdan-Lusztig)

La matriz de los polinomios de Kazhdan-Lusztig de $H$ se factoriza en un producto de $k$ matrices (donde $k = |S|$ si se toma una cadena de subconjuntos $\emptyset = J_0 \subset J_1 \subset \dots \subset J_k = S$), donde cada matriz en el producto tiene entradas que son polinomios en $q$ con coeficientes no negativos.

• Significado: Esto descompone la compleja matriz de polinomios de Kazhdan-Lusztig en factores más simples y "positivos", revelando una estructura interna profunda.

4. Ejemplos y Cálculos Explícitos

Los autores no solo prueban la existencia teórica, sino que calculan explícitamente los coeficientes de restricción en varios casos:

• Grupos Dihédricos: Demuestran que la positividad se cumple para grupos de tipo $I_2(m)$.
• Tipo A ($S_{n+1}$): Calculan fórmulas explícitas para los coeficientes de restricción cuando $J = \{s_1, \dots, s_{n-1}\}$.
  • Muestran que los polinomios de Kazhdan-Lusztig parabólicos (asociados a la representación de signo) son casos especiales de estos coeficientes de restricción.
  • Proporcionan fórmulas concretas para casos específicos de $u$ (como $s_1 \dots s_n$, $s_2 \dots s_n$, etc.).

5. Significado e Impacto

1. Unificación de Resultados: El trabajo unifica y generaliza teoremas clásicos de positividad (KL80, EW14, Spr82, Lus85) bajo el marco de las bases híbridas y los mapas de restricción.
2. Nueva Estructura Algebraica: La factorización de la matriz de Kazhdan-Lusztig (Teorema C) sugiere que la complejidad de estos polinomios puede entenderse como una composición de transformaciones más simples y positivas.
3. Conexión Geométrica: La prueba geométrica (Sección 8) refuerza la conexión profunda entre la teoría de representaciones de álgebras de Hecke y la geometría algebraica (haces perversos, variedades de banderas), validando la positividad mediante propiedades topológicas y de peso.
4. Futuro: Los autores señalan que, aunque la prueba geométrica está restringida a grupos de Weyl de álgebras de Kac-Moody simetrizables, la positividad parece mantenerse para grupos de Coxeter generales (como se ve en los grupos diédricos). Proponen utilizar la maquinaria de los bimódulos de Soergel (introducidos por Elias y Williamson) para extender estos resultados a todos los grupos de Coxeter en trabajos futuros.

En resumen, el artículo establece una nueva perspectiva sobre la estructura de los polinomios de Kazhdan-Lusztig, demostrando que su matriz puede descomponerse en factores positivos mediante el uso de bases híbridas y mapas de restricción, con fundamentos tanto algebraicos como geométricos sólidos.