27
$\begingroup$

I'm trying to learn a bit about equivariant homotopy theory. Let G be a compact Lie group. I guess there is a cofibrantly generated model category whose objects are (compactly generated weak Hausdorff or whatever) topological spaces with G-action and whose morphisms are G-maps, in which the generating cofibrations are maps of the form G/H x Sn-1 → G/H x Dn (n ≥ 0, H a closed subset of G) and the generating acyclic cofibrations are the obvious analogous thing. Apparently the weak equivalences in this category are those maps which induce weak equivalence on H-fixed points for every closed subgroup H of G. I assume the corresponding (∞,1)-category is presentable. (My preliminary question is, does anyone know a good source for this paragraph?)

My real question is: Can you give an (∞,1)-categorical description of this category, say via a universal property, or built somehow from the category of spaces? For instance, what is an explicit presentation as a localization of a category of presheaves of spaces? (An example of the kind of answer I am looking for is "functors from BG to Spaces", but that describes a model category of G-spaces whose weak equivalences are simply weak equivalences of the underlying spaces.)

(My next question would be asking for an analogous description of the equivariant stable homotopy category. I imagine this would be easy if I knew how to answer the first question, but if something special happens in the stable situation, I would like to know about it.)

$\endgroup$
5
  • $\begingroup$ This reminds me that I had the problem tagging the posts about infinity categories. I think your tag is actually better than higher-category-theory, but perhaps there could be other suggestions as well? $\endgroup$ Oct 28, 2009 at 23:33
  • 1
    $\begingroup$ I liked both these answers a lot, so I flipped a coin to pick one to accept. $\endgroup$ Oct 28, 2009 at 23:59
  • $\begingroup$ @Ilya: I wanted to tag this (∞,1)-categories but of course that wouldn't work (the system changed it to 1-categories :P) so I adopted Jacob Lurie's abuse of terminology. I think of higher-category-theory as an related but distinct area, having to do with 2-categories and such. $\endgroup$ Oct 29, 2009 at 0:07
  • 2
    $\begingroup$ I don't think the question, has yet been anwered, below: what is the really natural (oo,1)-categorical way to understand genuine G-spectra? While it is true that one answer is: stabilization of oo-presheaves on the orbit category at spehers with a G-action, this doesn't look like the general insightful way of looking at it that one might hope for. I am guessing the answer must involve constructions as in motivic cohomology, where we start with a big oo-topos of oo-sheaves and then stabilize it both with respect to categorical as well as geometric spheres. I'd love to see such kind of answer $\endgroup$ Jan 28, 2010 at 15:06
  • $\begingroup$ @Urs: Agreed. My question here was primarily about the unstable case, and I got a sufficient description of the genuine stable category for my purposes through off-line conversations. But I am also interested in the question you raise; I suggest you ask it as a separate question. I have heard that in both the equivariant and motivic situations, the "extra" stabilizations provide a better theory of duality, but I do not know whether this can be taken as a characterization of the resulting category, or merely a post hoc justification for its study. $\endgroup$ Jan 28, 2010 at 15:29

4 Answers 4

15
$\begingroup$

I think a good reference for the first paragraph is "Equivariant Homotopy and Cohomology Theory" by Peter May and a bunch of other people. Chapter 5 includes "Elmendorf's theorem" that this homotopy theory of G-spaces is equivalent to the homotopy theory of diagrams of spaces on the orbit category O(G) of G. In the latter homotopy theory, the weak equivalences are "levelwise" as is usual in the homotopy theory of diagrams.

I'm less sure about the (∞,1)-categorical versions, but I would expect that the (∞,1)-category associated to a levelwise model structure on O(G)-diagrams will be essentially the (∞,1)-category of functors from O(G) to the (∞,1)-category of spaces. That ought to imply that it is locally presentable as well.

One might guess that the equivariant stable homotopy category would be the "stabilization" of this (∞,1)-category, but that's not entirely obvious to me. The point at issue is that there are two kinds of G-spectra: "naive" G-spectra, which are indexed on integers, and "true" G-spectra, which are indexed on G-representations. It seems possible to me that the standard "stabilization" process of an (∞,1)-category will only stabilize with respect to integers.

$\endgroup$
6
  • 1
    $\begingroup$ From the description of G-spaces as functors from O(G) to Spaces, it follows by generalities about presentable (∞,1)-categories that its stabilization is the category of functors from O(G) to Spectra. This seems unlikely to be the same as the category of naive G-spectra (which I believe is functors from BG to Spectra) so I guess it's probably the category of true G-spectra...? $\endgroup$ Oct 29, 2009 at 0:02
  • 6
    $\begingroup$ This always confuses me, since I know three kinds of G-spectra, I can never remember which one is supposed to be naive: (1) Ordinary equipped with a G-action. These are presheaves of spectra over BG. (2) G-spectra indexed on the universe built from the trivial representation: these are spectrum valued presheaves on O(G). (3) G-spectra indexed on a complete universe: these are something else ... $\endgroup$ Oct 29, 2009 at 0:16
  • $\begingroup$ (1) is supposed to read "Ordinary spectra equipped ...". $\endgroup$ Oct 29, 2009 at 0:26
  • $\begingroup$ Oh, hmm. I have been (naively?) using "naive G-spectrum" to refer to (1), but it seems that May uses it to mean (2). And now I would like a (∞,1)-categorical description of (3)... Maybe another question is in order... $\endgroup$ Oct 29, 2009 at 0:31
  • 3
    $\begingroup$ To clarify for other non-experts like myself: the confusion between (1) and (2) probably arises from the fact that they are the homotopy theories of two model categories with the same underlying category, but different weak equivalences (the weak equivalences between Ω-spectra are in (1) levelwise equivalences of underlying spaces but in (2) levelwise equivariant equivalences). $\endgroup$ Oct 29, 2009 at 3:40
12
$\begingroup$

I have been trying to hold myself back from answering this, because I am not entirely sure my view on this is accurate. To me, it seems like a G-spectrum should be a spectrum with an action of G on it, full stop. Obviously you have to specify your notion of spectrum, and obviously if you want to include topological groups G it had better be a symmetric monoidal category of spectra that is enriched over topological spaces. So you could take S-modules of EKMM or orthogonal spectra (my personal favorite) or symmetric spectra based on topological spaces. With any of these categories, there is a notion of a G-spectrum, by which I mean a spectrum with an action of G.

I can hear you objecting--you must be being too naive--what about complete G-universes? I take the point of view that picking a universe corresponds to picking a model structure on the one God-given category of G-spectra. Picking a smaller universe just means localizing the model structure. So the complete universe is the "initial" one, and every other universe is a localization of the complete universe. The naive universe is the "terminal" one, in the sense that it is a localization of every other universe. There are lots of universes corresponding to model structures in between these.

I cannot now remember how these model structures are supposed to go, but I believe that both Neil Strickland and Tony Elmendorf have separately written something about this approach. Tony's might be part of a joint paper, I can't remember. I think it is just a different way to look at things, but it goes so much against the prevailing viewpoint that it has not gotten so much traction.

Again, I have to confess that I am working from memory from something I probably did not completely understand. Possibly Mike Shulman or someone else will be able to convince me I am completely wrong.

$\endgroup$
4
  • $\begingroup$ Perhaps I'm not aware of the issues, but how could a localization provide a sequence of deloopings for representation spheres? $\endgroup$ Nov 23, 2009 at 5:42
  • 1
    $\begingroup$ I was afraid someone would ask this. So the answer is that I don't know and I might be wrong. However, S^V is a G-space, right, so can't I declare the map X --> Omega^V S^V X a weak equivalence? Here I am just using the enrichment of G-spectra over G-spaces. Of course, I would have to do this carefully to be sure I got a model structure. Again, I am not sure this is right. $\endgroup$
    – Mark Hovey
    Nov 23, 2009 at 14:19
  • 1
    $\begingroup$ I ... don't think so. If you did this to spaces, you'd be decreeing that the map S^0 -> N_+ is a weak equivalence, and this annihilates S^0. You want to invert the suspension operator instead, but if you invert maps X -> Y that become equivalences after suspension you are only picking out suspension spectra. $\endgroup$ Nov 23, 2009 at 16:02
  • 4
    $\begingroup$ Mark, the paper of mine you're remembering is the one joint with Peter May, "Algebras over equivariant sphere spectra", JPAA 116 (1997) 139-149. It shows that, indeed, you can consider just one underlying category of G-spectra with a number of (cofibrantly generated) model structures on it. The "change of universe" functors usually considered from the Lewis-May-Steinberger point of view are then simply the derived functors of the identity functor. The category itself is the EKMM category with G acting in the obvious way on the objects. -- Tony Elmendorf $\endgroup$ May 18, 2010 at 16:31
3
$\begingroup$

I would say that

a) cohomology is in any case something defined in some (oo,1)-topos (maybe secretly so, but still) -- details and further links on this point of view are at nLab:cohomology

b) from that general point of view there is a very general definition of equivariant cohomology, as indicated at nLab:equivariant cohomology

More precisely, this is (the generalization of) Borel equivariant cohomology . See the remark at A Survey of Elliptic Cohomology: equivariant cohomology - Borel equivariant cohomology.

$\endgroup$
3
  • $\begingroup$ That's a shame, because for some purposes the more interesting type of equivariant cohomology is Bredon cohomology, which is naturally RO(G)-graded and Mackey-functor-valued. Perhaps a more expansive notion of cohomology is in order? $\endgroup$ Oct 29, 2009 at 3:50
  • $\begingroup$ I doubt that the notion of cohomology as being the connected components in a hom-space of an (oo,1)-topos or stable (oo,1)-category is not expansive enough. I haven't looked into equivariant constructions with the orbit category, though. Would be interesting to figure out how to say that more generally. $\endgroup$ Oct 29, 2009 at 8:49
  • $\begingroup$ Comment months after: this has meanwhile been sorted out. Details at on the nLab entry on equivariant cohomology: ncatlab.org/nlab/show/equivariant+cohomology $\endgroup$ Jan 28, 2010 at 15:01
1
$\begingroup$

Let C be the category of homogeneous G-manifolds; the hom sets have a natural topology so you can consider C as an infinity-category. The equivariant homotopy category is the category of contravariant functors from C to the infinity-category of spaces. You build such a functor out of an honest G-space by restricting Hom_G(-,X) to C.

I think this answer is sort of disappointing: it says that all that algebraic topology can see in a G-space are the fixed point sets with respect to subgroups. What are the theorems along these lines that justify this definition?

According to the discussion below, the answer is Whitehead's theorem: any weak G-homotopy equivalence between tame enough G-spaces--at least, all G-CW complexes (Whitehead) and all smooth G-manifolds (Illman)--is a strong G-homotopy equivalence. "Weak" means that the map induces an isomorphism on homotopy groups of all fixed-point sets, and "strong" means that there's an equivariant map backwards so that the compositions are equivariantly homotopic to the identity maps.

$\endgroup$
7
  • $\begingroup$ I don't know why you would say that this is "all that algebraic topology can see in a G-space". Any G-space X can be reconstructed from its fixed point diagram O(G)->Spaces, so that diagram must keep all the information about X. $\endgroup$ Oct 29, 2009 at 0:22
  • $\begingroup$ I think you are recovering the homotopy type of X, not X itself. In fact you can recover, tautologically, the equivariant homotopy type of G->Aut(X) out of the diagram O(G)->Spaces. Is there some other natural way of saying "equivariant homotopy type" so that this tautology becomes an interesting theorem? $\endgroup$ Oct 29, 2009 at 0:41
  • 1
    $\begingroup$ I believe I can actually recover X itself from its fixed point diagram. Of course, when I do so, I'm thinking "1-categorically", and not "infty-categorically", so perhaps that's not germane here ... I'm also not sure why it's a tautology. I thought the point was the equivariant Whitehead theorem: a map f:X->Y between G-CW complexes is an equivariant homotopy equivalence (i.e., there is G-map g:Y->X such that gf and fg are each homotopic to identity through G-maps) iff X^H -> Y^H is a weak equiv. of spaces for each subgroup H. $\endgroup$ Oct 29, 2009 at 0:58
  • $\begingroup$ Yes, another way to say it is that the model category--in particular, the class of weak equivalences--is determined by the generating cofibrations and acyclic cofibrations I wrote down; it doesn't seem tautological to me that the result is a diagram category. $\endgroup$ Oct 29, 2009 at 1:09
  • 1
    $\begingroup$ To make it more concrete: let C be a small category, Psh(C)= presheaves of spaces on C. Put a model category structure on Psh(C), where the generating cofibrations are built using all quotients of representable functors. Will this be equivalent to some other model category of presheaves? (In your case, Reid, C was the group G, and the quotients of representables are the G/H.) $\endgroup$ Oct 29, 2009 at 1:27

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.