Constructing free actions of \(p\)-groups on products of spheres. (English) Zbl 1237.57037

Klaus, Michele

Algebr. Geom. Topol. 11, No. 5, 3065-3084 (2011).

The algebraic rank of a group \(G\), \(rk(G)\), is the largest integer \(k\) such that there is a prime \(p\) such that \((\mathbb{Z}/p)^k< G\). The homotopy rank of \(G\), \(hrk(G)\), is the smallest integer \(k\) such that \(G\) acts freely on a finite CW-complex in the homotopy type of a product of \(k\) spheres. If \(G\) is a finite group, then \(rk(G)= 1\) if and only if \(hrk(G)= 1\) [R. G. Swan, Ann. Math. (2) 72, 267–291 (1960; Zbl 0096.01701)]. It has been conjectured [D. J. Benson and J. F. Carlson, Math. Z. 195, 221–238 (1987; Zbl 0593.20062)] that \(rk(G) = hrk(G)\) if \(G\) is finite. If \(G\) has odd order and \(rk(G)= 2\), then \(hrk(G)= 2\) [A. Adem, Lectures on the cohomology of finite groups. Providence, RI: American Mathematical Society (AMS). Contemporary Mathematics 436, 317–334 (2007; Zbl 1132.20031)].
The main result in this paper is that if \(p\) is an odd prime, then every finite \(p\)-group of \(G\) of rank 3 acts freely on a finite CW-complex in the homotopy of type of a product of 3 spheres, that is \(hrk(G)\leq 3\). It follows that \(hrk(G)= 3\) for such groups because \(hrk(\mathbb{Z}/p)^3)> 2\) [A. Heller, Ill. J. Math. 3, 98–100 (1959; Zbl 0084.38803)].

Reviewer: Robert D. Little (Honolulu)

MSC:

57S17	Finite transformation groups
55M35	Finite groups of transformations in algebraic topology (including Smith theory)

Keywords:

group action; homotopy product of spheres; equivariant spherical fibration

Citations:

Zbl 0096.01701; Zbl 0593.20062; Zbl 1132.20031; Zbl 0084.38803

References:

[1]	A Adem, Torsion in equivariant cohomology, Comment. Math. Helv. 64 (1989) 401 · Zbl 0697.57016
[2]	A Adem, Lectures on the cohomology of finite groups (editors L L Avramov, J D Christensen, W G Dwyer, M A Mandell, B E Shipley), Contemp. Math. 436, Amer. Math. Soc. (2007) 317 · Zbl 1132.20031
[3]	A Adem, J H Smith, Periodic complexes and group actions, Ann. of Math. \((2)\) 154 (2001) 407 · Zbl 0992.55011
[4]	D J Benson, Representations and cohomology, I: Basic representation theory of finite groups and associative algebras, Cambridge Studies in Advanced Math. 30, Cambridge Univ. Press (1991) · Zbl 0718.20001
[5]	D J Benson, Representations and cohomology, II: Cohomology of groups and modules, Cambridge Studies in Advanced Math. 31, Cambridge Univ. Press (1991) · Zbl 0731.20001
[6]	D J Benson, J F Carlson, Complexity and multiple complexes, Math. Z. 195 (1987) 221 · Zbl 0593.20062
[7]	K S Brown, Cohomology of groups, Graduate Texts in Math. 87, Springer (1982) · Zbl 0584.20036
[8]	F X Connolly, S Prassidis, Groups which act freely on \(\mathbfR^m\times S^{n-1}\), Topology 28 (1989) 133 · Zbl 0703.57025
[9]	T tom Dieck, Transformation groups and representation theory, Lecture Notes in Math. 766, Springer (1979) · Zbl 0445.57023
[10]	T tom Dieck, Transformation groups, de Gruyter Studies in Math. 8, de Gruyter (1987) · Zbl 0611.57002
[11]	R M Dotzel, G C Hamrick, \(p\)-group actions on homology spheres, Invent. Math. 62 (1981) 437 · Zbl 0453.57030
[12]	D L Ferrario, Self homotopy equivalences of equivariant spheres (editors K i Maruyama, J W Rutter), Contemp. Math. 274, Amer. Math. Soc. (2001) 105 · Zbl 0982.55005
[13]	B Hanke, The stable free rank of symmetry of products of spheres, Invent. Math. 178 (2009) 265 · Zbl 1177.57028
[14]	A Heller, A note on spaces with operators, Illinois J. Math. 3 (1959) 98 · Zbl 0084.38803
[15]	A G Ilhan, Obstructions for constructing \(G\)-equivariant fibrations, PhD thesis, Bilkent University (2011)
[16]	M A Jackson, Rank three \(p\)-groups and free actions on the homotopy product of three spheres, in preparation
[17]	M A Jackson, \(\mathrm{Qd}(p)\)-free rank two finite groups act freely on a homotopy product of two spheres, J. Pure Appl. Algebra 208 (2007) 821 · Zbl 1109.57021
[18]	I Madsen, C B Thomas, C T C Wall, The topological spherical space form problem-II existence of free actions, Topology 15 (1976) 375 · Zbl 0348.57019
[19]	J Milnor, Groups which act on \(S^n\) without fixed points, Amer. J. Math. 79 (1957) 623 · Zbl 0078.16304
[20]	J P Serre, Cohomologie des groupes discrets (editors F Hirzebruch, L Hörmander, J Milnor, J P Serre, Z M Singer), Ann. of Math. Studies 70, Princeton Univ. Press (1971) 77 · Zbl 0235.22020
[21]	P A Smith, Permutable periodic transformations, Proc. Nat. Acad. Sci. U. S. A. 30 (1944) 105 · Zbl 0063.07092
[22]	P A Smith, New results and old problems in finite transformation groups, Bull. Amer. Math. Soc. 66 (1960) 401 · Zbl 0096.37501
[23]	M Suzuki, Group theory II, Grund. der Math. Wissenschaften 248, Springer (1986)
[24]	R G Swan, Periodic resolutions for finite groups, Ann. of Math. \((2)\) 72 (1960) 267 · Zbl 0096.01701
[25]	O nl\Hu, E Yal\ccin, Fusion systems and constructing free actions on products of spheres