Hasse–Schmidt derivations, divided powers and differential smoothness
Let be a commutative ring, a commutative -algebra and the filtered ring of -linear differential operators of . We prove that: (1) The graded ring admits a canonical embedding into the graded dual of the symmetric algebra of the module of differentials of over , which has a canonical divided power structure. (2) There is a canonical morphism from the divided power algebra of the module of -linear Hasse–Schmidt integrable derivations of to . (3) Morphisms and fit into a...