Permutahedra, Lusztig varieties, degenerations, and subdivisions

Resumen Técnico: Permutaedros, Variedades de Lusztig, Degeneraciones y Subdivisiones

Planteamiento del Problema
El artículo aborda la relación geométrica y combinatoria entre las variedades de Lusztig (una generalización de las variedades de Hessenberg) y el permutaedro. Específicamente, busca comprender la descomposición de la variedad permutahedral $\text{Perm} \subset G/B$ en variedades de Richardson. Resultados previos de Anderson–Tymoczko y Harada–Horiguchi–Masuda–Park (HHMP) establecieron que la clase de cohomología $[\text{Perm}]$ es una suma de clases de Richardson y que el permutaedro $\Pi$ admite una disección en politopos de intervalos de Bruhat. Sin embargo, estos resultados se derivaron de forma combinatoria o mediante degeneraciones específicas que no explicaban completamente el origen geomético de la subdivisión politopal. El problema central es construir una degeneración de la variedad de Lusztig hacia unidades de variedades de Richardson que sea una degeneración embebida y equivariante bajo el toro, la cual explique simultáneamente estas fórmulas de cohomología e induzca una subdivisión politopal del politopo de momento. Un desafío secundario es determinar si estas subdivisiones son regulares (inducidas por una función de altura), una propiedad típicamente asociada con las degeneraciones de Gröbner, a pesar de que la construcción de los autores no es una degeneración de Gröbner.

Metodología
Los autores emplean una combinación de geometría algebraica, teoría de la representación combinatoria y geometría convexa:

1. Construcción de la Degeneración: Los autores construyen una degeneración embebida de una variedad de Lusztig $Y_w(t)$ (donde $t$ es un elemento general del toro) hacia una unión reducida de variedades de Richardson $X_w = \bigcup \{X_{uw^{-1}}^u \mid uw^{-1} \text{ es aditiva en longitud}\}$. Esto se logra mediante la intersección de una familia plana de variedades de Schubert dobles con una sección transversal definida por el elemento $t$.
2. Teoría de la Degeneración Tórica: Establecen un teorema general (Teorema 3.1) que establece que cualquier degeneración semitórica de una variedad tórica proyectiva $Y$ hacia una unión de componentes $\bigcup X_i$ induce una subdivisión del politopo de momento de $Y$ en los politopos de momento de las $X_i$. Crucialmente, prueban esto sin requerir que la degeneración sea una degeneración de Gröbner, basándose en las medidas de Duistermaat–Heckman y en la teoría de la cociente de la teoría de la invariante geométrica (GIT) para asegurar que los politopos formen una subdivisión (interiores disjuntos) en lugar de solo una disección.
3. Análisis Combinatorio: Para el caso específico donde la variedad de Lusztig es la variedad permutahedral (es decir, $w$ es un elemento de Coxeter), los autores analizan la subdivisión resultante del permutaedro en politopos de intervalos de Bruhat $\Pi_{uc}^u$.
4. Pruebas de Regularidad: Para probar que las subdivisiones son regulares, los autores construyen explícitamente funciones de altura $h_c$ sobre los vértices del permutaedro.
   • En el Tipo A, definen $h_c$ utilizando "subexpresiones por la derecha" e interpretan los pesos mediante caminos de red y formas sesgadas en una rejilla. Verifican las condiciones de coplanaridad y de plegado local requeridas para la regularidad.
   • En los Tipos B y C, utilizan la técnica de "plegado", mapeando el problema del Tipo C al Tipo A mediante una incrustación del grupo de Weyl $W_C \hookrightarrow S_{2n}$, heredando así la regularidad del caso del Tipo A.

Contribuciones Clave y Resultados

• Teorema A (Degeneración de Variedades de Lusztig): Los autores demuestran que para un $t \in T$ general, la variedad de Lusztig $Y_w(t)$ degenera hacia la unión reducida de variedades de Richardson $X_{uw^{-1}}^u$ donde $uw^{-1}$ es aditiva en longitud. Esto proporciona una prueba geométrica para las fórmulas de la clase de cohomología de las variedades de Lusztig, extendiendo los resultados de Anderson–Tymoczko y Kim.
• Teorema B (K-Teoría y Cohomología): Derivan fórmulas explícitas para las clases de cohomología y K-teoría de la variedad permutahedral $[\text{Perm}]$ como sumas sobre productos aditivos en longitud que involucran un elemento de Coxeter $c$. La fórmula de la clase de K implica una suma con signo sobre intervalos $[y, z]$ que no están contenidos en un único coset de un subgrupo parabólico maximal.
• Teorema C (Subdivisión Politopal): Los autores demuestran que la degeneración de la variedad permutahedral induce una subdivisión (no meramente una disección) del permutaedro de $W$, $\Pi$, en politopos de intervalos de Bruhat $\{\Pi_{uc}^u \mid uc \text{ es aditivo en longitud}\}$. Esto generaliza la descomposición de HHMP a elementos de Coxeter y tipos arbitrarios.
• Regularidad en Tipos A, B, C: A pesar de que la degeneración no es de Gröbner (ya que no actúa un toro más grande en el espacio ambiente $G/B$), los autores prueban que las subdivisiones resultantes son regulares.
  • En el Tipo A, proporcionan un vector de altura $h_c$ derivado de la subexpresión por la derecha de las permutaciones.
  • En los Tipos B y C, deducen la regularidad mediante el mapa de plegado desde el Tipo A.
• Conexión con la Geometría Tropical: Las subdivisiones regulares en el Tipo A corresponden a conos maximales en la variedad de banderas tropicales positiva (o el Dressian de banderas positivas). El artículo establece que las subdivisiones específicas construidas corresponden a $2^{n-2}$ (o más, dependiendo de $c$) conos maximales en este fan.
• Conteo de Celdas: Los autores analizan el número de celdas maximales en estas subdivisiones. Muestran que este número depende de la elección del elemento de Coxeter $c$, variando desde los números de Euler (mínimo) hasta $(n-1)!$ (máximo), y lo relacionan con el número de extensiones lineales de un poseto específico $\succsim_c$.

Significado y Reivindicaciones
El artículo afirma unificar varios resultados dispares de la combinatoria algebraica y la geometría:

1. Unificación Geométrica: Proporciona un único mecanismo geométrico (la degeneración embebida de las variedades de Lusztig) que explica tanto la descomposición de cohomología del permutaedro como la disección combinatoria del permutaedro.
2. Más allá de la Teoría de Gröbner: Una contribución teórica significativa es la prueba de que las degeneraciones tóricas de variedades tórquicas que no son de Gröbner aún pueden producir subdivisiones politopales regulares. Esto desafía la intuición de que la regularidad está estrictamente ligada a las degeneraciones de Gröbner.
3. Perspectiva Combinatoria: Al vincular las subdivisiones con el Dressian de banderas positivas y las variedades de banderas tropicales, el artículo ofrece nuevas perspectivas sobre la estructura de estos objetos tropicales, proporcionando específicamente una descripción concreta de ciertos conos maximales y sus conteos de celdas asociados.
4. Generalización: Los resultados extienden los fenómenos conocidos del Tipo A a elementos de Coxeter arbitrarios y a los Tipos B y C, demostrando la robustez de la relación entre las variedades de Lusztig y los permutaedros a través de diferentes tipos de Lie.

Los autores mantienen la modestia respecto al análogo de Kac-Moody (Sección 7), señalando que, si bien existe una conjetura para una subdivisión localmente finita del politopo de momento de las variedades de banderas de Kac-Moody, existen obstáculos significativos (como la falta de un punto "suficientemente general" con una órbita de politopo de momento completa) que impiden una extensión directa de sus métodos actuales al entorno de dimensión infinita.