This question is motivated by the desire to understand better the interplay between Drinfeld associators, algebraic structures up to homotopy and related results.
Recall that a Lie bialgebra is a Lie algebra $\mathfrak g$ with a Lie algebra structure on $\mathfrak g^*$ (cobracket) plus some compatibility conditions. These are infinitesimal versions of compatible Poisson structures on Lie group. A quantization of $\mathfrak g$ is a $\mathbb C[[\hbar]]$ deformation of the envelopping algebra of $\mathfrak g$ the coproduct of which gives back the cobracket of $\mathfrak g$ at the quasi-classical limit. Etingof-Kazhdan theorem states that every Lie bialgebra can be quantized, in a functorial way. Tamarkin's proof of this results relies on the formality of the little disc operad, and in fact so does the original proof in a slighty different language.
The original proof use the statement "the choice of an associator leads to a quasi-triangular quasi-Hopf algebra (aka braided monidal category) from any metrizable Lie algebra (i.e. equipped with an invariant symmetric bilinear form)". Indeed, any metrizable Lie algebra leads to a representation of a certain operad in Lie algebra $\mathfrak t$ and an associator is nothing but an isomorphism from some completion of the group algebra of pure braid operad to $U(\mathfrak t)$.
Then the proof goes a follow:
- To any Lie bialgebra $\mathfrak g$ is asociated its double $\mathfrak d$ which quasi-triangular and in particular metrizable. $\mathfrak d=\mathfrak g\oplus \mathfrak g^*$ as vector space and the pairing is just the canonical one.
- Use the above statement to turns $U(\mathfrak d)[[\hbar]]$ into a quasi-triangular quasi-Hopf algebra
- Solve the so-called "twist equation" which say that the quasi-Hopf algebra $U(\mathfrak d)[[\hbar]]$ can be turned into an honest Hopf algebra $U_{\hbar}(\mathfrak d)$. An important fact is that the product is not modified, i.e. $U_{\hbar}(\mathfrak d)$ is isomorphic to $U(\mathfrak d)[[\hbar]]$ as an algebra.
- That we have a quasi-triangular quantization means roughly that we get a quantum version of the pairing (given by the quantum R-matrix) which can be used to identify a sub-Hopf algebra $U_{\hbar}(\mathfrak g)$ of $U_{\hbar}(\mathfrak d)$ which is the quantization we were looking for. One can also show that $U_{\hbar}(\mathfrak d)$ is the quantum Drinfeld double of $U_{\hbar}(\mathfrak g)$.
Note that thinking of $U_{\hbar}(\mathfrak g)$ as a subalgebra of $U_{\hbar}(\mathfrak d)$ is a bit misleading, and that it's somehow better to see $U(\mathfrak d)$ as an auxiliary space acting on $S(\mathfrak g)$ by differential operators. In this sense the "twist" really leads to a star product and a "star coproduct" on $S(\mathfrak g)$ whose coefficients are given by the action of some differential operators.
Now Tamarkin's proof goes as follow:
- Any Lie bialgebra $\mathfrak g$ leads to a Gerstenhaber structure on the free graded commutative algebra $H=S(\mathfrak g_{\hbar}[-1])$ where in $\mathfrak g_{\hbar}$ the cobracket is multiplied by $\hbar$.
- The operad of Gerstenhaber algebras is quasi-isomorphic to $BU(\mathfrak t)$ (where $B$ is the bar construction).
- The little disc operad is formal, which is roughly a refinement of the above statement on the relation between braids and $\mathfrak t$, applied at the level of chain.
- The operad of chain of the little disc operad is quasi-isomorphic to the operad of brace algebras (this is a version of the so-called Deligne conjecture).
- Therefore we get a brace structure on $H$, which induces a differential graded Hopf algebra structure on the cofree coalgebra $C(H[1])$.
- Finally, so far I understand, one can show that the 0th cohomolgoy group of the dg Hopf algebra obtained this way is a Hopf algebra quantizing $\mathfrak g$.
Admittedly I'm less confortable with this proof, though I can roughly understand how it goes, except maybe the last step. Anyway, I'm interested in understanding how thse proofs relate. Clearly the key fact is quite similar, though different: in the first case the (trivial deformation of) the category of modules over $\mathfrak d$ is an algebra over the operad $\mathfrak t$, while in the second case we construct a space which is an algebra over some operad of complex attached to $\mathfrak t$ through some combinatorial quasi-isomorphism. Then the same isomorphism coming from an associator is applied but in different worlds. So are related Etingof-Kahdan 2 and Tamarkin 3.
Now I'd like to understand the relations between the other steps. The relation between the pairing on $\mathfrak d$ and the complex associated to $\mathfrak g$ is probably well known, but I didn't find a reference. The second part is probably more tricky, and I would really be happy to learn that there is indeed some relations between the Deligne conjecture and the statement that "a quasi Hopf algebra obtained from a Drinfeld associator can be turned into an Hopf algebra". Since the role of the Drinfeld double is to somehow merge the (Lie) algebra and the (Lie) coalgebra structure, it's temptating to think that there is a sort of correspondance between coalgebra deformations of $U(\mathfrak d)$ and bialgebra deformations of $U(\mathfrak g)$, and Etingof-Kahdan's proof show that it is indeed the case, in a highly non obvious way. Can this fact also be related to the Deligne conjecture ?
Edit I just came across these very interesting notes By Pavel Safronov which explain Tamarkin's proof along the same lines as Kevin's answer below.