Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics comma complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration finite foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthordomenico_fiorenza
    • CommentTimeApr 16th 2012
    • (edited Apr 16th 2012)

    Which is the exact original formulation of May recognition theorem? At Ek-Algebras Lurie’s general forumlation is given and it is said that for the \infty-topos being TopTop this reduces to May’s theorem. But it seems to me that even for TopTop Lurie’s formulation tells much more than May’s theorem as it is stated there. namely in Lurie’s formulation we have an equivalence, which is missing in the formulation of May’s theorem given there. Moreover the equivalence in Lurie’s verison is an equivalence of \infty-categories and I would not be able to say that in a pre-higher categories languages (maybe it is an equivalence of homotopy categories in the original version?). Another thing puzzling me is that if XX is homotopy equivalent to an nn-fold loop space I don’t see any natural action of the little nn-cubes operad on XX, but only an action up to coherent homotopy. And again, to speak of actions up to coherent homotopy it seems I need a language of higher operads (but I may be wrong here).

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeApr 17th 2012
    • (edited Apr 17th 2012)

    Which is the exact original formulation of May recognition theorem?

    See in

    • Peter May, The geometry of iterated loop spaces (pdf)

    First version there is theorem 1.3, which goes

    There exist Σ\Sigma-free operads 𝒞 n\mathcal{C}_n, 1n1 \leq n \leq \infty, such that every nn-fold loop space is a 𝒞 n\mathcal{C}_n-space and every connected 𝒞 n\mathcal{C}_n-space has the weak homotopy type of an nn-fold loop space.

    We should add more details about all this to the nnLab entries. But I won’t do it tonight :-)

    • CommentRowNumber3.
    • CommentAuthorjim_stasheff
    • CommentTimeApr 17th 2012
    Another thing puzzling me is that if X is homotopy equivalent to an n-fold loop space I don't see any natural action of the little n-cubes operad on X, but only an action up to coherent homotopy.

    Agreed

    And again, to speak of actions up to coherent homotopy it seems I need a language of higher operads

    No, you just need an appropriate notion of a map of C_n -spaces, hopefully still parameterized by cubes,
    cf. A_\infty maps, using the `good'direction for the homotopy equivalence X <--> \Omega^n Y. it should
    be in May somewhere or else in Lada of Cohen, Lada and May.

    I have no idea what jazzy version Lurie came up with; do you need it or only htat it might as well be filled in?
    • CommentRowNumber4.
    • CommentAuthorMay
    • CommentTimeApr 17th 2012
    Remember the dates: Geometry appeared in 1972. That only stated the result for connected C_n-spaces X. In a 1974 paper E_{\infty}-spaces, group completions, and permutative categories, I generalized to non-connected spaces by showing that there is a natural group completion
    X >--> E_nX (n\geq 2), where E_n denotes my functor from C_n-spaces to n-fold loop spaces. In that generality, grouplike C_n-spaces and n-fold loop spaces are equivalent. Back in those days, we weren't striving for Quillen equivalences (although Quillen's introduction of model categories dates to 1967). I do now know how to prove a kind of Quillen adjoint equivalence between grouplike C_n-spaces and (n-1)-connected based spaces. (for the ``kind of'' caveat, compare with Theorem 0.10 in ``Model categories of diagram spectra" by Mandell, Schwede, Shipley, and myself. [All of my papers are available on my web site.] Of course, an equivalence of model categories is more precise and convenient (when available!) than an equivalence of (\infty,1)-categories. In any case saying something in that language adds no information relevant to the applications. (Computations first, theoretical addenda later). As to homotopy invariance, the paper of Lada in Cohen-Lada-May needs correction but is basically right. The better alternative is to use Boardman and Vogt: replace C_n by WC_n, in modern language a cofibrant approximation in the category of operads. A space Y homotopy equivalent to a C_n space X has a (compatible) action by WC_n$. It is well understood (at least informally) that this use of cofibrant approximation obviates the need for explicit use of coherent homotopy theory (it is a conceptual version thereof). Higher operads are quite unnecessary. For my original applications, use of just cartesian products of operads obviated the need to consider the question of homotopy invariance.
    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 17th 2012
    • (edited Apr 17th 2012)

    Never mind.

    • CommentRowNumber6.
    • CommentAuthorjim_stasheff
    • CommentTimeApr 17th 2012
    `Never mind' - what?
  1. Thanks a lot for the comments and the answers! I’m still a bit puzzled by the homotopy invriance issue. I mean, I’d like to have a statement of the form "A (nice) topolological space has the homotopy type of an nn-fold loop space if and only if…" where "(nice)" includes all the needed features like "grouplike" or "(n1)(n-1)-connected" for this statement to be true. But I don’t clearly see what should be in place of the "…" in the statement.

    Namely, I know the following (in the notations from post #4 above), always assuming XX to be as nice as needed:

    i) if XX is homeomorphic to an nn-fold loop space, then there is a C nC_n-action on XX;

    ii) if there is a C nC_n-action on XX, then XX is (weakly?) homotopy equivalent to an nn-fold loop space;

    iii) if XX is (weakly?) homotopy equivalent to an nn-fold loop space then there is a WC nWC_n action on XX.

    how does this continues? I’d like the next step stabilizes, i.e.,

    iv) if there is a WC nWC_n action on XX then XX is (weakly?) homotopy equivalent to an nn-fold loop space

    but I do not know whether this is true or not

    • CommentRowNumber8.
    • CommentAuthorMay
    • CommentTimeApr 18th 2012

    Answer to last question iv): Yes it is true, by my original arguments as cited in my post 4. The operad WC_n maps by an equivalence to the operad C_n. That is all that is needed to carry out the argument: I crossed C_n with an E_{\infty}$ operad in many of my applications and exploited the resulting map to C_n. You exploit the map from WC_n in exactly the same way.

  2. I see: so the idea is to replace the projection π n:𝒞×𝒞 n𝒞 n\pi_n:\mathcal{C}\times \mathcal{C}_n\to \mathcal{C}_n used in your “The Geometry of Iterated Loop Spaces” with any cofibrant resolution ϕ n:𝒬 n𝒞 n\phi_n:\mathcal{Q}_n\to \mathcal{C}_n (in particular one can use Boardman-Vogt 𝒲𝒞 n𝒞 n\mathcal{W}\mathcal{C}_n\to \mathcal{C}_n) and then verbatim follow your argument. Thanks a lot!

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 18th 2012

    @jim - I asked a stupid question, then realised it was stupid rather quickly, so deleted it.

    • CommentRowNumber11.
    • CommentAuthorRenato V V
    • CommentTimeMar 26th 2023
    Hi, I know this is an ancient conversation, but I'd like to point out that the model theoretical issues pointed out by May have been handled in recognition of relative loop spaces, by a generalization of Quillen adjunction inspired by May's original proof.
    • CommentRowNumber12.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMar 26th 2023

    Re #11: Why not add a comment about this to the article?