English

Centralizers of linear and locally nilpotent derivations

Commutative Algebra 2023-03-14 v2 Rings and Algebras

Abstract

Let KK be an algebraically closed field of characteristic zero, A=K[x1,,xn]A = K[x_1,\dots,x_n] the polynomial ring, R=K(x1,,xn)R = K(x_1,\dots,x_n) the field of rational functions, and let Wn(K)=\DerKAW_n(K) = \Der_{K}A be the Lie algebra of all KK-derivations on AA. If DWn(K),D \in W_n(K), D0D\not =0 is linear (i.e. of the form D=i,j=1naijxjxiD = \sum_{i,j=1}^n a_{ij}x_j \frac{\partial}{\partial x_i}) we give a description of the centralizer of DD in Wn(K)W_n(K) and point out an algorithm for finding generators of CWn(K)(D)C_{W_n(K)}(D) as a module over the ring of constants in case when DD is the basic Weitzenboeck derivation. In more general case when the ring AA is a finitely generated domain over KK and DD is a locally nilpotent derivation on A,A, we prove that the centralizer CDerA(D)C_{{\rm Der}A}(D) is a "large" \ subalgebra in DerKA{\rm Der}_{K} A, namely \rkAC\DerA(D):=dimRRC\DerA(D)\rk_A C_{\Der A}(D) := \dim_R RC_{\Der A}(D) equals tr.degKR,{\rm tr}.\deg_{K}R, where RR is the field of fraction of the ring $A.

Keywords

Cite

@article{arxiv.2302.02441,
  title  = {Centralizers of linear and locally nilpotent derivations},
  author = {L. Bedratyuk and Y. Chapovskyi and A. Petravchuk},
  journal= {arXiv preprint arXiv:2302.02441},
  year   = {2023}
}

Comments

10 pages