scholarly journals The first homology group of the hyperelliptic mapping class group with twisted coefficients

2001 ◽  
Vol 115 (1) ◽  
pp. 19-42 ◽  
Author(s):  
Atsushi Tanaka
2009 ◽  
Vol 146 (1) ◽  
pp. 109-118 ◽  
Author(s):  
YUSUKE KUNO

AbstractWe present a formula expressing Earle's twisted 1-cocycle on the mapping class group of a closed oriented surface of genus ≥ 2 relative to a fixed base point, with coefficients in the first homology group of the surface. For this purpose we compare it with Morita's twisted 1-cocycle which is combinatorial. The key is the computation of these cocycles on a particular element of the mapping class group, which is topologically a hyperelliptic involution.


2011 ◽  
Vol 03 (03) ◽  
pp. 265-306 ◽  
Author(s):  
ANDREW PUTMAN

We calculate the first homology group of the mapping class group with coefficients in the first rational homology group of the universal abelian ℤ/L-cover of the surface. If the surface has one marked point, then the answer is ℚτ(L), where τ(L) is the number of positive divisors of L. If the surface instead has one boundary component, then the answer is ℚ. We also perform the same calculation for the level L subgroup of the mapping class group. Set HL = H1(Σg; ℤ/L). If the surface has one marked point, then the answer is ℚ[HL], the rational group ring of HL. If the surface instead has one boundary component, then the answer is ℚ.


1998 ◽  
Vol 123 (3) ◽  
pp. 487-499 ◽  
Author(s):  
MUSTAFA KORKMAZ

Recall that the first homology group H1(G) of a group G is the derived quotient G/[G, G]. The first homology groups of the mapping class groups of closed orientable surfaces are well known. Let F be a closed orientable surface of genus g. Recall that the extended mapping class group [Mscr ]*F of the surface F is the group of the isotopy classes of self-homeomorphisms of F. The mapping class group [Mscr ]F of F is the subgroup of [Mscr ]*F consisting of the isotopy classes of orientation-preserving self-homeomorphisms of F. It is well known that [Mscr ]F is trivial if F is a sphere. Hence the first homology group of the mapping class group of a sphere is trivial. If the genus of F is at least three, then H1([Mscr ]F) is again trivial. This result is due to Powell [P]. The group H1([Mscr ]F) is Z10 if the genus of F is two, proved by Mumford [Mu], and Z12 if F is a torus. When a problem about orientable surfaces is solved, it is natural to ask the corresponding problem for nonorientable surfaces. This is our motivation for the present paper.


Author(s):  
Benson Farb ◽  
Dan Margalit

This chapter considers the Dehn–Lickorish theorem, which states that when g is greater than or equal to 0, the mapping class group Mod(Sɡ) is generated by finitely many Dehn twists about nonseparating simple closed curves. The theorem is proved by induction on genus, and the Birman exact sequence is introduced as the key step for the induction. The key to the inductive step is to prove that the complex of curves C(Sɡ) is connected when g is greater than or equal to 2. The simplicial complex C(Sɡ) is a useful combinatorial object that encodes intersection patterns of simple closed curves in Sɡ. More detailed structure of C(Sɡ) is then used to find various explicit generating sets for Mod(Sɡ), including those due to Lickorish and to Humphries.


Author(s):  
Jacob Russell ◽  
Davide Spriano ◽  
Hung Cong Tran

AbstractWe show the mapping class group, $${{\,\mathrm{CAT}\,}}(0)$$ CAT ( 0 ) groups, the fundamental groups of closed 3-manifolds, and certain relatively hyperbolic groups have a local-to-global property for Morse quasi-geodesics. This allows us to generalize combination theorems of Gitik for quasiconvex subgroups of hyperbolic groups to the stable subgroups of these groups. In the case of the mapping class group, this gives combination theorems for convex cocompact subgroups. We show a number of additional consequences of this local-to-global property, including a Cartan–Hadamard type theorem for detecting hyperbolicity locally and discreteness of translation length of conjugacy classes of Morse elements with a fixed gauge. To prove the relatively hyperbolic case, we develop a theory of deep points for local quasi-geodesics in relatively hyperbolic spaces, extending work of Hruska.


2018 ◽  
Vol 27 (06) ◽  
pp. 1850043 ◽  
Author(s):  
Paul P. Gustafson

We show that any twisted Dijkgraaf–Witten representation of a mapping class group of an orientable, compact surface with boundary has finite image. This generalizes work of Etingof et al. showing that the braid group images are finite [P. Etingof, E. C. Rowell and S. Witherspoon, Braid group representations from twisted quantum doubles of finite groups, Pacific J. Math. 234 (2008)(1) 33–42]. In particular, our result answers their question regarding finiteness of images of arbitrary mapping class group representations in the affirmative. Our approach is to translate the problem into manipulation of colored graphs embedded in the given surface. To do this translation, we use the fact that any twisted Dijkgraaf–Witten representation associated to a finite group [Formula: see text] and 3-cocycle [Formula: see text] is isomorphic to a Turaev–Viro–Barrett–Westbury (TVBW) representation associated to the spherical fusion category [Formula: see text] of twisted [Formula: see text]-graded vector spaces. The representation space for this TVBW representation is canonically isomorphic to a vector space of [Formula: see text]-colored graphs embedded in the surface [A. Kirillov, String-net model of Turaev-Viro invariants, Preprint (2011), arXiv:1106.6033 ]. By analyzing the action of the Birman generators [J. Birman, Mapping class groups and their relationship to braid groups, Comm. Pure Appl. Math. 22 (1969) 213–242] on a finite spanning set of colored graphs, we find that the mapping class group acts by permutations on a slightly larger finite spanning set. This implies that the representation has finite image.


2008 ◽  
Vol 17 (01) ◽  
pp. 47-53 ◽  
Author(s):  
PING ZHANG

It is shown that for the braid group Bn(M) on a closed surface M of nonnegative Euler characteristic, Out (Bn(M)) is isomorphic to a group extension of the group of central automorphisms of Bn(M) by the extended mapping class group of M, with an explicit and complete description of Aut (Bn(S2)), Aut (Bn(P2)), Out (Bn(S2)) and Out (Bn(P2)).


Sign in / Sign up

Export Citation Format

Share Document