On the isotropy group of a simple derivation
Authors:
Luciene Bertoncello,
Daniel Levcovitz
Abstract:
Let $R=K[X_1,\dots, X_n]$ be a polynomial ring in $n$ variables over a field $K$ of charactersitic zero and $d$ a $K$-derivation of $R$. Consider the isotropy group if $d$: $ \text{Aut}(R)_d :=\{ρ\in \text{Aut}_K(R)|\; ρd ρ^{-1}=d\}$. In his doctoral thesis, Baltazar proved that if $d$ is a simple Shamsuddin derivation of $K[X_1,X_2]$, then its isotropy group is trivial. He also gave an example of…
▽ More
Let $R=K[X_1,\dots, X_n]$ be a polynomial ring in $n$ variables over a field $K$ of charactersitic zero and $d$ a $K$-derivation of $R$. Consider the isotropy group if $d$: $ \text{Aut}(R)_d :=\{ρ\in \text{Aut}_K(R)|\; ρd ρ^{-1}=d\}$. In his doctoral thesis, Baltazar proved that if $d$ is a simple Shamsuddin derivation of $K[X_1,X_2]$, then its isotropy group is trivial. He also gave an example of a non-simple derivation whose isotropy group is infinite. Recently, Mendes and Pan generalized this result to an arbitrary derivation of $K[X_1,X_2]$ proving that a derivation of $K[X_1,X_2]$ is simple if, and only if, its isotropy group is trivial. In this paper, we prove that the isotropy group of a simple Shamsuddin derivation of the polynomial ring $R=K[X_1,\dots, X_n]$ is trivial. We also calculate other isotropy groups of (not necessarily simple) derivations of $K[X_1,X_2]$ and prove that they are finite cyclic groups.
△ Less
Submitted 13 August, 2016;
originally announced August 2016.
On a theorem of Stafford
Authors:
Napoleon Caro,
Daniel Levcovitz
Abstract:
Stafford proved that every left or right ideal of the Weyl algebra A_n(K) is generated by two elements. In this paper we prove that every left or right ideal of the ring of differential operators over the field of formal Laurent series K((x_1,...,x_n)) is also generated by two elements. The same is true for the ring of differential operators over the convergent Laurent series C{x_1,...,x_n}. This…
▽ More
Stafford proved that every left or right ideal of the Weyl algebra A_n(K) is generated by two elements. In this paper we prove that every left or right ideal of the ring of differential operators over the field of formal Laurent series K((x_1,...,x_n)) is also generated by two elements. The same is true for the ring of differential operators over the convergent Laurent series C{x_1,...,x_n}. This is in accordance with the conjecture that says that in a (noncommutative) noetherian simple ring, every left or right ideal is generated by two elements.
△ Less
Submitted 24 May, 2010;
originally announced May 2010.