## Geometric model for classifying spaces of alternating groups

### Remember to vote up questions/answers you find interesting or helpful (requires 15 reputation points)

The classifying space of the nth symmetric group $S_n$ is well-known to be modeled by the space of subsets of $R^\infty$ of cardinality $n$. Various subgroups of $S_n$ have related models. For example, $B(S_i \times S_j)$ is modeled by subsets of $R^\infty$ of cardinality $i + j$ with $i$ points colored red and $j$ points colored blue. More fun: the wreath product $S_i \int S_j \subset S_{ij}$ has classifying space modeled by $ij$ points partitioned into $i$ sets of cardinality $j$ (but these sets are not "colored").

My question: is there a geometric model, preferably related to these, for classifying spaces of alternating groups? [Note: since any finite group is a subgroup of a symmetric group one wouldn't expect to find geometric models of arbitrary subgroups, but alternating groups seem special enough...]

-

2
For any subgroup $G\subset S_n$ you can proceed by: Take $E$ to be the universal cover of any classifying space of $S_n$. Then $E/G$ is a classifying space for $G$. This is implicit in the answers and in your examples. – Bruce Westbury Jul 1 2010 at 3:10
Yes, but to get to more "natural" models requires at least a bit more than such a general construction (and presumably won't be possible for arbitrary subgroups). – Dev Sinha Jul 1 2010 at 5:13
I don't understand the comment about "natural" models: the classifying space $BG$ is only defined up to homotopy and $BH=EG/H$ for $H<G$ is rather natural! – Victor Protsak Jul 30 2010 at 7:31
Natural is perhaps the wrong word (because of the connotations of functoriality). What I mean is more "found in nature." For example you wouldn't want to understand the classifying space of Z/p \times Z/p as some kind of "configurations with ordering up to equivalence" - one model found in nature is the product of Lens spaces. – Dev Sinha Jul 30 2010 at 8:15

## 2 Answers

$n$ linearly independent points in $R^\infty$ together with an orientation of the $n$-plane which they span.

-

Nice - I had started thinking along the lines Greg suggests but this is what I was looking for (and should have thought of myself). – Dev Sinha Jun 30 2010 at 23:17
The two solutions are hardly different.  Kevin is exactly describing a sign-ordering of the points, the only difference being that he removes linearly dependent sets of points.  This deletion doesn't hurt anything because it has infinite codimension, but it also isn't necessary for the answer. – Greg Kuperberg Jun 30 2010 at 23:50
My initial idea was the same as Greg's, but I didn't want to have to explain what a sign-ordering was.  I also thought a sign-ordering might be exotic enough to disqualify the answer as simple.  Also, note that the linear independence requirement arises naturally if we think of `A_n` as a subgroup SO(n).  BSO(n) is oriented n-planes in `R^\infty`, and an `(SO(n)/A_n)`-bundle over this grassmanian gives the same answer as above. – Kevin Walker Jul 1 2010 at 0:20
That's fair.  The common theme in all of these constructions is to obtain one classifying space from another one by passing to a subgroup.  (But strictly speaking you are using $A_n \subset SL(n)$.  $A_n \subset SO(n)$ would give you orthogonal vectors rather than l.i. vectors.) – Greg Kuperberg Jul 1 2010 at 0:43
Yes, SL(n) not SO(n) -- thanks.  – Kevin Walker Jul 1 2010 at 0:55
show 1 more comment

### You can accept an answer to one of your own questions by clicking the check mark next to it. This awards 15 reputation points to the person who answered and 2 reputation points to you.

Probably the right thing to do is to express the classifying space of $A_n$ as the non-trivial double cover of the classifying space of $S_n$. A point in the classifying space is then a set of $n$ points in $\mathbb{R}^\infty$ with a "sign ordering". A sign ordering is an equivalence class of orderings of the points, i.e., ways to number them from 1 to $n$, up to even permutations. I coined the term "sign ordering" by analogy with a cyclic ordering. But that name aside, the idea comes up all the time in various guises. For instance an orientation of a simplex is by definition a sign ordering of its vertices.

This is in the same vein as your other examples and you can of course do something similar with any subgroup $G \subseteq S_n$. You can always choose an ordering of the points up to relabeling by an element of $G$.

A bit more whimsically, you could call the configuration space of $n$ sign-ordered points in a manifold "the configuration space of $n$ fermions". Although a stricter model of the $n$ fermions is the local system or flat line bundle on $n$ unordered points, in which the holonomy negates the fiber when it induces an odd permutation of the points. This local system is similar to the sign-ordered space in the sense that the sign-ordered space is the associated principal bundle with structure group $C_2$.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 38, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9407048225402832, "perplexity_flag": "head"}