Asymptotic dimension of invariant subspace in tensor product representation of compact Lie group (Q841231): Difference between revisions

Let \(G\) be a connected simply-connected compact simple Lie group and \(V_\lambda\) the irreducible representation of \(G\) with highest weight \(\lambda\). Given dominant weights \(\lambda_1,\dots,\lambda_n\) of \(G\), one defines \(\mathcal{Z}=\dim_C(V_{\lambda_1}\otimes\dots\otimes V_{\lambda_n})^G\) and \(\mathcal{V}=\lim\sup_{k\to\infty}\frac{1}{k^d}\dim_C(V_{k\lambda_1}\otimes\cdots\otimes V_{k\lambda_n})^G\). The authors prove combinatorial expressions of \(\mathcal{Z}\) and \(\mathcal{V}\), thus generalizing their previous results obtained for the particular groups: \(SU(2)\) in [\textit{T. Takakura}, Int. J. Math. 12, No. 1, 97--111 (2001; Zbl 1110.53309)] and \(SU(3)\) in [\textit{T. Suzuki} and \textit{T. Takakura}, Tokyo J. Math. 31, 1--26 (2008; Zbl 1157.53045)]. One formula expresses \(\mathcal{V}\) as a finite sum over tuples of elements in the Weyl group. Another formula for \(\mathcal{V}\) is an infinite series over dominant weights of \(G\), providing an analogue of Witten's volume formula in 2-dimensional gauge theory [\textit{E. Witten}, Commun. Math. Phys. 141, No.~1, 153--209 (1991; Zbl 0762.53063)]. The proofs are combinatorial, though there is a geometric interpretation of \(\mathcal{Z}\) and \(\mathcal{V}\) in terms of the symplectic quotient for the Hamiltonian diagonal action of \(G\) on a direct product of coadjoint orbits: \(\mathcal{Z}\) is the Riemann-Roch number of \((\mathcal{M},\mathcal{L})\) and \(\mathcal{V}\) is the symplectic volume of \((\mathcal{M},\omega)\), where \(\mathcal{M}=\{(x_1,\dots,x_n)\in\mathcal{O}_{\lambda_1}\times\cdots\times\mathcal{O}_{\lambda_n}\mid x_1+\dots +x_n=0\}/G\) with canonically induced symplectic form \(\omega\) and holomorphic line bundle \(\mathcal{L}\).