Searcharxiv⌕ Search

arXiv subjects

V. V. Bavula

Publications and source records attributed to V. V. Bavula.

At least 37 records · Page 2Linked to original sources
arXiv2019

Simplicity criteria for rings of differential operators

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.

math.RA↗
arXiv2019

Explicit description of generalized weight modules of the algebra of polynomial integro-differential operators $I_n$

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.

math.RT↗
arXiv2019

The generalized Weyl Poisson algebras and their Poisson simplicity criterion

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.

math.RA↗
arXiv2018

A remark on the Dixmier Conjecture

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$).

math.RA↗
arXiv2017

The global dimension of the algebras of polynomial integro-differential operators $\mathbb{I}_n$ and the Jacobian algebras $\mathbb{A}_n$

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$.

math.RA↗
arXiv2015

The largest strong left quotient ring of a ring

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).

math.RA↗
arXiv2015

The classical left regular left quotient ring of a ring and its semisimplicity criteria

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).

math.RA↗
arXiv2014

Weakly left localizable rings

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.

math.RA↗
arXiv2014

Left localizable rings and their characterizations

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.

math.RA↗
arXiv2014

Left localizations of left Artinian rings

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.

math.RA↗
arXiv2013

The group ${\rm K}_1(\mS_n)$ of the algebra of one-sided inverses of a polynomial algebra

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.$$

math.KT↗