Derived coisotropic structures. I: Affine case (Q1783971): Difference between revisions
From MaRDI portal
ReferenceBot (talk | contribs) Changed an Item |
Created claim: Wikidata QID (P12): Q130133371, #quickstatements; #temporary_batch_1733738269825 |
||
Property / Wikidata QID | |||
Property / Wikidata QID: Q130133371 / rank | |||
Normal rank |
Revision as of 10:58, 9 December 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Derived coisotropic structures. I: Affine case |
scientific article |
Statements
Derived coisotropic structures. I: Affine case (English)
0 references
21 September 2018
0 references
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.
0 references
cositropic structures
0 references
Poisson algebras
0 references
operad
0 references
Maurer-Cartan elements
0 references