arXiv subjects
Publications and source records attributed to Tara E. Brendle.
In this paper we use ideas introduced earlier by Moody, Long, Long-Paton, and Bigelow to prove the theorem of the title, that the Burau representation of the classical braid group is faithful for n = 4. An immediate corollary is that the Jones representation of the braid group is also faithful for n = 4.
For surfaces of genus $g \geq 3$ with at most one boundary component, we give explicit generating sets for the kernel of the Birman-Craggs-Johnson homomorphism and the commutator subgroup of the Torelli group. As an application, we give a new proof of Johnson's calculation of the abelianization of the Torelli group.
By evaluating the Burau representation at t=-1, we obtain a symplectic representation of the braid group. We define the congruence subgroups of the braid group to be the preimages of the principal congruence subgroups of the symplectic group. Our main result is that the level four congruence subgroup of the braid group is equal to the group generated by squares of Dehn twists and is also equal to the group generated by squares of pure braids. We also compute the image of the point pushing subgroup under the symplectic representation.
The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. The authors and Putman proved that this group is generated by Dehn twists about separating curves fixed by the hyperelliptic involution. In this paper, we introduce an algorithmic approach to factoring a wide class of elements of the hyperelliptic Torelli group into such Dehn twists, and apply our methods to several basic elements.
The hyperelliptic Torelli group is the subgroup of the mapping class group consisting of elements that act trivially on the homology of the surface and that also commute with some fixed hyperelliptic involution. We prove a Birman exact sequence for hyperelliptic Torelli groups, and we show that this sequence splits. As a consequence, we show that the hyperelliptic Torelli group is generated by Dehn twists if and only if it is generated by reducible elements. We also give an application to the kernel of the Burau representation.
Let K(S) be the subgroup of the extended mapping class group, Mod(S), generated by Dehn twists about separating curves. In our earlier paper, we showed that Comm(K(S)) and Aut(K(S)) are both isomorphic to Mod(S) when S is a closed, connected, orientable surface of genus g at least 4. By modifying our original proof, we show that the same result holds for g at leat 3, thus confirming Farb's conjecture in all cases (the statement is not true for any g less than 3).
Johnson has defined a surjective homomorphism from the Torelli subgroup of the mapping class group of the surface of genus $g$ with one boundary component to $\wedge^3 H$, the third exterior product of the homology of the surface. Morita then extended Johnson's homomorphism to a homomorphism from the entire mapping class group to ${1/2} \wedge^3 H \semi \sp(H)$. This Johnson-Morita homomorphism is not surjective, but its image is finite index in ${1/2} \wedge^3 H \semi \sp(H)$. Here we give a description of the exact image of Morita's homomorphism. Further, we compute the image of the handlebody subgroup of the mapping class group under the same map.
In the 1970s, Birman-Craggs-Johnson used Rochlin's invariant for homology 3-spheres to construct a remarkable surjective homomorphism sigma:I_{g,1}->B_3, where I_{g,1} is the Torelli group and B_3 is a certain F_2-vector space of Boolean (square-free) polynomials. By pulling back cohomology classes and evaluating them on abelian cycles, we construct 16g^4 + O(g^3) dimensions worth of nontrivial elements of H^2(I_{g,1}, F_2) which cannot be detected rationally. These classes in fact restrict to nontrivial classes in the cohomology of the subgroup K_{g,1} < I_{g,1} generated by Dehn twists about separating curves. We also use the ``Casson-Morita algebra'' and Morita's integral lift of the Birman-Craggs-Johnson map restricted to K_{g,1} to give the same lower bound on H^2(K_{g,1},Z).
This article is about Artin's braid group and its role in knot theory. We set ourselves two goals: (i) to provide enough of the essential background so that our review would be accessible to graduate students, and (ii) to focus on those parts of the subject in which major progress was made, or interesting new proofs of known results were discovered, during the past 20 years. A central theme that we try to develop is to show ways in which structure first discovered in the braid groups generalizes to structure in Garside groups, Artin groups and surface mapping class groups. However, the literature is extensive, and for reasons of space our coverage necessarily omits many very interesting developments. Open problems are noted and so-labelled, as we encounter them.
Let Mod_{g,b} denote the mapping class group of a surface of genus g with b punctures. Feng Luo asked in a recent preprint if there is a universal upper bound, independent of genus, for the number of torsion elements needed to generate Mod_{g,b}. We answer Luo's question by proving that 3 torsion elements suffice to generate Mod_{g,0}. We also prove the more delicate result that there is an upper bound, independent of genus, not only for the number of torsion elements needed to generate Mod_{g,b} but also for the order of those elements. In particular, our main result is that 6 involutions (i.e. orientation-preserving diffeomorphisms of order two) suffice to generate Mod_{g,b} for every genus g >= 3, b = 0, and g >= 4, b = 1.
Formanek and Procesi have demonstrated that Aut(F_n) is not linear for n >2. Their technique is to construct nonlinear groups of a special form, which we call FP-groups, and then to embed a special type of automorphism group, which we call a poison group, in Aut(F_n), from which they build an FP-group. We first prove that poison groups cannot be embedded in certain mapping class groups. We then show that no FP-groups of any form can be embedded in mapping class groups. Thus the methods of Formanek and Procesi fail in the case of mapping class groups, providing strong evidence that mapping class groups may in fact be linear.