Cohomology rings and $p$-local behavior of even Artin groups

Resumo Técnico: Anéis de Cohomologia e Comportamento Local-$p$ de Grupos de Artin Pares

Enunciado do Problema
Grupos de Artin de ângulo reto (RAAGs) possuem propriedades cohomológicas bem compreendidas, incluindo descrições explícitas de seus anéis de cohomologia, anéis de Lie de séries centrais descendentes livres de torção e um comportamento favorável em relação às suas conclusões pro-$p$. Um desafio central na teoria dos grupos de Artin é determinar quais dessas propriedades se estendem à classe mais ampla de grupos de Artin, particularmente aqueles que não são de ângulo reto. Embora a conjectura $K(\pi, 1)$ permaneça aberta para grupos de Artin gerais, restringir a atenção aos grupos de Artin pares (onde todos os rótulos das arestas são inteiros pares) oferece uma subclasse tratável. O artigo aborda o cálculo de anéis de cohomologia, a estrutura das conclusões pro-$p$ e as álgebras de Lie restritas de Zassenhaus-$p$ associadas a esses grupos, especificamente no cenário de tipo FC (onde cada subgrafo completo define um grupo de Artin esférico).

Metodologia
Os autores empregam uma combinação de teoria de grupos combinatória, álgebra homológica e a teoria de álgebras de Lie restritas.

1. Cálculo de Cohomologia: Os autores utilizam o complexo de cadeia do complexo de Salvetti, que calcula a cohomologia de grupos de Artin que satisfazem a conjectura $K(\pi, 1)$. Como os grupos de Artin pares são conhecidos por satisfazer essa conjecta, os autores analisam os diferenciais neste complexo. Eles demonstram que, para grupos de Artin pares, esses diferenciais desaparecem, simplificando significativamente o cálculo da cohomologia.
2. Propriedades de Retrato: Uma ferramenta estrutural crucial é a observação de que, para grupos de Artin pares, qualquer subgrupo gerado por um subgrafo é um retrato do grupo inteiro. Essa propriedade permite que os autores construam resultados indutivamente a partir de subgrafos menores (especificamente, subgrafos esféricos que se decompõem em produtos de grupos cíclicos e diedrais).
3. Conclusão Pro-$p$ e Álgebras de Lie: O estudo da conclusão pro-$p$ envolve a análise da série central de Zassenhaus-$p$ $\gamma^{[p]}_i(G)$. Os autores relacionam a filtração do anel de grupo com esta série usando o teorema de Quillen-Jennings-Lazard. Eles constroem a álgebra de Lie restrita associada $\text{gr}^{[p]}_\bullet(G)$ e a comparam com a álgebra universal envolvente.
4. Mapas de Magnus e Sequências Espectrais: O conceito de grupos $p$-Magnus é introduzido, onde a conclusão do anel de grupo é isomórfica à álgebra envolvente universal completada da álgebra de Lie de Zassenhaus-$p$. Os autores utilizam sequências espectais do tipo May para relacionar a cohomologia contínua da conclusão pro-$p$ ao álgebra de Ext da álgebra de Lie.

Principais Contribuições e Resultados

• Teorema A (Estrutura do Anel de Cohomologia): O artigo fornece uma apresentação explícita para o anel de cohomologia $H^\bullet(A_\Gamma, R)$ de um grupo de Artin par $A_\Gamma$ sobre um anel comutativo $R$. O anel é gerado por elementos de grau 1 $\sigma_v$ (vértices) e elementos de grau 2 $\sigma_e$ (arestas com rótulo $>2$). As relações são:

  • $\sigma_u \sigma_v = m \sigma_e$ se a aresta $e=\{u,v\}$ tem rótulo $2m$ (com $u<v$).
  • $\sigma_{X_1} \sigma_{X_2} = 0$ se $X_1 \cap X_2 \neq \emptyset$ ou se $X_1 \cup X_2$ não é esférico.
    Ao contrário dos RAAGs, este anel não é necessariamente gerado apenas por elementos de grau 1, e a estrutura depende do anel de coeficientes.

• Teorema B (Conclusão Pro-$p$): A conclusão pro-$p$ de um grupo de Artin $A_\Gamma$ é mostrada como sendo isomórfica ao grupo de Artin $A_{\Gamma_p}$ definido pela parte $p$-par do grafo $\Gamma$. O grafo $\Gamma_p$ é obtido identificando os pontos terminais de arestas de rótulo ímpar e reduzindo rótulos pares $2k p^t$ (onde $p \nmid k$) para $2p^t$. Isso implica que a conclusão pro-$p$ é sempre um grupo de Artin par.

• Teorema C (Álgebras de Lie Restritas $p$): Para grupos de Artin FC pro-$p$, a álgebra de Lie restrita de $p$-Zassenhaus é explicitamente apresentada. Os geradores correspondem aos vértices, com as relações:

  • $a = b$ se $\{a,b\}$ tem um rótulo ímpar.
  • $[(a+b)^{[p]t}, b] = 0$ se $\{a,b\}$ tem um rótulo par $2k p^t$ ($p \nmid k$).
    Este resultado destaca que, embora os RAAGs exibam uma dualidade entre seus anéis de cohomologia e álgebras de Lie, essa dualidade geralmente falha para grupos de Artin pares em característica $p$.

• Teorema D (Propriedades de Magnus e Completude): Para grupos de Artin FC pro-$p$, os autores provam que o grupo é residualmente-$p$, $p$-Magnus e cohomologicamente $p$-completo. Isso generaliza resultados conhecidos para RAAGs. A prova baseia-se na preservação da propriedade $p$-Magnus sob produtos livres amalgamados ao longo de retratos (Teorema 5.6).

• Teorema E (Rigidez): Um resultado de rigidez é estabelecido: se dois grupos de Artin FC pro-$p$ $A_\Gamma$ e $A_\Delta$ são isomórficos, então suas partes-$p$ dos grafos definidores são isomórficas ($\Gamma_p \cong \Delta_p$) para cada primo $p$.

Significância e Limitações
O artigo demonstra que os grupos de Artin pares, embora compartilhem a propriedade de retrato com os RAAGs, exibem comportamentos cohomológicos e de Lie distintos, particularmente em característica positiva.

• Problema de Isomorfismo: Os autores mostram que o anel de cohomologia (mesmo com coeficientes inteiros) não classifica totalmente os grupos de Artin pares. Eles constroem um contraexemplo (Proposição 2.6) de dois grupos de Artin pares não isomórficos com anéis de cohomologia isomórficos. Para distingui-los, eles utilizam invariantes $\Sigma$ (especificamente $\Sigma_1$), provando que o número de arestas rotuladas com 2 no grafo definidor é um invariante do tipo de isomorfismo do grupo (Proposição 2.9).
• Álgebra de Lie vs. Estrutura do Grupo: Os autores constroem exemplos (Teorema 7.2) mostrando que grupos distintos podem compartilhar a mesma álgebra de Lie restrita de $p$-Zassenhaus. Especificamente, para qualquer grupo de Artin FC pro-$p$, existe um grupo residualmente livre de torção nilpotente com a mesma álgebra de Lie de $p$-Zassenhaus, ilustrando que a álgebra de Lie não captura as propriedades residuais completas do grupo.

Conclusão
O trabalho generaliza com sucesso vários resultados clássicos dos RAAGs para grupos de Artin pares de tipo FC, fornecendo descrições algébricas explícitas de seus anéis de cohomologia e estruturas locais-$p$. No entanto, também delineia os limites dessas generalizações, mostrando que o comportamento "favorável" dos RAAGs (como anéis de Lie livres de torção e rigidez cohomológica via a estrutura do anel) não persiste totalmente no cenário de Artin par. Os resultados dependem fortemente das propriedades combinatórias específicas dos rótulos pares e da condição FC, deixando o comportamento de quaisquer grupos de Artin como uma área aberta.