Haiman's Conjecture and Springer's Representations

Resumo Técnico: A Conjectura de Haiman e as Representações de Springer

Enunciação do Problema
O artigo aborda a generalização de uma conjectura de 1993 de Mark Haiman, originalmente formulada para grupos simétricos ($S_n$), para grupos de Weyl finitos arbitrários ($W$). A conjectura original de Haiman postula que, para qualquer permutação $z \in S_n$ e qualquer partição $\mu \vdash n$, o polinômio de Laurent $\alpha_z^\mu(v)$, que codifica a decomposição da característica de Frobenius de uma representação específica de $S_n$ em funções simétricas monomiais, possui coeficientes não negativos e forma uma sequência unimodal.

Embora a conjectura de Haiman tenha sido demonstrada para $S_n$ (e relacionada à conjectura de Shareshian–Wachs sobre funções quasisimétricas cromáticas), uma generalização significativa para outros grupos de Weyl foi obstruída pela falta de um análogo natural para "caracteres monomiais" ($mon_\mu$) fora do tipo A. Além disso, tentativas iniciais de generalizar a conjectura usando caracteres induzidos de subgrupos parabólicos falharam, pois esses caracteres são insuficientes para capturar a estrutura necessária, e os polinômios resultantes frequentemente exibiam coeficientes negativos ou comportamento não unimodal.

Metodologia
O autor emprega uma abordagem geométrica enraizada na teoria das representações de grupos redutivos, utilizando especificamente o trabalho de Lusztig e Abreu–Nigro. A metodologia procede através das seguintes etapas:

1. Modelagem Geométrica: O artigo substitui o cenário do grupo simétrico por um grupo redutivo complexo conexo $G$ e seu grupo de Weyl $W$. O lado esquerdo da equação definidora de Haiman é substituído pelo caráter $W$ graduado da cohomologia de interseção ($IH^*$) de uma variedade de Lusztig $\bar{Y}_{z,g}$. Esta variedade é o fecho de Zariski do conjunto de subgrupos de Borel $B$ tais que $(B, g^{-1}Bg)$ está na posição relativa $z$, onde $g$ é um elemento semissimples regular.
2. Formulação Algébrica: Utilizando a transformada de Fourier exótica $\{ \cdot, \cdot \}$ (um emparelhamento em caracteres irredutíveis de $W$ originado do trabalho de Lusztig sobre grupos redutivos finitos), o autor deriva uma fórmula puramente algébrica para o caráter graduado de $IH^*(\bar{Y}_{z,g})$. Esta fórmula expressa o caráter como uma combinação linear envolvendo os elementos da base da álgebra de Hecke $c_z$.
3. Correspondência de Springer: Para generalizar o lado direito da equação de Haiman (a decomposição em análogos "monomiais"), o artigo utiliza a correspondência de Springer. Os caracteres irredutíveis $\psi \in \text{Irr}(W)$ são associados a representações de Springer que surgem de elementos unipotentes $u \in G_{\text{uni}}$ e caracteres de seus grupos de componentes. O autor define novos polinômios de Laurent $\alpha_z^{\psi, G}(v)$ decompondo o caráter da variedade de Lusztig nesses caracteres de Springer.
4. Indução e Teoria de Células: O artigo analisa as propriedades de $\alpha_z^{\psi, G}$ usando teoremas de indução para subgrupos parabólicos e a teoria de células de dois lados na álgebra de Hecke. Isso permite a redução do problema para grupos de Weyl irredutíveis e a identificação de condições de anulação baseadas na ordem das células.
5. Verificação Computacional: Cálculos extensivos utilizando o pacote GAP3 CHEVIE são realizados para grupos de Weyl irredutíveis de posto até 6 (e dados parciais para posto 7) para testar a positividade e a unimodalidade dos coeficientes de $\alpha_z^{\psi, G}$.

Contribuições e Resultados Principais

• Teorema 1.1 (Locus Semissimples Regular): O autor demonstra que o caráter $W$ graduado da cohomologia de interseção da variedade de Lusztig $\bar{Y}_{z,g}$ (para $g$ no locus semissimples regular) é dado por $v^{\ell(z)} \tau_{z,v}(w)$, onde $\tau_{z,v}$ é definido via o emparelhamento da transformada de Fourier exótica. Isso generaliza o resultado de Abreu–Nigro do tipo A para todos os grupos redutivos.
• Teorema 1.3 (Locus Unipotente): Um resultado paralelo é estabelecido para o locus unipotente. Para elementos $z$ racionalmente suaves, a cohomologia equivariante com suporte compacto de uma variedade relacionada $\bar{Z}_z$ está relacionada a $\tau_{z,v}$ através dos caracteres de Springer e do caráter graduado da álgebra simétrica no reticulado de raízes. Isso fornece um novo modelo geométrico para polinômios LLT unicelulares.
• Proposições 1.9 e 1.10: O artigo estabelece que, se $z$ reside em um subgrupo parabólico $W'$, os polinômios $\alpha_z^{\psi, G}$ são somas inteiras não negativas dos polinômios correspondentes para $W'$. Além disso, $\alpha_z^{\psi, G}$ se anula se a célula de dois lados de $z$ for estritamente menor que a célula associada a $\psi$ na ordem de Kazhdan–Lusztig.
• Conjectura B: Com base em evidências computacionais, o autor propõe uma nova conjectura generalizando a de Haiman. Ela afirma que, se um caráter irredutível $\psi$ for inflado a partir de um mapa quociente $\phi: W \to \Omega$, onde $\Omega$ é um produto de grupos simétricos, então os coeficientes de $\alpha_z^{\psi, G}$ são unimodais em valor absoluto e possuem sinal uniforme. Além disso, se $\phi$ não descer através do quociente específico $G_2 \to A_2$, os coeficientes são estritamente positivos.
• Contraexemplos e Nuances: O artigo demonstra que a propriedade de "positividade estrita" (todos os coeficientes positivos) falha para muitos caracteres mesmo em postos baixos (por exemplo, Tipo $B_7$, $C_7$) e para certos caracteres nos Tipos $G_2$ e $D_4$. Isso sugere que a generalização correta da conjectura de Haiman envolve "unimodalidade em valor absoluto" e "sinal uniforme" em vez de positividade estrita para todos os caracteres.

Significância
O artigo afirma oferecer uma resposta definitiva a uma questão de 1993 colocada por Haiman regarding a generalização de sua conjectura para grupos de Weyl. Ao construir um modelo geométrico via variedades de Lusztig e relacioná-lo às representações de Springer, o autor fornece uma estrutura que explica por que a conjectura original falha em sua forma estrita para grupos de Weyl gerais e propõe uma versão refinada (Conjectura B) que vale para uma classe específica de caracteres (aqueles inflados a partir de produtos de grupos simétricos).

O trabalho faz a ponte entre a combinatória algébrica (polinômios LLT, álgebras de Hecke) e a geometria algébrica (cohomologia de interseção, fibras de Springer). Ele esclarece o papel da transformada de Fourier exótica na relação entre variedades de Lusztig e a teoria de Springer e estabelece que as propriedades de positividade e unimodalidade são estáveis sob inclusões de subgrupos de Levi. O artigo não afirma provar a Conjectura B para todos os casos, mas fornece fortes evidências para ela em postos baixos e identifica as condições estruturais precisas (inflação a partir de grupos simétricos) sob as quais a positividade generalizada vale.