Derived coisotropic structures. I: Affine case (Q1783971): Difference between revisions

This work is ``part 1'' of a more general work on Coisotropic structures. It comes in the mathematical literature as a continuation of the work on shifted Poisson structures on derived stacks of [\textit{D. Calaque} et al., J. Topol. 10, No. 2, 483--584 (2017; Zbl 1428.14006)] In a second paper, these results are generalized to general derived Artin stacks. In this first paper, one deals with Coisotropic structures on morphisms of commutative dg algebras, in the context of shifted Poisson geometry, i.e. \(P_{n}\)-algebras. It is shown that they possess the following properties: -- Suppose \(A\) is a \(P_{n+1}\)-algebra, i.e. a commutative dg algebra with a Poisson bracket of degree \(-n\). Then the identity morphism \(A \to A\) carries a unique \(n\)-shifted coisotropic structure. -- A morphism of commutative algebras \(A \to B\) is compatible with n-shifted Poisson structures iff its graph \(A \otimes B \to B\) has an \(n\)-shifted coisotropic structure. Roughly speaking, a coisotropic morphism is given by a \(P_{n+1}\)-algebra acting on a \(P_{n}\)-algebra. One of the main results is an identification of the space of such coisotropic structures with the space of Maurer--Cartan elements in a certain dg Lie algebra of relative polyvector fields (see Theorem 4.16): Let \(f : A \to B\) be a morphism of commutative algebras in \(\mathcal{M}\). Then one has an equivalence of spaces\[ \mathrm{Cois}(f,n)\cong \mathrm{Map}_{\mathbf{Alg}^{gr}_{\mathrm{Lie}}} (k(2)[-1], \mathbf{Pol}(f,n)[n+1]) \cong {\underline MC}(\mathbf {Pol}^{\geq 2}(f,n)[n+1]), \] which is compatible with some diagrams.