Congruence subgroups of braid groups and crystallographic quotients. Part II

Basic Information

• Paper ID: 2404.05804
• Title: Congruence subgroups of braid groups and crystallographic quotients. Part II
• Authors: Paolo Bellingeri, Celeste Damiani, Oscar Ocampo, Charalampos Stylianakis
• Classification: math.GR (Group Theory), math.GT (Geometric Topology)
• Publication Date: November 12, 2025 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2404.05804

Abstract

This paper continues previous research on congruence subgroups and crystallographic braid groups, focusing on the lower central series of congruence braid groups related to the three-strand braid group $B_3$. The main conclusion demonstrates that the corresponding quotient groups possess an almost-crystallographic structure.

Research Background and Motivation

Core Problems

This paper investigates the deep connections between congruence subgroups of braid groups and crystallographic groups, particularly focusing on:

1. The structure of level m congruence subgroups $B_3[m]$ of the braid group $B_3$
2. The crystallographic properties of quotient groups $B_3/\Gamma_k(B_3[p])$
3. The algebraic and geometric properties of lower central series quotients

Problem Significance

1. Theoretical Importance: Braid groups are central objects in topology, algebra, and geometry. The study of their congruence subgroups connects mapping class group theory with crystallographic group theory.
2. Geometric Applications: Crystallographic groups are closely related to fundamental groups of flat manifolds. Studying the crystallographic properties of braid group quotients helps understand the geometric structure of related manifolds.
3. Algebraic Structure: Congruence subgroups are defined via the Burau representation, and the structure of their quotients reveals deep algebraic properties of braid groups.

Limitations of Existing Research

• Gonçalves-Guaschi-Ocampo proved that $B_n/\Gamma_k(B_n[2])$ is an almost-crystallographic group ($n,k \geq 3$)
• For odd primes p and p=4, the corresponding structures have not been systematically studied
• The complete lower central series structure of the three-strand braid group $B_3$ requires deeper analysis

Research Motivation

$B_3$ has multiple identities:

• Fundamental group of the trefoil knot
• Mapping class group of a genus 1 surface with one boundary component
• The simplest non-trivial case in braid groups, serving as a model for understanding general braid groups

Core Contributions

The main contributions of this paper include:

1. Main Theorem 1.1: For odd primes p or p=4:
   • $B_3/[B_3[p], B_3[p]]$ is a crystallographic group
   • For $k \geq 2$, $B_3/\Gamma_k(B_3[p])$ is an almost-crystallographic group
2. Main Theorem 1.2: In particular, $B_3/[B_3[3], B_3[3]]$ is a Bieberbach group (torsion-free crystallographic group) with holonomy group $PSp_2(\mathbb{Z}/3\mathbb{Z})$
3. Structure Decomposition Theorem (Theorem 3.9): For primes $p \geq 3$, it is proved that $B_3[p] \cong \mathbb{Z} \times F_M$ where $M = 1 + \frac{(p-1)p(p+1)}{12}$ and $F_M$ is a free group of rank M
4. Level 4 Case (Proposition 3.3): It is proved that $B_3[4] \cong \mathbb{Z} \times F_5$ where $F_5$ is a free group of rank 5
5. Torsion-Free Result (Theorem 3.13): It is proved that $B_3/[B_3[3], B_3[3]]$ is torsion-free
6. Dimension Calculations: Precise dimension formulas are provided for the almost-crystallographic groups $B_3/\Gamma_k(B_3[p])$

Detailed Methods

Theoretical Framework

Definition of Congruence Subgroups

The level m congruence subgroup $B_n[m]$ is defined as the kernel of the Burau representation reduced modulo m: $B_n[m] = \ker(\rho_m: B_n \to Sp_{n-1}(\mathbb{Z}/m\mathbb{Z}))$

For $B_3$, this is represented as: $\rho_m: B_3 \to Sp_2(\mathbb{Z}/m\mathbb{Z})$

Characterization of Crystallographic Groups

According to Lemma 2.2, a group $\Pi$ is crystallographic if and only if there exists a short exact sequence: $0 \to \mathbb{Z}^m \to \Pi \xrightarrow{\zeta} \Phi \to 1$ where $\Phi$ is a finite group, and the integral representation $\Theta: \Phi \to \text{Aut}(\mathbb{Z}^m)$ induced by conjugation action is faithful.

Core Technical Approach

Step One: Structure Decomposition (Section 3)

Key Lemma: Using the Fadell-Neuwirth short exact sequence $1 \to F_2(A_{1,3}, A_{2,3}) \to P_3 \xrightarrow{d_3} P_2 \to 1$

For $B_3[4]$:

• Compute $P_3^2 = \ker(\text{Ab}_2: P_3 \to \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z} \times \mathbb{Z}/2\mathbb{Z})$
• Use the Reidemeister-Schreier method to determine generators
• Prove $B_3[4] = \langle \Delta_3^4 \rangle \times F_5$

For primes $p \geq 3$:

• Use the homomorphism $B_3 \to SL_2(\mathbb{Z})$ (with $\sigma_1 \mapsto a, \sigma_2 \mapsto b$)
• Combine with Frasch's theorem: $SL_2(\mathbb{Z})[p]$ is a free group of rank $1 + \frac{(p-1)p(p+1)}{12}$
• Prove the decomposition via extension methods

Step Two: Center Analysis

Key Observation: The full twist $\Delta_3^2 = (\sigma_1\sigma_2)^3$ generates the center of $B_3$, and:

• $\rho_p(\Delta_3^2)$ generates the center of $\rho_p(B_3)$
• $\Delta_3^2 \notin B_3[p]$ (for $p \geq 3$)

Using Theorem 2.3, the representation $\theta: \rho_p(B_3) \to \text{Aut}(B_3[p]/[B_3[p], B_3[p]])$ is not injective.

Step Three: Holonomy Group Identification

For p=4 (Proposition 3.8):

• Through detailed analysis in Appendix A, prove $\rho_4(B_3) \cong A_4 \rtimes \mathbb{Z}/4\mathbb{Z}$
• Center: $Z(\rho_4(B_3)) = \mathbb{Z}/2\mathbb{Z}$
• Quotient group: $\rho_4(B_3)/Z(\rho_4(B_3)) \cong S_4$

For odd primes p:

• $\rho_p(B_3) \cong Sp_2(\mathbb{Z}/p\mathbb{Z})$
• Quotient group: $Sp_2(\mathbb{Z}/p\mathbb{Z})/Z(Sp_2(\mathbb{Z}/p\mathbb{Z}))$

Special case for p=3:

• Detailed computation of the action of $Sp_2(\mathbb{Z}/3\mathbb{Z})$ on $B_3[3]/[B_3[3], B_3[3]]$
• Prove torsion-freeness (Theorem 3.13)

Step Four: Almost-Crystallographic Structure (Section 4)

Using the characterization in Theorem 2.6, prove that $B_3/\Gamma_k(B_3[m])$ satisfies:

1. Polycyclic-by-finite: Verified through induction and short exact sequences
2. No non-trivial finite normal subgroups: Using Lemma 4.1
3. Existence of nilpotent subgroups: $\rho_m^{-1}(Z(\rho_m(B_3)))/\Gamma_k(B_3[m])$ is a torsion-free nilpotent group

Technical Innovations

1. Unified Approach to Decomposition Theorem: The cases p=4 and odd primes are treated uniformly, revealing the universal pattern $B_3[p] \cong \mathbb{Z} \times F$
2. Center Technique: Cleverly exploits the centrality and non-triviality of the full twist, establishing crystallographic structure via Theorems 2.3-2.4
3. Computational Techniques:
   • Complete algebraic structure analysis of $\rho_4(B_3)$ (Appendix A)
   • Explicit matrix representation calculations for p=3
   • Effective application of the Reidemeister-Schreier method
4. Torsion-Free Proof: Proves torsion-freeness of $B_3/[B_3[3], B_3[3]]$ by eliminating elements of order 2 and 3 (Theorem 3.13)

Experimental Setup

This is a pure mathematics theoretical paper with no experimental setup, datasets, or numerical experiments. All results are obtained through rigorous mathematical proofs. Some computations are verified using the GAP-System (Groups, Algorithms, and Programming) software, for example:

• Verification of the group structure of $\rho_4(B_3)$ (SmallGroup ID 48,30)
• Enumeration of normal subgroups
• Verification of isomorphism relations

Experimental Results

Main Theorems and Their Proofs

Proof Structure of Theorem 1.1

Part (1): $B_3/[B_3[p], B_3[p]]$ is a crystallographic group

For p=4:

• Dimension: 6
• Holonomy group: $S_4$
• Proof path: Proposition 3.8, using Theorem 2.4

For odd primes p:

• Dimension: $M+1 = 2 + \frac{(p-1)p(p+1)}{12}$
• Holonomy group: $Sp_2(\mathbb{Z}/p\mathbb{Z})/Z(Sp_2(\mathbb{Z}/p\mathbb{Z}))$
• Proof path: Corollary 3.11 + Theorem 2.4

Part (2): For $k \geq 2$, $B_3/\Gamma_k(B_3[p])$ is an almost-crystallographic group

Proved via Theorem 4.2, with key elements:

• Short exact sequence: $1 \to \rho_m^{-1}(Z(\rho_m(B_3)))/\Gamma_k(B_3[m]) \to B_3/\Gamma_k(B_3[m]) \to G_m \to 1$
• Dimension formula: $\dim = \sum_{q=1}^{k-1} \frac{1}{q}\sum_{d|q}\mu(d)M^{q/d} + 1$

where $\mu$ is the Möbius function

Detailed Results of Theorem 1.2

For the special case p=3:

• $B_3/[B_3[3], B_3[3]]$ is a Bieberbach group (torsion-free crystallographic group)
• Dimension: 4
• Holonomy group: $PSp_2(\mathbb{Z}/3\mathbb{Z}) \cong A_4$

Geometric Meaning: There exists a 4-dimensional compact flat Riemannian manifold whose fundamental group is $B_3/[B_3[3], B_3[3]]$

Specific Results of Structure Decomposition

Generators of B34 (Proposition 3.3)

$B_3[4] = \langle \Delta_3^4 \rangle \times F_5[X]$ where $X = \{A_{1,3}^2, A_{2,3}^2, A_{1,3}A_{2,3}^2A_{1,3}^{-1}, [A_{2,3}, A_{1,3}], A_{1,3}[A_{2,3}, A_{1,3}]A_{1,3}\}$

Rank of B3p (Theorem 3.9)

For primes $p \geq 3$: $\text{rank}(B_3[p]/[B_3[p], B_3[p]]) = M + 1 = 2 + \frac{(p-1)p(p+1)}{12}$

Specific examples:

• p=3: $M+1 = 4$
• p=5: $M+1 = 12$
• p=7: $M+1 = 30$

Properties of Lower Central Series Quotients (Lemma 4.1)

For $k \geq 2$:

1. $B_3[m]/\Gamma_k(B_3[m])$ is a torsion-free nilpotent group of nilpotency class $k-1$
2. Hirsch length: $\sum_{q=1}^{k-1}\frac{1}{q}\sum_{d|q}\mu(d)M^{q/d} + 1$
3. Successive quotients $\Gamma_j(B_3[m])/\Gamma_{j+1}(B_3[m])$ are all free abelian groups

Torsion-Free Result (Theorem 3.13)

Through detailed analysis, it is proved that $B_3/[B_3[3], B_3[3]]$ has no elements of order 2 or 3:

Analysis of Elements of Order 2:

• The only possible element of order 2 projects to $\rho_3((\sigma_1^2\sigma_2)^2)$ in $Sp_2(\mathbb{Z}/3\mathbb{Z})$
• Computation shows $(\sigma_1^2\sigma_2)^4 = e_1e_3e_4e_2$
• The equation $2x_j + 1 = 0$ has no integer solutions, hence no elements of order 2

Analysis of Elements of Order 3:

• Elements of order 3 must project to conjugates of $\rho_3(\sigma_1)$ or $\rho_3(\sigma_1^2)$
• For $\rho_3(\sigma_1)$: the equation $3x_1 + 1 = 0$ has no integer solutions
• For $\rho_3(\sigma_1^2)$: the equation $3x_1 + 2 = 0$ has no integer solutions

Appendix Result: Structure of ρ4(B3) (Theorem A.4)

Complete group-theoretic structure: $\rho_4(B_3) \cong A_4 \rtimes \mathbb{Z}/4\mathbb{Z}$

Explicit presentation: $\rho_4(B_3) = \langle \sigma_1, \alpha, r, s \mid \text{relations}\rangle$ where $\alpha = \sigma_2\sigma_1^{-1}$, $r = \sigma_2^2\sigma_1^2$, $s = \sigma_1(\sigma_2^2\sigma_1^2)\sigma_1^{-1}$

Properties:

• Solvable group with derived length 3
• $\rho_4(B_3)^{(1)} = A_4$, $\rho_4(B_3)^{(2)} = V$ (Klein four-group)
• Center: $Z(\rho_4(B_3)) = \langle \sigma_1\alpha\sigma_1^{-1}\alpha\sigma_1^2 \rangle \cong \mathbb{Z}/2\mathbb{Z}$
• Five non-trivial characteristic subgroups

Related Work

Historical Background

1. Arnol'd (1968): First introduced the concept of congruence subgroups of braid groups
2. Tits (1966): Defined crystallographic braid groups
3. Gonçalves-Guaschi-Ocampo (2017, 2019):
   • Proved $B_n/[P_n, P_n]$ is crystallographic
   • Proved $B_n/\Gamma_k(B_n[2])$ is almost-crystallographic ($n,k \geq 3$)

Research on Congruence Subgroups

Recent work:

• Brendle-Margalit (2018): Study of level 4 braid groups
• Stylianakis (2018): Generators of $B_3[3]$
• Kordek-Margalit (2022): Representation stability of level 4 braid groups
• Bloomquist-Patzt-Scherich (2024): Quotient structures of congruence subgroups

Research on Crystallographic Braid Groups

Related progress:

• Beck-Marin (2020): Torsion subgroups of quasi-abelianized braid groups
• Bellingeri-Guaschi-Makri (2022): Unrestricted virtual braids and crystallographic groups
• Cerqueira-Ocampo (2023): Virtual braid groups and crystallographic groups

Unique Contributions of This Paper

Relationship to previous work:

1. Continuation of Part I: This paper is a sequel to BDOS25, focusing on the specific case of $B_3$
2. Extension of GGO Results: Generalizes from $B_3[2] = P_3$ to $B_3[p]$ (odd primes p and p=4)
3. New Techniques: Introduces the homomorphism $B_3 \to SL_2(\mathbb{Z})$ and Frasch's theorem
4. Complete Characterization: Provides complete structure decomposition of $B_3[p]$ and geometric meaning

Conclusions and Discussion

Main Conclusions

1. Crystallographic Structure: For odd primes p or p=4, $B_3/[B_3[p], B_3[p]]$ is a crystallographic group with explicit dimension and holonomy group
2. Almost-Crystallographic Structure: The quotient groups of the entire lower central series $B_3/\Gamma_k(B_3[p])$ ($k \geq 2$) are all almost-crystallographic groups
3. Special Bieberbach Group: $B_3/[B_3[3], B_3[3]]$ is torsion-free, corresponding to a 4-dimensional flat manifold
4. Unified Framework: Establishes systematic connections between congruence subgroups, lower central series, and crystallographic groups

Limitations

1. Scope Restrictions:
   • Results apply only to the three-strand braid group $B_3$
   • Only odd primes and p=4 are considered
   • Results for general $B_n$ ($n > 3$) and arbitrary m remain to be established
2. Method Dependencies:
   • Key use of special properties of $B_3$ (such as its relationship with $SL_2(\mathbb{Z})$)
   • Generalization to $B_n$ requires new techniques
3. Computational Complexity:
   • Some proofs involve extensive concrete calculations (e.g., torsion-freeness for p=3)
   • Calculations may become difficult for larger primes

Future Directions

Research directions explicitly indicated in the paper:

1. Generalization to Bn (Remark 3.4):
   • Extend the methods of Proposition 3.3 to arbitrary strand numbers
   • Study the general structure of $B_n[m]$
2. Relationship Between Congruence and Coxeter Subgroups:
   • Lemma 2.3 shows $N_n(\sigma_1^m) \subseteq B_n[m]$
   • Systematic study of the relationship between these two classes of subgroups will be developed in future work
3. More General Level m (Remark 3.10):
   • For $p|m$, $B_3[m] \cong \mathbb{Z} \times F$
   • Determine the rank of the free group
4. Geometric Applications:
   • Study topological properties of corresponding flat manifolds
   • Explore existence of Anosov diffeomorphisms (Remark 4.4)
5. Representation Theory:
   • Deeper study of properties of holonomy representations
   • Explore connections with physical applications

Open Problems

1. For composite $m \neq 4$, is $B_3/[B_3[m], B_3[m]]$ still crystallographic?
2. What are the crystallographic properties of $B_n/[B_n[p], B_n[p]]$ ($n > 3$)?
3. Can a general structure decomposition formula for $B_n[p]$ be given?
4. When is the holonomy representation orientable?

In-Depth Evaluation

Strengths

1. Mathematical Rigor

• Complete Proofs: All main results have detailed proofs with clear logical chains
• Technical Sophistication: Skillfully combines tools from group theory, topology, and algebraic geometry
• Computational Accuracy: Extensive concrete calculations (e.g., torsion-freeness proof in Theorem 3.13) are carefully verified

2. Methodological Innovation

• Unified Framework: Connects different mathematical objects (congruence subgroups, crystallographic groups, flat manifolds)
• New Techniques: The use of the homomorphism $B_3 \to SL_2(\mathbb{Z})$ and Frasch's theorem is a key innovation
• Structure Decomposition: The discovery of $B_3[p] \cong \mathbb{Z} \times F$ reveals deep structure

3. Completeness of Results

• Multiple Levels: From $[B_3[p], B_3[p]]$ to the entire lower central series $\Gamma_k(B_3[p])$
• Deep Analysis of Special Cases: Complete characterization of p=3 and p=4 cases
• Dimension Formulas: Precise Hirsch length calculations provided

4. Clarity of Exposition

• Logical Structure: From preliminaries to main results, well-organized hierarchy
• Clear Motivation: Research background and significance clearly explained
• Technical Details: Detailed analysis of $\rho_4(B_3)$ in Appendix A aids understanding

Weaknesses

1. Limited Scope

• Restricted to B3: Main results apply only to three-strand braid groups, limiting generalizability
• Prime Restrictions: Results for general level m are incomplete
• Lack of General Theory: No general framework applicable to $B_n$ is provided

2. Technical Dependencies

• Special Property Dependence: Key use of the relationship between $B_3$ and $SL_2(\mathbb{Z})$, which does not hold for $B_n$ ($n > 3$)
• Computation-Intensive: Some proofs (e.g., Theorem 3.13) require extensive concrete calculations, difficult to generalize

3. Geometric Intuition

• Lack of Geometric Explanation: While connections to flat manifolds are established, geometric intuition is lacking
• Insufficient Visualization: Limited discussion of geometric meaning of crystallographic structures

4. Computational Tools

• Limited GAP Verification: GAP is used only in Appendix A; other parts could benefit from more computational tools
• Lack of Algorithms: No constructive algorithms provided for computing generators or verifying properties

Impact

1. Theoretical Contributions

• Fills Gaps: Systematically studies crystallographic properties of $B_3[p]$ (odd primes p and p=4)
• New Connections: Establishes new bridges between congruence subgroups and crystallographic groups
• Methodology: Provides new methods for studying geometric structures of braid group quotients

2. Potential Applications

• Topology: Provides methods for constructing new flat manifolds
• Algebra: Deepens understanding of braid group subgroup structures
• Representation Theory: Braid group representations connect to physics (quantum groups, topological quantum computing)

3. Follow-up Research

• Continuation of Part I: Forms a series with previous work, suggesting more follow-up
• Open Problems: Clearly states multiple research directions, facilitating field development
• Technical Accumulation: Methods and techniques provided can be applied to related problems

4. Reproducibility

• Detailed Proofs: All results have complete proofs enabling independent verification
• Sufficient Citations: Appropriate references facilitate reader tracing
• GAP Code: Appendix provides partial GAP code, enhancing reproducibility

Applicable Scenarios

1. Pure Mathematics Research

• Braid Group Theory: Study of braid group subgroup structures and quotient properties
• Geometric Group Theory: Exploration of group geometric properties and crystallographic structures
• Topology: Construction and classification of flat manifolds

2. Related Fields

• Mapping Class Groups: Braid groups closely relate to surface mapping class groups
• Arithmetic Groups: Congruence subgroup research relates to arithmetic group theory
• Algebraic Topology: Lower central series connect to homotopy theory

3. Potential Applications

• Quantum Computing: Braid groups have applications in topological quantum computing
• Knot Theory: Braid groups are foundational tools in knot theory
• Representation Theory: Braid group representations relate to statistical mechanics and conformal field theory

Overall Evaluation

This is a high-quality pure mathematics paper making substantial contributions to braid group theory and geometric group theory. Main strengths include:

1. Rigorous proof of crystallographic properties of quotients of three-strand braid group congruence subgroups
2. Discovery of the important structure decomposition $B_3[p] \cong \mathbb{Z} \times F$
3. Establishment of new connections between congruence subgroups and flat manifolds

Main limitations are that results apply only to $B_3$, and generalization to general $B_n$ requires new ideas. Nevertheless, the methods and techniques provided have significant value for subsequent research and are expected to have lasting impact on braid group theory and related fields.

Key References

1. BDOS25 Bellingeri, Damiani, Ocampo, Stylianakis. "Congruence subgroups of braid groups and crystallographic quotients. I" - Part I of this paper
2. GGO17 Gonçalves, Guaschi, Ocampo. "A quotient of the Artin braid groups related to crystallographic groups" - Pioneering work
3. GGO19 Gonçalves, Guaschi, Ocampo. "Almost-crystallographic groups as quotients of Artin braid groups" - Research on almost-crystallographic groups
4. BM18 Brendle, Margalit. "The level four braid group" - Study of level 4 braid groups
5. Sty18 Stylianakis. "Congruence subgroups of braid groups" - Generators of $B_3[3]$
6. Dek96 Dekimpe. "Almost-Bieberbach groups: affine and polynomial structures" - Standard reference on crystallographic group theory
7. Fra33 Frasch. "Die erzeugenden der hauptkongruenzgruppen für primzahlstufen" - Freeness of $SL_2(\mathbb{Z})[p]$