scholarly journals EXTENSIONS OF JOHNSON'S AND MORITA'S HOMOMORPHISMS THAT MAP TO FINITELY GENERATED ABELIAN GROUPS

2013 ◽  
Vol 05 (01) ◽  
pp. 57-85 ◽  
Author(s):  
MATTHEW B. DAY

We extend each higher Johnson homomorphism to a crossed homomorphism from the automorphism group of a finite-rank free group to a finite-rank abelian group. We also extend each Morita homomorphism to a crossed homomorphism from the mapping class group of once-bounded surface to a finite-rank abelian group. This improves on the author's previous results [5]. To prove the first result, we express the higher Johnson homomorphisms as coboundary maps in group cohomology. Our methods involve the topology of nilpotent homogeneous spaces and lattices in nilpotent Lie algebras. In particular, we develop a notion of the "polynomial straightening" of a singular homology chain in a nilpotent homogeneous space.

2020 ◽  
Vol 26 (5) ◽  
Author(s):  
Manuel Krannich

AbstractWe compute the mapping class group of the manifolds $$\sharp ^g(S^{2k+1}\times S^{2k+1})$$ ♯ g ( S 2 k + 1 × S 2 k + 1 ) for $$k>0$$ k > 0 in terms of the automorphism group of the middle homology and the group of homotopy $$(4k+3)$$ ( 4 k + 3 ) -spheres. We furthermore identify its Torelli subgroup, determine the abelianisations, and relate our results to the group of homotopy equivalences of these manifolds.


2009 ◽  
Vol 148 (3) ◽  
pp. 473-483 ◽  
Author(s):  
MUSTAFA KORKMAZ ◽  
ATHANASE PAPADOPOULOS

AbstractWe study the arc and curve complex AC(S) of an oriented connected surface S of finite type with punctures. We show that if the surface is not a sphere with one, two or three punctures nor a torus with one puncture, then the simplicial automorphism group of AC(S) coincides with the natural image of the extended mapping class group of S in that group. We also show that for any vertex of AC(S), the combinatorial structure of the link of that vertex characterizes the type of a curve or of an arc in S that represents that vertex. We also give a proof of the fact if S is not a sphere with at most three punctures, then the natural embedding of the curve complex of S in AC(S) is a quasi-isometry. The last result, at least under some slightly more restrictive conditions on S, was already known. As a corollary, AC(S) is Gromov-hyperbolic.


2020 ◽  
pp. 1-15
Author(s):  
Asaf Hadari

Let [Formula: see text] be either the mapping class group of a closed surface of genus [Formula: see text], or the automorphism group of a free group of rank [Formula: see text]. Given any homological representation [Formula: see text] of [Formula: see text] corresponding to a finite cover, and any term [Formula: see text] of the Johnson filtration, we show that [Formula: see text] has finite index in [Formula: see text], the Torelli subgroup of [Formula: see text]. Since [Formula: see text] for [Formula: see text], this implies for instance that no such representation is faithful.


Author(s):  
MARK C. BELL ◽  
VALENTINA DISARLO ◽  
ROBERT TANG

AbstractWe introduce the polygonalisation complex of a surface, a cube complex whose vertices correspond to polygonalisations. This is a geometric model for the mapping class group and it is motivated by works of Harer, Mosher and Penner. Using properties of the flip graph, we show that the midcubes in the polygonalisation complex can be extended to a family of embedded and separating hyperplanes, parametrised by the arcs in the surface.We study the crossing graph of these hyperplanes and prove that it is quasi-isometric to the arc complex. We use the crossing graph to prove that, generically, different surfaces have different polygonalisation complexes. The polygonalisation complex is not CAT(0), but we can characterise the vertices where Gromov's link condition fails. This gives a tool for proving that, generically, the automorphism group of the polygonalisation complex is the (extended) mapping class group of the surface.


2010 ◽  
Vol 20 (03) ◽  
pp. 437-456 ◽  
Author(s):  
FERIHE ATALAN

Let Ng be the connected closed nonorientable surface of genus g ≥ 5 and Mod (Ng) denote the mapping class group of Ng. We prove that the outer automorphism group of Mod (Ng) is cyclic.


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