Powers of the Euler class
type: Item
instance of: scholarly article
title: Powers of the Euler class
zbMATH Open document ID: 1242.57021
published in: Advances in Mathematics
publication date: 2012-03-02T00:00:00Z
review text: The paper under review is a correction and extension of the author's paper [``Vanishing powers of the Euler class'', Topology 40, No.5, 871--926 (2001; Zbl 0989.57016)] that contained a gap in the proof on p. 905. Now the vanishing result is redone under simpler hypotheses and, in addition, a non-vanishing result is included. Let \(G_{\delta}\) be the discrete group of orientation preserving homeomorphisms of the circle \(S^ 1\), and let \(G_{\tau}\) denote the topological group of orientation preserving homeomorphisms of \(S^ 1\). As in contrast to \(G_{\tau}\), there are subgroups \(K\) of \(G_{\delta}\) for which the powers of the discrete Euler class are non-vanishing only up to a certain dimension. More precisely, the author distinguishes \(E_ K^ {n}\in H^ {2n}(BK; \mathbb Z)\) (with \(BK\) being the classifying space of \(K\)) from \(e_ K^ {n}\in \text{Hom}(H_ {2n}(BK; \mathbb Z),\mathbb Z)\), referring to \(e_ K^ {n}\) as the \(n\)th power of the discrete Euler class of \(K\), and to \(E_ K^ {n}\) as the \(n\)th power of the primary discrete Euler class of \(K\). Supposing that we have a subgroup \(K \subset G_{\delta}\) acting on \(S^ 1\) by \(gx = g(x)\), this \(K\) acts on the infinite simplex \(\Delta^\infty\) which is a contractible simplicial complex whose \(q\)-simplices are \((q+1)\)-element subsets of points of \(S^ 1\). Supposing, in addition, that there exists a certain fundamental \(2p\)-simplex for the action of \(K\) with certain characteristic homeomorphisms that satisfy a certain commutativity condition and assuming that the isotropy subgroup for every \((2p-1)\)-simplex is trivial, the author proves the following main result: (a) \(E_ K^ {p}\) is an element of order \(2p(2p+1)\) in the cohomology group \(H^ {2p}(BK; \mathbb Z)\); (b) \(E_ K^ {n}=0\) for \(n>p\); (c) \(e_ K^ {n}=0\) for \(n\geq p\); (d) \(e_ K^ {n}\neq 0\) for \(n<p\). The author applies this result to the based mapping class group of a closed orientable surface of positive ge…
reviewed by: Július Korbaš
Mathematics Subject Classification ID: 57R20
Mathematics Subject Classification ID: 55R35
Mathematics Subject Classification ID: 57M99
zbMATH DE Number: 6011378
zbMATH Keywords: Euler class
zbMATH Keywords: homeomorphisms of the circle
zbMATH Keywords: mapping class group
zbMATH Keywords: characteristic simplex for a group action
zbMATH Keywords: fundamental simplex for a group action
author: Solomon Jekel
MaRDI profile type: Publication
full work available at URL: j.aim.2011.12.004
OpenAlex ID: W2038991877
cites work: Groups of real-analytic diffeomorphisms of the circle
cites work: Combinatorial Miller-Morita-Mumford classes and Witten cycles
cites work: Vanishing powers of the Euler class
cites work: The Euler class in homological algebra
cites work: On the tautological ring of \(\mathcal{M}_ g\)
cites work: The vanishing of the homology of certain groups of homeomorphisms
cites work: Q3977304
DOI: 10.1016/J.AIM.2011.12.004
description: scientific article; zbMATH DE number 6011378