On the modules of m-integrable derivations in non-zero characteristic

DOI10.1016/J.AIM.2012.01.015MaRDI QIDQ409622zbMATHOpenAlexFDO

Publication date 13 April 2012

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1106.1391

Hasse-Schmidt derivation Derivation Differential operator integrable derivation

Singularities in algebraic geometry (14B05) Differentials and other special sheaves; D-modules; Bernstein-Sato ideals and polynomials (14F10) Derivations and commutative rings (13N15)

Abstract: Let

k

be a commutative ring and

A

a commutative

k

-algebra. Given a positive integer

m

, or

m = i n f t y

, we say that a

k

-linear derivation

d e l t a

of

A

is

m

-integrable if it extends up to a Hasse--Schmidt derivation

D = (I d, D_{1} = d e l t a, D_{2}, ..., D_{m})

of

A

over

k

of length

m

. This condition is automatically satisfied for any

m

under one of the following orthogonal hypotheses: (1)

k

contains the rational numbers and

A

is arbitrary, since we can take

D_{i} = f r a c d e l t a^{i} i!

; (2)

k

is arbitrary and

A

is a smooth

k

-algebra. The set of

m

-integrable derivations of

A

over

k

is an

A

-module which will be denoted by

I d e r_{k} (A; m)

. In this paper we prove that, if

A

is a finitely presented

k

-algebra and

m

is a positive integer, then a

k

-linear derivation

d e l t a

of

A

is

m

-integrable if and only if the induced derivation

d e l t a_{m a t h f r a k p} : A_{m a t h f r a k p} o A_{m a t h f r a k p}

is

m

-integrable for each prime ideal

m a t h f r a k p s u b s e t A

. In particular, for any locally finitely presented morphism of schemes

f : X o S

and any positive integer

m

, the

S

-derivations of

X

which are locally

m

-integrable form a quasi-coherent submodule

f I d e r_{S} (O O_{X}; m) s u b s e t f D e r_{S} (O O_{X})

such that, for any affine open sets

U = S p e c A s u b s e t X

and

V = S p e c k s u b s e t S

, with

f (U) s u b s e t V

, we have

G a m m a (U, f I d e r_{S} (O O_{X}; m)) = I d e r_{k} (A; m)

and

f I d e r_{S} (O O_{X}; m)_{p} = I d e r_{O O_{S, f (p)}} (O O_{X, p}; m)

for each

p i n X

. We also give, for each positive integer

m

, an algorithm to decide whether all derivations are

m

-integrable or not.

Recommendations

Cites work

Cited in

(16)

This page was built for publication: On the modules of \(m\)-integrable derivations in non-zero characteristic

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