Related papers: Computing monomial bases in Lie theory using OSCAR
For appropriate domains $\Omega_{1}, \Omega_{2}$ we consider mappings $\Phi_{\mathbf A}:\Omega_{1}\to\Omega_{2}$ of monomial type. We obtain an orthogonal decomposition of the Bergman space $\mathcal A^{2}(\Omega_{1})$ into finitely many…
All possible Lie bialgebra structures on the harmonic oscillator algebra are explicitly derived and it is shown that all of them are of the coboundary type. A non-standard quantum oscillator is introduced as a quantization of a triangular…
A thorough analysis of Lie super-bialgebra structures on Lie super-algebras osp(1|2) and super-e(2) is presented. Combined technique of computer algebraic computations and a subsequent identification of equivalent structures is applied. In…
Modular algorithm are widely used in computer algebra systems (CAS), for example to compute efficiently the gcd of multivariate polynomials. It is known to work to compute Groebner basis over $\Q$, but it does not seem to be popular among…
We compute the generic degrees of the Ariki--Koike algebras by first constructing a basis of matrix units in the semisimple case. As a consequence, we also obtain an explicit isomorphism from any semisimple Ariki--Koike algebra to the group…
In this work, we consider the problem of computing triangular bases of integral closures of one-dimensional local rings. Let $(K, v)$ be a discrete valued field with valuation ring $\mathcal{O}$ and let $\mathfrak{m}$ be the maximal ideal.…
We propose a systematic procedure to construct polynomial algebras from intermediate Casimir invariants arising from (semisimple or non-semisimple) Lie algebras $\mathfrak{g}$. In this approach, we deal with explicit polynomials in the…
In this paper we consider the Waring rank of monomials over the real and the rational numbers. We give a new upper bound for it by establishing a way in which one can take a structured apolar set for any given monomial…
The normal form for a system of ode's is constructed from its polynomial symmetries of the linear part of the system, which is assumed to be semi-simple. The symmetries are shown to have a simple structure such as invariant function times…
For any ideal $I$ in a Noetherian local ring or any graded ideal $I$ in a standard graded $K$-algebra over a field $K$, we introduce the socle module $\mathrm{Soc}(I)$, whose graded components give us the socle of the powers of $I$. It is…
We study five different types of the homology of a Lie algebra over a commutative ring which are naturally isomorphic over fields. We show that they are not isomorphic over commutative rings, even over $\mathbb Z,$ and study connections…
We provide an algorithm that computes a set of generators for any complete ideal in a smooth complex surface. More interestingly, these generators admit a presentation as monomials in a set of maximal contact elements associated to the…
We describe an algorithm for computing the $p$-canonical basis of the Hecke algebra, or one of its antispherical modules. The algorithm does not operate in the Hecke category directly, but rather uses a faithful embedding of the Hecke…
Recently we have started a program to describe the action of Lie algebras associated with Dynkin-type diagrams on generic Verma modules in terms of polynomial vector fields. In this paper we explain that the results for the classical ABCD…
A well-known result on Lie Theory states that every finite-dimensional complex solvable Lie algebra can be represented as a matrix Lie algebra, with upper-triangular square matrices as elements. However, this result does not specify which…
Apolarity is an important tool in commutative algebra and algebraic geometry which studies a form, $f$, by the action of polynomial differential operators on $f$. The quotient of all polynomial differential operators by those which…
In this paper, we study Whittaker modules for graded Lie algebras. We define Whittaker modules for a class of graded Lie algebras and obtain a bijective correspondence between the set of isomorphism classes of Whittaker modules and the set…
The purpose of this article is to analyze several Lie algebras associated to "orbit configuration spaces" obtained from a group G acting freely, and properly discontinuously on the upper 1/2-plane H^2. The Lie algebra obtained from the…
We classify the automorphic Lie algebras of equivariant maps from a complex torus to $\mathfrak{sl}_2(\mathbb{C})$. For each case we compute a basis in a normal form. The automorphic Lie algebras correspond precisely to two disjoint…
This paper is a short introduction to orthogonal polynomials, both the general theory and some special classes. It ends with some remarks about the usage of computer algebra for this theory.