Tsygan's generalized Gerstenhaber formality conjecture for chains

About 27 years old · traced to

Let AA be an associative algebra. Write C∙(A,A)C^{\bullet}(A,A) for its Hochschild cochain complex and C∙(A,A)C_{\bullet}(A,A) for its Hochschild chain complex. For a Gerstenhaber algebra V∙V^{\bullet}, let V∙[ϵ]V^{\bullet}[\epsilon] be the odd-parameter deformation defined by

(a+ϵb)(c+ϵd)=ac+ϵ(bc+(−1)∣a∣ad+(−1)∣a∣[a,c]),(a+\epsilon b)(c+\epsilon d)=ac+\epsilon\bigl(bc+(-1)^{|a|}ad+(-1)^{|a|}[a,c]\bigr), [a+ϵb,c+ϵd]=[a,c]+ϵ([b,c]+(−1)∣a∣+1[a,d]).[a+\epsilon b,c+\epsilon d]=[a,c]+\epsilon\bigl([b,c]+(-1)^{|a|+1}[a,d]\bigr).

Tsygan's generalized Gerstenhaber formality conjecture. For any associative algebra AA, the Hochschild chain complex C∙(A,A)C_{\bullet}(A,A) is a G∞G_{\infty} module over the G∞G_{\infty} algebra C∙(A,A)[ϵ]C^{\bullet}(A,A)[\epsilon], and its underlying L∞L_{\infty}-module structure over C∙(A,A)C^{\bullet}(A,A) is given by the action of Hochschild cochains through the operators LDL_D. If this holds, then for a smooth manifold MM the Hochschild chains and differential forms acquire corresponding G∞G_{\infty}-module structures; the source gives no resolution status.

References

Primary source

Boris Tsygan, “Formality conjecture for chains”, arXiv:math/9904132 (1999).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.