L'homologie intégrale seconde de ${\rm SL}_2(\mathbb{Z}[1/n])$

Informations fondamentales

• ID de l'article: 2503.12190
• Titre: The second integral homology of ${\rm SL}_2(\mathbb{Z}[1/n])$
• Auteurs: Behrooz Mirzaii, Bruno R. Ramos, Thiago Verissimo
• Classification: math.KT (K-théorie)
• Date de publication: Mars 2025 (arXiv v2: 25 octobre 2025)
• Lien de l'article: https://arxiv.org/abs/2503.12190

Résumé

Cet article étudie la deuxième homologie intégrale (c'est-à-dire le multiplicateur de Schur) du groupe linéaire spécial ${\rm SL}_2(\mathbb{Z}[1/n])$ associé à un entier positif $n$. Les auteurs calculent complètement la structure du groupe $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ lorsque $n$ est divisible par l'un des nombres premiers $2, 3, 5, 7, 13$. Pour un $n$ général supérieur à 1, l'article fournit une description partielle en plaçant le groupe d'homologie dans une suite exacte et en étudiant son rang. Enfin, les auteurs proposent une structure conjecturale pour le cas où $n$ n'est pas divisible par les nombres premiers spécifiés ci-dessus.

Contexte et motivation de la recherche

Problème de recherche

Le problème central de cet article est de déterminer la structure complète du groupe d'homologie intégrale seconde $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ du groupe linéaire spécial ${\rm SL}_2(\mathbb{Z}[1/n])$.

Importance

1. Applications généralisées: Les groupes de (co)homologie de ${\rm SL}_2(\mathbb{Z}[1/n])$ ont des applications importantes dans plusieurs domaines mathématiques, notamment la théorie des nombres, la K-théorie algébrique, la géométrie hyperbolique, ainsi que la théorie des formes modulaires et des formes automorphes.
2. Propriétés arithmétiques: Ces groupes d'homologie fournissent des aperçus importants sur les propriétés arithmétiques de l'anneau $\mathbb{Z}[1/n]$ et des anneaux connexes.
3. Signification théorique: En tant que groupe arithmétique, le groupe d'homologie de ${\rm SL}_2(\mathbb{Z}[1/n])$ est finiment engendré, mais la détermination de sa structure de groupe exacte est un problème important et difficile.

Limitations des travaux existants

• Adem-Naffah (1998): Calcul complet des groupes d'homologie de ${\rm SL}_2(\mathbb{Z}[1/p])$ (où $p$ est un nombre premier).
• Bui-Ellis (2014): Utilisation de méthodes computationnelles pour calculer les groupes d'homologie pour $n \leq 50$ (à quelques exceptions près).
• Hutchinson (2016): Détermination de la deuxième homologie lorsque $6 | n$.
• Travaux récents: Calcul complet indépendant de la première homologie pour tout $n$.

Cependant, la structure complète du groupe de deuxième homologie pour un $n$ général reste non résolue, en particulier lorsque $n$ n'est pas divisible par $2, 3, 5, 7, 13$.

Motivation de la recherche

En s'appuyant sur les intuitions de Hutchinson et en combinant de nouvelles idées avec les résultats antérieurs, cet article vise à:

1. Fournir des théorèmes de structure complets lorsque $n$ est divisible par des nombres premiers spécifiques
2. Fournir une description partielle pour un $n$ général
3. Proposer des conjectures raisonnables pour les cas non résolus

Contributions principales

Les principales contributions de cet article incluent:

1. Théorème principal A: Lorsque $n$ est divisible par l'un des nombres premiers $2, 3, 5, 7, 13$, la structure du groupe $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ est complètement déterminée, avec des isomorphismes explicites.
2. Théorème principal B: Pour tout entier sans facteur carré $n$, une suite exacte contenant $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ est établie, fournissant une description partielle de la structure.
3. Théorème C: La structure du groupe de première homologie $H_1(\Gamma_0(n,p),\mathbb{Z})$ du sous-groupe $\Gamma_0(n,p)$ est déterminée.
4. Résultats d'injectivité: Il est prouvé que lorsque $m$ est divisible par certains nombres premiers et $m | n$, l'application naturelle $H_2({\rm SL}_2(\mathbb{Z}[1/m]),\mathbb{Z}) \to H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ est injective.
5. Étude du rang: Le rang de $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ est étudié, avec la preuve que $1 \leq r_n \leq \min\{r_p : p | n\}$.
6. Conjecture 7.3: Une structure conjecturale complète est proposée pour le cas où $n$ n'est pas divisible par $2, 3, 5, 7, 13$.

Explication détaillée des méthodes

Cadre théorique

Propriétés fondamentales de l'anneau

Pour un entier non nul $n$, on définit: $\mathbb{Z}[1/n] := \{a/n^r : a \in \mathbb{Z}, r \in \mathbb{Z}_{\geq 0}\}$

C'est un sous-anneau de $\mathbb{Q}$ et aussi un anneau euclidien. On peut supposer que $n$ est un entier positif sans facteur carré.

Propriété de sous-groupe de congruence (Théorème 1.4)

Serre a prouvé que pour $n > 1$, tout sous-groupe normal non central de ${\rm SL}_2(\mathbb{Z}[1/n])$ contient un sous-groupe de la forme $\Gamma(\mathbb{Z}[1/n], I)$ (où $I$ est un idéal non trivial), et possède donc un indice fini.

Décomposition en produit amalgamé (Théorème 1.5)

Pour un nombre premier $p \nmid n$, on a l'isomorphisme: ${\rm SL}_2(\mathbb{Z}[1/pn]) \cong {\rm SL}_2(\mathbb{Z}[1/n]) *_{\Gamma_0(n,p)} {\rm SL}_2(\mathbb{Z}[1/n])$

où $\Gamma_0(n,p) := \left\{\begin{pmatrix} a & b \\ c & d \end{pmatrix} \in {\rm SL}_2(\mathbb{Z}[1/n]) : p | c\right\}$.

Méthodes techniques fondamentales

1. Suite exacte de Mayer-Vietoris

Appliquée à la décomposition en produit amalgamé, elle produit une suite exacte longue: $H_2(\Gamma_0(n,p),\mathbb{Z}) \xrightarrow{\alpha_2} H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})^{\oplus 2} \xrightarrow{\beta_2} H_2({\rm SL}_2(\mathbb{Z}[1/pn]),\mathbb{Z})$$\to H_1(\Gamma_0(n,p),\mathbb{Z}) \xrightarrow{\alpha_1} H_1({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})^{\oplus 2} \xrightarrow{\beta_1} H_1({\rm SL}_2(\mathbb{Z}[1/pn]),\mathbb{Z}) \to 0$

2. Suite spectrale de Lyndon/Hochschild-Serre

Étude de la morphologie des extensions: