A note on tensor categories of Lie type \(E_{9}\) (Q1764845)

In [\textit{H. Wenzl}, ``On tensor categories of Lie type \(E_{N}, N\neq 9\)'', Adv. Math. 177, No. 1, 66--104 (2003; Zbl 1038.17009)] the following result was obtained: let \(V\) be an irreducible highest weight module over the Kac-Moody Lie algebra \(\mathfrak{g}\) of type \(E_N\), \(N\geq 6\), \(N\neq 9\), then there is a naturally defined submodule, \(V^{\otimes n}_{\text{new}}\) of the completely reducible module \(V^{\otimes n}\), which has the property that each irreducible summand of \(V^{\otimes n}_{\text{new}}\) appears in \(V^{\otimes n}\) for the first time if \(N\leq 8\), and for the last time if \(N\geq 10\), moreover, \(V^{\otimes n}_{\text{new}}\) admits a uniform combinatorial description for the behavior of the multiplicities of its direct summands. The degeneracy of the invariant form was an obstacle to include the affine, that is \(N=9\), case. In the paper under review for \(N=9\) the authors finds submodules \(\mathcal{M}_n\) of \(V^{\otimes n}\), analogous to \(V^{\otimes n}_{\text{new}}\). \(\mathcal{M}_n\) defined as the full multiplicity direct sum of those submodules of \(V^{\otimes n}\), whose highest weights have maximal null-root coefficient. All these direct summands appear \textit{only} in \(V^{\otimes n}\). The author describes the multiplicities of simple direct summand in \(\mathcal{M}_n\). One of the main tools the author uses is Littelmann's path model.