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

Résumé technique : Anneaux de cohomologie et comportement $p$-local des groupes d'Artin pairs

Énoncé du problème
Les groupes d'Artin à droite (RAAGs) possèdent des propriétés cohomologiques bien comprises, notamment des descriptions explicites de leurs anneaux de cohomologie, de leurs anneaux de Lie de séries centrales descendantes sans torsion, et un comportement favorable concernant leurs complétions pro-$p$. Un défi central dans la théorie des groupes d'Artin consiste à déterminer quelles de ces propriétés s'étendent à la classe plus large des groupes d'Artin, en particulier ceux qui ne sont pas à droite. Bien que la conjecture $K(\pi, 1)$ reste ouverte pour les groupes d'Artin généraux, la restriction à la sous-classe des groupes d'Artin pairs (où tous les étiquettes d'arêtes dans le graphe définissant sont des entiers pairs) offre un cadre plus traitable. Cet article traite du calcul des anneaux de cohomologie, de la structure des complétions pro-$p$, et des algèbres de Lie restreintes de Zassenhaus $p$-associées à ces groupes, spécifiquement dans le cadre du type FC (où chaque sous-graphe complet définit un groupe d'Artin sphérique).

Méthodologie
Les auteurs emploient une combinaison de théorie des groupes combinatoire, d'algèbre homologique et de la théorie des algèbres de Lie restreintes.

1. Calcul de la cohomologie : Les auteurs utilisent le complexe de chaînes du complexe de Salvetti, qui calcule la cohomologie des groupes d'Artin satisfaisant la conjecture $K(\pi, 1)$. Puisque les groupes d'Artin pairs sont connus pour satisfaire cette conjecture, les auteurs analysent les différentielles dans ce complexe. Ils démontrent que pour les groupes d'Artin pairs, ces différentielles sont nulles, ce qui simplifie considérablement le calcul de la cohomologie.
2. Propriétés de rétractation : Un outil structurel crucial est l'observation que, pour les groupes d'Artin pairs, tout sous-groupe engendré par un sous-graphe est un rétract du groupe entier. Cette propriété permet aux auteurs de construire inductivement des résultats à partir de sous-graphes plus petits (spécifiquement, des sous-graphes sphériques qui se décomposent en produits de groupes cycliques et diédraux).
3. Complétion pro-$p$ et algèbres de Lie : L'étude de la complétion pro-$p$ implique l'analyse de la série de Zassenhaus $p$ $\gamma^{[p]}_i(G)$. Les auteurs relient la filtration de l'anneau de groupe à cette série en utilisant le théorème de Quillen-Jennings-Lazard. Ils construisent l'algèbre de Lie restreinte $p$ associée $\text{gr}^{[p]}_\bullet(G)$ et la comparent à l'algèbre enveloppante universelle.
4. Applications de Magnus et suites spectrales : Le concept de groupes $p$-Magnus est introduit, où la complétion de l'anneau de groupe est isomorphe à l'algèbre enveloppante universelle complétée de l'algèbre de Lie de Zassenhaus $p$. Les auteurs utilisent des suites spectrales de type May pour relier la cohomologie continue de la complétion pro-$p$ à l'algèbre Ext de l'algèbre de Lie.

Contributions clés et résultats

• Théorème A (Structure de l'anneau de cohomologie) : L'article fournit une présentation explicite pour l'anneau de cohomologie $H^\bullet(A_\Gamma, R)$ d'un groupe d'Artin pair $A_\Gamma$ sur un anneau commutatif $R$. L'anneau est engendré par des éléments de degré 1 $\sigma_v$ (sommets) et des éléments de degré 2 $\sigma_e$ (arêtes avec étiquette $>2$). Les relations sont :

  • $\sigma_u \sigma_v = m \sigma_e$ si l'arête $e=\{u,v\}$ a une étiquette $2m$ (avec $u<v$).
  • $\sigma_{X_1} \sigma_{X_2} = 0$ si $X_1 \cap X_2 \neq \emptyset$ ou si $X_1 \cup X_2$ n'est pas sphérique.
    Contrairement aux RAAGs, cet anneau n'est pas nécessairement engendré uniquement par des éléments de degré 1, et la structure dépend de l'anneau de coefficients.

• Théorème B (Complétion pro-$p$) : La complétion pro-$p$ d'un groupe d'Artin $A_\Gamma$ est montrée comme étant isomorphe au groupe d'Artin $A_{\Gamma_p}$ défini par la partie $p$-paire du graphe $\Gamma$. Le graphe $\Gamma_p$ est obtenu en identifiant les extrémités des arêtes d'étiquette impaire et en réduisant les étiquettes paires $2k p^t$ (où $p \nmid k$) en $2p^t$. Cela implique que la complétion pro-$p$ est toujours un groupe d'Artin pair.

• Théorème C (Algèbres de Lie restreintes $p$) : Pour les groupes d'Artin pro-$p$ de type FC, l'algèbre de Lie restreinte de Zassenhaus $p$ est explicitement présentée. Les générateurs correspondent aux sommets, avec les relations :

  • $a = b$ si $\{a,b\}$ a une étiquette impaire.
  • $[(a+b)^{[p]t}, b] = 0$ si $\{a,b\}$ a une étiquette paire $2k p^t$ ($p \nmid k$).
    Ce résultat souligne que, bien que les RAAGs présentent une dualité entre leurs anneaux de cohomologie et leurs algèbres de Lie, cette dualité échoue généralement pour les groupes d'Artin pairs en caractéristique $p$.

• Théorème D (Propriétés de Magnus et de complétude) : Pour les groupes d'Artin pro-$p$ de type FC, les auteurs prouvent que le groupe est résiduellement-$p$, $p$-Magnus et cohomologiquement $p$-complet. Ceci généralise les résultats connus pour les RAAGs. La preuve repose sur la préservation de la propriété $p$-Magnus sous les produits amalgamés libres le long de rétracts (Théorème 5.6).

• Théorème E (Rigidité) : Un résultat de rigidité est établi : si deux groupes d'Artin pro-$p$ de type FC $A_\Gamma$ et $A_\Delta$ sont isomorphes, alors leurs graphes définissants ont des parties $p$ isomorphes ($\Gamma_p \cong \Delta_p$) pour tout nombre premier $p$.

Signification et limites
L'article démontre que les groupes d'Artin pairs, bien qu'ils partagent la propriété de rétractation avec les RAAGs, présentent des comportements cohomologiques et de Lie distincts, particulièrement en caractéristique positive.

• Problème d'isomorphisme : Les auteurs montrent que l'anneau de cohomologie (même avec des coefficients entiers) ne classifie pas entièrement les groupes d'Artin pairs. Ils construisent un contre-exemple (Proposition 2.6) de deux groupes d'Artin pairs non isomorphes possédant des anneaux de cohomologie isomorphes. Pour les distinguer, ils utilisent les invariants $\Sigma$ (spécifiquement $\Sigma_1$), prouvant que le nombre d'arêtes étiquetées 2 dans le graphe définissant est un invariant du type d'isomorphisme du groupe (Proposition 2.9).
• Algèbre de Lie vs Structure du groupe : L'article construit des exemples (Théorème 7.2) montrant que des groupes distincts peuvent partager la même algèbre de Lie restreinte de Zassenhaus $p$. Plus précisément, pour tout groupe d'Artin pro-$p$ de type FC, il existe un groupe résiduellement nilpotent sans torsion ayant la même algèbre de Lie de Zassenhaus $p$, illustrant que l'algèbre de Lie ne capture pas l'intégralité des propriétés résiduelles du groupe.

Conclusion
Ce travail généralise avec succès plusieurs résultats classiques des RAAGs aux groupes d'Artin pairs de type FC, en fournissant des descriptions algébriques explicites de leurs anneaux de cohomologie et de leurs structures locales $p$. Cependant, il délimite également les frontières de ces généralisations, montrant que le comportement "favorable" des RAAGs (tel que les anneaux de Lie sans torsion et la rigidité cohomologique via la structure de l'anneau) ne persiste pas totalement dans le cadre des groupes d'Artin pairs. Les résultats reposent fortement sur les propriétés combinatoires spécifiques des étiquettes paires et sur la condition FC, laissant le comportement des groupes d'Artin arbitraires comme un domaine ouvert.