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

DOI10.1007/S10468-012-9398-3zbMATH Open1305.16019arXiv1104.0423OpenAlexW2964082777MaRDI QIDQ2015182FDOQ2015182

Authors: V. V. Bavula 

Publication date: 23 June 2014

Published in: Algebras and Representation Theory (Search for Journal in Brave)

Abstract: In contrast to its subalgebra $A_n:=K<x_1,\mathrm{...},x_n,fracderder{x}_1,\mathrm{...},fracderder{x}_n>$ of polynomial differential operators (i.e. the $n$'th Weyl algebra), the algebra $m{I}_n:=K<x_1,\mathrm{...},x_n,fracderder{x}_1,\mathrm{...},fracderder{x}_n,in{t}_1,\mathrm{...},in{t}_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 $m{I}_n$ is a left (right) coherent algebra iff $n=1$; the algebra $m{I}_n$ is a {em holonomic $A_n$-bimodule} of length $3^n$ and has multiplicity $3^n$, and all $3^n$ simple factors of $m{I}_n$ are pairwise non-isomorphic $A_n$-bimodules. The socle length of the $A_n$-bimodule $m{I}_n$ is $n+1$, the socle filtration is found, and the $m$'th term of the socle filtration has length $nchoosem{2}^{n-m}$. This fact gives a new canonical form for each polynomial integro-differential operator. It is proved that the algebra $m{I}_n$ is the maximal left (resp. right) order in the largest left (resp. right) quotient ring of the algebra $m{I}_n$.

Full work available at URL: https://arxiv.org/abs/1104.0423

Recommendations

• The algebra of integro-differential operators on an affine line and its modules.
• Integro-differential polynomials and operators
• The algebra of integro-differential operators on a polynomial algebra.
• The global dimension of the algebras of polynomial integro-differential operators \(\mathbb{I}_n\) and the Jacobian algebras \(\mathbb{A}_n\)
• Relations of the algebra of polynomial integrodifferential operators

zbMATH Keywords

simple modulesWeyl algebrasholonomic bimodulespolynomial integro-differential operators

Mathematics Subject Classification ID

Rings of differential operators (associative algebraic aspects) (16S32) Sheaves of differential operators and their modules, (D)-modules (32C38) Simple and semisimple modules, primitive rings and ideals in associative algebras (16D60)

Cites Work

• Title not available (Why is that?)
• Automorphisms of the Weyl algebra.
• Holonomic \(\mathcal D\)-modules and positive characteristic
• The algebra of integro-differential operators on an affine line and its modules.
• The algebra of integro-differential operators on a polynomial algebra.
• An analogue of the conjecture of Dixmier is true for the algebra of polynomial integro-differential operators.
• The largest left quotient ring of a ring

Cited In (9)

• Computing Polynomial Solutions and Annihilators of Integro-Differential Operators with Polynomial Coefficients
• The algebra of integro-differential operators on a polynomial algebra.
• The algebra of integro-differential operators on an affine line and its modules.
• Explicit description of generalized weight modules of the algebra of polynomial integro-differential operators \(\mathbb{I}_n\)
• On symbolic approaches to integro-differential equations
• The global dimension of the algebras of polynomial integro-differential operators \(\mathbb{I}_n\) and the Jacobian algebras \(\mathbb{A}_n\)
• Indecomposable generalized weight modules over the algebra of polynomial integro-differential operators
• A skew polynomial approach to integro-differential operators.
• Relations of the algebra of polynomial integrodifferential operators

This page was built for publication: The algebra of polynomial integro-differential operators is a holonomic bimodule over the subalgebra of polynomial differential operators.

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2015182)