中文

$\mathfrak{s}\mathfrak{u}(n,1)$ 与 $\mathfrak{s}\mathfrak{o}(n,1)$ 的 ${\cal U}(\mathfrak{g})$ 之 $K-$结构

表示论 2016-11-24 v1

摘要

GG 为实单李代数 g0\mathfrak{g}_0(等于 su(n,1)\mathfrak{s}\mathfrak{u}(n,1)so(n,1)\mathfrak{s}\mathfrak{o}(n,1))的伴随群,KK 为其极大紧子群,U(g){\cal U}(\mathfrak{g})g0\mathfrak{g}_0 复化 g\mathfrak{g} 的泛包络代数,U(g)K{\cal U}(\mathfrak{g})^K 为其 KK-不变元子代数。根据 F. Knopp [3] 的结果,U(g){\cal U}(\mathfrak{g}) 作为 U(g)K{\cal U}(\mathfrak{g})^K-模是自由的,因此存在 U(g){\cal U}(\mathfrak{g}) 的一个 KK-子模 EE,使得乘法定义了 KK-模同构 U(g)KEU(g){\cal U}(\mathfrak{g})^K\otimes E\longrightarrow{\cal U}(\mathfrak{g})。我们证明 EE 等价于 KK 的正则表示,即每个 δK^\delta\in\hat{K}EE 中的重数等于其维数。作为推论,我们得到对于任意有限维复 KK-VVKK-不变空间 (U(g)V)K({\cal U}(\mathfrak{g})\otimes V)^K 是秩为 dimV\dim\,V 的自由 U(g)K{\cal U}(\mathfrak{g})^K-模。

关键词

引用

@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}
}