Equivariant dimensions of groups with operators

DOI10.4171/GGD/686MaRDI QIDQ6330383arXivFDO

Authors Mark Grant, Ehud Meir, Irakli Patchkoria

Publication date 3 December 2019

Published in arXiv

Full work available at URL https://doi.org/10.4171/GGD/686

Mathematics Subject Classification ID

Automorphisms of infinite groups (20E36) Homological methods in group theory (20J05) Lyusternik-Shnirel'man category of a space, topological complexity à la Farber, topological robotics (topological aspects) (55M30) Equivariant homology and cohomology in algebraic topology (55N91) Classifying spaces of groups and (H)-spaces in algebraic topology (55R35)

arXiv classification

math.ATmath.GR

Abstract: Let $pi$ be a group equipped with an action of a second group $G$ by automorphisms. We define the equivariant cohomological dimension ${sfcd}_G(pi)$, the equivariant geometric dimension ${sfgd}_G(pi)$, and the equivariant Lusternik-Schnirelmann category ${sfcat}_G(pi)$ in terms of the Bredon dimensions and classifying space of the family of subgroups of the semi-direct product $pitimesG$ consisting of sub-conjugates of $G$. When $G$ is finite, we extend theorems of Eilenberg-Ganea and Stallings-Swan to the equivariant setting, thereby showing that all three invariants coincide (except for the possibility of a $G$-group $pi$ with ${sfcat}_G(pi)={sfcd}_G(pi)=2$ and ${sfgd}_G(pi)=3$). A main ingredient is the purely algebraic result that the cohomological dimension of any finite group with respect to any family of proper subgroups is greater than one. This implies a Stallings-Swan type result for families of subgroups which do not contain all finite subgroups.

This page was built for publication: Equivariant dimensions of groups with operators

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