Search Results

Given any Hopf algebra $A$ over a field $k$, one can also define the Hopf dual $A^*$ of as follows: Let $A^∗$ be the subspace of the full linear dual of $A$ consisting of elements that vanish on some …

For a complex simple Lie algebra $\frak{g}$, which of its finite dimensional irreducible representations give non-faithful representations of the corresponding simply-connected compact Lie group. Mor …

A monoidal category is a well-defined categorical object abstracting products to the categorical setting. The term tensor category is also used, and seems to mean a monoidal category with more structu …

In $E(6)$ inspired models of supersymmetry, the inclusion of Lie subgroups $$ SO(10) \times U(1) \hookrightarrow E_6 $$ is important object of interest. See here for my motivating example. In partic …

Which computer package is better, GAP or SageMath, for decomposing an irreducible representation of a (simple) Lie group $G$ into representations of a Lie subgroup. I am most interested when branchi …

For the $A$-series, tensor powers of the fundamental representation of $\frak{sl}_n$ decompose into irreducibles according to a certain Young diagram/ partition formula. This inspires, for example, th …

Irreducible representations for the $A$-series Lie algebras are labelled Young diagrams, with a basis of each given by Young tableaux. Moreover, analogues exist for the $B,C$, and $D$ series. Does su …

The question is answered on page 385 of the classical Zhelobenko book Compact Lie groups and their representations for the more general case of $SU(n+m)/SU(n) \times SU(m)$.

In the SAGE computer package, there useful exist tools for branching representations of a simple Lie group to a Levi subgroup: http://doc.sagemath.org/html/en/reference/combinat/sage/combinat/root_sy …

On the Wikipedia page for restricted representations https://en.wikipedia.org/wiki/Restricted_representation there is presented a number of explicit "branching rules". In particular, there is the W …

Given two monoidal categories $\mathcal{M}$ and $\mathcal{N}$, can one form their tensor product in a canonical way? The motivation I am thinking of is two categories that are representation categor …