BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

V. V. Bavula

V. V. Bavula appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

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

Catalog footprint

What is connected

32works
6topics
2close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

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.

Published work

32 published item(s)

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

0 citations0 reviewsNo code linkedOpen access
preprint2018arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

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

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

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.

0 citations0 reviewsNo code linkedOpen 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 $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.

0 citations0 reviewsNo code linkedOpen 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 $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.$$

0 citations0 reviewsNo code linkedOpen 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 $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.

0 citations0 reviewsNo code linkedOpen 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[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.$$

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

0 citations0 reviewsNo code linkedOpen 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 $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.

0 citations0 reviewsNo code linkedOpen 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 $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$.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

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

0 citations0 reviewsNo code linkedOpen 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 $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).

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

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

0 citations0 reviewsNo code linkedOpen 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 $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$.

0 citations0 reviewsNo code linkedOpen 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 $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)$.

0 citations0 reviewsNo code linkedOpen access
preprint2006arXiv

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

Let $K$ be an {\em arbitrary} field of characteristic $p>0$ and $\CD (P_n)$ be the ring of differential operators on a polynomial algebra $P_n$ in $n$ 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 $M$ can be {\em any natural} number from the interval $[n,2n]$, in the prime characteristic, the (new) dimension $\Dim (M)$ can be \underline{\em any real} number from the interval $[n,2n]$.

0 citations0 reviewsNo code linkedOpen access