Related papers: Groebner--Shirshov bases method for vertex algebra…
In this paper we present a right version of the algorithms developed for to compute Gr\"obner bases over bijective skew PBW extensions in the left case given in [3]. In particular, we adapt the theory of reduction and we build a right…
We construct new solvable vertex models based on the spin representation of the Lie algebra $B_k$. We use these models to study the algebraic structure underlying such vertex theories. We show that all the $B_k$ spin vertex models obey a…
Using Buchberger-Shirshov Algorithm and Composition-Diamond lemma we obtain the reduced Grobner-Shirshov bases of $\widetilde{A_n}$ and classify all reduced words of the affine Weyl group $\widetilde{A_n}$.
This book offers an introduction to vertex algebra based on a new approach. The new approach says that a vertex algebra is an associative algebra such that the underlying Lie algebra is a vertex Lie algebra. In particular, vertex algebras…
We construct embeddings of boundary algebras B into ZF algebras A. Since it is known that these algebras are the relevant ones for the study of quantum integrable systems (with boundaries for B and without for A), this connection allows to…
A twisting system is one of the major tools to study graded algebras, however, it is often difficult to construct a (non-algebraic) twisting system if a graded algebra is given by generators and relations. In this paper, we show that a…
Using the unfolding method given in \cite{HL}, we prove the conjectures on sign-coherence and a recurrence formula respectively of ${\bf g}$-vectors for acyclic sign-skew-symmetric cluster algebras. As a following consequence, the…
We show how to use Groebner bases for operads to prove various freeness theorems: freeness of certain operads as nonsymmetric operads, freeness of an operad Q as a P-module for an inclusion P into Q, freeness of a suboperad. This gives new…
Let V be a simple vertex operator algebra and G a finite automorphism group. Then there is a natural right G-action on the set of all inequivalent irreducible V-modules. Let S be a finite set of inequivalent irreducible V-modules which is…
We associate to any holomorphic vertex algebra a collection of Teichm\"{u}ller modular forms, one in each genus. In genus one we obtain the character of the vertex algebra, and we thus reprove Zhu's modularity result. In higher genus, we…
Formal verification techniques based on computer algebra have proven highly effective for circuit verification. The circuit, given as an and-inverter graph, is encoded as a set of polynomials that automatically generates a Gr\"obner basis…
Many rings and algebras arising in quantum mechanics, algebraic analysis, and non-commutative algebraic geometry can be interpreted as skew PBW (Poincar\'e-Birkhoff-Witt) extensions. In the present paper we study two aspects of these…
We present a realisation of the universal/simple Bershadsky--Polyakov vertex algebras as subalgebras of the tensor product of the universal/simple Zamolodchikov vertex algebras and an isotropic lattice vertex algebra. This generalises the…
In this paper, we prove that two-generator one-relator groups with depth less than or equal to 3 can be effectively embedded into a tower of HNN-extensions in which each group has the effective standard normal form. We give an example to…
In this paper, we study the concept of associative $n$-conformal algebra over a field of characteristic 0 and establish Composition-Diamond lemma for a free associative $n$-conformal algebra. As an application, we construct…
The Gardner method, traditionally used to generate conservation laws of integrable equations, is generalized to generate symmetries. The method is demonstrated for the KdV, Camassa-Holm and Sine-Gordon equations. The method involves…
In this paper we introduce a binomial ideal derived from a binary linear code. We present some applications of a Gr\"obner basis of this ideal with respect to a total degree ordering. In the first application we give a decoding method for…
In this paper we describe an efficient involutive algorithm for constructing Groebner bases of polynomial ideals. The algorithm is based on the concept of involutive monomial division which restricts the conventional division in a certain…
In this article we continue to develop the theory of generating symmetries for integrable equations. A technique for computation of generating symmetries using Maple is presented. The technique is based on the standard symmetry method. By…
This text consists of five relatively systematic notes on Gr\"obner bases and free resolutions of modules over solvable polynomial algebras.