Complete simplicial fans, Stanley--Reisner rings, and equivariant h-polynomials

Resumen Técnico: Abanicos Simpliciales Completos, Anillos de Stanley–Reisner y Polinomio h Equivariante

Enunciado del Problema
El artículo aborda el estudio combinatorio y algebraico de la acción de grupos finitos sobre la cohomología de variedades toricas y sus estructuras algebraicas asociadas. Específicamente, se centra en el caso donde un grupo finito $G$ actúa linealmente sobre un espacio vectorial $V$, preservando un abanico simplicial completo $\Sigma$. Si bien la cohomología de orbifol toricos compactos (asociados a abanicos simpliciales completos racionales) se comprende bien mediante el anillo de Stanley–Reisner $A(\Sigma)$ y su reducción artiniana, el carácter graduado de la acción del grupo sobre este anillo no había sido completamente caracterizado para abanicos generales. Además, el artículo investiga la estructura combinatoria de los invariantes de estos anillos bajo la acción de grupos de reflexión finitos, buscando un objeto combinatorio que codifique la topología del espacio cociente.

Metodología
El autor emplea una síntesis de álgebra conmutativa, teoría de representaciones y geometría convexa:

1. Marco Algebraico: El estudio utiliza el anillo de Stanley–Reisner $A(\Sigma)$ de un abanico simplicial completo $\Sigma$, definido como un cociente de un anillo de polinomios por un ideal monomial libre de cuadrados. El anillo se trata como un módulo graduado sobre un anillo de polinomios $A = \text{Sym}(V^*)$. La "reducción artiniana" $\overline{A(\Sigma)}$ se obtiene al cuocientar $A(\Sigma)$ por un sistema lineal de parámetros, lo cual corresponde a la cohomología usual de la variedad torica asociada cuando $\Sigma$ es racional.
2. Teoría de Carácter Equivariante: El artículo deriva una fórmula de carácter graduado para la acción de un elemento $g \in G$ sobre $\overline{A(\Sigma)}$. Esto implica descomponer el anillo en subespacios indexados por conos, analizar los conjuntos de puntos fijos de la acción del grupo sobre el abanico y utilizar las representaciones cociente inducidas $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$.
3. Análisis de Grupos de Reflexión: Para el caso específico donde $G$ es un grupo de reflexión finito $W$, el autor introduce un nuevo objeto combinatorio llamado "abanico híbrido" $\Sigma_W$. Esta construcción, atribuida a Colin Crowley y Connor Simpson, codifica la acción de $W$ combinando rayos del dominio fundamental de $W$ con raíces simples negativas.
4. Representaciones Inducidas y Reciprocidad de Frobenius: Las pruebas dependen en gran medida de la teoría de representaciones inducidas, la reciprocidad de Frobenius y las propiedades de los subgrupos parabólicos dentro de los grupos de reflexión para relacionar los invariantes del abanico original con la combinatoria del abanico híbrido.

Contribuciones y Resultados Clave

• Fórmula del Polinomio h Equivariante (Teorema 1.1):
  El resultado principal es una fórmula de carácter graduado para la acción de cualquier grupo finito $G$ sobre la reducción artiniana $\overline{A(\Sigma)}$. La serie de Hilbert equivariante $R_{A(\Sigma)}(t)$ viene dada por:
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  donde $G_\sigma$ es el estabilizador conjunto de un cono $\sigma$, y $\psi_\sigma$ es la representación inducida sobre el espacio cociente $V/V_\sigma$. Esta fórmula generaliza el polinomio $h$ clásico (recuperado cuando $g=\text{id}$) y recupera resultados conocidos para grupos de Weyl actuando sobre permutaedros (Procesi, Dolgachev–Lunts, Stembridge, Lehrer).

• Palindromicidad (Proposición 3.2):
  El artículo demuestra que el carácter graduado $P_G(t, g)$ es palindrómico, satisfaciendo $P_G(t, g) = t^d P_G(t^{-1}, g)$, donde $d = \dim(V)$. Esto se establece mostrando que el componente de grado superior de la reducción artiniana porta la representación trivial, una consecuencia de la propiedad de Gorenstein del anillo de Stanley–Reisner y la preservación de un elemento de volumen bajo la acción del grupo.

• Abanico Híbrido e Invariantes (Teorema 1.2):
  Cuando $W$ es un grupo de reflexión finito, se demuestra que el polinomio de Poincaré de los invariantes bajo $W$ de $\overline{A(\Sigma)}$ es igual al polinomio $h$ de un "abanico híbrido" $\Sigma_W$ recién definido. El abanico híbrido se construye tomando rayos en el dominio fundamental y añadiendo rayos generados por raíces simples negativas, con estructuras de cono determinadas por las órbitas del abanico original.

• Cohomología de Cocientes (Teorema 1.3):
  Como aplicación directa, si $\Sigma$ es un abanico simplicial completo racional, el polinomio de Poincaré de la cohomología del orbifol torico cociente $X_\Sigma/W$ es igual al polinomio de Poincaré del orbifol torico $X_{\Sigma_W}$ asociado al abanico híbrido. Esto generaliza resultados anteriores de Horiguchi–Masuda–Shareshian–Song y Crowley–Gong–Simpson sobre cocientes de poliedros y sus abanicos normales.

Significado y Afirmaciones
El artículo afirma proporcionar un marco combinatorio unificado para comprender la cohomología equivariante de variedades toricas bajo acciones de grupos finitos, extendiéndose más allá del caso racional hacia abanicos simpliciales completos generales.

• Establece que el "polinomio $h$ equivariante" sirve como un invariante completo para la representación graduada del grupo sobre la cohomología de la variedad torica asociada (en el caso racional).
• Demuestra que el problema complejo de calcular la cohomología de un espacio cociente $X_\Sigma/W$ puede reducirse al cálculo combinatorio del polinomio $h$ del abanico híbrido $\Sigma_W$, incluso cuando el abanico original no es racional.
• El trabajo cierra la brecha entre la combinatoria de los abanicos y la topología de los espacios cociente, sugiriendo que el abanico híbrido es el modelo combinatorio correcto para el cociente.

Preguntas Abiertas y Direcciones Futuras
El artículo concluye planteando varios problemas abiertos:

1. Isomorfismo de Anillos: Si existe un isomorfismo de anillos graduado explícito entre los invariantes $\overline{A(\Sigma)}^W$ y el anillo de Stanley–Reisner del abanico híbrido $\overline{A(\Sigma_W)}$.
2. Isomorfismo de Variedades (Conjetura 5.2): Si la variedad torica cociente $X_\Sigma/W$ es isomorfa a la variedad torica $X_{\Sigma_W}$ para cualquier abanico racional. El artículo señala que esto es conocido para abanicos poliedrales y conos individuales, pero sigue abierto para abanicos generales.
3. Cohomología de Intersección: Si existe una fórmula de carácter equivariante similar para la cohomología de intersección combinatoria de abanicos generales (no simpliciales), involucrando potencialmente polinomios equivariantes de Kazhdan–Lusztig–Stanley.
4. Cohomología de Intersección de Cocientes: Si los invariantes de la cohomología de intersección combinatoria de un abanico son iguales a la cohomología de intersección del abanico híbrido, notando que las singularidades en el cociente pueden complicar esta relación.