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

Resumo Técnico: Leques Simpliciais Completos, Anéis de Stanley–Reisner e o Polinômio h Equivariante

Enunciado do Problema
O artigo aborda o estudo combinatório e algébrico da ação de grupos finitos na cohomologia de variedades toricas e suas estruturas algébricas associadas. Especificamente, foca-se no caso em que um grupo finito $G$ age linearmente em um espaço vetorial $V$, preservando um leque simplicial completo $\Sigma$. Embora a cohomologia de orbifolds toricos compactos (associados a leques simpliciais completos racionais) seja bem compreendida por meio do anel de Stanley–Reisner $A(\Sigma)$ e sua redução Artiniana, o caráter graduado da ação do grupo sobre este anel não havia sido totalmente caracterizado para leques gerais. Além disso, o artigo investiga a estrutura combinatória dos invariantes desses anéis sob a ação de grupos de reflexão finitos, buscando um objeto combinatório que codifique a topologia do espaço quociente.

Metodologia
O autor emprega uma síntese de álgebra comutativa, teoria das representações e geometria convexa:

1. Estrutura Algébrica: O estudo utiliza o anel de Stanley–Reisner $A(\Sigma)$ de um leque simplicial completo $\Sigma$, definido como um quociente de um anel de polinômios por um ideal monomial sem quadrados. O anel é tratado como um módulo graduado sobre um anel de polinômios $A = \text{Sym}(V^*)$. A "redução Artiniana" $\overline{A(\Sigma)}$ é obtida ao quocientar $A(\Sigma)$ por um sistema linear de parâmetros, o que corresponde à cohomologia usual da variedade torica associada quando $\Sigma$ é racional.
2. Teoria do Caráter Equivariante: O artigo deriva uma fórmula de caráter graduado para a ação de um elemento $g \in G$ sobre $\overline{A(\Sigma)}$. Isso envolve decompor o anel em subespaços indexados por cones, analisar os conjuntos de pontos fixos da ação do grupo no leque e utilizar as representações quociente induzidas $\psi_\sigma: G_\sigma \to \text{GL}(V/V_\sigma)$.
3. Análise de Grupos de Reflexão: Para o caso específico em que $G$ é um grupo de reflexão finito $W$, o autor introduz um novo objeto combinatório chamado "leque híbrido" $\Sigma_W$. Esta construção, atribuída a Colin Crowley e Connor Simpson, codifica a ação de $W$ combinando raios do domínio fundamental de $W$ com raízes simples negativas.
4. Representações Induzidas e Reciprocidade de Frobenius: As provas dependem fortemente da teoria das representações induzidas, da reciprocidade de Frobenius e das propriedades dos subgrupos parabólicos dentro de grupos de reflexão para relacionar os invariantes do leque original à combinatória do leque híbrido.

Principais Contribuições e Resultados

• Fórmula do Polinômio h Equivariante (Teorema 1.1):
  O resultado principal é uma fórmula de caráter graduado para a ação de qualquer grupo finito $G$ sobre a redução Artiniana $\overline{A(\Sigma)}$. A série de Hilbert equivariante $R_{A(\Sigma)}(t)$ é dada por:
  $$R_{A(\Sigma)}(t) = \sum_{\sigma \in \Sigma} \frac{|G_\sigma|}{|G|} \text{Ind}_{G_\sigma}^G (\det(tI - \psi_\sigma))$$
  onde $G_\sigma$ é o estabilizador conjunto de um cone $\sigma$, e $\psi_\sigma$ é a representação induzida no espaço quociente $V/V_\sigma$. Esta fórmula generaliza o polinômio $h$ clássico (recuperado quando $g=\text{id}$) e recupera resultados conhecidos para grupos de Weyl agindo sobre permutaedros (Procesi, Dolgachev–Lunts, Stembridge, Lehrer).

• Palindromia (Proposição 3.2):
  O artigo prova que o caráter graduado $P_G(t, g)$ é palindrômico, satisfazendo $P_G(t, g) = t^d P_G(t^{-1}, g)$, onde $d = \dim(V)$. Isso é estabelecido mostrando que o componente de grau máximo da redução Artiniana carrega a representação trivial, uma consequência da propriedade Gorenstein do anel de Stanley–Reisner e da preservação de um elemento de volume sob a ação do grupo.

• Leque Híbrido e Invariantes (Teorema 1.2):
  Quando $W$ é um grupo de reflexão finito, o polinômio de Poincaré dos $W$-invariantes de $\overline{A(\Sigma)}$ é mostrado como sendo igual ao polinômio $h$ de um "leque híbrido" $\Sigma_W" recém-definido. O leque híbrido é construído tomando raios no domínio fundamental e adicionando raios gerados por raízes simples negativas, com estruturas de cone determinadas pelas órbitas do leque original.

• Cohomologia de Quocientes (Teorema 1.3):
  Como uma aplicação direta, se $\Sigma$ é um leque simplicial completo racional, o polinômio de Poincaré da cohomologia do orbifold torico quociente $X_\Sigma/W$ é igual ao polinômio de Poincaré do orbifold torico $X_{\Sigma_W}$ associado ao leque híbrido. Isso generaliza resultados anteriores de Horiguchi–Masuda–Shareshian–Song e Crowley–Gong–Simpson sobre quocientes de poliedros e seus leques normais.

Significado e Alegações
O artigo alega fornecer uma estrutura combinatória unificada para entender a cohomologia equivariante de variedades toricas sob ações de grupos finitos, estendendo-se além do caso racional para leques simpliciais completos gerais.

• Estabelece que o "polinômio $h$ equivariante" serve como um invariante completo para a representação graduada do grupo na cohomologia da variedade torica associada (no caso racional).
• Demonstra que o problema complexo de calcular a cohomologia de um espaço quociente $X_\Sigma/W$ pode ser reduzido ao cálculo combinatório do polinômio $h$ do leque híbrido $\Sigma_W$, mesmo quando o leque original é não racional.
• O trabalho preenche a lacuna entre a combinatória dos leques e a topologia dos espaços quociente, sugerindo que o leque híbrido é o modelo combinatório correto para o quociente.

Questões Abertas e Direções Futuras
O artigo conclui propondo vários problemas em aberto:

1. Isomorfismo de Anéis: Se existe um isomorfismo de anéis graduado explícito entre os invariantes $\overline{A(\Sigma)}^W$ e o anel de Stanley–Reisner do leque híbrido $\overline{A(\Sigma_W)}$.
2. Isomorfismo de Variedades (Conjectura 5.2): Se a variedade torica quociente $X_\Sigma/W$ é isomorfa à variedade torica $X_{\Sigma_W}$ para qualquer leque racional. O artigo observa que isso é conhecido para leques poliedrais e cones únicos, mas permanece em aberto para leques gerais.
3. Cohomologia de Interseção: Se uma fórmula de caráter equivariante similar existe para a cohomologia de interseção combinatória de leques gerais (não simpliciais), potencialmente envolvendo polinômios equivariantes de Kazhdan–Lusztig–Stanley.
4. Cohomologia de Interseção de Quocientes: Se os invariantes da cohomologia de interseção combinatória de um leque são iguais à cohomologia de interseção do leque híbrido, observando que singularidades no quociente podem complicar essa relação.