Lifts of $C_\infty$- and $L_\infty$-morphisms to $G_\infty$-morphisms
HTML articles powered by AMS MathViewer
- by Grégory Ginot and Gilles Halbout PDF
- Proc. Amer. Math. Soc. 134 (2006), 621-630 Request permission
Abstract:
Let $\mathfrak {g}_2$ be the Hochschild complex of cochains on $C^\infty (\mathbb {R}^n)$ and let $\mathfrak {g}_1$ be the space of multivector fields on $\mathbb {R}^n$. In this paper we prove that given any $G_\infty$-structure (i.e. Gerstenhaber algebra up to homotopy structure) on $\mathfrak {g}_2$, and any $C_\infty$-morphism $\varphi$ (i.e. morphism of a commutative, associative algebra up to homotopy) between $\mathfrak {g}_1$ and $\mathfrak {g}_2$, there exists a $G_\infty$-morphism $\Phi$ between $\mathfrak {g}_1$ and $\mathfrak {g}_2$ that restricts to $\varphi$. We also show that any $L_\infty$-morphism (i.e. morphism of a Lie algebra up to homotopy), in particular the one constructed by Kontsevich, can be deformed into a $G_\infty$-morphism, using Tamarkin’s method for any $G_\infty$-structure on $\mathfrak {g}_2$. We also show that any two of such $G_\infty$-morphisms are homotopic.References
- F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, and D. Sternheimer, Quantum mechanics as a deformation of classical mechanics, Lett. Math. Phys. 1 (1975/77), no. 6, 521–530. MR 674337, DOI 10.1007/BF00399745
- F. Bayen, M. Flato, C. Fronsdal, A. Lichnerowicz, and D. Sternheimer, Deformation theory and quantization. I. Deformations of symplectic structures, Ann. Physics 111 (1978), no. 1, 61–110. MR 496157, DOI 10.1016/0003-4916(78)90224-5
- Alberto S. Cattaneo, Giovanni Felder, and Lorenzo Tomassini, From local to global deformation quantization of Poisson manifolds, Duke Math. J. 115 (2002), no. 2, 329–352. MR 1944574, DOI 10.1215/S0012-7094-02-11524-5
- Grégory Ginot, Homologie et modèle minimal des algèbres de Gerstenhaber, Ann. Math. Blaise Pascal 11 (2004), no. 1, 95–127 (French, with French summary). MR 2077240, DOI 10.5802/ambp.187
- Gregory Ginot and Gilles Halbout, A formality theorem for Poisson manifolds, Lett. Math. Phys. 66 (2003), no. 1-2, 37–64. MR 2064591, DOI 10.1023/B:MATH.0000017625.37702.7a
- Victor Ginzburg and Mikhail Kapranov, Koszul duality for operads, Duke Math. J. 76 (1994), no. 1, 203–272. MR 1301191, DOI 10.1215/S0012-7094-94-07608-4
- Gilles Halbout, Formule d’homotopie entre les complexes de Hochschild et de de Rham, Compositio Math. 126 (2001), no. 2, 123–145 (French, with English summary). MR 1827641, DOI 10.1023/A:1017570728719
- Vladimir Hinich, Tamarkin’s proof of Kontsevich formality theorem, Forum Math. 15 (2003), no. 4, 591–614. MR 1978336, DOI 10.1515/form.2003.032
- G. Hochschild, Bertram Kostant, and Alex Rosenberg, Differential forms on regular affine algebras, Trans. Amer. Math. Soc. 102 (1962), 383–408. MR 142598, DOI 10.1090/S0002-9947-1962-0142598-8
- Christian Kassel, Homologie cyclique, caractère de Chern et lemme de perturbation, J. Reine Angew. Math. 408 (1990), 159–180 (French). MR 1058987, DOI 10.1515/crll.1990.408.159
- Maxim Kontsevich, Formality conjecture, Deformation theory and symplectic geometry (Ascona, 1996) Math. Phys. Stud., vol. 20, Kluwer Acad. Publ., Dordrecht, 1997, pp. 139–156. MR 1480721
- Maxim Kontsevich, Deformation quantization of Poisson manifolds, Lett. Math. Phys. 66 (2003), no. 3, 157–216. MR 2062626, DOI 10.1023/B:MATH.0000027508.00421.bf
- Maxim Kontsevich and Yan Soibelman, Deformations of algebras over operads and the Deligne conjecture, Conférence Moshé Flato 1999, Vol. I (Dijon), Math. Phys. Stud., vol. 21, Kluwer Acad. Publ., Dordrecht, 2000, pp. 255–307. MR 1805894
- Jean-Louis Koszul, Crochet de Schouten-Nijenhuis et cohomologie, Astérisque Numéro Hors Série (1985), 257–271 (French). The mathematical heritage of Élie Cartan (Lyon, 1984). MR 837203
- Tom Lada and Jim Stasheff, Introduction to SH Lie algebras for physicists, Internat. J. Theoret. Phys. 32 (1993), no. 7, 1087–1103. MR 1235010, DOI 10.1007/BF00671791
- D. Tamarkin, Another proof of M. Kontsevich’s formality theorem, math. QA/9803025.
- D. Tamarkin and B. Tsygan, Noncommutative differential calculus, homotopy BV algebras and formality conjectures, Methods Funct. Anal. Topology 6 (2000), no. 2, 85–100. MR 1783778
Additional Information
- Grégory Ginot
- Affiliation: Laboratoire Analyse Géométrie et Applications, Université Paris 13 et Ecole Normale Supèrieure de Cachan, France
- Email: ginot@cmla.ens-cachan.fr
- Gilles Halbout
- Affiliation: Institute de Recherche Mathématique Avancée, Université Louis Pasteur et CNRS, Strasbourg, France
- Email: halbout@math.u-strasbg.fr
- Received by editor(s): April 1, 2003
- Received by editor(s) in revised form: September 30, 2004
- Published electronically: July 18, 2005
- Communicated by: Paul Goerss
- © Copyright 2005 American Mathematical Society
- Journal: Proc. Amer. Math. Soc. 134 (2006), 621-630
- MSC (2000): Primary 16E40, 53D55; Secondary 18D50, 16S80
- DOI: https://doi.org/10.1090/S0002-9939-05-08126-8
- MathSciNet review: 2180877