BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Source author record

V. V. Bavula

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record
math.RAmath.AGmath.QAmath.RTmath.ACmath.KT

Catalog footprint

Research overview

32works
6topics
2close collaborators

Actions

Is this your work?

Log in to claim
Open graphBrowse papers

Published work

32 publications

preprint2022arXiv

The Question of Arnold on classification of co-artin subalgebras in singularity theory

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 KK 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 A\mathcal{A} of the polynomial algebra K[x]K[x] that contains the ideal xmK[x]x^mK[x] for some m≥1m\geq 1. It is proven that the set A=∐m,ΓA(m,Γ)\mathcal{A} = \coprod_{m, Γ}\mathcal{A} (m, Γ) is a disjoint union of affine algebraic varieties (where Γ∐{0,m,m+1,…}Γ\coprod \{0, m, m+1, \ldots \} is the semigroup of the singularity and m−1m-1 is the Frobenius number). It is proven that each set A(m,Γ)\mathcal{A} (m, Γ) is an affine algebraic variety and explicit generators and defining relations are given for the algebra of regular functions on A(m,Γ)\mathcal{A} (m ,Γ). An isomorphism criterion is given for the algebras in A\mathcal{A}. For each algebra A∈A(m,Γ)A\in \mathcal{A} (m, Γ), explicit sets of generators and defining relations are given and the automorphism group AutK(A){\rm Aut}_K(A) is explicitly described. The automorphism group of the algebra AA is finite iff the algebra AA is not isomorphic to a monomial algebra, and in this case ∣AutK(A)∣<dimK(A/cA)|{\rm Aut}_K(A)|<{\rm dim}_K(A/\mathfrak{c}_A) where cA\mathfrak{c}_A is the conductor of AA. The set of orders of the automorphism groups of the algebras in A(m,Γ)\mathcal{A} (m , Γ) is explicitly described.

Open access
preprint2018arXiv

A remark on the Dixmier Conjecture

The Dixmier Conjecture says that every endomorphism of the (first) Weyl algebra A1A_1 (over a field of characteristic zero) is an automorphism, i.e., if PQ−QP=1PQ-QP=1 for some P,Q∈A1P, Q \in A_1 then A1=K⟨P,Q⟩A_1 = K \langle P, Q \rangle. The Weyl algebra A1A_1 is a Z\Z-graded algebra. We prove that the Dixmier Conjecture holds if the elements PP and QQ are sums of no more than two homogeneous elements of AA (there is no restriction on the total degrees of PP and QQ).

Open access
preprint2015arXiv

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

Let RR be a ring, $\CC_R$ and $\pCCR$ be the set of regular and left regular elements of RR ($\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 Ql,cl(R)Q_{l,cl}(R) are obtained (in the spirit of Goldie).

Open access
preprint2015arXiv

The largest strong left quotient ring of a ring

For an arbitrary ring RR, the largest strong left quotient ring Qls(R)Q_l^s(R) of RR and the strong left localization radical $\glsR$ are introduced and their properties are studied in detail. In particular, it is proved that Qls(Qls(R))≃Qls(R)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 Qls(R) Q_l^s(R) to be a semisimple ring. There is a canonical homomorphism from the classical left quotient ring Ql,cl(R)Q_{l, cl}(R) to Qls(R)Q_l^s(R) which is not an isomorphism, in general. The objects Qls(R)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).

Open access
preprint2014arXiv

Left localizable rings and their characterizations

A new class of rings, the class of left localizable rings, is introduced. A ring RR is left localizable if each nonzero element of RR is invertible in some left localization S−1RS^{-1}R of the ring RR. 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.

Open access
preprint2014arXiv

Left localizations of left Artinian rings

For an arbitrary left Artinian ring RR, explicit descriptions are given of all the left denominator sets SS of RR and left localizations S−1RS^{-1}R of RR. It is proved that, up to RR-isomorphism, there are only finitely many left localizations and each of them is an idempotent localization, i.e. S−1R≃Se−1RS^{-1}R\simeq S_e^{-1}R and ass(S)=ass(Se){\rm ass} (S) = {\rm ass} (S_e) where Se={1,e}S_e=\{1,e\} is a left denominator set of RR and ee is an idempotent. Moreover, the idempotent ee is unique up to a conjugation. It is proved that the number of maximal left denominator sets of RR is finite and does not exceed the number of isomorphism classes of simple left RR-modules. The set of maximal left denominator sets of RR and the left localization radical of RR are described.

Open access
preprint2013arXiv

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 RR the set $\CM$ of maximal left denominator sets of RR is a non-empty set: Theorem (The First Criterion). A ring RR has a semisimple left quotient ring QQ iff $\CM $ is a finite set, $\bigcap_{S\in \CM} \ass (S) =0$ and, for each $S\in \CM$, the ring S−1RS^{-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 RR and goes further then the First one %and Goldie's Theorem in the sense that it describes explicitly the maximal left denominator sets SS via the minimal primes of RR. 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.

Open access
preprint2013arXiv

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 PnP_n in nn variables is obtained from PnP_n by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of the algebra PnP_n. The algebra $\mS_n$ is a noncommutative, non-Noetherian algebra of classical Krull dimension 2n2n and of global dimension nn which is not a domain. If the ground field KK 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 nnth Weyl algebra AnA_n and the polynomial algebra %P2nP_{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∗K^*, the group of elementary matrices $E_\infty (\mS_n)$ and (n−2)2n−1+1(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 mm 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.$$

Open access
preprint2012arXiv

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

For the algebra $\mI_1= K<x, \frac{d}{dx}, \int>$ of polynomial integro-differential operators over a field KK 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.

Open access
preprint2011arXiv

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[x1,...,xn]A[x_1, ..., x_n] over an arbitrary ring AA: $$ \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 AA: $$ \wdim (\mS_n(A))= \wdim (A) +n.$$

Open access
preprint2011arXiv

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

Let A1=K<X,Y∣[Y,X]=1>A_1=K < X, Y | [Y,X]=1> be the (first) Weyl algebra over a field KK of characteristic zero. It is known that the set of eigenvalues of the inner derivation $\ad (YX)$ of A1A_1 is Z\Z. Let $ A_1\ra A_1$, X↦xX\mapsto x, Y↦yY\mapsto y, be a KK-algebra homomorphism, i.e. [y,x]=1[y,x]=1. It is proved that the set of eigenvalues of the inner derivation $\ad (yx)$ of the Weyl algebra A1A_1 is Z\Z and the eigenvector algebra of $\ad (yx)$ is K<x,y>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 A1A_1 an automorphism?}).

Open access
preprint2011arXiv

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 nn and of Gelfand-Kirillov dimension 2n2n. Its weak homological dimension is nn, and $n\leq \gldim (\mI_n)\leq 2n$. All the ideals of $\mI_n$ are found explicitly, there are only finitely many of them (≤22n\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.

Open access
preprint2011arXiv

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<x_1, ..., x_n, \frac{\der}{\der x_1}, ...,\frac{\der}{\der x_n}>$ of polynomial differential operators (i.e. the nn'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=1n=1; the algebra $\mI_n$ is a {\em holonomic AnA_n-bimodule} of length 3n3^n and has multiplicity 3n3^n, and all 3n3^n simple factors of $\mI_n$ are pairwise non-isomorphic AnA_n-bimodules. The socle length of the AnA_n-bimodule $\mI_n$ is n+1n+1, the socle filtration is found, and the mm'th term of the socle filtration has length (nm)2n−m{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$.

Open access
preprint2011arXiv

The largest left quotient ring of a ring

The left quotient ring (i.e. the left classical ring of fractions) Qcl(R)Q_{cl}(R) of a ring RR 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 Ql(R)Q_l(R), i.e. Ql(R)=S0(R)−1RQ_l(R) = S_0(R)^{-1}R where S0(R)S_0(R) is the largest left regular denominator set of RR. It is proved that Ql(Ql(R))=Ql(R)Q_l(Q_l(R))=Q_l(R); the ring Ql(R)Q_l(R) is semi-simple iff Qcl(R)Q_{cl}(R) exists and is semi-simple; moreover, if the ring Ql(R)Q_l(R) is left artinian then Qcl(R)Q_{cl}(R) exists and Ql(R)=Qcl(R)Q_l(R) = Q_{cl}(R). The group of units Ql(R)∗Q_l(R)^* of Ql(R)Q_l(R) is equal to the set {s−1t ∣ s,t∈S0(R)}\{s^{-1} t\, | \, s,t\in S_0(R)\} and S0(R)=R∩Ql(R)∗S_0(R) = R\cap Q_l(R)^*. If there exists a finitely generated flat left RR-module which is not projective then Ql(R)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).

Open access
preprint2010arXiv

${\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 G2G_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 S2S_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).

Open access
preprint2010arXiv

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

Let A1:=K⟨x,ddx⟩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 KK of characteristic zero. The Conjecture/Problem of Dixmier (1968) [still open]: {\em is an algebra endomorphism of the Weyl algebra A1A_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 A1A_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.

Open access
preprint2010arXiv

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

Let KK be a field of characteristic p>0p>0. It is proved that each automorphism $\s \in \Aut_K(\CDPn)$ of the ring $\CDPn$ of differential operators on a polynomial algebra Pn=K[x1,...,xn]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 PnP_n, is equal to $\Aut_K(\CDPn) \cdot \CF$ where $\CF$ is the set of all the extensions of the Frobenius from PnP_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).

Open access
preprint2010arXiv

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 PnP_n in nn variables by adding commuting, {\em left} (but not two-sided) inverses of the canonical generators of PnP_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 2n2n; but the weak and the global dimensions of $\mS_n$ are nn. 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$.

Open access
preprint2010arXiv

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 SnS_n is the symmetric group, $\mT^n$ is the nn-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+2n+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)$.

Open access
preprint2006arXiv

Dimension, multiplicity, holonomic modules, and an analogue of the inequality of Bernstein for rings of differential operators in prime characteristic

Let KK be an {\em arbitrary} field of characteristic p>0p>0 and $\CD (P_n)$ be the ring of differential operators on a polynomial algebra PnP_n in nn variables. A long anticipated {\em analogue of the inequality of Bernstein} is proved for the ring $\CD (P_n)$. On the way, analogues of the concepts of (Gelfand-Kirillov) {\em dimension, multiplicity, holonomic modules} are found in prime characteristic (giving answers to old questions of finding such analogs).An analogue of the {\em Quillen's Lemma} is proved for simple {\em finitely presented} $\CD (P_n)$-modules. In contrast to the characteristic zero case where the Geland-Kirillov dimension of a nonzero finitely generated $\CD (P_n)$-module MM can be {\em any natural} number from the interval [n,2n][n,2n], in the prime characteristic, the (new) dimension $\Dim (M)$ can be \underline{\em any real} number from the interval [n,2n][n,2n].

Open access

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.