The Heisenberg product seen as a branching problem for connected reductive groups, stability properties (Q2303710)

Let \(M_\lambda\) be an irreducible representation of \(\mathfrak{S}_k\) over \(\mathbb{C}\) associated to the partition \(\lambda\) of \(k.\) If \(\lambda\) and \(\mu\) are respectively partitions of \(k\) and \(l,\) the Heisenberg product \(M_\lambda\sharp M_\mu\) is a direct sum of \(\mathfrak{S}_i\)-modules for \(i\in \lbrace \max(k, l),\cdots,k+l\rbrace.\) Every term in this sum decomposes as a direct sum of irreducible \(\mathfrak{S}_i\)-modules: \[ M_\lambda\sharp M_\mu=\bigoplus_{i=\max(k,l)}^{k+l}\bigoplus_{\nu \vdash i} M_\nu^{\oplus a_{\lambda, \mu}^{\nu}}. \] The multiplicities \(a_{\lambda, \mu}^{\nu}\) in these decompositions are non-negative integers which are called the Aguiar coefficients. In this paper, the author uses geometric methods to obtain some stability results on these coefficients. He shows in Theorem 3.4 that the Aguiar coefficients are branching coefficients for representations of connected complex reductive groups. This allows to obtain, in Theorem 3.6, some stability results on Aguiar coefficients. In addition, after defining Aguiar-stable triple of partitions, the author provides, in Proposition 3.10, four Aguiar-stable triples. Then, in Section 4, he gives explicit stabilisation bounds for the following three Aguiar-stable triples: \(((1),(1);(1)), ((2),(1);(2))\) and \(((2),(1);(3)).\)