2025-11-18T12:49:13.028596
The second integral homology of ${\rm SL}_2(\mathbb{Z}[1/n])$
Mirzaii, Ramos, Verissimo
In this article, we explore the second integral homology, or Schur multiplier, of the special linear group ${\rm SL}_2(\mathbb{Z}[1/n])$ for a positive integer $n$. We definitively calculate the group structure of $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is divisible by one of the primes $2$, $3$, $5$, $7$ or $13$. For a general $n > 1$, we offer a partial description by placing the homology group within an exact sequence, and we investigate its rank. Finally, we propose a conjectural structure for $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ when $n$ is not divisible by any of those specific primes.
academicThe second integral homology of
Basic Information
- Paper ID: 2503.12190
- Title: The second integral homology of
- Authors: Behrooz Mirzaii, Bruno R. Ramos, Thiago Verissimo
- Classification: math.KT (K-theory)
- Publication Date: March 2025 (arXiv v2: October 25, 2025)
- Paper Link: https://arxiv.org/abs/2503.12190
Abstract
This paper investigates the second integral homology (i.e., Schur multiplier) of the special linear group for positive integers . The authors completely compute the group structure of when is divisible by one of the primes . For general , the paper provides partial descriptions by placing the homology group in exact sequences and studying its rank. Finally, the authors propose a conjectural structure for cases where is not divisible by the aforementioned specific primes.
Research Background and Motivation
Research Problem
The core problem of this paper is to determine the complete group structure of the second integral homology group of the special linear group .
Significance
- Broad Applications: The (co)homology groups of have important applications in multiple mathematical fields including number theory, algebraic K-theory, hyperbolic geometry, and the theory of modular and automorphic forms.
- Arithmetic Properties: These homology groups provide important insights into the arithmetic properties of the ring and related rings.
- Theoretical Significance: As an arithmetic group, the homology groups of are finitely generated, but determining their precise group structure is a challenging and important problem.
Limitations of Existing Work
- Adem-Naffah (1998): Completely computed the homology groups of for primes .
- Bui-Ellis (2014): Used computational methods to compute homology groups for (with few exceptions).
- Hutchinson (2016): Determined the second homology when .
- Recent Work: Independently completely computed the first homology group for arbitrary .
However, the complete structure of the second homology group for general remains unresolved, particularly when is not divisible by .
Research Motivation
Based on Hutchinson's insights, combined with new ideas and previous results, this paper aims to:
- Provide complete structure theorems when is divisible by specific primes
- Provide partial descriptions for general
- Propose reasonable conjectures for unresolved cases
Core Contributions
The main contributions of this paper include:
- Main Theorem A: When is divisible by one of , completely determine the group structure of , providing explicit isomorphisms.
- Main Theorem B: For any squarefree integer , establish exact sequences containing , providing partial structural descriptions.
- Theorem C: Determine the structure of the first homology group of the subgroup .
- Injectivity Results: Prove that when is divisible by specific primes and , the natural map is injective.
- Rank Study: Study the rank of , proving .
- Conjecture 7.3: Propose a complete conjectural structure for cases where is not divisible by .
Methods in Detail
Theoretical Framework
Basic Properties of Rings
For a nonzero integer , define:
This is a subring of and is also a Euclidean domain. We may assume is a squarefree positive integer.
Congruence Subgroup Property (Theorem 1.4)
Serre proved that for , any non-central normal subgroup of contains a subgroup of the form (where is a nontrivial ideal), and thus has finite index.
Amalgamated Free Product Decomposition (Theorem 1.5)
For a prime , there is an isomorphism:
where .
Core Technical Methods
1. Mayer-Vietoris Exact Sequence
Applied to the amalgamated free product decomposition, yielding a long exact sequence:
2. Lyndon/Hochschild-Serre Spectral Sequence
Study the morphism of extensions:
1 @>>> \Gamma(n,p) @>>> \Gamma_0(n,p) @>>> B(\mathbb{F}_p) @>>> 1\\ @. @VVV @VVV @VVV @.\\ 1 @>>> \Gamma(n,p) @>>> {\rm SL}_2(\mathbb{Z}[1/n]) @>>> {\rm SL}_2(\mathbb{F}_p) @>>> 1 \end{CD}$$ This yields commutative diagrams, where $B(\mathbb{F}_p)$ is the Borel subgroup. #### 3. Case-by-Case Analysis Based on different values of the prime $p$ ($p > 3$, $p = 3$, $p = 2$) and properties of $n$, analyze the specific form of the Mayer-Vietoris sequence in detail. ### Key Lemmas and Theorems #### Theorem 4.1 (Kernel is a $p$-group) Proves that the natural map $i_*: H_1(\Gamma(n,p),\mathbb{Z}) \to H_1({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ has kernel that is a $p$-group. **Proof Strategy**: - Utilize the congruence subgroup property - Study index relations $[{\rm SL}_2(A) : \Gamma(A,p)] = p(p^2-1)$ - Perform complex index calculations and analysis of homology group orders #### Theorem 4.2 (First Homology of $\Gamma_0(n,p)$) Provides the complete structure of $H_1(\Gamma_0(n,p),\mathbb{Z})$: - When $p > 3$ and $p \nmid d$: $H_1(\Gamma_0(n,p),\mathbb{Z}) \cong H_1({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \oplus \mathbb{F}_p^{\times}$ - When $p = 3$ and $d = 3t$ ($3 \nmid t$): adds $\mathbb{F}_3^{\times} \oplus \mathbb{Z}/3$ - When $p = 2$ and $d = 8t$ ($2 \nmid t$): adds $\mathbb{F}_2 \oplus \mathbb{Z}/4$ where $d := \gcd\{m^2 - 1 : m | n\}$. #### Theorem 5.2 (Surjectivity) Proves that the natural maps $i_{1*}, i'_{2*}: H_2(\Gamma_0(n,p),\mathbb{Z}) \to H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ are surjective. **Proof Method**: - Utilize morphisms of spectral sequences - Analyze $p$-Sylow subgroups - Use Lemma 5.1: $H_m(B(\mathbb{F}_p),M)_{(p)} \cong H_m({\rm SL}_2(\mathbb{F}_p),M)_{(p)}$ ### Technical Innovations 1. **Systematic Case Analysis**: Establish a complete classification framework based on prime properties and modular conditions. 2. **Combination of Spectral Sequences and Exact Sequences**: Skillfully combine Mayer-Vietoris exact sequences and Lyndon/Hochschild-Serre spectral sequences. 3. **Index Calculation Techniques**: Through refined group index calculations and analysis of homology group orders, determine the $p$-parts of groups. 4. **Application of Tame Symbols** (Proposition 6.4): Utilize the tame symbol $\tau_p: K_2(\mathbb{Q}) \to \mathbb{F}_p^{\times}$ from K-theory to connect homology and K-theory. 5. **Inductive Construction**: Through induction on the number of prime factors, progressively establish general results. ## Main Results ### Theorem A (Main Theorem) Let $n$ be a squarefree positive integer, and $\text{scpd}(n, 2730)$ be the smallest common prime divisor of $n$ and $2730 = 2 \cdot 3 \cdot 5 \cdot 7 \cdot 13$. **(i) If $\text{scpd}(n, 2730) = 2$ (i.e., $n$ is even)**: $$H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \cong \mathbb{Z} \oplus \bigoplus_{p|(n/2)} \mathbb{Z}/(p-1)$$ **(ii) If $\text{scpd}(n, 2730) = 3$**: $$H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \cong \mathbb{Z} \oplus \bigoplus_{p|(n/3)} \mathbb{Z}/(p-1)$$ **(iii) If $\text{scpd}(n, 2730) = 5$**: $$H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \cong \mathbb{Z} \oplus \begin{cases} \mathbb{Z}/2 \oplus \bigoplus_{p|(n/5)} \mathbb{Z}/(p-1) & \text{if all } p|(n/5) \text{ satisfy } p \equiv 1 \pmod{4}\\ \mathbb{Z}/4 \oplus \mathbb{Z}/((q-1)/2) \oplus \bigoplus_{p|(n/5q)} \mathbb{Z}/(p-1) & \text{if } \exists q|(n/5), q \equiv 3 \pmod{4} \end{cases}$$ **(iv) If $\text{scpd}(n, 2730) = 7$**: $$H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \cong \mathbb{Z} \oplus \mathbb{Z}/3 \oplus \bigoplus_{p|(n/7)} \mathbb{Z}/(p-1)$$ **(v) If $\text{scpd}(n, 2730) = 13$**: $$H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \cong \mathbb{Z} \oplus \begin{cases} \mathbb{Z}/6 \oplus \bigoplus_{p|(n/13)} \mathbb{Z}/(p-1) & \text{if all } p|(n/13) \text{ satisfy } p \equiv 1 \pmod{4}\\ \mathbb{Z}/12 \oplus \mathbb{Z}/((q-1)/2) \oplus \bigoplus_{p|(n/13q)} \mathbb{Z}/(p-1) & \text{if } \exists q|(n/13), q \equiv 3 \pmod{4} \end{cases}$$ ### Theorem B (General Exact Sequence) Let $n = p_1 \cdots p_l$ be a prime factorization satisfying $r_{p_1} \leq \cdots \leq r_{p_l}$ (where $r_p := \text{rank } H_2({\rm SL}_2(\mathbb{Z}[1/p]),\mathbb{Z})$). Then there exists an exact sequence: $$H_2({\rm SL}_2(\mathbb{Z}[1/p_1]),\mathbb{Z}) \to H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z}) \to \bigoplus_{i=2}^l \mathbb{Z}/(p_i-1) \to 0$$ ### Key Observations **Adem-Naffah's Result** (Theorem 2.3) shows that for a prime $p$: $$r_p = 1 \iff p \in \{2, 3, 5, 7, 13\}$$ This explains why these five primes play a special role in the theorem. ### Proposition 7.2 (Bounds on Rank) For any squarefree $n > 1$: $$1 \leq r_n \leq \min\{r_p : p \text{ prime}, p | n\}$$ **Proof Method**: Utilize the Mayer-Vietoris exact sequence and surjectivity of homology with rational coefficients. ## Proof Technique Highlights ### Structure of the Proof of Theorem 6.8 Taking case (iii) ($p_1 = 5$) as an example to illustrate the proof techniques: **Step 1**: First handle the case $l = 2$ ($n = 5p_2$) - Use Theorem 6.6 to obtain the exact sequence: $$0 \to H_2({\rm SL}_2(\mathbb{Z}[1/5]),\mathbb{Z}) \to H_2({\rm SL}_2(\mathbb{Z}[1/5p_2]),\mathbb{Z}) \to \mathbb{F}_{p_2}^{\times} \to 1$$ - Construct a commutative diagram: $$\begin{CD} 0 @>>> H_2({\rm SL}_2(\mathbb{Z}[1/5]),\mathbb{Z}) @>>> H_2({\rm SL}_2(\mathbb{Z}[1/5p_2]),\mathbb{Z}) @>>> \mathbb{F}_{p_2}^{\times} @>>> 1\\ @. @VVV @VVV @| @.\\ 0 @>>> H_2({\rm SL}_2(\mathbb{Z}[1/30]),\mathbb{Z}) @>>> H_2({\rm SL}_2(\mathbb{Z}[1/30p_2]),\mathbb{Z}) @>>> \mathbb{F}_{p_2}^{\times} @>>> 1 \end{CD}$$ **Step 2**: Analyze $p_2$ modulo 4 - If $p_2 \equiv 1 \pmod{4}$, then $s_{p_2} > 1$ (where $p_2 - 1 = 2^{s_{p_2}}m_{p_2}$) * Assuming the top row does not split leads to $H_2({\rm SL}_2(\mathbb{Z}[1/5p_2]),\mathbb{Z})$ having an element of order $2^{s_{p_2}+1}$ * But injection into $H_2({\rm SL}_2(\mathbb{Z}[1/30p_2]),\mathbb{Z})$ produces a contradiction * Therefore the top row splits - If $p_2 \equiv 3 \pmod{4}$, then $s_{p_2} = 1$ * Assuming the top row splits contradicts the surjectivity $\delta_5: H_2({\rm SL}_2(\mathbb{Z}[1/5p_2]),\mathbb{Z}) \twoheadrightarrow \mathbb{F}_5^{\times} \cong \mathbb{Z}/4$ * Therefore the top row does not split, yielding the structure $\mathbb{Z} \oplus \mathbb{Z}/4 \oplus \mathbb{Z}/((p_2-1)/2)$ **Step 3**: Induction to $l > 2$ - Utilize the established case for $l-1$ - Construct appropriate exact sequences and commutative diagrams - Apply the Snake Lemma to complete the induction ## Related Work ### Historical Development 1. **Adem-Naffah (1998)**: Pioneering complete computation of the cohomology of ${\rm SL}_2(\mathbb{Z}[1/p])$, using the Universal Coefficient Theorem to obtain homology. 2. **Bui-Ellis (2014)**: Used discrete vector fields and computational topology methods to compute homology groups for small values of $n$. 3. **Hutchinson (2016)**: - Determined the second homology when $6 | n$ (Theorem 2.4) - Introduced tame symbol techniques - Established split exact sequences 4. **Mirzaii-Torres Pérez, Nyberg-Brodda (2024-2025)**: Independently completely determined the first homology group (Theorem 2.1). ### Advances in This Paper Building on Hutchinson's work, this paper: - Extends results from $6 | n$ to all cases where $n$ is divisible by one of $\{2,3,5,7,13\}$ - Provides a unified theoretical framework (Theorem B) - Introduces new techniques for handling the complex cases of primes 5 and 13 - Systematically studies rank and injectivity ## Conclusions and Discussion ### Main Conclusions 1. **Complete Resolution of Special Cases**: When $n$ is divisible by one of $2, 3, 5, 7, 13$, provide the complete group structure of $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$. 2. **General Framework**: For arbitrary $n$, establish exact sequences containing the second homology group, providing partial descriptions. 3. **Characterization of Rank**: Prove that the rank satisfies $1 \leq r_n \leq \min\{r_p : p | n\}$, and conjecture that equality holds. 4. **Structural Regularities**: - Rank is always 1 (when $n$ is divisible by special primes) - Torsion part is contributed by $\mathbb{F}_p^{\times}$ of prime factors - Additional torsion depends on the smallest special prime factor ### Limitations 1. **General Case Not Completely Resolved**: When $n$ is not divisible by $2, 3, 5, 7, 13$, only conjectures can be given (Conjecture 7.3). 2. **Technical Conditions**: The divisibility conditions on $d = \gcd\{m^2-1: m|n\}$ in Theorem 4.2, while sufficient, may not be necessary (Remark 4.3). 3. **Computational Complexity**: For large $n$, actually computing the group structure remains challenging. 4. **Rank Conjecture**: Whether the upper bound in Proposition 7.2 can always be achieved remains unproven. ### Future Directions 1. **Prove or Refute Conjecture 7.3**: This requires new techniques to handle cases where $r_p > 1$. 2. **Remove Technical Conditions**: Attempt to eliminate the restriction on $d$ in Theorem 4.2. 3. **Higher Homology**: Generalize the methods to $H_k({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$, $k \geq 3$. 4. **Higher Rank Cases**: Study the homology of ${\rm SL}_r(\mathbb{Z}[1/n])$, $r \geq 3$. 5. **Computational Methods**: Develop effective algorithms to actually compute homology groups for specific values of $n$. ## In-Depth Evaluation ### Strengths #### 1. Theoretical Depth - **Systematicity**: Establishes a complete theoretical framework for studying $H_2({\rm SL}_2(\mathbb{Z}[1/n]),\mathbb{Z})$ - **Technical Innovation**: Skillfully combines spectral sequences, Mayer-Vietoris exact sequences, K-theory, and other tools - **Refined Analysis**: The detailed classification for different primes and modular conditions demonstrates deep mathematical expertise in number theory and group theory #### 2. Completeness of Results - Completely resolves the generalization of the problem posed by Hutchinson - Provides explicit isomorphisms for special cases with strong practical value - Provides a clear framework for verifying conjectures #### 3. Proof Techniques - **Proof by Contradiction**: The method in Theorem 6.8's proof of deriving contradictions from assuming splitting/non-splitting is very clever - **Inductive Construction**: The induction from prime cases to general cases is clear and compelling - **Index Calculations**: The handling of complex index relations in Theorem 4.1 demonstrates superior technique #### 4. Writing Quality - Clear structure, with distinct levels from preliminaries to main results - Detailed case analysis (Section 3) helps readers understand the special nature of different primes - Appropriate examples and remarks enhance readability ### Weaknesses #### 1. General Case Unresolved - Conjecture 7.3, while reasonable, lacks proof - Only partial information for cases where $n$ is not divisible by $\{2,3,5,7,13\}$ - The conjecture on exact rank values ($r_n = \min\{r_p: p|n\}$) remains unproven #### 2. Technical Limitations - The divisibility conditions on $d$ in Theorem 4.2 and Proposition 6.1 may be too strong - Remark 4.3 acknowledges these conditions may be unnecessary but does not provide complete proof #### 3. Computational Complexity - While theoretical results are provided, actual computation of group structure for large specific values of $n$ remains difficult - Lacks algorithms and complexity analysis #### 4. Comparison with Computational Results - Remark 6.9 points out a sign error in Bui-Ellis, but systematic comparison with computational results is insufficient - Could include more numerical verification ### Impact #### 1. Contribution to the Field - **Significant Progress**: Achieves substantial advancement in the study of homology of arithmetic groups - **Methodology**: The technical framework provided can be applied to related problems - **Theoretical Completion**: Fills important gaps left by Hutchinson's work #### 2. Practical Value - **K-Theory Applications**: Through the connection of tame symbols with $K_2$, results can be applied to algebraic K-theory - **Number Theory Applications**: Direct relevance to understanding arithmetic properties of $\mathbb{Z}[1/n]$ - **Modular Forms Theory**: The connection with modular groups suggests potential applications in modular form research #### 3. Reproducibility - Proofs are detailed and logically clear, with strong verifiability - Preliminary results all have explicit citations - Main theorems are stated precisely, facilitating citation in subsequent research #### 4. Inspirational Value - The role of special primes $\{2,3,5,7,13\}$ reveals deep structural insights - Conjecture 7.3 provides a clear target for future research - Methods are generalizable to related problems ### Applicable Scenarios 1. **Algebraic K-Theory**: Understanding related group homology when computing K-groups of rings 2. **Arithmetic Group Theory**: Studying (co)homology and representation theory of arithmetic groups 3. **Number Theory**: Studying group homology involved in quadratic forms, class numbers, etc. 4. **Topology**: Studying topology of arithmetic manifolds through Borel constructions 5. **Modular Forms**: Understanding the structure of modular groups and their subgroups ### Potential Application Directions 1. **Higher-Dimensional Generalizations**: Methods may apply to ${\rm SL}_r(\mathbb{Z}[1/n])$, $r \geq 3$ 2. **Other Rings**: Generalization to more general rings like $\mathbb{Z}[\zeta_n, 1/n]$ 3. **$p$-adic Cases**: Study homology of ${\rm SL}_2(\mathbb{Z}_p)$ 4. **Algorithm Development**: Develop practical computational algorithms based on theoretical results ## Selected References The paper primarily depends on the following key references: 1. **[1] Adem-Naffah (1998)**: Complete computation of cohomology of ${\rm SL}_2(\mathbb{Z}[1/p])$ 2. **[5] Bui-Ellis (2014)**: Computational methods and results for small values of $n$ 3. **[7] Hutchinson (2016)**: Complete resolution of the case $6|n$ and tame symbol techniques 4. **[12] Mirzaii-Torres Pérez (2025)**: Complete results on first homology 5. **[3] Brown (1994)**: Standard reference on group cohomology 6. **[10] Milnor (1971)**: Foundations of algebraic K-theory --- **Overall Assessment**: This is a high-quality pure mathematics research paper that achieves substantial progress in the important field of homology of arithmetic groups. While the general case is not completely resolved, the complete resolution of special cases, the theoretical framework provided, and the reasonable conjectures all have significant academic value. The proof techniques are sophisticated, demonstrating the authors' deep mathematical expertise. The paper provides clear guidance for subsequent research and is expected to have lasting impact in the fields of algebraic K-theory and arithmetic group theory.