Jet Functors in Noncommutative Geometry

Authors Keegan Flood, Mauro Mantegazza, Henrik Winther

Publication date 26 April 2022

Differential graded algebras and applications (associative algebraic aspects) (16E45) Rings of differential operators (associative algebraic aspects) (16S32) Quantum groups (quantized function algebras) and their representations (20G42) General theory of partial differential operators (47F05) Jets in global analysis (58A20) Geometry of quantum groups (58B32) Noncommutative geometry (à la Connes) (58B34) Noncommutative geometry in quantum theory (81R60)

Abstract: In this article we construct three infinite families of endofunctors

J_{d}^{(n)}

,

J_{d}^{[n]}

, and

J_{d}^{n}

on the category of left

A

-modules, where

A

is a unital associative algebra over a commutative ring

m a t h b b k

, equipped with an exterior algebra

. We prove that these functors generalize the corresponding classical notions of nonholonomic, semiholonomic, and holonomic jet functors, respectively. Our functors come equipped with natural transformations from the identity functor to the corresponding jet functors, which play the r^{o}les of the classical prolongation maps. This allows us to define the notion of linear differential operators with respect to

. We show that if

O m e g a_{d}^{1}

is flat as a right

A

-module, the semiholonomic jet functor satisfies the semiholonomic jet exact sequence

. Moreover, we construct a functor of quantum symmetric forms

S_{d}^{n}

associated to

, and proceed to introduce the corresponding noncommutative analogue of the Spencer

d e l t a

-complex. We give necessary and sufficient conditions under which the holonomic jet functor

J_{d}^{n}

satisfies the (holonomic) jet exact sequence,

0 i g h t a r r o w S_{d}^{n} i g h t a r r o w J_{d}^{n} i g h t a r r o w J_{d}^{n - 1} i g h t a r r o w 0

. In particular, for

n = 1

the sequence is always exact, for

n = 2

it is exact for

O m e g a_{d}^{1}

flat as a right

A

-module, and for

n g e 3

, it is sufficient to have

O m e g a_{d}^{1}

,

O m e g a_{d}^{2}

, and

O m e g a_{d}^{3}

flat as right

A

-modules and the vanishing of the Spencer cohomology

.

This page was built for publication: Jet Functors in Noncommutative Geometry

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6397519)