Characteristic classes of Klein bottle bundles (Q517112): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
Property / review text | |||
Let \(\mathbb{K}\) denote the Klein bottle and let \(\mathrm{Diff}(\mathbb{K})\) be the group of diffeomorphisms of \(\mathbb{K}\). Let \(\mathrm{Diff}_0(\mathbb{K})\) denote the identity component of \(\mathrm{Diff}(\mathbb{K})\) and let \(\Gamma (\mathbb{K})\) be the mapping class group of \(\mathbb{K}\) defined by \(\Gamma(\mathbb{K})=\mathrm{Diff}(\mathbb{K})/\mathrm{Diff}_0(\mathbb{K})\). Since there is an isomorphism \(\Gamma (\mathbb{K})\cong \mathbb{Z}_2\times \mathbb{Z}_2\), there is a fibration sequence \[ B\mathrm{Diff}_0(\mathbb{K})\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(1)} \] where \(BG\) denotes the classifying space of a group \(G\). It follows from the results due to Earle-Eells and Gramain that the natural inclusion \(SO(2)\subset \mathrm{Diff}_0(\mathbb{K})\) is a homotopy equivalence, and the above sequence (1) reduces the fibration sequence \[ \mathbb{C}\mathrm{P}^{\infty}\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(2)} \] In this paper, the authors study the Serre spectral sequence of (2) and they prove that it collapses by using explicit computations of group cohomology. Next, by using the analysis of the generators of \(\Gamma (\mathbb{K})\), they prove that the inclusion \(\mathbb{Z}_2\times O(2)\subset \mathrm{Diff}(\mathbb{K})\) is a homotopy equivalence, and that there is a homotopy equivalence \(B\mathrm{Diff}(\mathbb{K})\simeq B(\mathbb{Z}_2)\times BO(2)\). Finally they give direct and concrete constructions for the Eilenberg-MacLane spaces \(K(\Gamma^q(\mathbb{K}),1)\), where \(\mathrm{Diff}(\mathbb{K},q)\) denotes the group of diffeomorphims of \(\mathbb{K}\) which leaves a fixed set of \(q\) distinct points invariant and \(\Gamma^q(\mathbb{K})=\pi_0(\mathrm{Diff}(\mathbb{K},q)).\) | |||
Property / review text: Let \(\mathbb{K}\) denote the Klein bottle and let \(\mathrm{Diff}(\mathbb{K})\) be the group of diffeomorphisms of \(\mathbb{K}\). Let \(\mathrm{Diff}_0(\mathbb{K})\) denote the identity component of \(\mathrm{Diff}(\mathbb{K})\) and let \(\Gamma (\mathbb{K})\) be the mapping class group of \(\mathbb{K}\) defined by \(\Gamma(\mathbb{K})=\mathrm{Diff}(\mathbb{K})/\mathrm{Diff}_0(\mathbb{K})\). Since there is an isomorphism \(\Gamma (\mathbb{K})\cong \mathbb{Z}_2\times \mathbb{Z}_2\), there is a fibration sequence \[ B\mathrm{Diff}_0(\mathbb{K})\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(1)} \] where \(BG\) denotes the classifying space of a group \(G\). It follows from the results due to Earle-Eells and Gramain that the natural inclusion \(SO(2)\subset \mathrm{Diff}_0(\mathbb{K})\) is a homotopy equivalence, and the above sequence (1) reduces the fibration sequence \[ \mathbb{C}\mathrm{P}^{\infty}\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(2)} \] In this paper, the authors study the Serre spectral sequence of (2) and they prove that it collapses by using explicit computations of group cohomology. Next, by using the analysis of the generators of \(\Gamma (\mathbb{K})\), they prove that the inclusion \(\mathbb{Z}_2\times O(2)\subset \mathrm{Diff}(\mathbb{K})\) is a homotopy equivalence, and that there is a homotopy equivalence \(B\mathrm{Diff}(\mathbb{K})\simeq B(\mathbb{Z}_2)\times BO(2)\). Finally they give direct and concrete constructions for the Eilenberg-MacLane spaces \(K(\Gamma^q(\mathbb{K}),1)\), where \(\mathrm{Diff}(\mathbb{K},q)\) denotes the group of diffeomorphims of \(\mathbb{K}\) which leaves a fixed set of \(q\) distinct points invariant and \(\Gamma^q(\mathbb{K})=\pi_0(\mathrm{Diff}(\mathbb{K},q)).\) / rank | |||
Normal rank | |||
Property / reviewed by | |||
Property / reviewed by: Kohhei Yamaguchi / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R35 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R20 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55R40 / rank | |||
Normal rank | |||
Property / Mathematics Subject Classification ID | |||
Property / Mathematics Subject Classification ID: 55P15 / rank | |||
Normal rank | |||
Property / zbMATH DE Number | |||
Property / zbMATH DE Number: 6695376 / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
mapping class group | |||
Property / zbMATH Keywords: mapping class group / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
configuration space | |||
Property / zbMATH Keywords: configuration space / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
Klein bottle | |||
Property / zbMATH Keywords: Klein bottle / rank | |||
Normal rank | |||
Property / zbMATH Keywords | |||
characteristic class | |||
Property / zbMATH Keywords: characteristic class / rank | |||
Normal rank |
Revision as of 04:25, 1 July 2023
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Characteristic classes of Klein bottle bundles |
scientific article |
Statements
Characteristic classes of Klein bottle bundles (English)
0 references
16 March 2017
0 references
Let \(\mathbb{K}\) denote the Klein bottle and let \(\mathrm{Diff}(\mathbb{K})\) be the group of diffeomorphisms of \(\mathbb{K}\). Let \(\mathrm{Diff}_0(\mathbb{K})\) denote the identity component of \(\mathrm{Diff}(\mathbb{K})\) and let \(\Gamma (\mathbb{K})\) be the mapping class group of \(\mathbb{K}\) defined by \(\Gamma(\mathbb{K})=\mathrm{Diff}(\mathbb{K})/\mathrm{Diff}_0(\mathbb{K})\). Since there is an isomorphism \(\Gamma (\mathbb{K})\cong \mathbb{Z}_2\times \mathbb{Z}_2\), there is a fibration sequence \[ B\mathrm{Diff}_0(\mathbb{K})\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(1)} \] where \(BG\) denotes the classifying space of a group \(G\). It follows from the results due to Earle-Eells and Gramain that the natural inclusion \(SO(2)\subset \mathrm{Diff}_0(\mathbb{K})\) is a homotopy equivalence, and the above sequence (1) reduces the fibration sequence \[ \mathbb{C}\mathrm{P}^{\infty}\to B\mathrm{Diff}(\mathbb{K})\to B(\mathbb{Z}_2\times \mathbb{Z}_2)\leqno{(2)} \] In this paper, the authors study the Serre spectral sequence of (2) and they prove that it collapses by using explicit computations of group cohomology. Next, by using the analysis of the generators of \(\Gamma (\mathbb{K})\), they prove that the inclusion \(\mathbb{Z}_2\times O(2)\subset \mathrm{Diff}(\mathbb{K})\) is a homotopy equivalence, and that there is a homotopy equivalence \(B\mathrm{Diff}(\mathbb{K})\simeq B(\mathbb{Z}_2)\times BO(2)\). Finally they give direct and concrete constructions for the Eilenberg-MacLane spaces \(K(\Gamma^q(\mathbb{K}),1)\), where \(\mathrm{Diff}(\mathbb{K},q)\) denotes the group of diffeomorphims of \(\mathbb{K}\) which leaves a fixed set of \(q\) distinct points invariant and \(\Gamma^q(\mathbb{K})=\pi_0(\mathrm{Diff}(\mathbb{K},q)).\)
0 references
mapping class group
0 references
configuration space
0 references
Klein bottle
0 references
characteristic class
0 references