2003/09/19 by M. Bordemann, Martin Bordemann, G. Ginot +11 · 1 citation
Arts and Humanities · Mathematics · #16E40 #53D55 #Advanced Topics in Algebra #FOS: Mathematics #Homotopy and Cohomology in Algebraic Topology #Medieval European Literature and History #Quantum Algebra (math.QA) #math.QA #msc:16E40 #msc:53D55
paper · pdf · doi:10.48550/arxiv.math/0309321
36 pages, Latex2e, paper in French
arxiv created 2003/09/19 · openalex publication_date 2003/09/19 · arxiv updated 2009/12/01 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
For a coisotropic (or first-class) submanifold C of a Poisson manifold X we consider star-products for which the vanishing ideal I of C becomes a left ideal in the deformed algebra thus defining a left module structure on the space of smooth functions on C. We show how this can be deduced from a formality conjecture a la Tamarkin generalized to cochains compatible with C. To this end we first prove a theorem a la Hochschild-Kostant-Rosenberg between the space of compatible multivector fields and compatible multidifferential operators. We then equip the latter with a G-infinity structure, and prove that the obstructions to the formality are controlled by certain cohomology groups which we reduce in the case of C being a subvectorspace of the vectorspace M. In codimension 1 we conjecture -encouraged by low-dimensional examples and Gloessner's representation theorem (1998)- that formality holds. For higher codimensions it is not impossible that obstructions occur which in the symplectic case are linked to the Atiyah-Molino class of a regular foliation.