Continuous and twisted \(L_{\infty}\) morphisms (Q852916): Difference between revisions

From the introduction: The purpose of this paper is to develop a suitable notion of continuous \(L_{\infty}\) morphism between DG Lie algebras, and to study twists of such morphisms. Let \(K\) be a field containing \(\mathbb{R}\). Consider two DG Lie algebras associated to the polynomial algebra \(K[t] := K[t_1, \dots, t_n]\). The first is the algebra of poly derivations \({\mathcal T}_{\text{poly}}(K[t])\), and the second is the algebra of poly differential operators \({\mathcal D}_{\text{poly}} (K[t])\). A very important result of M. Kontsevich, known as the Formality Theorem, gives an explicit formula for an \({L}_{\infty}\) quasi-isomorphism \[ {\mathcal U} : {\mathcal T}_{\text{poly}}(K[t]) \rightarrow {\mathcal D}_{\text{poly}}(K[t]) . \] In Section 1, the author develops the theory of dir-inv modules. A dir-inv structure on a \(K\)-module \(M\) is a generalization of an adic topology. The category of dir-inv modules and continuous homomorphisms is denoted by DIM\((K)\). The concept of dir-inv module, and related complete tensor product \(\hat {\otimes}\), are quite flexible, and are particulary well-suited for infinitely generated modules. Among other things the author introduces the notion of DG Lie algebra in \(\text{DIM}(K) \). In section 2, the author discusses some basic properties of poly differential operators expanding results from [\textit{A. Grothendieck} and \textit{J. Dieudonné}, Éléments de Géométrie Algébrique I, Springer, Berlin (1971; Zbl 0203.23301)]. In Section 3 the author reviews the coalgebra approach to \({L}_{\infty}\) morphisms. The notions of continuous, \(A\)-multilinear and twisted \({L}_{\infty}\) morphism are defined. In Section 4 the author uses the Kontsevich formality theorem to obtain the main result of the paper: Theorem. Let \(A = \bigoplus_{i \geq 0} A^i\) be a super-commutative associative unital complete DG algebra in DIM\((K)\). Consider the induced continuous \(A\)-multilinear \({L}_{\infty}\) morphism \[ {\mathcal U}_A: A\widehat {\otimes} {\mathcal T}_{\text{poly}} (K[[t]]) \rightarrow A\widehat {\otimes} {\mathcal D}_{\text{poly}} (K[[t]]) . \] Suppose \(\omega \in A^1 \widehat {\otimes} {\mathcal T}^0_{\text{poly}} (K[[t]])\) is a solution of the Maurer-Cartan equation in \(A \widehat {\otimes} {\mathcal T}_{\text{poly}} (K[[t]])\). Define \(\omega':= (\partial^1 {\mathcal U}_A)(\omega) \in A^1 \widehat {\otimes} {\mathcal D}^0_{\text{poly}} (K[[t]])\). Then \(\omega'\) is a solution of the Maurer-Cartan equation in \(A \widehat {\otimes} {\mathcal D}_{\text{poly}} (K[[t]])\), and there is continuous \(A\)-multilinear \({L}_{\infty}\) quasi-isomorphism \[ { \mathcal U}_{A, \omega}: ( A \widehat {\otimes} {\mathcal T}_{\text{poly}}(K[[t]]) )_{\omega} \rightarrow ( A \widehat {\otimes} {\mathcal D}_{\text{poly}}(K[[t]]) )_{\omega'} \] whose Taylor coefficients are \[ (\partial^j {\mathcal U}_{A, \omega})(\alpha):= \sum_{k \geq 0} {1\over (j+k)!} (\partial^{j+k} {\mathcal U}_{A})(\omega^k \wedge \alpha) \] for \(\alpha \in {\prod^j} (A\widehat {\otimes} {\mathcal T}_{\text{poly}}(K[[t]]))\). In this theorem, the DG Lie algebras \(A \widehat\otimes {\mathcal T}_{\text{poly}} (K[[t]])\) and \(A \widehat {\otimes} {\mathcal D}_{\text{poly}} (K[[t]])\) are the \(A\)-multilinear extensions of \({\mathcal T}_{\text{poly}} (K[[t]])\) and \({\mathcal D}_{\text{poly}} (K[[t]])\), respectively, and \(( A \widehat {\otimes} {\mathcal T}_{\text{poly}}(K[[t]]) )_{\omega}\) and \(( A \widehat {\otimes} {\mathcal D}_{\text{poly}}(K[[t]]) )_{\omega'}\) are their twists. The \({L}_{\infty}\) morphism \({\mathcal U}_{A}\) is the continuous \(A\)-multilinear extension of \({\mathcal U}\), and \({\mathcal U}_{A, \omega}\) is its twist. This theorem is used by \textit{A.\ Yekutieli} [Deformation Quantization in Algebraic Geometry, eprint math.AG/0310399] in which the author studies the deformation quantization of algebraic varieties.