AboutHap

Previous | About HAP: Bredon Homology | next
A G-CW complex X is a CW space with an action of a group G that induces a permutation of cells. The space is said to be rigid if any element of G that stabilizes a cell stabilizes it point-wise. We denote by OG the category with one object G/H for each finite subgroup H in G, and with maps G/H --> G/H' the morphisms of G-sets. A Bredon module is a contravariant functor M:OG ---> Ab to the category of abelian groups. Standard examples of Bredon modules are: the contravariant functor M=B that sends an object G/H to the free abelian group BS(H) with isomorphism types of transitive H-sets as basis. the contravariant functor M=R that sends an object G/H to the vector space RC(H) of complex representations of the finite group H. We denote by Hn(X,M) the Bredon homology of a rigid G-CW space with coefficients in a Bredon module M.
The following commands compute the Bredon homology H1(K,B)=0 of the Quillen complex K at the prime p=3 for the symmetric group S9 with coefficients in the Burnsidee ring B. The simplicial complex K is the order complex of the poset of non-trivial elementary abelian subgroups of G. The G-action on K is induced by congugation.
gap> G:=SymmetricGroup(9);; gap> K:=QuillenComplex(G,3); Simplicial complex of dimension 2. gap> R:=GChainComplex(K,G); G-chain complex in characteristic 0 for Sym( [ 1 .. 9 ] ) . gap> C:=TensorWithBurnsideRing(R); Chain complex of length 2 in characteristic 0 . gap> Homology(C,1); [ ]
Previous Page | Contents | Next page