Centralizers of linear and locally nilpotent derivations

UDC 512.715, 512.554.31 Let $\mathbb{K}$ be an algebraically closed field of characteristic zero, $\mathbb{K}[x_1,\dots,x_n]$ be the polynomial algebra and $W_n(\mathbb{K})$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb{K}[x_1,\dots,x_n].$ For any derivation $D$ with linear component...

Ausführliche Beschreibung

Gespeichert in:
Bibliographische Detailangaben
Datum:2023
Hauptverfasser: Bedratyuk, L., Petravchuk, A., Chapovskyi, Ie., Бедратюк, Леонід, Петравчук, Анатолій, Чаповський, Євген
Format: Artikel
Sprache:Ukrainisch
Veröffentlicht: Institute of Mathematics, NAS of Ukraine 2023
Online Zugang:https://umj.imath.kiev.ua/index.php/umj/article/view/7529
Tags: Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
Назва журналу:Ukrains’kyi Matematychnyi Zhurnal
Завантажити файл: Pdf

Institution

Ukrains’kyi Matematychnyi Zhurnal
Beschreibung
Zusammenfassung:UDC 512.715, 512.554.31 Let $\mathbb{K}$ be an algebraically closed field of characteristic zero, $\mathbb{K}[x_1,\dots,x_n]$ be the polynomial algebra and $W_n(\mathbb{K})$ be the Lie algebra of all $\mathbb K$-derivations on $\mathbb{K}[x_1,\dots,x_n].$ For any derivation $D$ with linear components,  we describe the centralizer of $D$ in $W_n(\mathbb{K}),$ and  propose an algorithm for finding the generators of this centralizer regarded as a module over the ring of constants of the derivation $D$ in the case where $D$ is a basic Weitzenboeck derivation. In a more general case where a finitely generated integral domain $A$ over the field $\mathbb{K}$ is considered instead of the polynomial algebra $\mathbb{K}[x_1,\dots,x_n]$ and $D$ is a locally nilpotent derivation on $A,$ we prove that the centralizer ${\rm C}_{{\rm Der} A}(D)$ of $D$ in the Lie algebra ${\rm Der} A$ of all $\mathbb K$-differentiations on $A$ is a ``large'' subalgebra of ${\rm Der} A.$ Specifically, the rank of ${\rm C}_{{\rm Der} _A}(D)$ over $A$ is equal to the transcendence degree of the field of fractions $\mathrm{Frac}(A)$ over the field~$\mathbb K.$
DOI:10.3842/umzh.v75i8.7529