-
Affirmative answer to the Question of Leroy and Matczuk on injectivity of endomorphisms of semiprime left Noetherian rings with large images
Authors:
V. V. Bavula
Abstract:
The class of semiprime left Goldie rings is a huge class of rings that contains many large subclasses of rings -- semiprime left Noetherian rings, semiprime rings with Krull dimension, rings of differential operators on affine algebraic varieties and universal enveloping algebras of finite dimensional Lie algebras to name a few. In the paper, `Ring endomorphisms with large images,' {\em Glasg. Mat…
▽ More
The class of semiprime left Goldie rings is a huge class of rings that contains many large subclasses of rings -- semiprime left Noetherian rings, semiprime rings with Krull dimension, rings of differential operators on affine algebraic varieties and universal enveloping algebras of finite dimensional Lie algebras to name a few. In the paper, `Ring endomorphisms with large images,' {\em Glasg. Math. J.} {\bf 55} (2013), no. 2, 381--390, A. Leroy and J. Matczuk posed the following question:
{\em If a ring endomorphism of a semiprime left Noetherian ring has a large image, must it be injective?}
The aim of the paper is to give an affirmative answer to the Question of Leroy and Matczuk and to prove the following more general results.
{\bf Theorem. (Dichotomy)} {\em Each endomorphism of a semiprime left Goldie ring with large image is either a monomorphism or otherwise its kernel contains a regular element of the ring ($\Leftrightarrow$ its kernel is an essential left ideal of the ring). In general, both cases are non-empty.}
{\bf Theorem. } {\em Every endomorphism with large image of a semiprime ring with Krull dimension is a monomorphism.}
{\bf Theorem. (Positive answer to the Question of Leroy and Matczuk)} {\em Every endomorphism with large image of a semiprime left Noetherian ring is a monomorphism.}
△ Less
Submitted 12 November, 2024;
originally announced November 2024.
-
$\D$-locally nilpotent algebras, their ideal structure and simplicity criteria
Authors:
V. V. Bavula
Abstract:
The class of $\D$-locally nilpotent algebras (introduced in the paper) is a wide generalization of the algebras of differential operators on commutative algebras. Examples includes all the rings $\CD (A)$ of differential operators on commutative algebras (in arbitrary characteristic), all subalgebras of $\CD (A)$ that contain the algebra $A$, the universal enveloping algebras of nilpotent, solvabl…
▽ More
The class of $\D$-locally nilpotent algebras (introduced in the paper) is a wide generalization of the algebras of differential operators on commutative algebras. Examples includes all the rings $\CD (A)$ of differential operators on commutative algebras (in arbitrary characteristic), all subalgebras of $\CD (A)$ that contain the algebra $A$, the universal enveloping algebras of nilpotent, solvable and semi-simple Lie algebras, the Poisson universal enveloping algebra of an arbitrary Poisson algebra, iterated Ore extensions $A[x_1, \ldots , x_n ; \d_1 , \ldots , \d_n]$, certain generalized Weyl algebras, and others.
In \cite{SimCrit-difop}, simplicity criteria are given for the algebras differential operators on commutative algebras (it was a long standing problem). The aim of the paper is to describe the ideal structure of $\D$-locally nilpotent algebras and as a corollary to give simplicity criteria for them (it is a generalization of the results of \cite{SimCrit-difop}). Examples are considered.
△ Less
Submitted 28 May, 2024;
originally announced June 2024.
-
Ore sets, denominator sets and the left regular left quotient ring of a ring
Authors:
V. V. Bavula
Abstract:
The aim of the papers is to describe the left regular left quotient ring ${}'Q(R)$ and the right regular right quotient ring $Q'(R)$ for the following algebras $R$: $\mS_n=\mS_1^{\t n}$ is the algebra of one-sided inverses, where $\mS_1=K\langle x,y\, | \, yx=1\rangle$, $\CI_n=K\langle \der_1, \ldots, \der_n,\int_1,\ldots, \int_n\rangle$ is the algebra of scalar integro-differential operators and…
▽ More
The aim of the papers is to describe the left regular left quotient ring ${}'Q(R)$ and the right regular right quotient ring $Q'(R)$ for the following algebras $R$: $\mS_n=\mS_1^{\t n}$ is the algebra of one-sided inverses, where $\mS_1=K\langle x,y\, | \, yx=1\rangle$, $\CI_n=K\langle \der_1, \ldots, \der_n,\int_1,\ldots, \int_n\rangle$ is the algebra of scalar integro-differential operators and the Jacobian algebra $\mA_1=K\langle x,\der, (\der x)^{-1}\rangle$. The sets of left and right regular elements of the algebras $\mS_1$, $\CI_1$, $\mA_1$ and $\mI_1=K\langle x, \der,\int\rangle$. A progress is made on the following conjecture, \cite{Clas-lreg-quot}: $${}'Q(\mI_n)\simeq Q(A_n)\;\; {\rm
where}\;\; \mI_n =K\bigg\langle x_1,\ldots , x_n, \der_1, \ldots, \der_n,\int_1,\ldots, \int_n\bigg\rangle$$ is the algebra of polynomial integro-differential operators and $Q(A_n)$ is the classical quotient ring (of fractions) of the $n$'th Weyl algebra $A_n$, i.e. a criterion is given when the isomorphism holds. We produce several general constructions of left Ore and left denominator sets that appear naturally in applications and are of independent interest and use them to produce explicit left denominator sets that give the localization ring isomorphic to ${}'Q(\mS_n)$ or ${}'Q(\mI_n)$ or ${}'Q(\mA_n)$ where $\mA_n:=\mA_1^{\t n}$. Several characterizations of one-sided regular elements of a ring are given in module-theoretic and one-sided-ideal-theoretic way.
△ Less
Submitted 18 April, 2024;
originally announced April 2024.
-
Rings of differential operators on singular generalized multi-cusp algebras
Authors:
Volodymyr Bavula,
K. Hakami
Abstract:
The aim of the paper is to study the ring of differential operators $\mathcal{D}(A(m))$ on the generalized multi-cusp algebra $A(m)$ where $m\in \mathbb{N}^n$ (of Krull dimension $n$). The algebra $A(m)$ is singular apart from the single case when $m=(1, \ldots , 1)$. In this case, the algebra $A(m)$ is a polynomial algebra in $n$ variables. So, the $n$'th Weyl algebra…
▽ More
The aim of the paper is to study the ring of differential operators $\mathcal{D}(A(m))$ on the generalized multi-cusp algebra $A(m)$ where $m\in \mathbb{N}^n$ (of Krull dimension $n$). The algebra $A(m)$ is singular apart from the single case when $m=(1, \ldots , 1)$. In this case, the algebra $A(m)$ is a polynomial algebra in $n$ variables. So, the $n$'th Weyl algebra $A_n=\mathcal{D} (A(1, \ldots , 1))$ is a member of the family of algebras $\mathcal{D}(A(m))$. We prove that the algebra $\mathcal{D}(A(m))$ is a central, simple, $\mathbb{Z}^n$-graded, finitely generated Noetherian domain of Gelfand-Kirillov dimension $2n$. Explicit finite sets of generators and defining relations is given for the algebra $\mathcal{D}(A(m))$. We prove that the Krull dimension and the global dimension of the algebra $\mathcal{D}(A(m))$ is $n$. An analogue of the Inequality of Bernstein is proven. In the case when $n=1$, simple $\mathcal{D}(A(m))$-modules are classified.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Classifications of prime ideals and simple modules of the quantum Weyl algebra $A_1(q)$ ($q$ is a root of unity)
Authors:
Volodymyr Bavula
Abstract:
This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to approach them, and the Brauer group is a step in the right directions), (II) To introduce and develop general theory of a large class of rings, PLM-rings, (intuitivel…
▽ More
This paper consists of three parts: (I) To develop general theory of a (large) class of central simple finite dimensional algebras and answering some natural questions about them (that in general situation it is not even clear how to approach them, and the Brauer group is a step in the right directions), (II) To introduce and develop general theory of a large class of rings, PLM-rings, (intuitively, they are the most general form of Quillen' Lemma), and (III) to apply these results for the following four classic algebras that turned out to be PLM-rings.
Let $K$ be an arbitrary field and $q\in K\backslash \{ 0,1\}$ be a primitive $n$'th root of unity. Classifications of prime, completely prime, maximal and primitive ideals, and simple modules are obtained for the quantum Weyl algebra $A_1(q)=K\langle x,y \, | \, xy-qyx =1\rangle$, the skew polynomial algebra $\mathbb{A} = K[h][x;σ]$, the skew Laurent polynomial algebras $\mathcal{A} := K[h][x^{\pm 1};σ]$, and $\mathcal{B} := K[h^{\pm 1}][x^{\pm 1};σ]$ where $σ(h) = qh$. The quotient rings (of fractions) of prime factor algebras of the algebras $A_1$, $\mathbb{A}$, $\mathcal{A}$, and $\mathcal{B}$ are explicitly described. Each quotient ring is a central simple finite dimensional algebra, i.e., isomorphic to the matrix algebra $M_d(D)$ for some $d\geq 1$ and a central simple division algebra $D$. The division algebra $D$ is either a finite field extension of $K$ or a {\em cyclic} algebra. These descriptions are a key fact in the classifications of prime ideals, completely prime ideals, and simple modules for the algebras above. For each simple module its basis, dimension, and endomorphism algebra are given. Explicit descriptions are obtained for the automorphism groups of the algebras $A_1$, $\mathbb{A}$, $\mathcal{A}$, and $\mathcal{B}$.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
The minimal primes of localizations of rings
Authors:
Volodymur Bavula
Abstract:
The set of minimal primes of a ring is a very important set as far the spectrum of a ring is concerned as every prime contains a minimal prime. So, knowing the minimal primes is the first (important and difficult) step in describing the spectrum. In the algebraic geometry, the minimal primes of the algebra of regular functions on an algebraic variety determine/correspond to the irreducible compone…
▽ More
The set of minimal primes of a ring is a very important set as far the spectrum of a ring is concerned as every prime contains a minimal prime. So, knowing the minimal primes is the first (important and difficult) step in describing the spectrum. In the algebraic geometry, the minimal primes of the algebra of regular functions on an algebraic variety determine/correspond to the irreducible components of the variety. The aim of the paper is to obtain several descriptions of the set of minimal prime ideals of localizations of rings under several natural assumptions. In particular, the following case are considered: a localization of a semiprime ring with finite set of minimal primes; a localization of a prime rich ring where the localization respects the ideal structure of primes and primeness of certain minimal primes; a localization of a ring at a left denominator set generated by normal elements, and others. As an application, for a semiprime ring with finitely many minimal primes, a description of the minimal primes of it's largest left/right quotient ring is obtained. For a semiprime ring $R$ with finitely many minimal primes $\min (R)$, criteria are given for the map $$ρ_{R,\min}: \min (R)\to \min (Z(R)), \;\; \mathfrak{p} \mapsto \mathfrak{p}\cap Z(R)$$ being a well-defined map or surjective where $Z(R)$ is the centre of $R$.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Bi-quadratic algebras on 3 generators with PBW: class II.1
Authors:
Volodymyr Bavula,
A. Al Khabyah
Abstract:
In \cite{BigAlg-3gen}, an explicit description of bi-quadratic algebras on three generators with PBW basis was obtained. There are four classes: I-IV. The aim of the paper is to study algebras that belong to one of the classes: class II.1. In this class, there are twelve distinct subclasses to consider. The aim of the paper is to study these algebras. In particular, the centre, the primes ideals,…
▽ More
In \cite{BigAlg-3gen}, an explicit description of bi-quadratic algebras on three generators with PBW basis was obtained. There are four classes: I-IV. The aim of the paper is to study algebras that belong to one of the classes: class II.1. In this class, there are twelve distinct subclasses to consider. The aim of the paper is to study these algebras. In particular, the centre, the primes ideals, the automorphism groups and the normal elements are explicitly described. The Krull, classical Krull, global and Gelfand-Kirillov dimensions of the algebras and their tensor products are computed.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Classification of multiplication modules over multiplication rings with finitely many minimal primes
Authors:
Volodymyr Bavula
Abstract:
A classification of multiplication modules over multiplication rings with finitely many minimal primes is obtained. A characterisation of multiplication rings with finitely many minimal primes is given via faithful, Noetherian, distributive modules. It is proven that for a multiplication ring with finitely many minimal primes every faithful, Noetherian, distributive module is a faithful multiplica…
▽ More
A classification of multiplication modules over multiplication rings with finitely many minimal primes is obtained. A characterisation of multiplication rings with finitely many minimal primes is given via faithful, Noetherian, distributive modules. It is proven that for a multiplication ring with finitely many minimal primes every faithful, Noetherian, distributive module is a faithful multiplication module, and vice versa.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
General theory of localizations of rings and modules
Authors:
Volodymyr Bavula
Abstract:
The aim of the paper is to start to develop the most general theory of localizations/inversion. Several new concepts are introduced and studied.
The aim of the paper is to start to develop the most general theory of localizations/inversion. Several new concepts are introduced and studied.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
Embeddings of semiprime rings into semisimple Artinian rings
Authors:
Volodymyr Bavula
Abstract:
Goldie's Theorem implies that a semiprime left Goldie ring is embeddable into a semisimple Artinian ring. On the other hand, there are domains that are not embeddable into division rings. A criterion for a semiprime ring being embeddable into a semisimple Artinian ring is given. Three types of embeddings of semiprime rings into semisimple Artinian rings are introduced and studied: the elementary,…
▽ More
Goldie's Theorem implies that a semiprime left Goldie ring is embeddable into a semisimple Artinian ring. On the other hand, there are domains that are not embeddable into division rings. A criterion for a semiprime ring being embeddable into a semisimple Artinian ring is given. Three types of embeddings of semiprime rings into semisimple Artinian rings are introduced and studied: the elementary, natural and collection embeddings. It is proven that for each embedding there is an elementary embedding which is smaller and explicitly constructed. In particular, the minimal embeddings are elementary ones. It is proven that a semiprime ring and all its localizations at regular left Ore sets have the `same' sets of elementary embeddings. A new criterion for the left quotient ring of a ring being a semisimple Artinian ring is given in terms of the centre of the ring which is completely different from Goldie's Theorem (which is historically the first criterion, \cite{Goldie-PLMS-1960}). It is proven that the minimal embeddings in each Morita equivalence class of embeddings is a {\em non-empty} set and they are explicitly described. Descriptions of the minimal embeddings of semiprime left Goldie rings and all their localizations at regular left Ore sets are described.
△ Less
Submitted 28 December, 2023;
originally announced December 2023.
-
The Question of Arnold on classification of co-artin subalgebras in singularity theory
Authors:
V. V. Bavula
Abstract:
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single variable (up to isomorphism of the algebra of formal series)." In the paper, such a description is obtained but up to isomorphism of algebraic curves (i.e. thi…
▽ More
In \cite[Section 5, p.32]{Arnold-1998}, Arnold writes: "Classification of singularities of curves can be interpreted in dual terms as a description of 'co-artin' subalgebras of finite co-dimension in the algebra of formal series in a single variable (up to isomorphism of the algebra of formal series)." In the paper, such a description is obtained but up to isomorphism of algebraic curves (i.e. this description is finer).
Let $K$ be an algebraically closed field of arbitrary characteristic. The aim of the paper is to give a classification (up to isomorphism) of the set of subalgebras $\mathcal{A}$ of the polynomial algebra $K[x]$ that contains the ideal $x^mK[x]$ for some $m\geq 1$. It is proven that the set $\mathcal{A} = \coprod_{m, Γ}\mathcal{A} (m, Γ)$ is a disjoint union of affine algebraic varieties (where $Γ\coprod \{0, m, m+1, \ldots \}$ is the semigroup of the singularity and $m-1$ is the Frobenius number). It is proven that each set $\mathcal{A} (m, Γ)$ is an affine algebraic variety and explicit generators and defining relations are given for the algebra of regular functions on $\mathcal{A} (m ,Γ)$. An isomorphism criterion is given for the algebras in $\mathcal{A}$. For each algebra $A\in \mathcal{A} (m, Γ)$, explicit sets of generators and defining relations are given and the automorphism group ${\rm Aut}_K(A)$ is explicitly described. The automorphism group of the algebra $A$ is finite iff the algebra $A$ is not isomorphic to a monomial algebra, and in this case $|{\rm Aut}_K(A)|<{\rm dim}_K(A/\mathfrak{c}_A)$ where $\mathfrak{c}_A$ is the conductor of $A$. The set of orders of the automorphism groups of the algebras in $\mathcal{A} (m , Γ)$ is explicitly described.
△ Less
Submitted 16 June, 2022;
originally announced June 2022.
-
Localizable sets and the localization of a ring at a localizable set
Authors:
V. V. Bavula
Abstract:
The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a localizable set is a generalization of localization of a ring/module at a denominator set. For a semiprime left Goldie ring, it is proven that the set of maximal left lo…
▽ More
The concepts of localizable set, localization of a ring and a module at a localizable set are introduced and studied. Localizable sets are generalization of Ore sets and denominator sets, and the localization of a ring/module at a localizable set is a generalization of localization of a ring/module at a denominator set. For a semiprime left Goldie ring, it is proven that the set of maximal left localizable sets that contain all regular elements is equal to the set of maximal left denominator sets (and they are explicitly described). For a semiprime Goldie ring, it is proven that the following five sets coincide: the maximal Ore sets, the maximal denominator sets, the maximal left or right or two-sided localizable sets that contain all regular elements (and they are explicitly described).
△ Less
Submitted 26 December, 2021;
originally announced December 2021.
-
Description of bi-quadratic algebras on 3 generators with PBW basis
Authors:
V. V. Bavula
Abstract:
The aim of the paper is to give an explicit description of bi-quadratic algebras on 3 generators with PBW basis.
The aim of the paper is to give an explicit description of bi-quadratic algebras on 3 generators with PBW basis.
△ Less
Submitted 21 December, 2021;
originally announced December 2021.
-
Holonomic modules and 1-generation in the Jacobian Conjecture
Authors:
V. V. Bavula
Abstract:
A polynomial endomorphism $σ\in {\rm End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar (the field has zero characteristic). Each Jacobian map $σ$ is extended to an endomorphism $σ$ of the Weyl algebra $A_n$.
The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $σ$) $P_n$-module…
▽ More
A polynomial endomorphism $σ\in {\rm End}_K(P_n)$ is called a Jacobian map if its Jacobian is a nonzero scalar (the field has zero characteristic). Each Jacobian map $σ$ is extended to an endomorphism $σ$ of the Weyl algebra $A_n$.
The Jacobian Conjecture (JC) says that every Jacobian map is an automorphism. Clearly, the Jacobian Conjecture is true iff the twisted (by $σ$) $P_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. It is shown that the $A_n$-module ${}^σ P_n$ is 1-generated for all Jacobian maps $σ$. Furthermore, the $A_n$-module ${}^σ P_n$ is holonomic and as a result has finite length. An explicit upper bound is found for the length of the $A_n$-module ${}^σ P_n$ in terms of the degree ${\rm deg} (σ)$ of the Jacobian map $σ$. Analogous results are given for the Conjecture of Dixmier and the Poisson Conjecture. These results show that the Jacobian Conjecture, the Conjecture of Dixmier and the Poisson Conjecture are questions about holonomic modules for the Weyl algebra $A_n$, the images of the Jacobian maps, endomorphisms of the Weyl algebra $A_n$ and the Poisson endomorphisms are large in the sense that further strengthening of the results on largeness would be either to prove the conjectures or produce counter examples.
A short direct algebraic (without reduction to prime characteristic) proof is given of equivalence of the Jacobian and the Poisson Conjectures (this gives a new short proof of equivalence of the Jacobian, Poisson and Dixmier Conjectures).
△ Less
Submitted 6 December, 2021;
originally announced December 2021.
-
Isomorphism problems and groups of automorphisms for Ore extensions $K[x][y; f\frac{d}{dx} ]$ (prime characteristic)
Authors:
V. V. Bavula
Abstract:
Let $Λ(f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over an arbitrary field $K$ of characteristic $p>0$ where $f\in K[x]$. For each polynomial $f$, the automorphism group of the algebras $Λ(f)$ is explicitly described. The automorphism group ${\rm Aut}_K(Ł(f))=S\rtimes G_f$ is a semidirect product of two explicit groups where $G_f$ is the {\em eigengroup} of the…
▽ More
Let $Λ(f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over an arbitrary field $K$ of characteristic $p>0$ where $f\in K[x]$. For each polynomial $f$, the automorphism group of the algebras $Λ(f)$ is explicitly described. The automorphism group ${\rm Aut}_K(Ł(f))=S\rtimes G_f$ is a semidirect product of two explicit groups where $G_f$ is the {\em eigengroup} of the polynomial $f$ (the set of all automorphisms of $K[x]$ such that $f$ is their common eigenvector). For each polynomial $f$, the eigengroup $G_f$ is explicitly described. It is proven that every subgroup of ${\rm Aut}_K(K[x])$ is the eigengroup of a polynomial. It is proven that the Krull and global dimensions of the algebra $Λ(f)$ are 2. The prime, completely prime, primitive and maximal ideals of the algebra $Λ(f)$ are classified.
△ Less
Submitted 21 July, 2021;
originally announced July 2021.
-
Isomorphism problems and groups of automorphisms for Ore extensions $K[x][y; δ]$ (zero characteristic)
Authors:
V. V. Bavula
Abstract:
Let $Ł(f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over a field $K$ of characteristic zero where $f\in K[x]$. For a given polynomial $f$, the automorphism group of the algebra $Ł(f) $ is explicitly described. The polynomial case $Ł(0) = K[x,y]$ and the case of the Weyl algebra $A_1= K[x][y; \frac{d}{dx} ]$ were done done by Jung (1942) and van der Kulk (1953),…
▽ More
Let $Ł(f) = K[x][y; f\frac{d}{dx} ]$ be an Ore extension of a polynomial algebra $K[x]$ over a field $K$ of characteristic zero where $f\in K[x]$. For a given polynomial $f$, the automorphism group of the algebra $Ł(f) $ is explicitly described. The polynomial case $Ł(0) = K[x,y]$ and the case of the Weyl algebra $A_1= K[x][y; \frac{d}{dx} ]$ were done done by Jung (1942) and van der Kulk (1953), and Dixmier (1968), respectively. In 1997, Alev and Dumas proved that the algebras $Ł(f)$ and $Ł(g)$ are isomorphic iff $g(x) = łf(αx+β)$ for some $ł, α\in K\backslash \{ 0\}$ and $β\in K$. In 2015, Benkart, Lopes and Ondrus gave a complete description of the set of automorphism groups of algebras $Ł(f)$. In this paper we complete the picture, i.e. {\em given} the polynomial $f$ we have the explicit description of the automorphism group of $Ł(f)$.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
The Poisson enveloping algebra and the algebra of Poisson differential operators of a generalized Weyl Poisson algebra
Authors:
V. V. Bavula
Abstract:
For a generalized Weyl Poisson algebra $A$, explicit sets of generators and defining relations are presented for its Poisson enveloping algebra $\CU (A)$. Simplicity criteria are given for the algebra $\CU (A)$ and algebra of Poisson differential operators $P\CD (A)$ on $A$. The Gelfand-Kirillov dimensions of the algebras $\CU (A)$ and $P\CD (A)$
are calculated. It is proven that the algebra…
▽ More
For a generalized Weyl Poisson algebra $A$, explicit sets of generators and defining relations are presented for its Poisson enveloping algebra $\CU (A)$. Simplicity criteria are given for the algebra $\CU (A)$ and algebra of Poisson differential operators $P\CD (A)$ on $A$. The Gelfand-Kirillov dimensions of the algebras $\CU (A)$ and $P\CD (A)$
are calculated. It is proven that the algebra $\CU (A)$ is a domain provided that the coefficient ring $D$ of the generalized Weyl Poisson algebra $A$ is a domain of essentially finite type over a perfect field.
For the algebra $A$, the set of its minimal primes and the prime radical are described and an equidimensionality criterion is given.
For the equidimensional algebra $A$ of essentially finite type, two regularity criteria are presented.
△ Less
Submitted 2 July, 2021;
originally announced July 2021.
-
The PBW Theorem and simplicity criteria for the Poisson enveloping algebra and the algebra of Poisson differential operators
Authors:
V. V. Bavula
Abstract:
For an arbitrary Poisson algebra $\CP$ over an arbitrary field, an (analogue of) the Poincaré-Birkhof-Witt Theorem is proven and several presentations/constructions for its Poisson enveloping algebra $\CU (\CP )$ are given. As a result, explicit sets of generators and defining relations are given for $\CU (\CP )$ and the algebra $P\CD (\CP)$ of Poisson differential operators on $\CP$.
Simplicity…
▽ More
For an arbitrary Poisson algebra $\CP$ over an arbitrary field, an (analogue of) the Poincaré-Birkhof-Witt Theorem is proven and several presentations/constructions for its Poisson enveloping algebra $\CU (\CP )$ are given. As a result, explicit sets of generators and defining relations are given for $\CU (\CP )$ and the algebra $P\CD (\CP)$ of Poisson differential operators on $\CP$.
Simplicity criteria for the algebras $\CU (\CP )$ and
$P\CD (\CP )$ are given. In the case when the algebra $\CP$ is of essentially finite type, a criterion for the algebra $\CU (\CP )$ to be a domain is presented and a criterion for a natural epimorphism $\CU (\CP )\ra P\CD (\CP )$ to be an isomorphism is given. The kernel of the epimorphism is described and for large classes of Poisson algebras an explicit set of generators is given. Explicit formulae for the Gelfand-Kirillov dimension of the algebras $\CU (\CP )$ and $P\CD (\CP)$ are given. In the case when the Poisson algebra $\CP$ is a regular domain of essentially finite type an explicit simplecticity criterion for $\CP$ is found and a criterion is presented for the algebra $\CU (\CP )$ to be isomorphic to the algebra $\CD (\CP )$ of differential operators on $\CP$.
△ Less
Submitted 1 July, 2021;
originally announced July 2021.
-
Simplicity criteria for rings of differential operators
Authors:
V. V. Bavula
Abstract:
Let $K$ be a field of arbitrary characteristic, $\CA$ be a commutative $K$-algebra which is a domain of essentially finite type (eg, the algebra of functions on an irreducible affine algebraic variety), $\ga_r$ be its {\em Jacobian ideal}, $\CD (\CA )$ be the algebra of differential operators on the algebra $\CA$. The aim of the paper is to give a simplicity criterion for the algebra $\CD (\CA )$:…
▽ More
Let $K$ be a field of arbitrary characteristic, $\CA$ be a commutative $K$-algebra which is a domain of essentially finite type (eg, the algebra of functions on an irreducible affine algebraic variety), $\ga_r$ be its {\em Jacobian ideal}, $\CD (\CA )$ be the algebra of differential operators on the algebra $\CA$. The aim of the paper is to give a simplicity criterion for the algebra $\CD (\CA )$: {\em The algebra $\CD (\CA )$ is simple iff $\CD (\CA ) \ga_r^i\CD (\CA )= \CD (\CA )$ for all $i\geq 1$ provided the field $K$ is a perfect field.} Furthermore, a simplicity criterion is given for the algebra $\CD (R)$ of differential operators on an arbitrary commutative algebra $R$ over an arbitrary field. This gives an answer to an old question to find a simplicity criterion for algebras of differential operators.
△ Less
Submitted 16 December, 2019;
originally announced December 2019.
-
Explicit description of generalized weight modules of the algebra of polynomial integro-differential operators $I_n$
Authors:
V. V. Bavula,
V. Bekkert,
V. Futorny
Abstract:
For the algebra $I_n$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple weight and generalized weight (left and right) $I_n$-modules is given. It is proven that the category of weight $I_n$-modules is semisimple. An explicit description of generalized weight $I_n$-modules is given and using it a criterion is obtained for the problem of…
▽ More
For the algebra $I_n$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple weight and generalized weight (left and right) $I_n$-modules is given. It is proven that the category of weight $I_n$-modules is semisimple. An explicit description of generalized weight $I_n$-modules is given and using it a criterion is obtained for the problem of classification of indecomposable generalized weight $I_n$-modules to be of finite representation type, tame or wild. In the tame case, a classification of indecomposable generalized weight $I_n$-modules is given. In the wild case `natural` tame subcategories are considered with explicit description of indecomposable modules. It is proven that every generalized weight $I_n$-module is a unique sum of absolutely prime modules. For an arbitrary ring $R$, we introduce the concept of {\em absolutely prime} $R$-module (a nonzero $R$-module $M$ is absolutely prime if all nonzero subfactors of $M$ have the same annihilator). It is shown that every indecomposable generalized weight $I_n$-module is equidimensional. A criterion is given for a generalized weight $I_n$-module to be finitely generated.
△ Less
Submitted 2 June, 2019;
originally announced June 2019.
-
The generalized Weyl Poisson algebras and their Poisson simplicity criterion
Authors:
V. V. Bavula
Abstract:
A new class of Poisson algebras, the class of {\em generalized Weyl Poisson algebras}, is introduced. It can be seen as Poisson algebra analogue of generalized Weyl algebras or as giving a Poisson structure to (certain) generalized Weyl algebras. A Poisson simplicity criterion is given for generalized Weyl Poisson algebras and explicit descriptions of the Poisson centre and the absolute Poisson ce…
▽ More
A new class of Poisson algebras, the class of {\em generalized Weyl Poisson algebras}, is introduced. It can be seen as Poisson algebra analogue of generalized Weyl algebras or as giving a Poisson structure to (certain) generalized Weyl algebras. A Poisson simplicity criterion is given for generalized Weyl Poisson algebras and explicit descriptions of the Poisson centre and the absolute Poisson centre are obtained. Many examples are considered.
△ Less
Submitted 2 February, 2019;
originally announced February 2019.
-
A remark on the Dixmier Conjecture
Authors:
V. V. Bavula,
V. Levandovskyy
Abstract:
The Dixmier Conjecture says that every endomorphism of the (first) Weyl algebra $A_1$ (over a field of characteristic zero) is an automorphism, i.e., if $PQ-QP=1$ for some $P, Q \in A_1$ then $A_1 = K \langle P, Q \rangle$. The Weyl algebra $A_1$ is a $\Z$-graded algebra. We prove that the Dixmier Conjecture holds if the elements $P$ and $Q$ are sums of no more than two homogeneous elements of…
▽ More
The Dixmier Conjecture says that every endomorphism of the (first) Weyl algebra $A_1$ (over a field of characteristic zero) is an automorphism, i.e., if $PQ-QP=1$ for some $P, Q \in A_1$ then $A_1 = K \langle P, Q \rangle$. The Weyl algebra $A_1$ is a $\Z$-graded algebra. We prove that the Dixmier Conjecture holds if the elements $P$ and $Q$ are sums of no more than two homogeneous elements of $A$ (there is no restriction on the total degrees of $P$ and $Q$).
△ Less
Submitted 30 November, 2018;
originally announced December 2018.
-
The global dimension of the algebras of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebras $\mathbb{A}_n$
Authors:
V. V. Bavula
Abstract:
The aim of the paper is to prove two conjectures that the (left and right) global dimension of the algebra of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebra $\mathbb{A}_n$ is equal to $n$ (over a field of characteristic zero). An analogue of Hilbert's Syzygy Theorem is proven for them. The algebras $\mathbb{I}_n$ and $\mathbb{A}_n$ are neither left nor right Noet…
▽ More
The aim of the paper is to prove two conjectures that the (left and right) global dimension of the algebra of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebra $\mathbb{A}_n$ is equal to $n$ (over a field of characteristic zero). An analogue of Hilbert's Syzygy Theorem is proven for them. The algebras $\mathbb{I}_n$ and $\mathbb{A}_n$ are neither left nor right Noetherian. Furthermore, they contain infinite direct sums of nonzero left/right ideals and are not domains. It is proven that the global dimension of all prime factor algebras of the algebras $\mathbb{I}_n$ and $\mathbb{A}_n$ is $n$ and the weak global dimension of all the factor algebras of $\mathbb{I}_n$ and $\mathbb{I}_n$ is $n$.
△ Less
Submitted 11 May, 2017;
originally announced May 2017.
-
Rings of invariants of finite groups when the bad primes exist
Authors:
Volodymyr Bavula,
Vyacheslav Futorny
Abstract:
Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e., B(R, G) is empty set, the properties of the rings R and R^G are closely connected. The aim of the paper is to show that this is also true when B(R, G) is not empty…
▽ More
Let R be a ring (not necessarily with 1) and G be a finite group of automorphisms of R. The set B(R, G) of primes p such that p | |G| and R is not p-torsion free, is called the set of bad primes. When the ring is |G|-torsion free, i.e., B(R, G) is empty set, the properties of the rings R and R^G are closely connected. The aim of the paper is to show that this is also true when B(R, G) is not empty set under natural conditions on bad primes. In particular, it is shown that the Jacobson radical (resp., the prime radical) of the ring R^G is equal to the intersection of the Jacobson radical (resp., the prime radical) of R with R^G; if the ring R is semiprime then so is R^G; if the trace of the ring R is nilpotent then the ring itself is nilpotent; if R is a semiprime ring then R is left Goldie iff the ring R^G is so, and in this case, the ring of G-invariants of the left quotient ring of R is isomorphic to the left quotient ring of R^G and \udim (R^G)\leq \udim (R)\leq |G| \udim (R^G).
△ Less
Submitted 24 April, 2017;
originally announced April 2017.
-
Indecomposable generalized weight modules over the algebra of polynomial integro-differential operators
Authors:
Vladimir Bavula,
Victor Bekkert,
Vyacheslav Futorny
Abstract:
For the algebra L= K <x, d/dx, \int> of polynomial integro-differential operators over a field K of characteristic zero, a classification of indecomposable, generalized weight L-modules of finite length is given. Each such module is an infinite dimensional uniserial module. Ext-groups are found between indecomposable generalized weight modules, it is proven that they are finite dimensional vector…
▽ More
For the algebra L= K <x, d/dx, \int> of polynomial integro-differential operators over a field K of characteristic zero, a classification of indecomposable, generalized weight L-modules of finite length is given. Each such module is an infinite dimensional uniserial module. Ext-groups are found between indecomposable generalized weight modules, it is proven that they are finite dimensional vector spaces.
△ Less
Submitted 30 December, 2016;
originally announced December 2016.
-
Generalized Weyl algebras and diskew polynomial rings
Authors:
V. V Bavula
Abstract:
The aim of the paper is to extend the class of generalized Weyl algebras to a larger class of rings (they are also called {\em generalized Weyl algebras}) that are determined by two ring endomorphisms rather than one as in the case of `old' GWAs. A new class of rings, the {\em diskew polynomial rings}, is introduced that is closely related to GWAs (they are GWAs under a mild condition). The, so-ca…
▽ More
The aim of the paper is to extend the class of generalized Weyl algebras to a larger class of rings (they are also called {\em generalized Weyl algebras}) that are determined by two ring endomorphisms rather than one as in the case of `old' GWAs. A new class of rings, the {\em diskew polynomial rings}, is introduced that is closely related to GWAs (they are GWAs under a mild condition). The, so-called, ambiskew polynomial rings are a small subclass of the class of diskew polynomial rings. Semisimplicity criteria are given for generalized Weyl algebras and diskew polynomial rings.
△ Less
Submitted 28 December, 2016;
originally announced December 2016.
-
The prime spectrum and simple modules over the quantum spatial ageing algebra
Authors:
V. V. Bavula,
T. Lu
Abstract:
For the algebra $A$ in the title, its prime, primitive and maximal spectra are classified. The group of automorphisms of $A$ is determined. The simple unfaithful $A$-modules and the simple weight $A$-modules are classified.
For the algebra $A$ in the title, its prime, primitive and maximal spectra are classified. The group of automorphisms of $A$ is determined. The simple unfaithful $A$-modules and the simple weight $A$-modules are classified.
△ Less
Submitted 15 September, 2015;
originally announced September 2015.
-
Criteria for a ring to have a left Noetherian left quotient ring
Authors:
V. V. Bavula
Abstract:
Two criteria are given for a ring to have a left Noetherian left quotient ring (this was an open problem since 70's). It is proved that each such ring has only finitely many maximal left denominator sets.
Two criteria are given for a ring to have a left Noetherian left quotient ring (this was an open problem since 70's). It is proved that each such ring has only finitely many maximal left denominator sets.
△ Less
Submitted 16 August, 2015;
originally announced August 2015.
-
The classical left regular left quotient ring of a ring and its semisimplicity criteria
Authors:
V. V. Bavula
Abstract:
Let $R$ be a ring, $\CC_R$ and $\pCCR$ be the set of regular and left regular elements of $R$ ($\CC_R\subseteq \pCCR$). Goldie's Theorem is a semisimplicity criterion for the classical left quotient ring $Q_{l,cl}(R):=\CC_R^{-1}R$. Semisimplicity criteria are given for the classical left regular left quotient ring $'Q_{l,cl}(R):=\pCCR^{-1}R$. As a corollary, two new semisimplicity criteria for…
▽ More
Let $R$ be a ring, $\CC_R$ and $\pCCR$ be the set of regular and left regular elements of $R$ ($\CC_R\subseteq \pCCR$). Goldie's Theorem is a semisimplicity criterion for the classical left quotient ring $Q_{l,cl}(R):=\CC_R^{-1}R$. Semisimplicity criteria are given for the classical left regular left quotient ring $'Q_{l,cl}(R):=\pCCR^{-1}R$. As a corollary, two new semisimplicity criteria for $Q_{l,cl}(R)$ are obtained (in the spirit of Goldie).
△ Less
Submitted 27 April, 2015;
originally announced April 2015.
-
Weakly left localizable rings
Authors:
V. V. Bavula
Abstract:
A new class of rings, {\em the class of weakly left localizable rings}, is introduced. A ring $R$ is called {\em weakly left localizable} if each non-nilpotent element of $R$ is invertible in some left localization $S^{-1}R$ of the ring $R$. Explicit criteria are given for a ring to be a weakly left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this i…
▽ More
A new class of rings, {\em the class of weakly left localizable rings}, is introduced. A ring $R$ is called {\em weakly left localizable} if each non-nilpotent element of $R$ is invertible in some left localization $S^{-1}R$ of the ring $R$. Explicit criteria are given for a ring to be a weakly left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case if a ring has a left Artinian left quotient ring). It is proved that a ring with finitely many maximal left denominator sets that satisfies some natural conditions is a weakly left localizable ring iff its left quotient ring is a direct product of finitely many local rings such that their radicals are nil ideals.
△ Less
Submitted 24 August, 2014;
originally announced August 2014.
-
Left localizable rings and their characterizations
Authors:
V. V. Bavula
Abstract:
A new class of rings, the class of left localizable rings, is introduced. A ring $R$ is left localizable if each nonzero element of $R$ is invertible in some left localization $S^{-1}R$ of the ring $R$. Explicit criteria are given for a ring to be a left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case if a ring has a left Artinian left…
▽ More
A new class of rings, the class of left localizable rings, is introduced. A ring $R$ is left localizable if each nonzero element of $R$ is invertible in some left localization $S^{-1}R$ of the ring $R$. Explicit criteria are given for a ring to be a left localizable ring provided the ring has only finitely many maximal left denominator sets (eg, this is the case if a ring has a left Artinian left quotient ring). It is proved that a ring with finitely many maximal left denominator sets is a left localizable ring iff its left quotient ring is a direct product of finitely many division rings. A characterization is given of the class of rings that are finite direct product of left localization maximal rings.
△ Less
Submitted 18 May, 2014;
originally announced May 2014.
-
Left localizations of left Artinian rings
Authors:
V. V. Bavula
Abstract:
For an arbitrary left Artinian ring $R$, explicit descriptions are given of all the left denominator sets $S$ of $R$ and left localizations $S^{-1}R$ of $R$. It is proved that, up to $R$-isomorphism, there are only finitely many left localizations and each of them is an idempotent localization, i.e. $S^{-1}R\simeq S_e^{-1}R$ and ${\rm ass} (S) = {\rm ass} (S_e)$ where $S_e=\{1,e\}$ is a left denom…
▽ More
For an arbitrary left Artinian ring $R$, explicit descriptions are given of all the left denominator sets $S$ of $R$ and left localizations $S^{-1}R$ of $R$. It is proved that, up to $R$-isomorphism, there are only finitely many left localizations and each of them is an idempotent localization, i.e. $S^{-1}R\simeq S_e^{-1}R$ and ${\rm ass} (S) = {\rm ass} (S_e)$ where $S_e=\{1,e\}$ is a left denominator set of $R$ and $e$ is an idempotent. Moreover, the idempotent $e$ is unique up to a conjugation. It is proved that the number of maximal left denominator sets of $R$ is finite and does not exceed the number of isomorphism classes of simple left $R$-modules. The set of maximal left denominator sets of $R$ and the left localization radical of $R$ are described.
△ Less
Submitted 1 May, 2014;
originally announced May 2014.
-
The groups of automorphisms of the Lie algebras of formally analytic vector fields with constant divergence
Authors:
V. V. Bavula
Abstract:
The groups of automorphisms of the Lie algebras of formally analytic vector fields with constant divergence are found.
The groups of automorphisms of the Lie algebras of formally analytic vector fields with constant divergence are found.
△ Less
Submitted 10 November, 2013;
originally announced November 2013.
-
The groups of automorphisms of the Lie algebras of polynomial vector fields with zero or constant divergence
Authors:
V. V. Bavula
Abstract:
The group of automorphisms is found for the Lie algebra of polynomial vector fields with constant divergence.
The group of automorphisms is found for the Lie algebra of polynomial vector fields with constant divergence.
△ Less
Submitted 5 August, 2015; v1 submitted 17 October, 2013;
originally announced October 2013.
-
The largest strong left quotient ring of a ring
Authors:
V. V. Bavula
Abstract:
For an arbitrary ring $R$, the largest strong left quotient ring $Q_l^s(R)$ of $R$ and the strong left localization radical $\glsR$ are introduced and their properties are studied in detail. In particular, it is proved that $Q_l^s(Q_l^s(R))\simeq Q_l^s(R)$, $\gll^s_{R/\glsR}=0$ and a criterion is given for the ring $ Q_l^s(R)$ to be a semisimple ring. There is a canonical homomorphism from the cla…
▽ More
For an arbitrary ring $R$, the largest strong left quotient ring $Q_l^s(R)$ of $R$ and the strong left localization radical $\glsR$ are introduced and their properties are studied in detail. In particular, it is proved that $Q_l^s(Q_l^s(R))\simeq Q_l^s(R)$, $\gll^s_{R/\glsR}=0$ and a criterion is given for the ring $ Q_l^s(R)$ to be a semisimple ring. There is a canonical homomorphism from the classical left quotient ring $Q_{l, cl}(R)$ to $Q_l^s(R)$ which is not an isomorphism, in general. The objects $Q_l^s(R)$ and $\gll^s_R$ are explicitly described for several large classes of rings (semiprime left Goldie ring, left Artinian rings, rings with left Artinian left quotient ring, etc).
△ Less
Submitted 21 May, 2015; v1 submitted 3 October, 2013;
originally announced October 2013.
-
The group of automorphisms of the Lie algebra of derivations of a field of rational functions
Authors:
V. V. Bavula
Abstract:
We prove that the group of automorphisms of the Lie algebra $\Der_K (Q_n)$ of derivations of the field of rational functions $Q_n=K(x_1,..., x_n)$ over a field of characteristic zero is canonically isomorphic to the group of automorphisms of the $K$-algebra $Q_n$.
We prove that the group of automorphisms of the Lie algebra $\Der_K (Q_n)$ of derivations of the field of rational functions $Q_n=K(x_1,..., x_n)$ over a field of characteristic zero is canonically isomorphic to the group of automorphisms of the $K$-algebra $Q_n$.
△ Less
Submitted 15 April, 2013;
originally announced April 2013.
-
The groups of automorphisms of the Witt $W_n$ and Virasoro Lie algebras
Authors:
V. V. Bavula
Abstract:
The groups of automorphisms of the Witt $W_n$ and Virasoro Lie algebras are found.
The groups of automorphisms of the Witt $W_n$ and Virasoro Lie algebras are found.
△ Less
Submitted 13 April, 2013;
originally announced April 2013.
-
The group of automorphisms of the Lie algebra of derivations of a polynomial algebra
Authors:
V. V. Bavula
Abstract:
We prove that the group of automorphisms of the Lie algebra $\Der_K (P_n)$ of derivations of a polynomial algebra $P_n=K[x_1,..., x_n]$ over a field of characteristic zero is canonically isomorphic to the the group of automorphisms of the polynomial algebra $P_n$.
We prove that the group of automorphisms of the Lie algebra $\Der_K (P_n)$ of derivations of a polynomial algebra $P_n=K[x_1,..., x_n]$ over a field of characteristic zero is canonically isomorphic to the the group of automorphisms of the polynomial algebra $P_n$.
△ Less
Submitted 13 April, 2013;
originally announced April 2013.
-
New criteria for a ring to have a semisimple left quotient ring
Authors:
V. V. Bavula
Abstract:
Goldie's Theorem (1960), which is one of the most important results in Ring Theory, is a criterion for a ring to have a semisimple left quotient ring. The aim of the paper is to give four new criteria (using a completely different approach and new ideas). The first one is based on the recent fact that for an arbitrary ring $R$ the set $\CM$ of maximal left denominator sets of $R$ is a non-empty se…
▽ More
Goldie's Theorem (1960), which is one of the most important results in Ring Theory, is a criterion for a ring to have a semisimple left quotient ring. The aim of the paper is to give four new criteria (using a completely different approach and new ideas). The first one is based on the recent fact that for an arbitrary ring $R$ the set $\CM$ of maximal left denominator sets of $R$ is a non-empty set:
Theorem (The First Criterion). A ring $R$ has a semisimple left quotient ring $Q$ iff $\CM $ is a finite set, $\bigcap_{S\in \CM} \ass (S) =0$ and, for each $S\in \CM$, the ring $S^{-1}R$ is a simple left Artinian ring. In this case, $Q\simeq \prod_{S\in \CM} S^{-1}R$.
The Second Criterion is given via the minimal primes of $R$ and goes further then the First one %and Goldie's Theorem in the sense that it describes explicitly the maximal left denominator sets $S$ via the minimal primes of $R$. The Third Criterion is close to Goldie's Criterion but it is easier to check in applications (basically, it reduces Goldie's Theorem to the prime case). The Fourth Criterion is given via certain left denominator sets.
△ Less
Submitted 4 March, 2013;
originally announced March 2013.
-
Characterizations of left orders in left Artinian rings
Authors:
V. V. Bavula
Abstract:
Small (1966), Robson (1967), Tachikawa (1971) and Hajarnavis (1972) have given different criteria for a ring to have a left Artinian left quotient ring. In this paper, three more new criteria are given.
Small (1966), Robson (1967), Tachikawa (1971) and Hajarnavis (1972) have given different criteria for a ring to have a left Artinian left quotient ring. In this paper, three more new criteria are given.
△ Less
Submitted 14 December, 2012;
originally announced December 2012.
-
Every monomorphism of the Lie algebra of unitriangular polynomial derivations is an automorphism
Authors:
V. V. Bavula
Abstract:
We prove that every monomorphism of the Lie algebra $\ggu_n$ of unitriangular derivations of the polynomial algebra $P_n=K[x_1,..., x_n]$ is an automorphism.
We prove that every monomorphism of the Lie algebra $\ggu_n$ of unitriangular derivations of the polynomial algebra $P_n=K[x_1,..., x_n]$ is an automorphism.
△ Less
Submitted 3 May, 2012;
originally announced May 2012.
-
The groups of automorphisms of the Lie algebras of unitriangular polynomial derivations
Authors:
V. V. Bavula
Abstract:
The groups of automorphisms of the Lie algebras of unitriangular polynomial derivations are found.
The groups of automorphisms of the Lie algebras of unitriangular polynomial derivations are found.
△ Less
Submitted 6 November, 2013; v1 submitted 22 April, 2012;
originally announced April 2012.
-
Lie algebras of triangular polynomial derivations and an isomorphism criterion for their Lie factor algebras
Authors:
V. V. Bavula
Abstract:
The ideals of the Lie algebras of unitriangular polynomial derivations are classified. An isomorphism criterion is given for the Lie factor algebras of the Lie algebras of unitriangular polynomial derivations.
The ideals of the Lie algebras of unitriangular polynomial derivations are classified. An isomorphism criterion is given for the Lie factor algebras of the Lie algebras of unitriangular polynomial derivations.
△ Less
Submitted 11 November, 2012; v1 submitted 22 April, 2012;
originally announced April 2012.
-
The algebra of polynomial integro-differential operators is a holonomic bimodule over the subalgebra of polynomial differential operators
Authors:
V. V. Bavula
Abstract:
In contrast to its subalgebra $A_n:=K<x_1, ..., x_n, \frac{\der}{\der x_1}, ...,\frac{\der}{\der x_n}>$ of polynomial differential operators (i.e. the $n$'th Weyl algebra), the algebra $\mI_n:=K<x_1, ..., x_n, \frac{\der}{\der x_1}, ...,\frac{\der}{\der x_n}, \int_1, ..., \int_n>$ of polynomial integro-differential operators is neither left nor right Noetherian algebra; moreover it contains infini…
▽ More
In contrast to its subalgebra $A_n:=K<x_1, ..., x_n, \frac{\der}{\der x_1}, ...,\frac{\der}{\der x_n}>$ of polynomial differential operators (i.e. the $n$'th Weyl algebra), the algebra $\mI_n:=K<x_1, ..., x_n, \frac{\der}{\der x_1}, ...,\frac{\der}{\der x_n}, \int_1, ..., \int_n>$ of polynomial integro-differential operators is neither left nor right Noetherian algebra; moreover it contains infinite direct sums of nonzero left and right ideals. It is proved that $\mI_n$ is a left (right) coherent algebra iff $n=1$; the algebra $\mI_n$ is a {\em holonomic $A_n$-bimodule} of length $3^n$ and has multiplicity $3^n$, and all $3^n$ simple factors of $\mI_n$ are pairwise non-isomorphic $A_n$-bimodules.
The socle length of the $A_n$-bimodule $\mI_n$ is $n+1$, the socle filtration is found, and the $m$'th term of the socle filtration has length ${n\choose m}2^{n-m}$. This fact gives a new canonical form for each polynomial integro-differential operator. It is proved that the algebra $\mI_n$ is the maximal left (resp. right) order in the largest left (resp. right) quotient ring of the algebra $\mI_n$.
△ Less
Submitted 3 April, 2011;
originally announced April 2011.
-
The largest left quotient ring of a ring
Authors:
V. V. Bavula
Abstract:
The left quotient ring (i.e. the left classical ring of fractions) $Q_{cl}(R)$ of a ring $R$ does not always exist and still, in general, there is no good understanding of the reason why this happens. In this paper, it is proved existence of the largest left quotient ring $Q_l(R)$, i.e. $Q_l(R) = S_0(R)^{-1}R$ where $S_0(R)$ is the largest left regular denominator set of $R$. It is proved that…
▽ More
The left quotient ring (i.e. the left classical ring of fractions) $Q_{cl}(R)$ of a ring $R$ does not always exist and still, in general, there is no good understanding of the reason why this happens. In this paper, it is proved existence of the largest left quotient ring $Q_l(R)$, i.e. $Q_l(R) = S_0(R)^{-1}R$ where $S_0(R)$ is the largest left regular denominator set of $R$. It is proved that $Q_l(Q_l(R))=Q_l(R)$; the ring $Q_l(R)$ is semi-simple iff $Q_{cl}(R)$ exists and is semi-simple; moreover, if the ring $Q_l(R)$ is left artinian then $Q_{cl}(R)$ exists and $Q_l(R) = Q_{cl}(R)$. The group of units $Q_l(R)^*$ of $Q_l(R)$ is equal to the set $\{s^{-1} t\, | \, s,t\in S_0(R)\}$ and $S_0(R) = R\cap Q_l(R)^*$. If there exists a finitely generated flat left $R$-module which is not projective then $Q_l(R)$ is not a semi-simple ring. We extend slightly Ore's method of localization to localizable left Ore sets, give a criterion of when a left Ore set is localizable, and prove that all left and right Ore sets of an arbitrary ring are localizable (not just denominator sets as in Ore's method of localization). Applications are given for certain classes of rings (semi-prime Goldie rings,
Noetherian commutative rings, the algebra of polynomial integro-differential operators).
△ Less
Submitted 26 January, 2011;
originally announced January 2011.
-
On the eigenvector algebra of the product of elements with commutator one in the first Weyl algebra
Authors:
V. V. Bavula
Abstract:
Let $A_1=K < X, Y | [Y,X]=1>$ be the (first) Weyl algebra over a field $K$ of characteristic zero. It is known that the set of eigenvalues of the inner derivation $\ad (YX)$ of $A_1$ is $\Z$. Let $ A_1\ra A_1$, $X\mapsto x$, $Y\mapsto y$, be a $K$-algebra homomorphism, i.e. $[y,x]=1$. It is proved that the set of eigenvalues of the inner derivation $\ad (yx)$ of the Weyl algebra $A_1$ is $\Z$ and…
▽ More
Let $A_1=K < X, Y | [Y,X]=1>$ be the (first) Weyl algebra over a field $K$ of characteristic zero. It is known that the set of eigenvalues of the inner derivation $\ad (YX)$ of $A_1$ is $\Z$. Let $ A_1\ra A_1$, $X\mapsto x$, $Y\mapsto y$, be a $K$-algebra homomorphism, i.e. $[y,x]=1$. It is proved that the set of eigenvalues of the inner derivation $\ad (yx)$ of the Weyl algebra $A_1$ is $\Z$ and the eigenvector algebra of $\ad (yx)$ is $K< x,y> $ (this would be an easy corollary of the Problem/Conjecture of Dixmier of 1968 [still open]: {\em is an algebra endomorphism of $A_1$ an automorphism?}).
△ Less
Submitted 2 May, 2011; v1 submitted 22 January, 2011;
originally announced January 2011.
-
An analogue of the Conjecture of Dixmier is true for the algebra of polynomial integro-differential operators
Authors:
V. V. Bavula
Abstract:
Let $A_1:=K\langle x, \frac{d}{dx} \rangle$ be the Weyl algebra and $\mI_1:= K\langle x, \frac{d}{dx}, \int \rangle$ be the algebra of polynomial integro-differential operators over a field $K$ of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra $A_1$ an automorphism?} The aim of the paper is to prove that {\em each alg…
▽ More
Let $A_1:=K\langle x, \frac{d}{dx} \rangle$ be the Weyl algebra and $\mI_1:= K\langle x, \frac{d}{dx}, \int \rangle$ be the algebra of polynomial integro-differential operators over a field $K$ of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra $A_1$ an automorphism?} The aim of the paper is to prove that {\em each algebra endomorphism of the algebra $\mI_1$ is an automorphism}. Notice that in contrast to the Weyl algebra $A_1$ the algebra $\mI_1$ is a non-simple, non-Noetherian algebra which is not a domain. Moreover, it contains infinite direct sums of nonzero left and right ideals.
△ Less
Submitted 12 November, 2010;
originally announced November 2010.
-
The algebra of integro-differential operators on an affine line and its modules
Authors:
V. V. Bavula
Abstract:
For the algebra $\mI_1= K<x, \frac{d}{dx}, \int>$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple modules is given. It is proved that $\mI_1$ is a left and right coherent algebra. The {\em Strong Compact-Fredholm Alternative} is proved for $\mI_1$. The endomorphism algebra of each simple $\mI_1$-module is a {\em finite dimensional} s…
▽ More
For the algebra $\mI_1= K<x, \frac{d}{dx}, \int>$ of polynomial integro-differential operators over a field $K$ of characteristic zero, a classification of simple modules is given. It is proved that $\mI_1$ is a left and right coherent algebra. The {\em Strong Compact-Fredholm Alternative} is proved for $\mI_1$. The endomorphism algebra of each simple $\mI_1$-module is a {\em finite dimensional} skew field. In contrast to the first Weyl algebra, the centralizer of a non-scalar integro-differential operator can be a noncommutative, non-Noetherian, non-finitely generated algebra which is not a domain. It is proved that neither left nor right quotient ring of $\mI_1$ exists but there exists the {\em largest left quotient ring} and the {\em largest right quotient ring} of $\mI_1$, they are not $\mI_1$-isomorphic but $\mI_1$-{\em anti-isomorphic}. Moreover, the factor ring of the largest right quotient ring modulo its only proper ideal is isomorphic to the quotient ring of the first Weyl algebra. An analogue of the Theorem of Stafford (for the Weyl algebras) is proved for $\mI_1$: each {\em finitely generated} one-sided ideal of $\mI_1$ is 2-generated.
△ Less
Submitted 16 May, 2012; v1 submitted 12 November, 2010;
originally announced November 2010.
-
An analogue of Hilbert's Syzygy Theorem for the algebra of one-sided inverses of a polynomial algebra
Authors:
V. V. Bavula
Abstract:
An analogue of Hilbert's Syzygy Theorem is proved for the algebra $\mS_n (A)$ of one-sided inverses of the polynomial algebra $A[x_1, ..., x_n]$ over an arbitrary ring $A$: $$ \lgldim (\mS_n(A))= \lgldim (A) +n.$$ The algebra $\mS_n(A)$ is noncommutative, neither left nor right Noetherian and not a domain. The proof is based on a generalization of the Theorem of Kaplansky (on the projective dimens…
▽ More
An analogue of Hilbert's Syzygy Theorem is proved for the algebra $\mS_n (A)$ of one-sided inverses of the polynomial algebra $A[x_1, ..., x_n]$ over an arbitrary ring $A$: $$ \lgldim (\mS_n(A))= \lgldim (A) +n.$$ The algebra $\mS_n(A)$ is noncommutative, neither left nor right Noetherian and not a domain. The proof is based on a generalization of the Theorem of Kaplansky (on the projective dimension) obtained in the paper. As a consequence it is proved that for a left or right Noetherian algebra $A$: $$ \wdim (\mS_n(A))= \wdim (A) +n.$$
△ Less
Submitted 1 April, 2011; v1 submitted 2 June, 2010;
originally announced June 2010.
-
The group ${\rm K}_1(\mS_n)$ of the algebra of one-sided inverses of a polynomial algebra
Authors:
V. V. Bavula
Abstract:
The algebra $\mS_n$ of one-sided inverses of a polynomial algebra $P_n$ in $n$ variables is obtained from $P_n$ by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of the algebra $P_n$. The algebra $\mS_n$ is a noncommutative, non-Noetherian algebra of classical Krull dimension $2n$ and of global dimension $n$ which is not a domain. If the ground field $K$ has…
▽ More
The algebra $\mS_n$ of one-sided inverses of a polynomial algebra $P_n$ in $n$ variables is obtained from $P_n$ by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of the algebra $P_n$. The algebra $\mS_n$ is a noncommutative, non-Noetherian algebra of classical Krull dimension $2n$ and of global dimension $n$ which is not a domain. If the ground field $K$ has characteristic zero then the algebra $\mS_n$ is canonically isomorphic to the algebra $K< \frac{\der}{\der x_1}, ..., frac{\der}{\der x_n}, \int_1, ..., \int_n>$ of scalar integro-differential operators. %Ignoring non-Noetherian % property, the algebra $\mS_n$ belongs to a family of algebras % like the $n$th Weyl algebra $A_n$ and the polynomial algebra %$P_{2n}$. It is proved that $ {\rm K}_1(\mS_n)\simeq K^*$. The main idea is to show that the group $\GL_\infty (\mS_n)$ is generated by $K^*$, the group of elementary matrices $E_\infty (\mS_n)$ and $(n-2)2^{n-1}+1$ explicit (tricky) matrices and then to prove that all the matrices are elementary. For each nonzero idempotent prime ideal $\gp$ of height $m$ of the algebra $\mS_n$, it is proved that $$ \rm K}_1(\mS_n, \gp)\simeq K^*, & \text{if}m=1, \Z^{\frac{m(m-1)}{2}}\times K^{*m}& \text{if}m> 1.$$
△ Less
Submitted 3 May, 2013; v1 submitted 19 May, 2010;
originally announced May 2010.
