Integral models of Harish-Chandra modules of the finite covering groups of \(\mathrm{PU}(1,1)\) (Q2664497)

The real and cohomological induction are the highly developed tools in the modern representation theory, especially the representation theory of reductive groups. The paper is devoted to a computation of integral model of of Harish-Chandra modules for finite covering groups of \(\mathrm{PU}(1,1)\). The finite coverings \((\mathfrak g_{n,m}, T^1, \alpha_c)\) of \(\mathrm{PU}(1,1)\) are classified by the set \(\mathbb Z_{>0} \times \mathbb C^\times /\{\pm1\}\), where \(T^1 := \mathrm{Spec }\mathbb C[t^{\pm 1}]\), \(\mathfrak g_{n,m} = \langle E,F,H \rangle\), with the \(\mathbb Z\)-basis relations \([H, E] = nE, [H,F]= -nF, [E,F]= mH\) with an action of \(t\in T^1\) as \(t.E = t^nE, t.F = t^{-n}F, t.H = H\) and \(\alpha_c\) is a \(\mathfrak t^1 (= \mathrm{Lie}\; T^1)\)-equivariant Lie algebra homomorphism \(\alpha_c: \mathfrak g_{n,m} \to \mathfrak{sl}_2=\langle X,Y,Z\rangle\) by \(\alpha_c E = cX, \alpha_c F = \frac{mn}{2c}Y, \alpha_c(H) = \frac{n}{2}Z\), and basis \(X= \begin{pmatrix} 0 & 1\\ 0 & 0 \end{pmatrix}\), \(Y = \begin{pmatrix} 0 & 0\\ 1 & 0\end{pmatrix}\), \(Z = \begin{pmatrix} 1 & 0\\ 0 & -1\end{pmatrix}\) of \(\mathfrak{sl}_2\) with \(\mathfrak t^1\)-action of \(t\) as \(t.X = t^n X, t.Y = t^{-n}Y, t.Z = Z\). Two coverings \((\mathfrak g_{n,m}, T^1, \alpha_c)\) and \((\mathfrak g_{n,m}, T^1, \alpha_{c'})\) are isomorphic if \((\mathfrak g'_{n,m}, T^1, \alpha_{c'})\cong (\mathfrak g_{n,m}, T^1, \alpha_{-c})\) (Theorem 5.2). The author then computed the induction functor \(I^{\mathfrak g,K}_{\mathfrak q,M}\) of integral free module of rank 1 over \(\mathbb Z\), then the models of Cartan-involution-stable Borel subalgebras (Theorem 5.3) and models of principal series representations. The main result of the paper is Theorem 5.17 constructing the integral forms of irreducible highest and lowest weight representations of the finite covering groups of \(\mathrm{PU}(1,1)\), those are obtained from the principal series induction.