Characteristic classes of Klein bottle bundles (Q517112): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
Importer (talk | contribs)
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

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references