English

$K-$structure of ${\cal U}(\mathfrak{g})$ for $\mathfrak{s}\mathfrak{u}(n,1)$ and $\mathfrak{s}\mathfrak{o}(n,1)$

Representation Theory 2016-11-24 v1

Abstract

Let GG be the adjoint group of a real simple Lie algebra g0\mathfrak{g}_0 equal either su(n,1)\mathfrak{s}\mathfrak{u}(n,1) or so(n,1),\mathfrak{s}\mathfrak{o}(n,1), KK its maximal compact subgroup, U(g){\cal U}(\mathfrak{g}) the universal enveloping algebra of the complexification g\mathfrak{g} of g0\mathfrak{g}_0 and U(g)K{\cal U}(\mathfrak{g})^K its subalgebra of KK-invariant elements. By a result of F. Knopp [3] U(g){\cal U}(\mathfrak{g}) is free as a U(g)K{\cal U}(\mathfrak{g})^K-module, so there exists a KK-submodule EE of U(g){\cal U}(\mathfrak{g}) such that the multiplication defines an isomorphism of KK-modules U(g)KEU(g).{\cal U}(\mathfrak{g})^K\otimes E\longrightarrow{\cal U}(\mathfrak{g}). We prove that EE is equivalent to the regular representation of K,K, i.e. that the multiplicity of every δK^\delta\in\hat{K} in EE equals its dimension. As a consequence we get that for any finitedimensional complex KK-module VV the space (U(g)V)K({\cal U}(\mathfrak{g})\otimes V)^K of KK-invariants is free U(g)K{\cal U}(\mathfrak{g})^K-module of rank dimV.\dim\,V.

Keywords

Cite

@article{arxiv.1611.07900,
  title  = {$K-$structure of ${\cal U}(\mathfrak{g})$ for $\mathfrak{s}\mathfrak{u}(n,1)$ and $\mathfrak{s}\mathfrak{o}(n,1)$},
  author = {Hrvoje Kraljević},
  journal= {arXiv preprint arXiv:1611.07900},
  year   = {2016}
}