Topology of groups of automorphisms of surfaces, and high dimensional analogues.

**1**

vote

**0**answers

39 views

### Injectivity of the Dehn-Nielsen-Baer map?

If $S$ is a closed hyperbolic surface, is there an easy proof of the injectivity of the Dehn-Nielsen-Baer map from $\mathrm{Mod}(S)$ to $\mathrm{Out}(\pi_1(S))$, taking an element of the mapping class ...

**2**

votes

**1**answer

69 views

### Defining relations of mapping class group for genus 2 closed surface

We know that mapping class group (MCG) $\Gamma_1$ for genus 1 closed surface
is generated by two elements: $U$ of order 6 and $S$ of order 4.
There is a defining relation that totally fixed the MCG ...

**2**

votes

**0**answers

97 views

### How do we see the rank of the braid group?

The only presentation of the braid group that most people ever see is the standard Artin presentation
$$B_n=\langle σ_1,\cdots,σ_{n−1}|\ σ_iσ_j=σ_jσ_i\ \ (|i−j|>1),\ σ_iσ_{i+1}σ_i=σ_{i+1}σ_i ...

**4**

votes

**1**answer

220 views

### Ivanov's metaconjecture on surface homeomorphisms.

In Fifteen problems about MCG Ivanov stated the following metaconjecture:
Every object naturally associated to a surface S and having
a sufficiently rich structure has $Mod(S)$ as its groups of ...

**2**

votes

**0**answers

68 views

### Self-diffeomorphisms of fibered knot complements

A knot $K \subset S^3$ is fibered if the complement $S^3 \setminus K$ of (a small open neighborhood of) $K$ is a fiber bundle over $S^1$. (The fiber will be a surface with one boundary component.)
...

**1**

vote

**0**answers

115 views

### Torsion elements in the mapping class group

Let $S$ be an orientable surface of genus $g$ with $b>0$ boundary components, and let $\mathrm{Mod}(S)$ be its mapping class group, that is, the group of isotopy classes of its homeomorphisms ...

**4**

votes

**2**answers

227 views

### Geometrisation of inclusion-like epimorphisms to free groups

Let $H_g$ be the standard $3$-dimensional handle-body, whose boundary is denoted $S_g$, the oriented closed surface of genus $g\geq 1$.
Call $F_g$ be the free group of rank $g$.
Denote by $i:S_g \to ...

**1**

vote

**1**answer

321 views

### Isomorphism between a mapping class group and the fundamental group of a moduli space

For some fixed integer $d \geq 3$, let $M(0, d)$ be the mapping class group of self-homeomorphisms of the Riemann sphere which fix each of the $d$ points $0, 1, ... , d-2, \infty$. Let $X$ be the ...

**0**

votes

**1**answer

127 views

### Action of the pure braid group on the commutator subgroup of a free group

Let $P=P_n$ be the pure braid group on $n$ strands and $F=F_n$ the free group on $n$ generators. I'm interested in a nice description of the action of $P$ on the derived subgroup $F'$ which somehow ...

**3**

votes

**1**answer

120 views

### Dehn twist about an arbitrary curve

I need to know if there is an algortihm to write down a Dehn twist about an arbitrary curve on an orientable surface $S$ , as product of a set of generators of $MCG(S)$.
Since we have the conjugacy ...

**3**

votes

**1**answer

70 views

### Extension of the group $Sp(2g,\mathbb{Z})$

It is known that there is a surjective homomorphism from the genus $g$ mapping class group $M_g$ to $Sp(2g,\mathbb{Z})$. Is there any non-trivial extension of $Sp(2g,\mathbb{Z})$ by $\mathbb{Z}_2$ , ...

**14**

votes

**3**answers

475 views

### Which mapping class group representations come from algebraic geometry?

Let $\Gamma_g$ be the mapping class group of a closed oriented surface $\Sigma$ of genus $g$. There is a natural surjection $t \colon \Gamma_g \to \mathrm{Sp}(2g,\mathbf Z)$ which sends a mapping ...

**4**

votes

**1**answer

138 views

### Classification of elements in mapping class groups

Recently I start learning mapping class group. The Nielsen-Thurston classification says that each element in mapping class group $Mod(S_{g,n}),g,n\geq 0$ is periodic, reducible, or pseudo-Anosov. Take ...

**0**

votes

**0**answers

91 views

### Mapping class group and fundamental group of a 3 manifold

If the 3 manifold is Haken, then the natural homomorphism from the mapping class group of this 3 manifold to the outer automorphism of its fundamental group is an isomorphism.
Any other kind of 3 ...

**9**

votes

**1**answer

250 views

### Finite subgroups of mapping class groups

Given a closed, oriented surface $\Sigma$ of genus greater than 1, let $Mod(\Sigma)$ denote the mapping class group of orientation preserving diffeomorphisms of $\Sigma$ up to isotopy. Given any ...

**3**

votes

**1**answer

134 views

### A query about Hatcher flow on arc complex

In the paper "Triangulations of Surfaces" Hatcher proved that the arc complex associated to a punctured surface is contractible. The main proof is divided into two parts. In the first part he assumes ...

**5**

votes

**0**answers

204 views

### Some questions about geodesic lamination

I'm learning geodesic laminations on surfaces. Here are some questions I thought a lot but could not understand well.
We consider a complete finite area hyperbolic surface $S$ w/o geodesic boundary. ...

**3**

votes

**1**answer

72 views

### Distorsion of subgroups of the mapping class group

Let $S_{g,b}$ be an oriented surface with $b$ boundary components and $S_g^b$ be an oriented surface with $b$ punctures. Let $\mathrm{Mod}(S_{g,b})$ and $\mathrm{Mod}(S_g^b)$ their (orientation ...

**4**

votes

**0**answers

95 views

### Centralizers and intersections in the Gromov-boundary of the mapping class group

The mapping class group of a punctured surface $\Sigma$ is weakly relatively hyperbolic (see below), hence it is well defined the Gromov-boundary with respect to the relative metric.
First question: ...

**1**

vote

**0**answers

39 views

### Connectivity and contarctibility of complexes associated to curves and arcs

There are various complexes associated to a surface using the curves and arcs e.g. Curve complex, Arc complex, curve arc complex and so on (for a collection of such objects see This). Now to ...

**0**

votes

**1**answer

116 views

### A doubt from “Geometry of the complex of curves II: Hierarchical structure” by Masur and Minsky

In the paper "Geometry of the complex of curves II: Hierarchical structure" (Paper) there is a construction of curve complex for an Annular subdomain (2.4). The construction depends on the domain ...

**3**

votes

**1**answer

131 views

### In H_2 of Sp(2g,Z), why does Meyer's signature cocycle give 4 times a generator?

Fix some $g \geq 2$, let $\Gamma_g$ be the mapping class group of a genus $g$ surface, and let $\pi : \Gamma_g \rightarrow Sp(2g,\mathbb{Z})$ be the projection. In
Meyer, Werner
Die Signatur von ...

**3**

votes

**2**answers

212 views

### Nielsen-Thurston classification of homeomorphisms for open surfaces?

In Proposition 3.1. in this article by John Franks, he applies the Nielsen-Thurston classification of surface homeomorphisms to a homeomorphism $ \ f:M \rightarrow M$ of an open surface $M$ which is ...

**5**

votes

**0**answers

166 views

### Third cohomology of mapping class group

I would like to know the third cohomology with coefficients in $U(1)$ or $\mathbb{C}^\ast$ of the mapping class group of a surface of genus at least one. I found many results on the rational ...

**3**

votes

**0**answers

128 views

### Lie Group Isomorphisms

I'm not sure of the difficulty of the question I'm about to ask. If it does not fit the criteria for this site then I apologize in advance, I'm rather new here.
So here it goes: Let $G$ be a Lie ...

**0**

votes

**1**answer

189 views

### from Dehn twists to surgery diagram [closed]

Assume the relation $(ab)^6=1$, for $a$ and $b$ Dehn twists about the meridian and the longitude of a torus. Now if we glue the two ends of $T\times I$ together by either the diffeomorphism $(ab)^6$ ...

**4**

votes

**1**answer

135 views

### (Un)distorted subgroups in the mapping class group: reference required.

Let $S$ be an orientable surface with negative Euler characteristic. Can somebody provide a reference for the following well-known results:
the cyclic subgroup generated by a pseudo-Anosov element ...

**9**

votes

**1**answer

163 views

### Mapping class group vs automorphism group in cobordism category

Let $3Cob$ be the category whose objects are closed surfaces and whose morphisms are diffeomorphism classes of cobordisms.
By sending a diffeomorphism $\phi$ of a surface $X$ to its associated ...

**2**

votes

**2**answers

304 views

### Origin of the name “Torelli group”

The genus $g$ Torelli group $I_g$ is the kernel of the action of the mapping class group of a genus $g$ surface on the first homology group of the surface.
The first paper I am aware of that uses the ...

**7**

votes

**1**answer

149 views

### What is the order of the isotopy group of the Brieskorn homology 3-sphere?

Let $\Sigma(p,q,r)$ be the Brieskorn homology 3-sphere with $\frac{1}{p}+\frac{1}{q}+\frac{1}{r}<1$ (so not the 3-sphere or the Poincare sphere). The fundamental group is given by $$ ...

**6**

votes

**2**answers

192 views

### Are there some list of the finite subgroups of the mapping class groups of low genus surfaces?

We already know the bound of the order of the finite subgroups of the $Mod(S_g)$. If we take a further step, to find all the finite subgroups, then what is the result for low genus cases? For example, ...

**1**

vote

**1**answer

316 views

### Explicit computation of the action of a Dehn twist on the fundamental group of a surface

Let $S$ be a compact orientable surface of genus $g$. Now let $p\in S$ and $\gamma$ a closed simple curve on $S$ disjoint from $p$. It is not very difficult to compute the action of a Dehn twist along ...

**2**

votes

**2**answers

256 views

### Action of Mapping Class Group on Arc complex

Suppose $S$ is a surface of finite type with nonempty boundary. Now consider the arc complex $\mathcal{A}$. The action of Mod(S)(mapping class group) on the set of all vertices has finitely many ...

**-1**

votes

**1**answer

149 views

### Homeomorphism of the punctured sphere which fixes an essential Jordan curve

$\phi$ is a homeomorphism from the 2-sphere to itself which represents an element of $PMCG(S^2,A)$ (we also denote it by $\phi$), where $A$ is a finite set of $S^2$. $\gamma$ is an essential Jordan ...

**8**

votes

**1**answer

185 views

### Mapping class groups of small Seifert-fibred 3-manifolds

Are computations of the mapping class groups of small Seifert-fibred 3-manifolds recorded in some convenient location?
For most Seifert manifolds working out the mapping class group is easy-enough ...

**1**

vote

**1**answer

104 views

### Centralizer of a pseudo-Anosov element

What is the centralizer of a pseudo-Anosov element in the mapping class group of an orientable punctured surface? Is it cyclic? If so, where can I find a proof?

**10**

votes

**1**answer

319 views

### Mapping class group and CAT(0) spaces

I hope the questions are not too vague.
Is the mapping class group of an orientable punctured surface $CAT(0)$ ?
Is any of the remarkable simplicial complexes (curve complex, arc complex...) built ...

**3**

votes

**0**answers

161 views

### Mapping One Curve to another using Dehn Twists

Let $M$ be an orientable surface with genus $g>1$. Let $\alpha$ and $\beta$ represent two different isotopy classes of essential curves on the surface. Is anyone aware of a technique or algorithm ...

**1**

vote

**0**answers

78 views

### Isomorphism type of mapping class group

Let $MCG(S_{g,b}^s)$ be the mapping class group of a surface $S_{g,b}^s$. Assume that it is not trivial.
Is it true that $MCG(S_{g,b}^s)$ is isomorphic to $MCG(S_{g',b'}^{s'})$ if and only if $ ...

**1**

vote

**1**answer

174 views

### Mapping class groups of a punctured surface vs. surface with boundary

Let $S_{g,b}$ an orientable surface with genus $g$ and $b$ boundary components and $S_g^b$ be an orientable surface with $b$ punctures.
Denote by $PMCG(S_g^b)$ and $PMCG(S_{g,b}) $ the pure mapping ...

**1**

vote

**1**answer

158 views

### Quasi-isometric embeddings of the mapping class group into the Teichmuller space

Does there exist a quasi-isometric embedding
$$MCG(S) \to (\mathrm{Teich}(S), d)$$
for $d$ any "known" distance on the Teichmuller space (i.e. Teichmuller, Weil-Petersson, Thurston...) ?

**10**

votes

**4**answers

502 views

### How to detect a simple closed curve from the element in the fundamental group?

(1) Given a fundamental group representation of a hyperbolic surface, i.e. $<a_j,b_j|\prod[a_j,b_j]=1>$, and given an element in this group, can we determine whether this element can be ...

**-1**

votes

**1**answer

218 views

### mapping class group of a surface

I want to know what techniques are known to present a diffeomorphism on a surface with boundary (the diffeomorphism is not necessarily the identity restricted to the boundary) as product of Dehn ...

**0**

votes

**2**answers

299 views

### Convexity of a minimum function

I was reading a proof of $9g-9$ theorem which states that $9g-9$ length parameters are sufficient the parametrize the Teichmuller space of a closed surface of genus $g$. The proof uses the following ...

**2**

votes

**1**answer

386 views

### hyperelliptic involution on a surface

What is the Dehn twist factorization of the hyperelliptic involution on an oriented surface of genus g (with one boundary component)?

**3**

votes

**1**answer

261 views

### Iterated Lefschetz numbers

Given a pseudo Anosov mapping class $f:S_{g,n}\rightarrow S_{g,n}$ is the Lefschetz number for $f^m$ negative for some $m$ depending only on $(g,n)$?
The Lefschetz number of a mapping class $f$ can ...

**4**

votes

**0**answers

255 views

### Relationship between virtual cohomological dimension and tautological rings for moduli spaces of curves

Here's the short version of the question. For $M_{g,n}$, $M_{g,n}^{rt}$, $M_{g,n}^{ct}$ and $\overline M_{g,n}$ it seems that the virtual cohomological dimension is given by the complex dimension plus ...

**2**

votes

**1**answer

217 views

### Divergence of geodesics in mapping class groups

I'm trying to learn some stuff about divergence of geodesics. Let $\gamma$ be a geodesic in a metric space $X$. The divergence of $\gamma$ is a function $f(r)$ for $r \ge 0$ such that $f(r)$ is the ...

**8**

votes

**2**answers

394 views

### Reference request: Spin structures on surfaces and the spin mapping class group

I am looking for references on the following: Spin structures on surfaces, and particularly the spin mapping class group.
What is known about generating the spin mapping class group? Has anybody ...

**7**

votes

**1**answer

248 views

### Cohomology of the genus 2 mapping class group

Is the cohomology of the genus 2 mapping class group (that is, the cohomology of the moduli stack $M_2$ of genus 2 curves) known? I'd be interested in references. The rational cohomology is known to ...