arXiv Science⌕ Search

arXiv subjects

V. V. Bavula

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

At least 55 records · Page 3Linked to original sources
arXiv2013

New criteria for a ring to have a semisimple left quotient ring

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.

math.RA↗
arXiv2012

The algebra of integro-differential operators on an affine line and its modules

For the algebra $\mI_1= K $ 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.

math.RA↗
arXiv2011

On the eigenvector algebra of the product of elements with commutator one in the first Weyl algebra

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

math.RA↗
arXiv2011

The algebra of polynomial integro-differential operators is a holonomic bimodule over the subalgebra of polynomial differential operators

In contrast to its subalgebra $A_n:=K $ of polynomial differential operators (i.e. the $n$'th Weyl algebra), the algebra $\mI_n:=K $ 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$.

math.RA↗
arXiv2011

An analogue of Hilbert's Syzygy Theorem for the algebra of one-sided inverses of a polynomial algebra

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

math.RA↗
arXiv2011

The algebra of integro-differential operators on a polynomial algebra

We prove that the algebra $\mI_n:=K\langle x_1, ..., x_n, \frac{\der}{\der x_1},...,\frac{\der}{\der x_n}, \int_1, ..., \int_n\rangle $ of integro-differential operators on a polynomial algebra is a prime, central, catenary, self-dual, non-Noetherian algebra of classical Krull dimension $n$ and of Gelfand-Kirillov dimension $2n$. Its weak homological dimension is $n$, and $n\leq \gldim (\mI_n)\leq 2n$. All the ideals of $\mI_n$ are found explicitly, there are only finitely many of them ($\leq 2^{2^n}$), they commute ($\ga \gb = \gb\ga$) and are idempotent ideals ($\ga^2= \ga$). The number of ideals of $\mI_n$ is equal to the {\em Dedekind number} $\gd_n$. An analogue of Hilbert's Syzygy Theorem is proved for $\mI_n$. The group of units of the algebra $\mI_n$ is described (it is a huge group). A canonical form is found for each integro-differential operators (by proving that the algebra $\mI_n$ is a generalized Weyl algebra). All the mentioned results hold for the Jacobian algebra $\mA_n$ (but $\GK (\mA_n) =3n$, note that $\mI_n\subset \mA_n$). It is proved that the algebras $\mI_n$ and $\mA_n$ are ideal equivalent.

math.RA↗
arXiv2011

The largest left quotient ring of a ring

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

math.RA↗
arXiv2010

The group of automorphisms of the algebra of polynomial integro-differential operators

The group $\rG_n$ of automorphisms of 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 found: $$ \rG_n=S_n\ltimes \mT^n\ltimes \Inn (\mI_n) \supseteq S_n\ltimes \mT^n \ltimes \underbrace{\GL_\infty (K)\ltimes... \ltimes \GL_\infty (K)}_{2^n-1 {\rm times}}, $$ $$ \rG_1\simeq \mT^1 \ltimes \GL_\infty (K),$$ where $S_n$ is the symmetric group, $\mT^n$ is the $n$-dimensional torus, $\Inn (\mI_n)$ is the group of inner automorphisms of $\mI_n$ (which is huge). It is proved that each automorphism $\s \in \rG_n$ is uniquely determined by the elements $\s (x_i)$'s or $\s (\frac{\der}{\der x_i})$'s or $\s (\int_i)$'s. The stabilizers in $\rG_n$ of all the ideals of $\mI_n$ are found, they are subgroups of {\em finite} index in $\rG_n$. It is shown that the group $\rG_n$ has trivial centre, $\mI_n^{\rG_n}=K$ and $\mI_n^{\Inn (\mI_n)}=K$, the (unique) maximal ideal of $\mI_n$ is the {\em only} nonzero prime $\rG_n$-invariant ideal of $\mI_n$, and there are precisely $n+2$ $\rG_n$-invariant ideals of $\mI_n$. For each automorphism $\s \in \rG_n$, an {\em explicit inversion formula} is given via the elements $\s (\frac{\der}{\der x_i})$ and $\s (\int_i)$.

math.AG↗
arXiv2010

An analogue of the Conjecture of Dixmier is true for the algebra of polynomial integro-differential operators

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.

math.RA↗
arXiv2010

Extensions of the Frobenius to ring of differential operators on polynomial algebra in prime characteristic

Let $K$ be a field of characteristic $p>0$. It is proved that each automorphism $\s \in \Aut_K(\CDPn)$ of the ring $\CDPn$ of differential operators on a polynomial algebra $P_n= K[x_1, ..., x_n]$ is {\em uniquely} determined by the elements $\s (x_1), ... ,\s (x_n)$, and the set $\Frob (\CDPn)$ of all the extensions of the Frobenius from certain maximal commutative polynomial subalgebras of $\CDPn$, like $P_n$, is equal to $\Aut_K(\CDPn) \cdot \CF$ where $\CF$ is the set of all the extensions of the Frobenius from $P_n$ to $\CDPn$ that leave invariant the subalgebra of scalar differential operators. The set $\CF$ is found explicitly, it is large (a typical extension depends on {\em countably} many independent parameters).

math.RA↗
arXiv2010

${\rm K}_1(\mS_1)$ and the group of automorphisms of the algebra $\mS_2$ of one-sided inverses of a polynomial algebra in two variables

Explicit generators are found for the group $G_2$ of automorphisms of the algebra $\mS_2$ of one-sided inverses of a polynomial algebra in two variables over a field of characteristic zero. Moreover, it is proved that $$ G_2\simeq S_2\ltimes \mT^2\ltimes \Z\ltimes ((K^*\ltimes E_\infty (\mS_1))\boxtimes_{\GL_\infty (K)}(K^*\ltimes E_\infty (\mS_1)))$$ where $S_2$ is the symmetric group, $\mT^2$ is the 2-dimensional torus, $E_\infty (\mS_1)$ is the subgroup of $\GL_\infty (\mS_1)$ generated by the elementary matrices. In the proof, we use and prove several results on the index of operators, and the final argument in the proof is the fact that ${\rm K}_1 (\mS_1) \simeq K^*$ proved in the paper. The algebras $\mS_1$ and $\mS_2$ are noncommutative, non-Noetherian, and not domains. The group of units of the algebra $\mS_2$ is found (it is huge).

math.AG↗
arXiv2010

The algebra of one-sided inverses of a polynomial algebra

We study in detail the %Shrek algebra $\mS_n$ in the title which is an algebra obtained from a polynomial algebra $P_n$ in $n$ variables by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of $P_n$. The algebra $\mS_n$ is non-commutative and neither left nor right Noetherian but the set of its ideals satisfies the a.c.c., and the ideals {\em commute}. It is proved that the classical Krull dimension of $\mS_n$ is $2n$; but the weak and the global dimensions of $\mS_n$ are $n$. The prime and maximal spectra of $\mS_n$ are found, and the simple $\mS_n$-modules are classified. It is proved that the algebra $\mS_n$ is central, prime, and {\em catenary}. The set $\mI_n$ of idempotent ideals of $\mS_n$ is found explicitly. The set $\mI_n$ is a finite distributive lattice and the number of elements in the set $\mI_n$ is equal to the {\em Dedekind} number $\gd_n$.

math.RA↗