All Questions
4 questions
1
vote
0
answers
51
views
On the notation $C[\lambda]$ where $C$ is a free cooperad in a proof of formality (and other details)
In his paper where details for Tamarkin's proof of formality are given, Hinich considers a Koszul quadratic operad $P$, a graded $P$-algebra $H$, a $P_\infty$-algebra $X$ with $HX=H$ (as $P$-algebras ...
8
votes
2
answers
437
views
Is there a proof of the formality of configuration spaces of Euclidean spaces that do not involve operads?
By "configuration spaces of $\mathbb{R}^n$" I mean ordered configuration spaces:$$\operatorname{Conf}_k(\mathbb{R}^n) = \{ (x_1,\dots,x_k) \in (\mathbb{R}^n)^k \mid x_i \neq x_j, \, \forall i \neq j \}...
7
votes
2
answers
3k
views
How to define the equivalence of Maurer-Cartan elements in an $L_{\infty}$-algebra?
First let $L^{\bullet}$ be a pro-nilpotent differential graded Lie algebra (dgla). We have the set of Maurer-Cartan elements in $L^{\bullet}$ ($MC(L^{\bullet})$) which are $\alpha \in L^1$ such that ...
3
votes
1
answer
217
views
What is the definition of "the $L_\infty$ part of a $G_\infty$ morphism"?
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^\...