Local surgery obstructions and space forms (Q1066526)
From MaRDI portal
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Local surgery obstructions and space forms |
scientific article |
Statements
Local surgery obstructions and space forms (English)
0 references
1986
0 references
Let \(\pi ={\mathbb{Z}}/m\rtimes \sigma\) be a metacyclic group with m odd, \(\sigma ={\mathbb{Z}}/2^ k\) and ker(t: \(\sigma\) \(\to ({\mathbb{Z}}/m)^{\times})\neq 1\). Then \(\pi\) has a free linear representation V with dim V\(=2q\), where \(q=2^{\ell}=| Im t|\). Let \(N=S(V)/\pi\) have k-invariant \(g(N)\in H^{2q}(\pi,{\mathbb{Z}})\), then if \((r,| \pi |)=1\) the class rg(N) is the first k-invariant (determining the homotopy type) of a free simplicial action of \(\pi\) on \(S^{2q-1}\). We study when such actions can be smoothed. Theorem 1. Let \(2q=2^{\ell +1}\geq 6\) and \(r\equiv 1 (mod 4)\). Assume \(| \ker t| =2\) and -1\(\in Im t\). Then \(\pi\) acts freely on \(S^{2q-1}\) with k-invariant rg(N) if and only if \(r\in ({\mathbb{Z}}/m)^{\times 2^{\ell}}.\) Theorem 2. Let \(\pi =Q(4m)\) be a quaternionic group of the above type \((k=2,\ell =1)\). Then if \(\pi\) acts freely on \(S^{4q-1}\) for any \(q\geq 1\), the action is homotopically linear. From the first result many nonlinear homotopy types of smooth actions occur. Also the condition given is necessary even for actions on \(S^ 3\). The second is an essential step in studying the existence of free actions of general periodic groups on spheres. The analogous problem for semi-free actions of \(\pi\) on \({\mathbb{R}}^{2q}\) fixing only the origin is also studied. Here the linear models are the representation spaces V. Necessary and sufficient conditions are given for all the metacyclic groups above, and again many nonlinear homotopy types arise.
0 references
local surgery obstructions
0 references
space forms
0 references
free simplicial action on
0 references
\(S^{2q-1}\)
0 references
semi-free actions on \({\mathbb{R}}^{2q}\)
0 references
smoothing actions
0 references
metacyclic group
0 references
k-invariant
0 references
quaternionic group
0 references
homotopically linear
0 references
free actions of general periodic groups on spheres
0 references
nonlinear homotopy types
0 references
0 references