Higher Koszul Brackets on the Cotangent Complex

Abstract: Let

n g e 1

and

A

be a commutative algebra of the form

where

is a field of characteristic

0

and

is an ideal. Assume that there is a Poisson bracket

:, :

on

S

such that

I, S s u b s e t e q I

and let us denote the induced bracket on

A

by

:, :

as well. It is well-known that

[m a t h r m d x_{i}, m a t h r m d x_{j}] := m a t h r m d x_{i}, x_{j}

defines a Lie bracket on the

A

-module

of K"ahler differentials making

a Lie-Rinehart pair. Recall that

A

is regular if and only if

is projective as an

A

-module. If

A

is not regular, the cotangent complex

may serve as a replacement for the

A

-module

. We prove that there is a structure of an

L_{i} n f t y

-algebroid on

, compatible with the Lie-Rinehart pair

. The

L_{i} n f t y

-algebroid on

actually comes from a

P_{i} n f t y

-algebra structure on the resolvent of the morphism

k [x_{1}, x_{2}, d o t s, x_{n}] o A

. We identify examples when this

L_{i} n f t y

-algebroid simplifies to a dg Lie algebroid. For aesthetic reasons we concentrate on cases when

carries a (possibly nonstandard)

m a t h b b Z_{g e 0}

-grading and both

I

and

:, :

are homogeneous.

Recommendations

Cited in

(6)

This page was built for publication: Higher Koszul Brackets on the Cotangent Complex