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

Any symmetric operad can be considered as an non-$\Sigma$ operad by throwing away permutations. Does anyone know what sort of structure one gets for algebras over $C_n$ the little n-cubes operad, or some equivalent variant, considered in this way? One thing which is strange is that there is a non-$\Sigma$ operad splitting of the map $Ass \to Com$ (where $Ass$ and $Com$ are the symmetric associative and commutative operads, respectively), and so any non-$\Sigma$ $C_n$ algebra should be a loop space, but I do not see what, if any, extra structure is present.

share|improve this question
    
What do you mean "what sort of structure?" I mean, you get a model structure on the category of algebras by John Harper's work (his paper "Non$-\Sigma$-operads") if you know the underlying category has the monoid axiom. But I don't know more than that. I've read a lot in this field and haven't seen much about $C_n$. It might appear in the Valette-Loday book. –  David White Feb 22 '13 at 14:45
2  
My ideal answer would be something analogous to the characterization of symmetric $C_n$ algebras as $n$-fold loop spaces. Perhaps a nice description of the free algebras. It is clear you have a loop space for all $n$, and then at $C_\infty$ you get a loop space again, but does anything interesting happen in the middle? –  Justin Young Feb 22 '13 at 15:28
    
Is the question settled for $Ass$? I've tried to think of this case, that I assumed to be easy, but didn't get anything appart from the splitting you mention. –  Fernando Muro Feb 23 '13 at 8:24
add comment

1 Answer 1

Justin, that is a cute question, and I've never thought about it. One starting thought free guess (acting on connected spaces) is that a non-$\Sigma$ $C_n$-space has $n$ possibly inequivalent but definitely related loop space structures. Do you see examples, or is this just curiosity? As to Ass and Com, I see no interest in building in the permutations to define Ass and then throwing them away. Of course, a non-$\Sigma$ `Com'-algebra is the same thing as an Ass-algebra, but the operadic modules over these kinds of algebras are different (bimodules and left modules). David, I think Justin is asking a concrete question, not the sort that model category structures shed light on.

share|improve this answer
    
Thank you for responding. I do not have any examples in mind other than the obvious free algebras. This question was put to me and I thought it was surprising and interesting, and I had never thought about it, either. I thought that there should be a simple answer, but I was unable to come up with one quickly myself or to find anything in the literature about it. –  Justin Young Feb 23 '13 at 6:54
add comment

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.