Congruence subgroups from representations of the three-strand braid group
type: Item
instance of: scholarly article
title: Congruence subgroups from representations of the three-strand braid group
zbMATH Open document ID: 1403.20053
author: Joseph Ricci
author: Zhenghan Wang
published in: Journal of Algebra
publication date: 2017-07-27T00:00:00Z
full work available at URL: https://arxiv.org/abs/1611.05103
review text: Let \(A\) be an \(n \times n\) matrix with eigenvalues \(\lambda_1, \lambda_2, \ldots, \lambda_n\). Define the projective order of \(A\) to be \[ \operatorname{po}(A) = \min \{t > 1\mid \lambda_1^t = \ldots = \lambda_n^t \} \] where this is allowed to be infinite. The projective order of a matrix is invariant under scaling, that is, \(\operatorname{po}(A) = \operatorname{po}(\theta A)\) for all \(\theta \in \mathbb{C}^*\). The three-strand braid group \(B_3 = \langle \sigma_1, \sigma_2\mid \sigma_1 \sigma_2 \sigma_1 = \sigma_2 \sigma_1 \sigma_2 \rangle\) is the central extension: \[ 1 \to \mathbb{Z} = \langle (\sigma_1 \sigma_2)^3 \rangle \to B_3 \overset{\pi}{\to} \mathrm{PSL}(2, \mathbb{Z}{)} 1. \] Suppose that \(d = 2\) or \(3\) and \(\rho : B_3 \to \mathrm{GL}(d, \mathbb{C})\) is a \(d\)-dimensional representation with finite image that factors through \(\pi\). The first main result of the present paper approves that if \(2 \leq \operatorname{po}(\rho(\sigma_1)) \leq 5\) then \(\pi(\operatorname{ker} \rho)\) is a congruence subgroup with level equal to the order of \(\rho(\sigma_1)\). The second main result points out that for three dimensional representations, once the projective order of \(\rho(\sigma_1)\) is greater than five, the projective order is not enough to determine the congruence properties of the induced kernel. More accurately, for any positive integer of the form \(2l > 2\) with \(l\) odd, there are two representations \(\rho_{l,\pm} : B_3 \to \mathrm{GL}(3, \mathbb{C})\) with finite image that factors through \(\pi\) for which \(\operatorname{po}(\rho_{l,\pm}(\sigma_1)) = 2l\) and each \(\pi(\operatorname{ker} \rho_{l,\pm})\) is not a congruence subgroup.
reviewed by: Valeriy G. Bardakov
Mathematics Subject Classification ID: 20F36
Mathematics Subject Classification ID: 20C15
Mathematics Subject Classification ID: 20E07
zbMATH DE Number: 6754372
zbMATH Keywords: braid group
zbMATH Keywords: congruence subgroup
zbMATH Keywords: representation
MaRDI profile type: MaRDI publication profile
OpenAlex ID: W2555579343
arXiv ID: 1611.05103
cites work: Sous-groupes d'indice fini dans $SL\left( {n,Z} \right)$
cites work: Universal deformations of the finite quotients of the braid group on 3 strands.
cites work: Universal quantum computation with weakly integral anyons
cites work: Groups Generated by Unitary Reflections of Period Two
cites work: The Theory of Vector-Valued Modular Forms for the Modular Group
cites work: Identifying congruence subgroups of the modular group
cites work: Finite factor groups of the unimodular group
cites work: Congruence subgroups and generalized Frobenius-Schur indicators
cites work: FINITE LINEAR QUOTIENTS OF ${\mathcal{B}}_3$ OF LOW DIMENSION
cites work: Level and index in the modular group
cites work: Representations of the braid group \(B_3\) and of \(\text{SL}(2,\mathbb{Z})\).
cites work: Q3558824
cites work: An extension of F. Klein's level concept
DOI: 10.1016/J.JALGEBRA.2017.05.026
description: scientific article