Centralizers of linear and locally nilpotent derivations

Abstract: Let

K

be an algebraically closed field of characteristic zero,

A = K [x_{1}, d o t s, x_{n}]

the polynomial ring,

R = K (x_{1}, d o t s, x_{n})

the field of rational functions, and let

W_{n} (K) = D e r_{K} A

be the Lie algebra of all

K

-derivations on

A

. If

D i n W_{n} (K),

D o t = 0

is linear (i.e. of the form

D = s u m_{i, j = 1}^{n} a_{i j} x_{j} f r a c p a r t i a l p a r t i a l x_{i}

) we give a description of the centralizer of

D

in

W_{n} (K)

and point out an algorithm for finding generators of

C_{W_{n} (K)} (D)

as a module over the ring of constants in case when

D

is the basic Weitzenboeck derivation. In more general case when the ring

A

is a finitely generated domain over

K

and

D

is a locally nilpotent derivation on

A,

we prove that the centralizer

C_{m D e r A} (D)

is a "large" subalgebra in

{m D e r}_{K} A

, namely

k_{A} C_{D e r A} (D) := d i m_{R} R C_{D e r A} (D)

equals

m t r . d e g_{K} R,

where

R

is the field of fraction of the ring $A.

Recommendations

Cites work

Cited in

(2)

This page was built for publication: Centralizers of linear and locally nilpotent derivations