Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

I'm trying to understand the relationship between cyclic spaces and S1-equivariant homotopy theory. More precisely, I only care about S1-spaces up to equivalence of fixed point spaces for the finite subgroups of S1. Given a cyclic space X : ΔCop → Top, I know the geometric realization of the restriction of X to Δop is an S1-space. Form the associated fixed point diagram Oop → Spaces where O is the full subcategory of the orbit category of S1 on the objects S1/C where C ranges over finite subgroups of S1. I regard the category of functors Oop → Spaces as an (∞,1)-category.

My question is, what structure on X does the resulting diagram depend on? More specifically, under what conditions does a map f : X → Y of cyclic spaces induce an equivalence of fixed point diagrams?

In O consider the full subcategory O1 on the object S1/{•}. The restriction of this diagram to O1 is a space with S1-action in the (∞,1)-categorical sense, and I think it's just the left Kan extension of X along the functor ΔCop → BS1 induced by the fact that ΔC is the quotient of something (ΔZ) by an S1-action. Thus it only depends on X viewed as a functor from ΔCop to the (∞,1)-category of spaces. But to evaluate on the other objects of O, corresponding to the fixed point spaces of nontrivial finite subgroups of S1, do I need to know each X[r] as a Cr+1 space (i.e. the homotopy types of the fixed points sets for subgroups of Cr+1)? Is there a way to encode all of that information in a functor from some (maybe (∞,1)-)category to Spaces? Or is it possible that I need to remember even more information about X?

Edit: I guess another way to phrase the question is this: I'm looking for a model category structure on the category of functors ΔCop → Top, such that the identity functor to the injective model structure is a left Quillen functor, and such that the geometric realization to genuine S1-spaces is also a left Quillen functor. Furthermore I would like to know whether this model category structure is Quillen equivalent to a diagram category of spaces (possibly on a topological index category) with objectwise weak equivalences.

share|improve this question

1 Answer 1

I don't know if this is exactly what you're looking for (and there's a good chance you already know what I'm going to write) but let me give it a try:

The realization functor of cyclic sets (not spaces!) to $S^1$-spaces can be made part of a Quillen equivalence for two of the three commonly desired model structures on $S^1$-spaces: The model structure that gives you "Spaces over $BS^1$" is given in a 1985 paper of Dwyer-Hopkins-Kan, while a model structure that gives you the equivalences that you want (i.e., checked on fixed sets for finite subgroups) is given in a 1995 paper "Strong homotopy theory of cyclic sets" by Jan Spalinksi.

(Irrelevant to your question, but along the same lines: A recent paper of Andrew Blumberg describes how one can throw in some extra--still combinatorial--data and obtain a combinatorial model of the third desirable model structure on $S^1$-spaces, namely where equivalences are those that induce equivalences on fixed sets for all closed subgroups.)

Spalinksi's model structure depends on the following construction of $|X_{.}|^{C_n}$ (as a space-over-$BS^1$) in terms of the subdivision construction: The simplicial set $(sd_r X)_n = X_{r(n+1)-1}$ has an action of $C_r$--since $C_r$ is a subgroup of the copy of $C_{r(n+1)}$ acting on $X_{r(n+1)-1}$; taking fixed points (in sSet) and then realizing gives $|X_{.}|^{C_n}$.

This suggests (though I haven't checked too carefully) that remembering each $X_n$ as a $C_{n+1}$-space (in the sense you suggest, with subgroups) is enough, as you expected.


Now begins the speculative (and probably wrong) part of this answer: I have nothing too certain to say about writing this as a functor category, but it doesn't seem too unreasonable (to me, right now, at least) based on the above simplicial subdivision construction that we might be able to construct a reasonable candidate: some sort of mix of the cyclic category and the orbit categories for the cyclic groups. Purely combinatorially, this seems to get tricky.

But, I think we can realize this geometrically: Let $(S^1)_r$ be the circle equipped with a $\mathbb{Z}$ action given by the rotation by $2\pi/r$. We could try to define $Hom'([m-1]_r, [m'-1]_{r'})$ along the lines of "(htpy classes of) degree $r'/r$, increasing $\mathbb{Z}$-equivariant maps $S^1 \to S^1$ sending the $mr$-torsion points to the $m' r'$-torsion points". This should correspond to taking all the $r$-cyclic categories and sticking them together, and in particular is bigger than what we want. But, the $\mathbb{Z}$-action on the circles should induce one on the $Hom'$-sets and the composition should respect it. Taking the quotient, we seem to get something that looks like a reasonable candidate. For each fixed $r$, we should be getting a copy of the cyclic category. And, e.g. $Hom([m-1]_r, [mr-1]_1)$ should contain $Hom_{orbit}(Z/mr, Z/r)$. (Disclaimer: It's late and I haven't checked any of this too carefully!)

share|improve this answer

Your Answer

 
discard

By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.