Related papers: Affine Standard Lyndon words: A-type

We study gradings by abelian groups on associative algebras with involution over an arbitrary field. Of particular importance are the fine gradings (that is, those that do not admit a proper refinement), because any grading on a…

C.M. Ringel defined Hall algebra associated with the category of representations of a quiver of Dynkin type and gave an explicit description of the structure constants of the corresponding Lie algebra. We utilize functorial properties of…

Here we define a new unification algorithm for terms interpreted in semantic domains denoted by a subclass of regular types here called deterministic regular types. This reflects our intention not to handle the semantic universe as a…

The goal of this paper is to provide a method, based on the theory of extensions of left-symmetric algebras, for classifying left-invariant affine structures on a given solvable Lie group of low dimension. To better illustrate our method,…

For any finite graph Gamma and any field K of characteristic unequal to 2 we construct an algebraic variety X over K whose K-points parameterise K-Lie algebras generated by extremal elements, corresponding to the vertices of the graph, with…

We study a class of representations over the degenerate double affine Hecke algebra of gl_n by an algebraic method. As fundamental objects in this class, we introduce certain induced modules and study some of their properties. In…

That finite-dimensional simple Lie algebras over the complex numbers can be classified by means of purely combinatorial and geometric objects such as Coxeter-Dynkin diagrams and indecomposable irreducible root systems, is arguably one of…

Borrowing inspiration from Marcone and Mont\'{a}lban's one-one correspondence between the class of signed trees and the equimorphism classes of indecomposable scattered linear orders, we find a subclass of signed trees which has an…

We study certain types of ideals in the standard Borel subalgebra of an untwisted affine Lie algebra. We classify these ideals in terms of the root combinatorics and give an explicit formula for the number of such ideals in type $A$. The…

Our main theorem classifies the Auslander-Reiten triangles according to properties of the morphisms involved. As a consequence, we are able to compute the mapping cone of an irreducible morphism. We finish by showing a technique for…

We construct fast algorithms for evaluating transforms associated with families of functions which satisfy recurrence relations. These include algorithms both for computing the coefficients in linear combinations of the functions, given the…

We show that the set of all formulas in n variables valid in a finite class A of finite algebras is always a regular tree language, and compute a finite axiom set for A. We give a rational reconstruction of Barzdins' liquid flow algorithm…

The behavior of objects associated with general extended affine Lie algebras is typically distinct from their counterparts in affine Lie algebras. Our research focuses on studying characters and Cartan automorphisms, which appear in the…

An algebraic algorithm is developed for computation of invariants ('generalized Casimir operators') of general Lie algebras over the real or complex number field. Its main tools are the Cartan's method of moving frames and the knowledge of…

This paper focuses on the equidimensional decomposition of affine varieties defined by sparse polynomial systems. For generic systems with fixed supports, we give combinatorial conditions for the existence of positive dimensional components…

Lie algebras are an important class of algebras which arise throughout mathematics and physics. We report on the formalisation of Lie algebras in Lean's Mathlib library. Although basic knowledge of Lie theory will benefit the reader, none…

We introduce An(1) (n=1,2,...) affine quiver matrix model by simply adopting the extended Cartan matrices as incidence matrices and study its finite N Schwinger-Dyson equations as well as their planar limit. In the case of n=1, we extend…

Given a connected non-negative unit form we construct an extended affine Lie algebra by giving a Chevalley basis for it. We also obtain this algebra as a quotient of an algebra defined by means of generalized Serre relations by M. Barot, D.…

The charge is an intricate statistic on words, due to Lascoux and Schutzenberger, which gives positive combinatorial formulas for Lusztig's q-analogue of weight multiplicities and the energy function on affine crystals, both of type A. As…

We develop a theory of arithmetic Newton polygons of higher order, that provides the factorization of a separable polynomial over a $p$-adic field, together with relevant arithmetic information about the fields generated by the irreducible…