Classifying spaces for families of subgroups
(→Introduction) |
(→Construction and examples) |
||
Line 31: | Line 31: | ||
* The family of finite subgroups, $\mathcal{FIN}$. | * The family of finite subgroups, $\mathcal{FIN}$. | ||
* The family of virtually cyclic subgroups, $\mathcal{VCYC}$. | * The family of virtually cyclic subgroups, $\mathcal{VCYC}$. | ||
+ | |||
+ | {{beginthm|Definition}} | ||
+ | Let $\mathcal{F}$ be a family of subgroups of a discrete group $G$. The classifying space of $G$ for $\mathcal{F}$ is a $G$-CW complex $E_\mathcal{F}G$ whose isotropy groups are contained in $\mathcal{F}$ and has the property that for any $G$-CW complex $X$ with isotropy in $\mathcal{F}$, there is a $G$-equivariant map $X \to E_\mathcal{F}G$ that is unique up to $G$-equivariant homotopy. | ||
+ | {{endthm}} | ||
An important fact that follows from the Generalized Whitehead Theorem is: | An important fact that follows from the Generalized Whitehead Theorem is: | ||
Line 41: | Line 45: | ||
A $G$-CW complex $X$ is a model for $E_\mathcal{F}G$ if and only if $X^H$ is weakly contractible for every $H\in \mathcal{F}$ and is empty otherwise. | A $G$-CW complex $X$ is a model for $E_\mathcal{F}G$ if and only if $X^H$ is weakly contractible for every $H\in \mathcal{F}$ and is empty otherwise. | ||
{{endthm}} | {{endthm}} | ||
− | |||
Examples of classifying spaces: | Examples of classifying spaces: |
Revision as of 17:22, 7 June 2010
Contents |
1 Introduction
Given a discrete group and a family of subgroups (see Definition 2.1 below) of , there is a -CW complex, , that classifies -CW complexes with isotropy contained in . That is, the isotropy subgroups of are contained in and for every -CW complex , there is a -equivariant map that is unique up to -equivariant homotopy. This universal property implies that is unique up to -homotopy. For this reason is known as the classifying space (or universal space) of for the family . An equivalent definition of is given below in Corollary 2.4.
2 Construction and examples
Definition (Family of Subgroups) 2.1. A family of subgroups of a discrete group is a collection of subgroups of that is closed under conjugation and taking subgroups.
Examples of families:
- The family containing only the trivial subgroup, .
- The family of all subgroups, .
- The family of finite subgroups, .
- The family of virtually cyclic subgroups, .
Definition 2.2. Let be a family of subgroups of a discrete group . The classifying space of for is a -CW complex whose isotropy groups are contained in and has the property that for any -CW complex with isotropy in , there is a -equivariant map that is unique up to -equivariant homotopy.
An important fact that follows from the Generalized Whitehead Theorem is:
Theorem 2.3. Let be a -equivariant map of -CW complexes. Then is a -equivariant homotopy equivalence if and only if for every subgroup of , is a weak homotopy equivalence (i.e., induces an isomorphism on homotopy groups).
Theorem 2.3 implies:
Corollary 2.4. A -CW complex is a model for if and only if is weakly contractible for every and is empty otherwise.
Examples of classifying spaces:
- A model for is on which acts by translation.
More generally, , the universal cover of the classifying space . (Recall that is a CW complex whose fundamental group is and whose higher homotopy groups are all zero. It is unique up to homotopy.)
- For any , is -equivariantly homotopy equivalent to a point.
- is also known as the classifying space (or universal space) for proper -actions, and is commonly written as . There are typically "nice" models for , as the next several examples show. They also appear in the Baum-Connes Conjecture.
- Let be the infinite dihedral group. A model for is , where acts by reflection through zero and acts by translation by 1. (Notice that the nontrivial finite subgroups of are of the form , where , and for each , fixes .)
- Let be a discrete subgroup of a Lie group with finitely many path components. If is a maximal compact subgroup of , then is a finite dimensional model for .
- Let be a word hyperbolic group in the sense of Gromov. Then the Rips complex, , is a finite model for ( i.e., there are only finitely many -cells), provided is sufficiently large.
- If is a -CW complex with the structure of a CAT(0)-space with respect to which acts by isometries, then .
- Models for are hard to construct, but are needed in the formulation of the Farrell-Jones Conjecture.
3 Invariants
...
4 Classification/Characterization
...
5 Further discussion
...
6 References
This page has not been refereed. The information given here might be incomplete or provisional. |