Truncated Quillen complexes of p-groups

DOI10.1007/S10801-014-0506-9MaRDI QIDQ472631zbMATH OpenOpenAlexFDO

Authors Francesco Fumagalli, John Shareshian

Publication date 19 November 2014

Published in Journal of Algebraic Combinatorics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1401.7513

zbMATH Keywords

\(p\)-grouphomologyorder complexQuillen complex

Mathematics Subject Classification ID

Finite nilpotent groups, (p)-groups (20D15) Series and lattices of subgroups (20D30) Homotopy equivalences in algebraic topology (55P10) Simplicial sets and complexes in algebraic topology (55U10)

Abstract: Let p be an odd prime and let P be a p-group. We examine the order complex of the poset of elementary abelian subgroups of P having order at least p^2. S. Bouc and J. Th'evenaz showed that this complex has the homotopy type of a wedge of spheres. We show that, for each nonnegative integer l, the number of spheres of dimension l in this wedge is controlled by the number of extraspecial subgroups X of P having order p^{2l+3} and satisfying Omega_1(C_P(X))=Z(X). We go on to provide a negative answer to a question raised by Bouc and Th'evenaz concerning restrictions on the homology groups of the given complex.

Review text

For a partially ordered set \(\mathcal{P}\), the order complex \(\Delta \mathcal{P}\) means the abstract simplicial complex whose \(k\)-dimensional faces are all chains \(x_0<x_1<\cdots <x_k\) of length \(k\) with \(x_i\in\mathcal{P}\). For a prime \(p\) and a group \(G\), let \(\mathcal{A}_p(G)\) denote the poset of \(p\)-subgroups of \(G\) whose order is induced by the inclusion, and the order complex \(\Delta \mathcal{A}_p(G)\) is called the Quillen complex of \(G\). For a finite \(p\)-group \(P\), let \(\mathcal{A}_{\geq 2}(P)\) denote the partially ordered set of elementary abelian subgroups of \(P\) having order at least \(p^2\). It is known that the subcomplex \(\Delta \mathcal{A}_{\geq 2}(P)\) has the homotopy type of a wedge of spheres. In this paper, the authors try to investigate how many spheres of each dimension appear in this wedge decomposition. In particular, they show that for each non-negative integer \(l\) the number of spheres of dimension \(l\) is controlled by the number of extraspecial subgroups \(X\) of \(P\) having order \(p^{2l+3}\) which satisfy the condition \(\Omega_1(C_P(X))=Z(X)\). As an application, they can also give a negative answer to some question raised by Bouc and Thévenaz concerning restrictions on the homology groups of the given complex.

Recommendations

• On the homotopy type of the Quillen complex of finite soluble groups
• On Quillen's conjecture for the p-groups complex
• The Quillen complex of groups of symplectic type: the characteristic 2 case.
• Acyclic 2-dimensional complexes and Quillen's conjecture
• scientific article; zbMATH DE number 682075

Cites work

• A Contribution to the Theory of Groups of Prime-Power Order
• Automorphisms of extra special groups and nonvanishing degree 2 cohomology
• Elementary Abelian subgroups in \(p\)-groups with a cyclic derived subgroup.
• Euler characteristics of discrete groups and G-spaces
• Euler characteristics of groups: The \(p\)-fractional part
• Homotopy properties of the poset of nontrivial p-subgroups of a group
• scientific article; zbMATH DE number 5986254 (Why is no real title available?)
• scientific article; zbMATH DE number 3939563 (Why is no real title available?)
• scientific article; zbMATH DE number 3724683 (Why is no real title available?)
• scientific article; zbMATH DE number 193183 (Why is no real title available?)
• scientific article; zbMATH DE number 1516803 (Why is no real title available?)
• scientific article; zbMATH DE number 2103273 (Why is no real title available?)
• scientific article; zbMATH DE number 820677 (Why is no real title available?)
• Poset topology: tools and applications
• The automorphism group of an extraspecial \(p\)-group
• Type d'homotopie des treillis et treillis des sous-groupes d'un groupe fini. (Homotopy type of lattices and lattices of subgroups of a finite groups)

Cited in

(7)

• On the homotopy type of the Quillen complex of finite soluble groups
• On Quillen's conjecture for the p-groups complex
• Elementary abelian subgroups in some special \(p\)-groups
• scientific article; zbMATH DE number 1267618 (Why is no real title available?)
• scientific article; zbMATH DE number 682075 (Why is no real title available?)
• On the poset of conjugacy classes of subgroups of π-power index
• Elementary Abelian subgroups in 2-groups whose derived subgroups are Klein 4-groups

This page was built for publication: Truncated Quillen complexes of \(p\)-groups

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