Paper
Finiteness of leaps of modules of integrable derivations of algebras of finite type
Authors
Takuya Miyamoto
Abstract
We prove the finiteness of leaps of modules of -integrable derivations for algebras essentially of finite type and, more generally, for schemes essentially of finite type over an algebraically closed field of positive characteristic. This provides an affirmative answer to a question posed by L. N. Macarro. As an application, we establish the coherence of the module of -integrable derivations.