Hasse-Schmidt derivations, divided powers and differential smoothness

Abstract: Let

k

be a commutative ring,

A

a commutative

k

-algebra and

D

the filtered ring of

k

-linear differential operators of

A

. We prove that: (1) The graded ring

g r D

admits a canonical embedding

h e t a

into the graded dual of the symmetric algebra of the module

O m e g a_{A / k}

of differentials of

A

over

k

, which has a canonical divided power structure. (2) There is a canonical morphism

v a r t h e t a

from the divided power algebra of the module of

k

-linear Hasse-Schmidt integrable derivations of

A

to

g r D

. (3) Morphisms

h e t a

and

v a r t h e t a

fit into a canonical commutative diagram.

Recommendations

Cites work

Cited in

(11)

This page was built for publication: Hasse-Schmidt derivations, divided powers and differential smoothness