Elmendorf’s Theorem
Posted by John Huerta
I want to tell you about Elmendorf’s theorem on equivariant homotopy theory. This theorem played a key role in a recent preprint I wrote with Hisham Sati and Urs Schreiber:
We figured out how to apply this theorem in mathematical physics. But Elmendorf’s theorem by itself is a gem of homotopy theory and deserves to be better known. Here’s what it says, roughly: given any -space , the equivariant homotopy type of is determined by the ordinary homotopy types of the fixed point subspaces , where runs over all subgroups of . I don’t know how to intuitively motivate this fact; I would like to know, and if any of you have ideas, please comment. Below the fold, I will spell out the precise theorem, and show you how it gives us a way to define a -equivariant version of any homotopy theory.
We know that in ordinary homotopy theory, there are two kinds of spaces we can study. We can study CW-complexes up to homotopy equivalence, or we can study topological spaces up to weak homotopy equivalence. Weak homotopy equivalence is morally the right kind of equivalence, but Whitehead’s theorem tells us that for the nicer kind of space, the CW-complex, weak homotopy equivalence is the same as strong homotopy equivalence. Moreover, the CW-approximation theorem says that any space is weak homotopy equivalent to a CW-complex. So, they’re really two ways of studying the same thing. One is more flexible, the other more concrete.
NB. In this post, I’ll use the adjective “strong” to contrast homotopy equivalence with weak homotopy equivalence. People usually call strong homotopy equivalence just homotopy equivalence.
Now let be a compact Lie group. For -spaces, we can also define both strong and weak homotopy equivalence. The strong homotopy equivalence is the obvious thing: you have two equivariant maps and , that are inverse to each other up to equivariant homotopies and . This lets us consider -spaces up to homotopy equivalence. But as for spaces, the morally correct notion of equivalence is weak homotopy equivalence, and this is much stranger: a -equivariant map is a equivariant weak homotopy equivalence if it restricts to an ordinary weak homotopy equivalence between the fixed points spaces, , for all closed subgroups .
Why on earth should these two notions of equivalence be so different? The equivariant Whitehead theorem justifies this, though again I don’t have a good intuitive explanation for why it should be true. To state this theorem, first I have to tell you what a -CW-complex is. We can construct them much as we do ordinary CW-complexes, except they are built from cells of the form:
where is the -disk with the trivial action, and is a coset space of with the left action. These cells are then glued together by -equivariant attaching maps, just like an ordinary CW-complex. The result is a -CW-complex. The equivariant Whitehead theorem, due to Bredon, then says that for any pair of -CW-complexes, they are weak homotopy equivalent if and only if they are strong homotopy equivalent.
This suggests the key insight behind Elmendorf’s theorem: that we can study -spaces simply by looking at for all closed subgroups . But this operation, of taking a subgroup to a space , actually defines a functor:
Here, the domain of this contravariant functor is the orbit category . This is the category with:
- objects the coset spaces , for each closed subgroup .
- morphisms the -equivariant maps.
This is called the orbit category thanks to the elementary fact that any orbit in any -space is of the form , for a closed subgroup the stabilizer of some point in the orbit.
Since the functor associated to is contravariant, it is a presheaf on the orbit category , valued in the category of spaces, . The assignment taking a -space to the presheaf with value on the orbit space defines an embedding:
from the category of -spaces into the category of all presheaves on . This is a souped up version of the Yoneda embedding: is a subcategory of , and the embedding above is just Yoneda when restricted to this subcategory.
It turns out this embedding doesn’t change the homotopy theory at all, as long as we choose the correct weak equivalences on the right hand side: we choose them to be the levelwise weak equivalences. That is, two presheaves and are weak equivalent if there is a natural transformation whose components are ordinary weak equivalences of spaces. With this choice of weak equivalences, the homotopy theory of presheaves on is the same as that of . That’s Elmendorf’s theorem:
Theorem (Elmendorf). There is an equivalence of homotopy theories In the direction , this equivalence is simply the embedding .
You can read more about Elmendorf’s theorem in the original paper:
- A.D. Elmendorf - Systems of fixed point sets, Trans. Amer. Math. Soc. 277, (1983), 275-284.
A much more modern treatment is in Andrew Blumberg’s lectures on equivariant homotopy theory. The theorem is so foundational to the topic that it first appears in Section 1.2 of these notes, and Section 1.3 is devoted to it:
- Andrew Blumberg - Lectures on equivariant homotopy theory, UT Austin, Spring 2017. Notes by Arun Debray.
Let us step back and appreciate what this theorem has bought us. Besides being a really nice reformulation from a categorical point of view, it gives us a paradigm for constructing equivariant homotopy theories more generally. That is, if we have a homotopy theory in the guise of a category with weak equivalences, then you might go ahead and define the equivariant homotopy theory of to be: where the weak equivalences are the levelwise weak equivalences, as in Elmendorf.
For instance, if is a model of rational homotopy theory , then -equivariant rational homotopy ought to be: This is precisely what one finds in the literature, at least in the case when is a finite group:
- Georgia Triantafillou - Equivariant minimal models, Trans. Amer. Math. Soc. 274 (1982), 509-532.
This paper actually came before Elmendorf’s - perhaps it served as inspiration!
Or, if you want to get more adventurous, you can define “rational super homotopy theory”, a supersymmetric version of rational homotopy theory, modeled by some category with weak equivalences called . Then the -equivariant rational super homotopy theory ought to be: This is the homotopy theory where the work in our preprint takes place! We use Elmendorf’s theorem to get our hands on what physicists call “black branes”. These turn out to be the fixed point subspaces , for a particular rational superspace equipped with an action.
To close, let me ask if you or anyone you know has a nice conceptual explanation for Elmendorf’s theorem, or at the very least for the equivariant Whitehead theorem:
Question. What is an intuitive reason that equivariant homotopy types are captured by the homotopy types of their fixed point subspaces?
Re: Elmendorf’s theorem
In the case where is finite and the quotient is an orbifold, Elmendorf’s theorem seems to amount to the fact that the -homotopy type of is equivalent to the homotopy type of all of the orbifold strata of . I’m not sure if this counts as “intuitively motivating” Elmendorf or just a rephrasing it in the case where I can see things geometrically, but at least I can contemplate concrete examples:
Consider the unit circle with acting on it by reflection across the -axis. Then, Elmendorf says that its -homotopy type is determined by the ordinary homotopy types of the fixed point subspaces (which consists of the two points and with nontrivial isotropy) and itself (the fixed point set of the identity subgroup). Furthermore, a -equivariant map between and some other -space can be viewed in this way as well; that is, in addition to being continuous as a map between and , must also be a continuous map between the -fixed point set of and . Then it kind of makes sense that for weak -homotopy equivalence, one simply considers weak homotopy equivalence of these maps of strata.