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 complex complex-geometry computable-mathematics computer-science constructive cosmology definitions deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration 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 object 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.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    In the in-depth conceptual treatment on operads over at operad, I noticed that there is something very similar to the construction of Hovey-Shipley-Smith of their tensor product of pointed simplicial sequences.

    Their construction is essentially as follows: Let S *S_* be the category of pointed simplicial sets equipped with the smash product of pointed simplicial sets. Then look at the functor category S * S_*^\mathbb{P} where \mathbb{P} is the groupoid of finite cardinals. The monoidal coproduct on \mathbb{P} lifts to a canonical symmetric monoidal closed tensor product on S * S_*^\mathbb{P} by the day convolution. The symmetric sphere spectrum is a monoid in this category, and we get the smash product of spectra as the tensor product of sphere-spectrum modules.

    I’ve heard that before there was a good symmetric monoidal product on (symmetric) spectra, there was an operadic method to get E E_\infty-rings. Does this have anything to do with the observation that the construction above looks like the first half of the construction of the monoidal category where operads are monoids?

    Also, if you have time, could you explain how to construct the enriched day convolution for presheaf categories using universal properties (like we did in the recent thread on the join)? The difference here is that the category of enriched presheaves doesn’t seem to have the same universal property (the free cocompletion) that allows us to extend the monoidal product on the base.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeDec 7th 2010

    Harry, first a niggle: can you use ’Day’ rather than ’day’? It does refer to the surname of a person, not a period of time. :-)

    If I understand your question correctly you need a version of the Day convolution in this enriched context. The Day convolution is often written as an end or coend (I forget which) so we come back to them. Have you looked at that sort of formulation here, possibly replacing the end in the formula by a weighted end of some type.

    • CommentRowNumber3.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    I consider non-capitalization of a person’s name as a badge of honor (kan complex, abelian group, serre fibration, etc.), but if it matters to you, I will try to remember =)!

    Regarding the end/coend thing, I’m hoping to avoid them like we were able to in the other thread (by means of a kan extension).

    • CommentRowNumber4.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    I’ve heard that before there was a good symmetric monoidal product on (symmetric) spectra, there was an operadic method to get E E_\infty-rings.

    You might want to get a hold of the old books by May, starting with The Geometry of Iterated Loop Spaces, and proceeding to E E_\infty ring spaces and E E_\infty ring spectra (Springer LNM 577).

    I’m not quite sure what you’re driving at in your question, since the operad article gives a detailed description of the general notion of operad, whereas E E_\infty spaces are described as algebras of certain specific operads (or rather, of specific homotopy type, that of the operad which arises by applying the classifying space functor to the club for symmetric monoidal categories, if my memory can be trusted).

    The difference here is that the category of enriched presheaves doesn’t seem to have the same universal property (the free cocompletion) that allows us to extend the monoidal product on the base.

    Enriched presheaves form the free VV-cocompletion (where VV is the base of enrichment). The development is completely analogous to the SetSet-based case. In particular, Day convolution is defined by the exact same coend formula, except that that the coend is an enriched coend, for which see Kelly’s book for details.

    Edit: You really ought to try to get over your allergy to coends, because they are very handy. Of course, Day convolution is given by a tensor or weighted colimit construction

    F DayG=(F VG) MM(yμ)F \otimes_{Day} G = (F \otimes_V G) \otimes_{M \otimes M} (y \circ \mu)

    (FF, GG enriched presheaves on a VV-monoidal category MM with monoidal product μ\mu) which in turn is a left Kan extension of μ:MMMV M op\mu: M \otimes M \to M \to V^{M^{op}} along the Yoneda embedding of MMM \otimes M, applied to the obvious object F VGF \otimes_V G in V (MM) opV^{(M \otimes M)^{op}}.

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeDec 7th 2010

    Regarding ends/coends they are easier to manipulate than Kan extensions.

    On the other matter perhaps one Day we will refer to Kan extension in certain situations as gindi convolutions. =)

    When I write articles with French mathematicians we often have the capitulisation discussion as Galois is théorie galoisienne as adjectives do not take capitals. (This occured in another thread as ’response normande’ not ’Normande’. My argument is that it can avoid some instances of confusion. A’ street fest’ is a festival in the street,; a Street fest’ is in honour of Ross Street!. It is really unimportant but fun to discuss from time to time.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010

    There is in fact a Ross Street in downtown Sydney, which has become a standard joke you’ll hear. (The band Null Set plays at Zed Axis on Ross Street.) Good times, good times.

    • CommentRowNumber7.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    @Todd:

    Regarding the second point first: Aha, got it.

    Regarding the first point,

    Hovey-Shipley-Smith is all about symmetric simplicial spectra (these are the only ones I have any interest in, because I find topological spaces abhorrent). In particular, there is a monoidal quillen equivalence between their category of symmetric spectra and EKMM’s category of S-modules. The (appropriate version of) May’s loop spectra become the fibrant objects in HSS’s model category.

    Suppose for a moment that we wanted some E E_\infty-ring. Normally this would be some algebra in the category of spectra for the E E_\infty-operad, right? However, this algebra is somehow equivalent to a monoid in HSS’s category of symmetric spectra. The thing that looks similar is that doing the whole Day convolution thing with presheaves on the category \mathbb{P} is halfway to the construction of the category of pointed simplicial species, for which the monoids are symmetric pointed simplicial operads.

    • CommentRowNumber8.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010

    Regarding the second point first: Aha, got it.

    You’re welcome.

    As for the rest, are you referring to this? Unfortunately I’m not really up on this, but I am interested.

    • CommentRowNumber9.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    Yup! I’m wondering sorta how their construction is related to the construction of symmetric operads in pointed simplicial sets, and further, how this is related to the E E_\infty-operad.

    At least, since the E E_\infty operad is an operad in Top *Top_*, it has a corresponding operad in sS *sS_* mutatis mutandis.

    So here’s what I’m thinking, in my completely uninformed intuition: Take some monoid in pointed simplicial species representing the E E_\infty-operad (so far this thing at least exists). I’m guessing that this operad also has an underlying monoid for the Day tensor product (This is the part that’s really not based on anything at all!) on symmetric sequences (this has the same underlying category as simplicial species, but a different monoidal product, so maybe this is true?). If this is the case, then I would guess that this object is going to be stably equivalent to HSS’s symmetric sphere spectrum.

    The sort of interesting thing here would be some kind of interaction between the Day tensor product and the tensor product of species.

    Another unfounded idea that I’ll throw out there: Sort-of by the reasoning in the article operad, E E_\infty is a monad on symmetric sequences, and it is exactly the monad given by the repeated application of the Day tensor product on symmetric sequences. In particular, the symmetric sphere spectrum is just an algebra for this monad.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    The sort of interesting thing here would be some kind of interaction between the Day tensor product and the tensor product of species.

    It’s the same thing! The species monoidal product (usually denoted \otimes by Joyal) is a Day convolution.

    • CommentRowNumber11.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    The species monoidal product I thought comes from endofunctor composition, which makes use of the canonical equivalence (isomorphism?) [Psh(),Psh()]Psh()[Psh(\mathbb{P}),Psh(\mathbb{P})]\cong Psh(\mathbb{P}) induced by the universal property.

    • CommentRowNumber12.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010

    Oh, that one. I call that the “substitution product”. You kept referring to the “first half of the construction of the monoidal category” , which of course is vague and confusing. “First half” – I thought you meant the construction of the symmetric monoidally cocomplete category.

    So now, what’s the question again? Of course there is interaction between Day convolution and substitution product.

    Let’s save some time here, and see if there is a real (i.e., precise) question. There’s way too much futzing around.

    • CommentRowNumber13.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    So we’ve got the E E_\infty operad, which is a monad on the category of symmetric sequences of pointed simplicial sets. This presentation of the E E_\infty operad as a monad, I think, is just the free monoid monad on the category of symmetric sequences of simplicial sets (with the Day tensor product). Does that sound right?

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010

    For A A_\infty operads, the monad ΩΣ\Omega \Sigma on pointed simplicial sets is homotopy equivalent to the James construction (which gives a free topological monoid). See for example theorem 2.1 of Baues-Brown, On relative homotopy groups of the product filtration, the James construction, and a formula of Hopf (downloadable via google search).

    The situation for E E_\infty operads (where you have all higher homotopy commutativities as well) is I think slightly trickier, but I think I’ll pass along the question to someone else, because I don’t have time at the moment, and also I’d need to read a bit to answer with any confidence. Maybe Mike is up on this stuff.

    • CommentRowNumber15.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010

    Hmm.. Hey Todd, by the way, how do you deduce the formula for the substitution product from the composition of endofunctors and the universal property?

    • CommentRowNumber16.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 7th 2010

    I’ll do the SetSet-based case; the general VV-based case is similar. I’m pretty sure this must be at operad if you read carefully, though.

    Let GG be a presheaf, written as G:1Set opG: 1 \to Set^{\mathbb{P}^{op}} where Set opSet^{\mathbb{P}^{op}} has been endowed with the Day convolution product. Since \mathbb{P} is the free symmetric monoidal category on 11, there exists a symmetric monoidal functor Set op\mathbb{P} \to Set^{\mathbb{P}^{op}}, unique up to symmetric monoidal isomorphism, that extends GG along the inclusion 11 \to \mathbb{P}. At the object level, it takes the object (finite cardinal) nn to the nn-fold Day convolution G nG^{\otimes n}.

    By the universal property of Day convolution, the symmetric monoidal functor G :Set opG^{\bullet}: \mathbb{P} \to Set^{\mathbb{P}^{op}} extends uniquely (again up to symmetric monoidal isomorphism) to a symmetric monoidal cocontinuous functor Set opSet opSet^{\mathbb{P}^{op}} \to Set^{\mathbb{P}^{op}}. This takes a presheaf FF to what might be written as either side of

    F G = nOb()F(n)G nF \otimes_{\mathbb{P}} G^{\bullet} = \int^{n \in Ob(\mathbb{P})} F(n) \otimes G^{\otimes n}

    This is the formula for the substitution product FGF \circ G. Now it is just a matter of decoding this formula. Thinking of \mathbb{P} as equivalent to the category of finite sets and bijections, the nn-fold convolution is given by a familiar species formula

    G n(S)= S=S 1++S n i[n]G(S i)G^{\otimes n}(S) = \sum_{S = S_1 + \ldots + S_n} \bigotimes_{i \in [n]} G(S_i)

    where the sum is over all decompositions of SS into nn disjoint parts (allowing parts to be empty). Then

    (FG)[S]= n0 S=S 1++S nF([n]) i[n]G(S i)(F \circ G)[S] = \sum_{n \geq 0} \sum_{S = S_1 + \ldots + S_n} F([n]) \otimes \bigotimes_{i \in [n]} G(S_i)

    which gives the usual formula. The first couple of pages of my article Notes on the Lie Operad (which you can get at John Baez’s website) goes through this in the first few pages.

    • CommentRowNumber17.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 7th 2010
    • (edited Dec 7th 2010)

    Yeah, what I’m not seeing is how you got that coend out of thin air. It looks like some kind of (pardon the pun) GG-ometric realization.

    Edit:

    Ohhhhhh…..

    I see.

    GG determines the analog of a “cosimplicial object”, and the composition product is the realization with respect to that “cosimplicial object”.

    Stupid question: What is the analog of the substitution product if we replace \mathbb{P} by Δ a\Delta_a, the augmented simplex category with its monoidal product being the ordinal sum?

    • CommentRowNumber18.
    • CommentAuthorTodd_Trimble
    • CommentTimeDec 8th 2010
    • (edited Dec 8th 2010)

    Harry, perhaps I did not express myself well. I’d like to try to say it again, focusing on the universal property of the free cocompletion.

    First, any presheaf F:C opSetF: C^{op} \to Set (CC small) is a colimit of representables, by the (co)Yoneda lemma. This is often expressed by a coend formula

    F() cCF(c)hom(,c)F(-) \cong \int^{c \in C} F(c) \otimes \hom(-, c)

    but if you don’t like coends, we can be more fashionable and write F()F(?) Chom(,?)F(-) \cong F(?) \otimes_C \hom(-, ?). (“The hom is the unit bimodule/profunctor.”) You can also express the colimit of representables by using categories of elements, but the drawback to that is that it doesn’t translate well to the enriched context.

    Now, suppose given any functor Φ:CD\Phi: C \to D to a cocomplete category DD. Then the unique (up to iso) cocontinuous extension Ψ:Set C opD\Psi: Set^{C^{op}} \to D takes the presheaf

    F cF(c)hom(,c)F \cong \int^c F(c) \otimes \hom(-, c)

    to the corresponding colimit in DD:

    Ψ(F) cF(c)Ψ(hom(,c)) cF(c)Φ(c)\Psi(F) \cong \int^c F(c) \otimes \Psi(\hom(-, c)) \cong \int^c F(c) \otimes \Phi(c)

    Or, more fashionably, it takes F(?) Chom(,?)F(?) \otimes_C \hom(-, ?) to

    F(?) CΨ(hom(,?))=F(?) CΦ(?)(moresimply,F CΦ).F(?) \otimes_C \Psi(\hom(-, ?)) = F(?) \otimes_C \Phi(?) \qquad (more simply, F \otimes_C \Phi).

    So the formula for the cocontinuous extension (which is Lan yΦLan_y \Phi) takes FF to the tensor product F CΦF \otimes_C \Phi.

    In particular, for Φ=G \Phi = G^{\bullet}, this should explain that mysterious coend formula: the cocontinuous extension takes FF to

    F CG = nF(n)G nF \otimes_C G^{\bullet} = \int^{n \in \mathbb{P}} F(n) \otimes G^{\otimes n}

    Now, as for your second question (which you feared was stupid): I am not aware of any substitution product analogue with Δ\Delta replacing \mathbb{P}. What makes this tick in the case \mathbb{P} is the fact that symmetric monoidal categories are the (pseudo)algebras for a club, and \mathbb{P} is the free symmetric monoidal category on 11 (there’s a little more to it than that). Can you describe Δ\Delta as the free “category of structure type or brand XX” generated by 11? I don’t know how to express the universal property of Δ\Delta in quite that way; I don’t know what “XX” would be. I know Δ\Delta is the “walking monoid”, i.e., (2-)initial monoidal category with a monoid object, but that’s a different kind of universal property.

    Thus, I don’t know how to define a Δ\Delta-operad. On the other hand, I do know how to define nonpermutative operads, because \mathbb{N} is (equivalent to) the free monoidal category generated by 1. I do know how to define braided operads, because the braid category 𝔹\mathbb{B} is the free braided monoidal category generated by 1. I do know how to define cartesian operads = finitary Lawvere theories, because the category opposite to finite sets is the free category with finite products generated by 1.

    • CommentRowNumber19.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 8th 2010
    • (edited Dec 8th 2010)

    @Todd: Yeah, I got it in the edit to my previous post. I didn’t realize that the functor here was G :Psh()G^\bullet:\mathbb{P}\to Psh(\mathbb{P}). This is the “cosimplicial object” thing I was talking about. However, thank you for the other part of the explanation regarding the coend in question.

    Regarding the Δ\Delta thing, I was basing it on having read that “universal walking monoid” thing, but as you’ve explained, this isn’t the same type of universal property, so I’ve got that too. Thanks for all of the help.

    • CommentRowNumber20.
    • CommentAuthorMike Shulman
    • CommentTimeDec 8th 2010

    @13-14: What is “the” E E_\infty operad? I only know the notion of an E E_\infty operad (a symmetric operad where all operation-spaces are contractible).

    • CommentRowNumber21.
    • CommentAuthorHarry Gindi
    • CommentTimeDec 8th 2010
    • (edited Dec 8th 2010)

    @Mike: Isn’t “the” E E_\infty-operad well-defined up to weak equivalence of pointed topological (pointed simplicial) operads?

    • CommentRowNumber22.
    • CommentAuthorMike Shulman
    • CommentTimeDec 8th 2010

    Sure, but the whole point of using operads is that you’re looking for a point-set level model of things. If you say “the contractible (∞,1)-operad” then I’m okay, but on the point-set level, when we’re looking for strict actions rather than up to homotopy, differences between different operads can make a difference. In particular, I don’t know how to make sense of your question 13 without picking a particular E E_\infty-operad (and even then I’m not sure what you mean).