Wiki. “Harish-Chandra 模” [Harish-Chandra模]

#几何表示论

设 $H\subset G$ 是代数子群, $H$ 连通, $\mathfrak g$ 是 $G$ 的 Lie 代数. 一个 $\mathfrak g$-模称为 Harish-Chandra 模 (又称 $(\mathfrak g,H)$-模) 是指其 $\mathfrak h$-作用可积为 $H$-作用. (这是一个性质而非额外结构.)

例

若 $\mathfrak g$ 半单, 则中心商 $U_0\mathfrak g:= U\mathfrak g\otimes_{Z(\mathfrak g)}k_{\chi}$ ($\chi\colon Z(\mathfrak g)\to k$ 是 $Z(\mathfrak g)$ 作用在平凡 $\mathfrak g$-表示上给出的特征) 只是平凡子群的 Harish-Chandra 模.

平凡模 $k$ 是 $G$ 自身的 Harish-Chandra 模.

Verma 模 $\mathcal U\mathfrak g\otimes_{\mathcal U\mathfrak b}\operatorname{det}(\mathfrak g/\mathfrak b)$ 是 $(\mathfrak g,B)$-模.

更一般地, 对于 $H$-表示 $W$, $$ \mathcal U\mathfrak g\otimes_{\mathcal U\mathfrak h} W $$ 是 $(\mathfrak g,H)$-模.

与 D-模的关系

在几何侧, Beilinson–Bernstein 局部化将 Harish-Chandra 模对应到 $H$-等变 D-模的子范畴 $\mathrm D\text{-}\mathrm {mod}(\mathrm {Fl}_G)^H\subset \mathrm D\text{-}\mathrm {mod}(\mathrm {Fl}_G)$.