Higher Koszul brackets on the cotangent complex
Abstract
Let and be a commutative algebra of the form where is a field of characteristic and is an ideal. Assume that there is a Poisson bracket on such that and let us denote the induced bracket on by as well. It is well-known that defines a Lie bracket on the -module of K\"ahler differentials making a Lie-Rinehart pair. Recall that is regular if and only if is projective as an -module. If is not regular, the cotangent complex may serve as a replacement for the -module . We prove that there is a structure of an -algebroid on , compatible with the Lie-Rinehart pair . The -algebroid on actually comes from a -algebra structure on the resolvent of the morphism . We identify examples when this -algebroid simplifies to a dg Lie algebroid. For aesthetic reasons we concentrate on cases when carries a (possibly nonstandard) -grading and both and are homogeneous.
Cite
@article{arxiv.2107.04204,
title = {Higher Koszul brackets on the cotangent complex},
author = {Hans-Christian Herbig and Daniel Herden and Christopher Seaton},
journal= {arXiv preprint arXiv:2107.04204},
year = {2024}
}
Comments
32 pages, 2 tables. V2: We corrected an error in the bracket table of the invariants of the Kleinian singularity E_7 (which does not appear in the published version in IMRN, https://doi.org/10.1093/imrn/rnac170) that was identified by William Osnayder Clavijo Esquivel; we express our appreciation for identifying this error