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

Let $D_2$ be the topological operad of little disks. This operad can be modelled "combinatorially" in terms of an operad of groupoids called $\newcommand{\PaB}{\mathbf{PaB}}\PaB$, the operad of parenthesized braids. An object of the groupoid $\PaB(n)$ is a complete parenthesization of a permutation of the symbols $\{1,...,n\}$, e.g. $$ ((24)(13)5) \in \mathrm{ob} \,\PaB(5),$$ and morphisms are $n$-strand braids, such that the start- and endpoints of each strand are labeled by the same element of $\{1,...,n\}$. Composition in this operad is given by "cabling". The connection to the little disk operad is that one can quite easily write down a morphism of operads $$ \PaB \to \Pi_1(D_2),$$ where $\Pi_1(-)$ denotes the fundamental groupoid, such that $\PaB(n) \to \Pi_1(D_2)(n)$ is an equivalence of categories for all $n$.

If we denote by $N$ the composition of the nerve functor with the geometric realization, then $N\PaB$ is a topological operad.

Fact: $N\PaB$ is equivalent to $D_2$, i.e. there is a zig-zag of operad morphisms between $N\PaB$ and $D_2$, each of which is arity-wise a weak equivalence.

In the literature this fact is in several places proven by appealing to Fiedorowicz's recognition principle, see e.g. Dmitry Tamarkin, Formality of chain operad of little discs, Section 2. I don't understand why and I guess I am missing something: it seems to me that there is a much more direct argument. Indeed the map $\PaB \to \Pi_1(D_2)$ gives a homotopy equivalence $$N\PaB \to N\Pi_1(D_2),$$ moreover, the unit of the adjunction between $\Pi_1$ and $N$ gives a morphism $$D_2 \to N\Pi_1(D_2)$$ which is also an equivalence since $X \to N\Pi_1(X)$ is a homotopy equivalence for any $K(\pi,1)$-space, such as $D_2(n)$. What am I missing?

share|improve this question
    
Have you looked at Severa's paper on Tamarkin's proof? I think he constructs all of these equivalences explicitly. In any case, +1 for the question. –  Theo Johnson-Freyd Jul 9 '13 at 21:08
    
Thanks, Theo! Did you mean his paper with Willwacher, "Equivalence of formalities of the little discs operad"? On the bottom of page 9 of their paper they give exactly the argument I give, which is encouraging. –  Dan Petersen Jul 9 '13 at 21:50

1 Answer 1

up vote 2 down vote accepted

It seems to me that the operad morphism from PaB to $\Pi_1(D_2)$ works in positive arity but does not respect composition with the $0$-ary operation on the object level.

share|improve this answer
1  
Hi Paolo. It appears your mathoverflow accounts got duplicated. If you wish, you can try following the instructions at mathoverflow.net/contact/user-merge to merge your accounts. If that does not work, you can also make a request at mathoverflow.net/contact/other to merge your accounts. Some helpful information is also available at meta.mathoverflow.net/questions/15/…. –  Ricardo Andrade Jul 10 '13 at 20:24
    
Thanks Ricardo I have been away for long time! –  Paolo Salvatore Jul 10 '13 at 22:06
    
My pleasure, Paolo. It's good to have you back! –  Ricardo Andrade Jul 10 '13 at 22:07
    
Thank you! This observation makes a lot of sense. For my purposes I am happy to ignore the 0-ary operation. –  Dan Petersen Jul 11 '13 at 8:11

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.