Gassner and Burau representations over $\mathbb{Z}_p$-modules

Vasudha Bharathram
2024-11-27
Abstract:We study two classical representations of Artin's braid group and their modulo $p$ reductions. We use topological methods to show that the Gassner representation $\tau_n: B_n\to\text{GL}_n(\mathbb{Z}[t_1^{\pm 1}, \ldots, t_n^{\pm 1}])$ is faithful for all $n$, and furthermore that it is faithful modulo $p$ for all integers $p>1$. We then give a novel proof that the Burau representation of $B_3$ is faithful modulo $p$ for all $p>1$, and suggest applications to the modulo $p$ Burau representation for higher braid groups.
Geometric Topology
What problem does this paper attempt to address?
The main problems that this paper attempts to solve are several key issues in the representation theory of braid groups, especially the faithfulness problems of the Gassner representation and the Burau representation. Specifically: 1. **Faithfulness of the Gassner representation**: - The paper proves that the Gassner representation \( \tau_n: PB_n \to GL_n(\mathbb{Z}[t_1^{\pm 1}, \ldots, t_n^{\pm 1}]) \) is faithful for all \( n \). - Further, the paper also proves that the Gassner representation is also faithful in the sense of modulo \( p \), that is, the representation of \( \tau_n \) on \( \mathbb{Z}_p[t_1^{\pm 1}, \ldots, t_n^{\pm 1}] \) is faithful for all \( p > 1 \). 2. **Faithfulness of the Burau representation**: - The paper gives a new proof that the Burau representation \( \rho_3: B_3 \to GL_2(\mathbb{Z}[t, t^{-1}]) \) is faithful in the sense of modulo \( p \), that is, \( \rho_3\otimes \mathbb{Z}_p \) is faithful for all \( p > 1 \). - The paper also discusses how to extend these methods to the modulo \( p \) faithfulness problem of the Burau representation of higher - order braid groups \( B_n \). ### Main results - **Theorem A**: The Gassner representation \( \tau_n \) is faithful for all \( n \). - **Theorem B**: The Gassner representation \( \tau_n \) is faithful in the sense of modulo \( p \) for all \( n \) and all integers \( p > 1 \). - **Theorem 4.1**: The Burau representation \( \rho_3\otimes \mathbb{Z}_p \) is faithful for all \( p > 1 \). ### Methods and techniques - **Topological methods**: The paper uses topological methods to study the faithfulness of the Gassner representation and the Burau representation. In particular, by considering the properties of covering spaces and homology groups, the author is able to prove the faithfulness of these representations. - **Crossing - puncture sequence**: For the modulo \( p \) faithfulness problem of the Burau representation, the paper introduces a new tool - the crossing - puncture sequence, and proves the faithfulness of the Burau representation by analyzing the properties of these sequences. ### Open problems - **Specialization problem**: For which special values of \( t \), are the Burau representation \( \rho_3 \) and the Gassner representation \( \tau_n \) faithful? Do there exist faithful real or rational specializations? - **Modulo \( p \) faithfulness**: Is \( \rho_4\otimes \mathbb{Z}_p \) faithful for any \( p\geq5 \)? - **Infinite generation of the kernel**: For which \( n \) and \( p \), is the kernel of \( \rho_n\otimes \mathbb{Z}_p \) infinitely generated? Can a geometric description be given? - **Generalization**: Generalize the representation of the kernel of \( \rho_n\otimes \mathbb{Z}_2 \) to \( \rho_n\otimes \mathbb{Z}_p \) (\( p > 2 \)). - **Forms of the crossing - puncture sequence**: For higher \( n \), what forms can the crossing - puncture sequences \( C_1,\ldots, C_m \) have? This problem