Unitary Harish-Chandra representations of real supergroups (Q6039645)

Let \(\mathfrak{g}\) be a real Lie superalgebra. It is natural to ask how define the concept of (infinitesimal) \textit{unitary} or \textit{unitarizability} for a super module \(V\) for \(\mathfrak{g}\) and how to obtain, starting from \(V\), a unitary module for \(G\) a Lie supergroup with \(\mathfrak{g}=\)Lie\((G)\), \(G_0\) simply connected. A representation \(\gamma\) of \(\mathfrak{g}\) in \(V\) is \textit{unitary} if \(V\) is equipped with a hermitian product in which \(V_0\) and \(V_1\) are orthogonal and the following conditions are met: (U1) \(\forall\,Z\in\mathfrak{g}_0\), \(i\gamma(Z)\) is symmetric on \(V\); (U2) \(\forall\, X\in\mathfrak{g}_1\), \(\rho(X):=e^{-i\pi/4}\gamma(X)\) is symmetric on \(V\). The authors give conditions for unitarizability of Harrish-Chandra super modules for Lie supergroups and superalgebras. They prove the following results. Let \(\mathfrak{g}\) be a real Lie superalgebra with \(\mathfrak{g}_0\) reductive acting via \(\gamma\) on a complex vector superspace \(V\) verifying (U1) and (U2). Let \(G_0\) be the simply connected Lie group defined by \(\mathfrak{g}_0\) and let \(G\) be the supergroup whose super Harish-Chandra pairs is \((G_0,\mathfrak{g})\). If \(V\) is finitely generated, then there is a unique unitary representation of \(G\) on the completion \(\mathcal{H}\) of \(V\), say \((\pi_0,\rho,\mathcal{H})\), such that \(V\subseteq C^\omega(\pi_0)\). Let \(\mathfrak{g}_{\mathbb{C}}\) the complexification of \(\mathfrak{g}\), \(\mathfrak{g}=\mathfrak{f}\oplus\mathfrak{p}\) the super Cartan decomposition. Assume \(\mathfrak{g}_{\mathbb{C}}\) contragredient and that \(\mathfrak{g}\) is \textit{equal rank}, that is rk\((\mathfrak{f})=\)rk\((\mathfrak{g})\) and \(\mathfrak{f}_{\mathbb{C }}\) has a non trivial center. Fix \(\mathfrak{h}_{\mathbb{C}}\) a Cartan subalgebra of \(\mathfrak{f}_{\mathbb{C}}\) and \(\mathfrak{g}_{\mathbb{C}}\). Let \(\Delta\) be the root system of \(\mathfrak{g}_{\mathbb{C}}\), \(\mathfrak{g}_{\mathbb{C}}=\mathfrak{h}_{\mathbb{C}}\oplus\sum_{\alpha\in\Delta}\mathfrak{g}_\alpha\) the root space decomposition. The equal rank condition allows to decompose \(\mathfrak{f}_{\mathbb{C}}\), \(\mathfrak{p}_{\mathbb{C}}\) into root spaces. Let \(\beta: Z(\mathfrak{g}_{\mathbb{C}})\rightarrow S(\mathfrak{h}_{\mathbb{C}})^W\) denote the Harish-Chandra homomorphism. The following result is proved. Let \(\lambda\in\mathfrak{h}_{\mathbb{C}}^*\) and let \(\pi_\lambda\) be the irreducible highest representations of highest weight \(\lambda\). Then \(\pi_\lambda\) is unitary if and only if \((-1)^{|a|}\beta(a^*a)(\lambda)>0\) for all \(a\in\mathcal{U}(\mathfrak{g}_{\mathbb{C}})\). In particular, it is necessary that \(\lambda(H_\alpha)\geq0\) for \(\alpha\) compact (\(\mathfrak{g}_\alpha\subseteq\mathfrak{f}_{\mathbb{C}}\)) and \(\lambda(H_\alpha)\leq0\) for \(\alpha\) non compact (\(\mathfrak{g}_\alpha\subseteq\mathfrak{p}_{\mathbb{C}}\)) even roots. In the end the authors give an explicit example regarding \(\mathfrak{g}_{\mathbb{C}}= \operatorname{osp}_{\mathbb{C}}(1|2)\) and its real form \(\operatorname{osp}_{\mathbb{R}}(1|2)\) proving the following. Let \(V_t\) be the universal \(\operatorname{osp}_{\mathbb{C}}(1|2)\)-module of highest weight \(t\). (1) Then \(V_t\) is irreducible. It is a unitary module for \(\operatorname{osp}_{\mathbb{R}}(1|2)\) if and only if \(t\) is real and negative. (2) All unitary representation of the real Lie supergroup \(\operatorname{Osp}_{\mathbb{R}}(1|2)=(\mathrm{SL}_2(\mathbb{R}),\,\operatorname{osp}(1|2))\) are given on the completion \(\mathcal{H}\) of \(V_t\), and are such that \(V_t\subseteq C^\omega(\pi_0)\), \(\pi_0\) unitary representation of \(\widetilde{\mathrm{SL}_2(\mathbb{R})}\) in \(\mathcal{H}\) integrating \((V_t)_0\).