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 ncubes 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.

$\begingroup$ 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 ValetteLoday book. $\endgroup$– David WhiteFeb 22, 2013 at 14:45

2$\begingroup$ 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? $\endgroup$– Justin YoungFeb 22, 2013 at 15:28

$\begingroup$ 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. $\endgroup$– Fernando MuroFeb 23, 2013 at 8:24
1 Answer
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 Assalgebra, 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.

$\begingroup$ 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. $\endgroup$ Feb 23, 2013 at 6:54