Quiver varieties and tensor products (Q1608545): Difference between revisions

The author gives geometric constructions of tensor products in various categories using quiver varieties. He introduces a Lagrangian subvariety \(\widetilde{\mathcal Z}\) in a quiver variety, and shows that (1) the homology group of \(\widetilde{\mathcal Z}\) is a representation of symmetric Kac-Moody Lie algebra \(\mathfrak g\), isomorphic to the tensor product \(V(\lambda_1)\otimes \cdots\otimes V (\lambda_N)\) of integrable highest weight modules; (2) the set of irreducible components of \(\widetilde{\mathcal Z}\) has a structure of a crystal, isomorphic to that of the \(q\)-analogue of \(V(\lambda_1) \otimes \cdots\otimes V (\lambda_N)\); (3) the equivariant \(K\)-homology group of \(\widetilde{\mathcal Z}\) is isomorphic to the tensor product of universal standard modules of the quantum loop algebra \textbf{U}\(_q(\)\textbf{L}\({\mathfrak g})\), where \(\mathfrak g\) is of type ADE. Moreover, he also gives a purely combinatorial description of the crystal of (2). This result is new even when \(N=1\).