Related papers: Canonical Basis for Type $A_4$ (II)-Polynomial Ele…

We construct a monomial basis of a quantum affine algebra of simply-laced type, associated to the PBW basis of Beck-Nakajima. We show that there exists a simple algorithm of computing canonical basis in terms of the monomial basis. We…

We show that for finite n at least 3, every first-order axiomatisation of the varieties of representable n-dimensional cylindric algebras, diagonal-free cylindric algebras, polyadic algebras, and polyadic equality algebras contains an…

Let U be the quantum group associated to a Lie algebra of type A_n. The negative part U^- of U has a canonical basis B defined by Lusztig and Kashiwara, with favourable properties. We show how the spanning vectors of the cones defined by…

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

Let $K[x]$ be a polynomial algebra in a variable $x$ over a commutative $\Q$-algebra $K$, and $\G'$ be the monoid of $K$-algebra monomorphisms of $K[x]$ of the type $\s : x\mapsto x+\l_2x^2+... +\l_nx^n$, $\l_i\in K$, $\l_n$ is a unit of…

A practical version of the polynomial canonical formalism is developed for normal mesoscopic systems consisting of N independent electrons. Drastic simplification of calculations is attained by means of proper ordering excited states of the…

Let Q be an affine quiver of type A. Let C be the associated generalized Cartan matrix. Let U^- be the negative part of the quantized enveloping algebra attached to C. In terms of perverse sheaves on the moduli space of representations of a…

We show that a quartic $p$-adic form with at least $3192$ variables possesses a non-trivial zero. We also prove new results on systems of cubic, quadratic and linear forms. As an example, we show that for a system comprising two cubic forms…

Quaternionic polynomials occur naturally in applications of quaternions in science and engineering, and normalization of quaternionic polynomials is a basic manipulation. Once a Groebner basis is certified for the defining ideal I of the…

Commutative complex numbers of the form u=x+\alpha y+\beta z+\gamma t in 4 dimensions are studied, the variables x, y, z and t being real numbers. Four distinct types of multiplication rules for the complex bases \alpha, \beta and \gamma…

Let $\textbf{U}^+$ be the positive part of the quantum group $\textbf{U}$ associated with a generalized Cartan matrix. In the case of finite type, Lusztig constructed the canonical basis $\textbf{B}$ of $\textbf{U}^+$ via two approaches.…

We classify general square systems of polynomial equations solvable in radicals. Expectedly, they are almost in a 1-to-1 correspondence with tuples of lattice polytopes of mixed volume not exceeding 4. The proof is based on the computation…

Let K be a field and denote by K[t], the polynomial ring with coefficients in K. Set A = K[f1,. .. , fs], with f1,. .. , fs $\in$ K[t]. We give a procedure to calculate the monoid of degrees of the K algebra M = F1A + $\times$ $\times$…

Let $\frak{g}$ be a finite dimensional simple complex Lie algebra and $U=U_q(\frak{g})$ the quantized enveloping algebra (in the sense of Jantzen) with $q$ being generic. In this paper, we show that the center $Z(U_q(\frak{g}))$ of the…

The article concerns the subalgebra U_v^+(w) of the quantized universal enveloping algebra of the complex Lie algebra sl_{n+1} associated with a particular Weyl group element of length 2n. We verify that U_v^+(w) can be endowed with the…

Motivated by a recent conjecture by Hernandez and Leclerc [arXiv:0903.1452], we embed a Fomin-Zelevinsky cluster algebra [arXiv:math/0104151] into the Grothendieck ring R of the category of representations of quantum loop algebras U_q(Lg)…

These notes are mainly based on arXiv:2003.13674 and a series of talks given in the workshop CARTEA. For any symmetrizable Kac-Moody algebra $\mathfrak{g}$ and any Weyl group element $w$, the corresponding quantum unipotent subgroup…

We use the representation theory of Lie algebras and computational linear algebra to obtain an explicit formula for the hyperdeterminant of a $3 \times 3 \times 2$ array: a homogeneous polynomial of degree 12 in 18 variables with 16749…

We use a combinatorial approach to compute the number of non-isomorphic choices on four elements that can be explained by models of bounded rationality.

A canonical system of basic invariants is a system of invariants satisfying a set of differential equations. The properties of a canonical system are related to the mean value property for polytopes. In this article, we naturally identify…