The Quarterly Journal of Mathematics Advance Access published online on November 4, 2008
The Quarterly Journal of Mathematics, doi:10.1093/qmath/han025
THE EULER CLASS OF A SUBSET COMPLEX
¶Department of Mathematics, Bilkent University, Bilkent, Ankara, Turkey
¶ Corresponding author. Email: yalcine{at}fen.bilkent.edu.tr
Received 2 November 2007;
revised 4 September 2008
 |
Abstract |
|---|
The subset complex 
(G) of a finite group G is defined as the simplicial complex whose simplices are non-empty subsets of G. The oriented chain complex of (G) gives a 
G-module extension of by 
, where is a copy of integers on which G acts via the sign representation of the regular representation. The extension class 
G 
ExtG|G|–1 (, ) of this extension is called the Ext class or the Euler class of the subset complex (G). This class was first introduced by Reiner and Webb [The combinatorics of the bar resolution in group cohomology, J. Pure Appl. Algebra 190 (2004), 291–327] who also raised the following question: What are the finite groups for which G is non-zero?
In this paper, we answer this question completely. We show that G is non-zero if and only if G is an elementary abelian p-group or G is isomorphic to /9, /4 x /4 or (/2)n x /4 for some integer n 
0. We obtain this result by first showing that G is zero when G is a non-abelian group, then by calculating G for specific abelian groups. The key ingredient in the proof is an observation by Mandell which says that the Ext class of the subset complex (G) is equal to the (twisted) Euler class of the augmentation module of the regular representation of G.
We also give some applications of our results to group cohomology, to filtrations of modules and to the existence of Borsuk–Ulam type theorems.
Current Address: Department of Mathematics, University of Rochester, Rochester, NY, USA
E-mail: guclukan{at}fen.bilkent.edu.tr
Current Address: Department of Mathematics and Statistics, McMaster University, Hamilton, ON, Canada