Related papers: Contraction of Ore Ideals with Applications
$\mathcal{O}$-operators are important in broad areas in mathematics and physics, such as integrable systems, the classical Yang-Baxter equation, pre-Lie algebras and splitting of operads. In this paper, a deformation theory of…
Basic properties of Lie-orthogonal operators on a finite-dimensional Lie algebra are studied. In particular, the center, the radical and the components of the ascending central series prove to be invariant with respect to any Lie-orthogonal…
We consider reasoning and minimization in systems of polynomial ordinary differential equations (ode's). The ring of multivariate polynomials is employed as a syntax for denoting system behaviours. We endow this set with a transition system…
We study in this paper the infinite-dimensional orthogonal Lie algebra $\mathcal{O}_C$ which consists of all bounded linear operators $T$ on a separable, infinite-dimensional, complex Hilbert space $\mathcal{H}$ satisfying $CTC=-T^*$, where…
We extend the OPE-based renormalization algorithm to composite operators with operator mixing, focusing on scalar operators in $\phi^4$ and $\phi^3$ models. Using the OPE of operators with a fundamental field, we show that the $Z$-factors…
We study the problem of extension and lifting of operators belonging to certain operator ideals, as well as that of their associated polynomials and holomorphic functions. Our results provide a characterization of $\mathcal{L}_1$ and…
In this paper, we study ideals spanned by polynomials or overconvergent series in a Tate algebra. With state-of-the-art algorithms for computing Tate Gr{\"o}bner bases, even if the input is polynomials, the size of the output grows with the…
Given an ideal $I$ in a polynomial ring $K[x_1,\dots,x_n]$ over a field $K$, we present a complete algorithm to compute the binomial part of $I$, i.e., the subideal ${\rm Bin}(I)$ of $I$ generated by all monomials and binomials in $I$. This…
We present an algorithm to compute a primary decomposition of an ideal in a polynomial ring over the integers. For this purpose we use algorithms for primary decomposition in polynomial rings over the rationals resp. over finite fields, and…
Let $R=k[x,y,z]$ be a standard graded $3$-variable polynomial ring, where $k$ denotes any field. We study grade $3$ homogeneous ideals $I \subseteq R$ defining compressed rings with socle $k(-s)^{\ell} \oplus k(-2s+1)$, where $s \geq3$ and…
Let $I$ be a homogeneous ideal in $R=\mathbb K[x_0,\ldots,x_n]$, such that $R/I$ is an Artinian Gorenstein ring. A famous theorem of Macaulay says that in this instance $I$ is the ideal of polynomial differential operators with constant…
We give infinite triangularization and strict triangularization results for algebras of operators on infinite dimensional vector spaces. We introduce a class of algebras we call Ore-solvable algebras: these are similar to iterated Ore…
For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…
This extended abstract gives a construction for lifting a Gr\"obner basis algorithm for an ideal in a polynomial ring over a commutative ring R under the condition that R also admits a Gr\"obner basis for every ideal in R.
We propose a numerical linear algebra based method to find the multiplication operators of the quotient ring $\mathbb{C}[x]/I$ associated to a zero-dimensional ideal $I$ generated by $n$ $\mathbb{C}$-polynomials in $n$ variables. We assume…
We consider orthogonal polynomials with respect to a linear differential operator $$\mathcal{L}^{(M)}=\sum_{k=0}^{M}\rho_{k}(z)\frac{d^k}{dz^k}, $$ where $\{\rho_k\}_{k=0}^{M}$ are complex polynomials such that $deg[\rho_k]\leq k, 0\leq k…
An ideal of a local polynomial ring can be described by calculating a standard basis with respect to a local monomial ordering. However standard basis algorithms are not numerically stable. Instead we can describe the ideal numerically by…
Let R = D[x;\sigma;\delta] be an Ore extension over a commutative Dedekind domain D, where \sigma is an automorphism on D. In the case \delta = 0 Marubayashi et. al. already investigated the class of minimal prime ideals in term of their…
We introduce notions of ${\mathcal O}$-operators of the Loday algebras including the dendriform algebras and quadri-algebras as a natural generalization of Rota-Baxter operators. The invertible $\mathcal O$-operators give a sufficient and…
This paper is a continuation of "Quantization of Lie bialgebras I-IV". The goal of this paper is to define and study the notion of a quantum vertex operator algebra in the setting of the formal deformation theory and give interesting…