A complete set of intertwiners for arbitrary tensor product representations via current algebras (Q2416406)

Let \({\mathfrak g}\) be a finite-dimensional reductive complex Lie algebra and let \(A\) be a commutative complex algebra with unit. Then \({\mathfrak g}\otimes A\) is equipped with a natural structure of Lie algebra and \(U({\mathfrak g}\otimes A)\) denotes its the enveloping algebra. Consider irreducible \({\mathfrak g}\)-modules \(V(\lambda_i)\) with highest weights \(\lambda_i\), for \(i=1,\cdots,d\). Denote by \(\vec{V}(\vec{\lambda})\) the tensor product \(V(\lambda_1)\otimes V(\lambda_2)\otimes\cdots\otimes V(\lambda_d)\). Suppose now that \(A={\mathbb C}[t]\) and write \({\mathfrak g}[t]\) for \({\mathfrak g}\otimes A\). In particular, \(\vec{V}(\vec{\lambda})\) is a \({\mathfrak g}[t]\)-module defined as follows: \[x(P)\cdot(v_1\otimes\cdots\otimes v_d):=\sum_{i=1}^d P(p_i)v_1\otimes\cdots\otimes x\cdot v_i\otimes\cdots\otimes v_d\] for \(x\in{\mathfrak g}\), \(P\in{\mathbb C}[t]\) and \(v_i\in V(\lambda_i)\). Since the action of \({\mathfrak g}\) commutes with the action of \([U({\mathfrak g}[t])]^{\mathfrak g}\), then there is an action of \({\mathfrak g}\times [U({\mathfrak g}[t])]^{\mathfrak g}\) on each isotypic component of \(\vec{V}(\vec{\lambda})\). The main result in the paper under review can be stated as follows (Theorem 9): Each isotypic component of \(\vec{V}(\vec{\lambda})\) is an irreducible module for \({\mathfrak g}\times [U({\mathfrak g}[t])]^{\mathfrak g}\). The spaces \([{\mathfrak g}^{\otimes k}]^{\mathfrak g}\) for \({\mathfrak g}={\mathfrak g}{\mathfrak l}(n)\), \({\mathfrak s}{\mathfrak p}(2n)\) and \({\mathfrak s}{\mathfrak o}(n)\) are described explicitly.