Generating functions for tensor products

Let $\mathfrak{a},\mathfrak{b},\mathfrak{e}$ be algebras over a field $k$. Then $\mathfrak{e}$ is an extension of $\mathfrak{a}$ by $\mathfrak{b}$ if $\mathfrak{a}$ is an ideal of $\mathfrak{e}$ and $\mathfrak{b}$ is isomorphic to the quotient algebra $\mathfrak{e}/\mathfrak{a}$. In this paper, by using Gr\"obner-Shirshov bases theory for associative (resp. Lie) algebras, we give complete characterizations of associative (resp. Lie) algebra extensions of $\mathfrak{a}$ by $\m...

For $\mathfrak{g}$ a simple Lie algebra and $G$ its adjoint group, the Chevalley map and work of Coxeter gives a concrete description of the algebra of $G$-invariant polynomials on $\mathfrak{g}$ in terms of traces over various representations. Here we provide an extension of this description to $G$-invariant tensors on $\mathfrak{g}$, although restricted to only providing generators and only for the classical Lie algebras.

In this work we generalize the concept of product by generators to the class of solvable Lie algebras. We analyze the number of invariants by the coadjoint representation by means of Maurer-Cartan equations and give some applications to product structures on Lie algebras.

We show how the fusion rules for an affine Kac-Moody Lie algebra g of type A_{n-1}, n = 2 or 3, for all positive integral level k, can be obtained from elementary group theory. The orbits of the kth symmetric group, S_k, acting on k-tuples of integers modulo n, Z_n^k, are in one-to-one correspondence with a basis of the level k fusion algebra for g. If [a],[b],[c] are any three orbits, then S_k acts on T([a],[b],[c]) = {(x,y,z)\in [a]x[b]x[c] such that x+y+z=0}, which decompo...

These are notes of a graduate course on semisimple Lie algebras and Chevalley groups (over arbitrary fields). The aim is to give a self-contained introduction to these topics based on Lusztig's recent simplified approach, which is inspired by the general theory of ``canonical'' bases. Many constructions are of a purely combinatorial nature and, hence, can be implemented on a computer. We explicitly incorporate such algorithmic methods in our treatment. This is the first part ...

We present a brief summary of the recent discovery of direct tensorial analogue of characters. We distinguish three degrees of generalization: (1) $c$-number Kronecker characters made with the help of symmetric group characters and inheriting most of the nice properties of conventional Schur functions, except for forming a complete basis for the case of rank $r>2$ tensors: they are orthogonal, are eigenfunctions of appropriate cut-and-join operators and form a complete basis ...

We present a program that allows for the computation of tensor products of irreducible representations of Lie algebras A-G based on the explicit construction of weight states. This straightforward approach (which is slower and more memory-consumptive than the standard methods to just calculate dimensions of the tensor product decomposition) produces Clebsch-Gordan coefficients that are of interest for instance in discussing symmetry breaking in model building for grand unifie...

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 study of Chevalley involutions and Chevalley bases for extended affine Lie algebras. We show that for almost all extended affine Lie algebras, any finite order Cartan automorphism is diagonal, and its corresponding combinatorial map is a chara...

Let $(W,S)$ be an affine Coxeter system of type $\widetilde{B}$ or $\widetilde{D}$ and ${\rm TL}(W)$ the corresponding generalized Temperley-Lieb algebra. In this paper we define an infinite dimensional associative algebra made of decorated diagrams that is isomorphic to ${\rm TL}(W)$. Moreover, we describe an explicit basis for such an algebra consisting of special decorated diagrams that we call admissible. Such basis is in bijective correspondence with the classical monomi...

We describe a formula for computing the product of the Young symmetrizer of a Young tableau with the Young symmetrizer of a subtableau, generalizing the classical quasi-idempotence of Young symmetrizers. We derive some consequences to the structure of ideals in the generic tensor algebra and its partial symmetrizations. Instances of these generic algebras appear in the work of Sam and Snowden on twisted commutative algebras, as well as in the work of the author on the definin...