Smooth actions of p-toral groups on Z-acyclic manifolds

DOI10.1134/S0081543819030155MaRDI QIDQ2285408zbMATH OpenOpenAlexFDO

Authors Jan Pulikowski, Krzysztof Pawałowski

Publication date 8 January 2020

Published in Proceedings of the Steklov Institute of Mathematics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1134/s0081543819030155

zbMATH Keywords

\(p\)-toral group, \(p\)-group, fixed point setsmooth action

Mathematics Subject Classification ID

Compact Lie groups of differentiable transformations (57S15) Finite transformation groups (57S17) Groups acting on specific manifolds (57S25)

Review text

The authors prove, first, the following result (previously announced in print) giving necessary and sufficient conditions for the existence of an action of a \(p\)-toral group (i.e. a finite \(p\)-group or an extension of a finite \(p\)-group by a torus) on a disk (or Euclidean space) with a given manifold fixed point set: Theorem A. Let \(G\) be a \(p\)-toral group and let \(M\) be a compact (respectively, open) smooth manifold. Then a smooth action of \(G\) on a disk (respectively, Euclidean space) \(E\) such that \(\mathrm{Fix}^G(E)\) is diffeomorphic to \(M\) exists if and only if \(M\) is both \(\mathbb{F}_p\)-acyclic and stably complex. The authors' proof, which fixes a gap in the literature, is based on the use of \(G\)-equivariant \(K\)-theory to solve a \(G\)-vector bundle extension problem, along with \(G\)-equivariant thickening techniques used to turn a \(G\)-CW complex into a smooth \(G\)-manifold. These tools also yield a proof of the following generalization of Theorem A, corresponding to the second main result in the article: Theorem B. Let \(G\) be a \(p\)-toral group and let \(M\) be a compact (respectively, open) smooth manifold. Let \(K\) be a finite \(\mathbb{Z}\)-acyclic CW complex admitting a cellular map of period \(p\), with exactly one fixed point. Then a smooth action of \(G\) on a compact (respectively, open) smooth manifold \(E\) of the homotopy type of \(K\) such that \(\mathrm{Fix}^G(E)\) is diffeomorphic to \(M\) exists if and only if \(M\) is both \(\mathbb{F}_p\)-acyclic and stably complex.

Recommendations

• Fixed point sets of smooth group actions on disks and Euclidean spaces
• Fixed point sets and tangent bundles of actions on disks and Euclidean spaces
• scientific article; zbMATH DE number 3980047
• scientific article; zbMATH DE number 3934054
• Fixed-point free SU(n)-actions on acyclic manifolds

Cites work

• Finite group actions on simply-connected manifolds and CW complexes
• Fixed point sets and tangent bundles of actions on disks and Euclidean spaces
• Fixed point sets of group actions on Euclidean space
• Fixed point sets of smooth group actions on disks and Euclidean spaces
• scientific article; zbMATH DE number 1860603 (Why is no real title available?)
• scientific article; zbMATH DE number 3257143 (Why is no real title available?)
• scientific article; zbMATH DE number 3390006 (Why is no real title available?)
• On the Existence and Classification of Extensions of Actions on Submanifolds of Disks and Spheres
• The converse to the fixed point theorem of P. A. Smith. I

Cited in

(3)

• Torus and \(\mathbb Z/p\) actions on manifolds.
• Nonsmoothable Zp actions on contractible 4-manifolds.
• Fixed point sets of smooth group actions on disks and Euclidean spaces

This page was built for publication: Smooth actions of \(p\)-toral groups on \(\mathbb{Z}\)-acyclic manifolds

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2285408)