No label defined (Q4497335)

Recent investigations have shown that, in many cases, when in a principal series representation \(\rho\) of a semisimple Lie group the (topologically) irreducible subrepresentations of the restriction to a maximal compact subgroup are multiplicity-free, then it is possible to understand the structure of \(\rho\), including composition series and unitarity. In this paper, the principal series representations of \(GL_3(\mathbb{R})\) are investigated in a realization via the action of the Lie algebra \({\mathfrak gl}_3\) of \(GL_3(\mathbb{R})\) on complex-valued functions on \(\mathbb{R}^3\times (\mathbb{R}^3)^*\), where \((\mathbb{R}^3)^*\) is the dual vector space of \(\mathbb{R}^3\). Let \(r\) and \(\widetilde r\) be, respectively, the Euclidean lengths of \(\mathbb{R}^3\) and \((\mathbb{R}^3)^*\), let \({\mathcal N}\) be the subvariety of \(\mathbb{R}^3\oplus(\mathbb{R}^3)^*\) such that \(r\widetilde r=0\) and \({\mathcal S}^{(d_1,d_2)} ({\mathcal N})\) the vector space of all functions on \({\mathcal N}\) which are homogeneous of (complex) degrees \(d_1\) and \(d_2\), respectively, under dilations of \((\mathbb{R}^3)^*\). Then the space \({\mathcal S}^{(d_1, d_2)}({\mathcal N})\) carries a principal series representation of \(GL_3(\mathbb{R})\) and, as \(d_1,d_2\) vary in \(\mathbb{C}\), we obtain representatives of all possible equivalence classes of principal series representations of \(GL_3(\mathbb{R})\), up to twisting by a character. The author finds that each isotypic space for the maximal compact subgroup \(O_3\) of \(GL_3(\mathbb{R})\), i.e., the vector subspace of all the \({\mathfrak so}_3\)-highest weight vectors in a space \({\mathcal S}^{(d_1,d_2)} ({\mathcal N})\) has, up to scalar multiples, a unique distinguished basis compatible with the occurrence of finite-dimensional subrepresentations. Whenever \(d_1\) or \(d_2\) is a non-negative integer, this basis is adapted to display the submodule structure of \({\mathcal S}^{(d_1,d_2)} ({\mathcal N})\); in particular, when \(d_1\) and \(d_2\) are both non-negative integers, we get the full composition series. For the entire collection see [Zbl 0941.00016].