Timeline for Mapping class groups of $T^2 \times [0, 1]$ and $T^2 \times S^1$
Current License: CC BY-SA 4.0
9 events
| when toggle format | what | by | license | comment | |
|---|---|---|---|---|---|
| Jun 9, 2020 at 18:04 | comment | added | mme | Yes, sorry for not clarifying! | |
| Jun 9, 2020 at 17:39 | comment | added | Luca Iliesiu | Thanks! Just for clarification regarding the latter case, do you indeed mean that ``rel boundary'' is the case in which you fix diffs on the boundary pointwise and the $\mathbb Z/2 \times (GL_2(\mathbb Z) \rtimes T^2)$ when you don't fix the boundary pointwise? | |
| Jun 9, 2020 at 17:16 | comment | added | mme | $T^3$ is the group given by the 3-torus, aka $\Bbb R^3/\Bbb Z^3$, and the action of $GL_3(\Bbb Z)$ descends from the action on $\Bbb R^3$. When you take connected components (the mapping class group) you are just left with $GL_3(\Bbb Z)$. I just thought I would mention these slightly stronger results as well which include information on the higher homotopy groups of Diff in addition to the mapping class group $\pi_0$ Diff, because they are accessible thanks to Ivanov. | |
| Jun 9, 2020 at 17:00 | comment | added | Luca Iliesiu | Thanks a lot! What does the T^3 stand for in $GL_3(\mathbb Z) \rtimes T^3$? I think I might be misunderstanding the notation but you said that the mapping class group for the 3-torus is just $GL_3(\mathbb Z) $. Also, by ``rel boundary'' do you mean in the case in which you fix diffs on the boundary pointwise? | |
| Jun 9, 2020 at 14:38 | comment | added | mme | Then the mapping class group is $\Bbb Z^2$, generated by Dehn twists around each factor of the $T^2$ separately. This all requires a little bit of work but not too much from Waldhausen's result. In fact, you can compute using a result of Ivanov here the homotopy type of the entire diffeomorphism group; $GL_3(\Bbb Z) \rtimes T^3$ for the 3-torus, just $\Bbb Z^2$ for $T^2 \times I$ rel boundary, and $\Bbb Z/2 \times (GL_2(\Bbb Z) \rtimes T^2)$ for $T^2 \times I$. | |
| Jun 9, 2020 at 12:36 | history | edited | Luca Iliesiu | CC BY-SA 4.0 |
added 1 character in body; edited title
|
| Jun 9, 2020 at 12:35 | comment | added | Luca Iliesiu | Yes, for the former case, I am thinking about the diffeomorphisms which fix the boundary point-wise. | |
| Jun 8, 2020 at 23:11 | comment | added | mme | Do your diffeomorphisms and isotopies fix the boundary pointwise or no? For the latter the answer is $GL_3 \Bbb Z$, due to Waldhausen, who gives the answer for all Haken manifolds. | |
| Jun 8, 2020 at 23:04 | history | asked | Luca Iliesiu | CC BY-SA 4.0 |