TY - JOUR

T1 - Shifted Derived Poisson Manifolds Associated with Lie Pairs

AU - Bandiera, Ruggero

AU - Chen, Zhuo

AU - Stiénon, Mathieu

AU - Xu, Ping

N1 - Publisher Copyright:
© 2019, Springer-Verlag GmbH Germany, part of Springer Nature.

PY - 2020/5/1

Y1 - 2020/5/1

N2 - We study the shifted analogue of the “Lie–Poisson” construction for L∞ algebroids and we prove that any L∞ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy transfer theorem for derived Poisson algebras. As an application, we prove that, given a Lie pair (L, A), the space totΩA∙(Λ∙(L/A)) admits a degree (+ 1) derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley–Eilenberg differential dABott:ΩA∙(Λ∙(L/A))→ΩA∙+1(Λ∙(L/A)) as unary L∞ bracket. This degree (+ 1) derived Poisson algebra structure on totΩA∙(Λ∙(L/A)) is unique up to an isomorphism having the identity map as first Taylor coefficient. Consequently, the Chevalley–Eilenberg hypercohomology H(totΩA∙(Λ∙(L/A)),dABott) admits a canonical Gerstenhaber algebra structure.

AB - We study the shifted analogue of the “Lie–Poisson” construction for L∞ algebroids and we prove that any L∞ algebroid naturally gives rise to shifted derived Poisson manifolds. We also investigate derived Poisson structures from a purely algebraic perspective and, in particular, we establish a homotopy transfer theorem for derived Poisson algebras. As an application, we prove that, given a Lie pair (L, A), the space totΩA∙(Λ∙(L/A)) admits a degree (+ 1) derived Poisson algebra structure with the wedge product as associative multiplication and the Chevalley–Eilenberg differential dABott:ΩA∙(Λ∙(L/A))→ΩA∙+1(Λ∙(L/A)) as unary L∞ bracket. This degree (+ 1) derived Poisson algebra structure on totΩA∙(Λ∙(L/A)) is unique up to an isomorphism having the identity map as first Taylor coefficient. Consequently, the Chevalley–Eilenberg hypercohomology H(totΩA∙(Λ∙(L/A)),dABott) admits a canonical Gerstenhaber algebra structure.

UR - http://www.scopus.com/inward/record.url?scp=85067314273&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=85067314273&partnerID=8YFLogxK

U2 - 10.1007/s00220-019-03457-w

DO - 10.1007/s00220-019-03457-w

M3 - Article

AN - SCOPUS:85067314273

SN - 0010-3616

VL - 375

SP - 1717

EP - 1760

JO - Communications In Mathematical Physics

JF - Communications In Mathematical Physics

IS - 3

ER -