Skip to main content
added 60 characters in body
Source Link
qkqh
  • 347
  • 1
  • 9

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

(Is the former $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\}?)$$

At least, I want to know whether they are known or open.

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

(Is the former $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\}?)$$

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

(Is the former $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\}?)$$

At least, I want to know whether they are known or open.

added 144 characters in body
Source Link
qkqh
  • 347
  • 1
  • 9

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

(Is the former $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\}?)$$

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

(Is the former $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\}?)$$

formatting for readibility
Source Link
YCor
  • 63.9k
  • 5
  • 187
  • 286

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $Mod(S)$$\operatorname{Mod}(S)$ and $PMod(S)$$\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$Mod(S_{g,p}^1)\to Aut(\pi_1(S_{g,p}^1))$$,$$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $Mod(S_{0,p}^1)$ (which$\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group), $PMod(S_{0,p}^1)$ (which$\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group), and $Mod(S_{g,0}^1)=PMod(S_{g,0}^1)$$\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $\{\phi | \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)}, \sigma\in \mathfrak{S}_p, \phi \textrm{ fixes the boundary}\}$,$$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $\{\phi | \phi(x_i)\textrm{ is a conjugate of }x_i, \phi \textrm{ fixes the boundary}\}$,$$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $\{\phi | \phi \textrm{ fixes the boundary}\}$, respectively, where$$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $PMod(S_{g,p}^1)$ (which$\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $Mod(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$$\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $Mod(S_{g,p}^1)$$\operatorname{Mod}(S_{g,p}^1)$?

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $Mod(S)$ and $PMod(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$Mod(S_{g,p}^1)\to Aut(\pi_1(S_{g,p}^1))$$, and the image of $Mod(S_{0,p}^1)$ (which is isomorphic to the braid group), $PMod(S_{0,p}^1)$ (which is isomorphic to the pure braid group), $Mod(S_{g,0}^1)=PMod(S_{g,0}^1)$ are known: $\{\phi | \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)}, \sigma\in \mathfrak{S}_p, \phi \textrm{ fixes the boundary}\}$, $\{\phi | \phi(x_i)\textrm{ is a conjugate of }x_i, \phi \textrm{ fixes the boundary}\}$, $\{\phi | \phi \textrm{ fixes the boundary}\}$, respectively, where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $PMod(S_{g,p}^1)$ (which is isomorphic to $Mod(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $Mod(S_{g,p}^1)$?

Let $S_{g,p}^n$ be a compact oriented surface of genus $g$ with $p$ punctures and $n$ boundary components, and $\operatorname{Mod}(S)$ and $\operatorname{PMod}(S)$ be the mapping class group and the pure mapping class group of $S$, respectively. Suppose $n >0$ and fix a base point on a boundary. I know that there is a natural monomorphism $$\operatorname{Mod}(S_{g,p}^1)\to \operatorname{Aut}(\pi_1(S_{g,p}^1)),$$ and the image of $\operatorname{Mod}(S_{0,p}^1)$, which is isomorphic to the braid group, $\operatorname{PMod}(S_{0,p}^1)$, which is isomorphic to the pure braid group, and $\operatorname{Mod}(S_{g,0}^1)=\operatorname{PMod}(S_{g,0}^1)$ are known: respectively $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_{\sigma(i)},\;\sigma\in \mathfrak{S}_p, \; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi(x_i)\textrm{ is a conjugate of }x_i,\; \phi \textrm{ fixes the boundary}\},$$ $$\{\phi \mid \phi \textrm{ fixes the boundary}\},$$ where $x_i$ correspond the punctures, $\mathfrak{S}_p$ is the symmetric group.

How about the image of $\operatorname{PMod}(S_{g,p}^1)$, which is isomorphic to $\operatorname{Mod}(S_{g,0}^{p+1})/\langle\textrm{boundary Dehn twists}\rangle$), and $\operatorname{Mod}(S_{g,p}^1)$?

edited body
Source Link
qkqh
  • 347
  • 1
  • 9
Loading
Source Link
qkqh
  • 347
  • 1
  • 9
Loading