Integrating Hasse-Schmidt derivations

Abstract

We study integrating (that is expanding to a Hasse-Schmidt derivation) derivations, and more generally truncated Hasse-Schmidt derivations, satisfying iterativity conditions given by formal group laws. Our results concern the cases of the additive and the multiplicative group laws. We generalize a theorem of Matsumura about integrating nilpotent derivations (such a generalization is implicit in work of Ziegler) and we also generalize a theorem of Tyc about integrating idempotent derivations.

References in corpus (3)

• Generalised Hasse-Schmidt varieties and their jet spaces
• Existentially closed fields with G-derivations
• A note on integrating group scheme actions

Cited by in corpus (6)

• Existentially closed fields with finite group actions
• Existentially closed fields with G-derivations
• On Hasse--Schmidt derivations: the action of substitution maps
• Leaps of modules of integrable derivations in the sense of Hasse-Schmidt
• A note on integrating group scheme actions
• On existence of canonical $G$-bases