A class of triangular derivations having a slice (Q674466): Difference between revisions
From MaRDI portal
Changed an Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/0022-4049(95)00168-9 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2089716649 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: G<sub>a</sub> actions on C<sup>n</sup> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: G<sub>a</sub> actions on c<sub>3</sub> and c<sub>7</sub> / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An algorithm to compute the invariant ring of a \(G_ a\)-action on an affine variety / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Triangular actions on \({\mathbb{C}}^ 3\) / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: On the Jacobian conjecture / rank | |||
Normal rank |
Latest revision as of 11:35, 27 May 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | A class of triangular derivations having a slice |
scientific article |
Statements
A class of triangular derivations having a slice (English)
0 references
5 May 1999
0 references
In Manuscr. Math. 60, No. 4, 407-415 (1988; Zbl 0644.14008) it is shown by \textit{D. M. Snow} that all free triangular \(G_a\)-actions on \(\mathbb{C}^3\) are equivariantly isomorphic to \(G_a \times \mathbb{C}^2\). In this paper we generalise this result to a special class of \(G_a\)-actions on \(\mathbb{C}^n\) \((n\geq 3)\), namely the free \(G_a\)-actions given by the locally nilpotent derivations of the form \(D=p(X_2, \dots, X_n)\partial_1 +q(X_3,\dots, X_n)\partial_2\) (the freeness of the \(G_a\)-action is equivalent to the fact that \(p\) and \(q\) have no common zero in \(\mathbb{C}^n\). We also say that \(D\) is free). In fact only assuming that \(\text{gcd}(p,q)=1\) we show that \(\mathbb{C} [X]^{G_a}\) is generated by \(n-1\) algebraically independent elements over \(\mathbb{C}\), which can be described explicitly (theorem I). Using this result we show that if \(p\) and \(q\) have no common zero in \(\mathbb{C}^n\), then \(D\) has a slice \(s\) in \(\mathbb{C}[X_1, \dots,X_n]\), i.e. \(D(s)=1\) (theorem II). So combining both theorems we obtain that \(D\) is conjugate to the derivation \({d\over dX_n}\) if \(D\) is free. In order words, the corresponding \(G_a\)-action on \(\mathbb{C}^n\) is equivariantly isomorphic to \(G_a\times\mathbb{C}^{n-1}\). The proof given below is purely algebraic (with \(\mathbb{C}\) replaced by a field \(k\) of characteristic zero) and is based on an algorithm, given by \textit{A. van den Essen} [J. Symb. Comput. 16, No. 6, 551-555 (1993; Zbl 0809.13002)] to compute the kernel of a locally nilpotent derivation.
0 references
free \(G_a\)-actions
0 references
locally nilpotent derivations
0 references