MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

We know that in Tamarkin's proof of Kontsevich's formality theorem, he defined the $G_\infty$ structure on the Hochschild cochain complex $C^\cdot(A,A)$ and constructed a $G_\infty$ morphism from $HH^\cdot(A,A)$ to $C^\cdot(A,A)$, which makes Kontsevich's original $L_\infty$ morphism as the $L_\infty$ part of it.

So what is the precise definition of "the $L_\infty$ part of a $G_\infty$ morphism"? I know it looks like we just forget the homotopies for the cup product but how to make it precise?

share|cite|improve this question
There is a map of operads from $L_\infty$ to $G_\infty$. Given a $G_\infty$, just "restrict operations" along that map, just as one restricts scalars along a map of rings. – Mariano Suárez-Alvarez Jul 8 '12 at 3:03
@Mariano: An $L_\infty$ morphism is NOT the same as a map of algebras over the $L_\infty$ operad. The latter is much stricted than the former. – André Henriques Jul 8 '12 at 6:47
up vote 2 down vote accepted

A $G_\infty$-morphism $\phi$ is determined by structure maps $\phi^{k_1,\dots,k_n}$, $n\geq1$, $k_1,\dots,k_n\geq1$.

The $L_\infty$-part of $\phi$ is the $L_\infty$-morphism $\ell$ with structure maps $\ell^k=\phi^{\overbrace{1,\dots,1}^{k~times}}$.

In order to make this precise you might have to put (de)suspensions at the appropriate places.

share|cite|improve this answer
Thank you very much! – Zhaoting Wei Jul 10 '12 at 2:48

Your Answer


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.