Skip to main content
Added an explicit reference answering the question.
Source Link
Ian Agol
  • 68.9k
  • 3
  • 194
  • 358

One ought to be able to prove this for most braid groups in a similar way toA’Campo showed that the finite symplectic group $B_3$. It was shown by$Sp(2m,p)$, Venkataramana that Burau representations$p>2$ prime, is a quotient of braid groups are arithmetic in the appropriate rangebraid group $B_n$ for some $m$ depending on $n$. ArithmeticHence the finite groups should have lots of congruence quotients which$PSp(2m,p)$ are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this linequotients of argument$B_n$. These groups are simple non-abelian hence perfect for most $m, p$.

This should follow from the approach to prove Theorem 1.2 ofA’Campo, Norbert, Masbaum-Reid.Tresses, monodromie et le groupe symplectique, Comment. Math. Helv. 54, 318-327 (Alan Reid suggested this to me1979). ZBL0441.32004 MR0535062

One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this line of argument.

This should follow from the approach to prove Theorem 1.2 of Masbaum-Reid. (Alan Reid suggested this to me)

A’Campo showed that the finite symplectic group $Sp(2m,p)$, $p>2$ prime, is a quotient of the braid group $B_n$ for some $m$ depending on $n$. Hence the finite groups $PSp(2m,p)$ are quotients of $B_n$. These groups are simple non-abelian hence perfect for most $m, p$.

A’Campo, Norbert, Tresses, monodromie et le groupe symplectique, Comment. Math. Helv. 54, 318-327 (1979). ZBL0441.32004 MR0535062

Post Undeleted by Ian Agol
added 182 characters in body
Source Link
Ian Agol
  • 68.9k
  • 3
  • 194
  • 358

One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representationsVenkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this line of argument.

This should follow from the approach to prove Theorem 1.2 of https://doi.org/10.4007/annals.2014.179.3.4Masbaum-Reid. (Alan Reid suggested this to me)

One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this line of argument. https://doi.org/10.4007/annals.2014.179.3.4

One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this line of argument.

This should follow from the approach to prove Theorem 1.2 of Masbaum-Reid. (Alan Reid suggested this to me)

added 235 characters in body
Source Link
Ian Agol
  • 68.9k
  • 3
  • 194
  • 358

$B_n/Z(B_n)$ is One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect and isby the subgroupstrong approximation theorem. But I don’t have quite enough knowledge of the mapping classappropriate group theory to complete this line of the $n+1$-punctured sphere fixing the point at $\infty$argument. Hence it is residually finite (and infinite), so it has infinitely many finite perfect quotients.https://doi.org/10.4007/annals.2014.179.3.4

$B_n/Z(B_n)$ is perfect and is the subgroup of the mapping class group of the $n+1$-punctured sphere fixing the point at $\infty$. Hence it is residually finite (and infinite), so it has infinitely many finite perfect quotients.

One ought to be able to prove this for most braid groups in a similar way to $B_3$. It was shown by Venkataramana that Burau representations of braid groups are arithmetic in the appropriate range. Arithmetic groups should have lots of congruence quotients which are perfect by the strong approximation theorem. But I don’t have quite enough knowledge of the appropriate group theory to complete this line of argument. https://doi.org/10.4007/annals.2014.179.3.4

Post Deleted by Ian Agol
Source Link
Ian Agol
  • 68.9k
  • 3
  • 194
  • 358
Loading