[论文解读] Invariant differential operators on spherical homogeneous spaces with overgroups

Fanny Kassel, Toshiyuki Kobayashi|arXiv (Cornell University)|Oct 5, 2018

Advanced Algebra and Geometry参考文献 24被引用 5

一句话总结

本文研究了具有超群 $\widetilde{G}$ 的球对称齐次空间 $X = G/H$ 上 $G$-不变微分算子环的结构，识别出三个多项式子代数——$\mathbb{D}_{\widetilde{G}}(X)$、$\mathrm{d}r(Z(\mathfrak{k}_{\mathbb{C}}))$ 和 $\mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}}))$——并证明在大多数情况下，$\mathbb{D}_{G}(X)$ 由其中任意两个生成，且对特定三元组 $(\widetilde{G}, G, H)$ 提供了显式生成元与关系式。

ABSTRACT

We investigate the structure of the ring ${\mathbb D}_G(X)$ of $G$-invariant differential operators on a reductive spherical homogeneous space $X=G/H$ with an overgroup $\widetilde{G}$. We consider three natural subalgebras of ${\mathbb D}_G(X)$ which are polynomial algebras with explicit generators, namely the subalgebra ${\mathbb D}_{\widetilde{G}}(X)$ of $\widetilde{G}$-invariant differential operators on $X$ and two other subalgebras coming from the centers of the enveloping algebras of $\mathfrak g$ and $\mathfrak k$, where $K$ is a maximal proper subgroup of $G$ containing $H$. We show that in most cases ${\mathbb D}_G(X)$ is generated by any two of these three subalgebras, and analyze when this may fail. Moreover, we find explicit relations among the generators for each possible triple $(\widetilde{G},G,H)$, and describe "transfer maps" connecting eigenvalues for ${\mathbb D}_{\widetilde{G}}(X)$ and for the center $Z({\mathfrak g}_{\mathbb C})$ of the enveloping algebra of ${\mathbb g}_{\mathbb C}$.

研究动机与目标

• 理解球对称齐次空间 $X = G/H$ 上 $G$-不变微分算子环 $\mathbb{D}_G(X)$ 的代数结构，其中包含一个超群 $\widetilde{G}$。
• 识别并分析 $\mathbb{D}_G(X)$ 内三个自然的多项式子代数：$\mathbb{D}_{\widetilde{G}}(X)$、$\mathrm{d}r(Z(\mathfrak{k}_{\mathbb{C}}))$ 和 $\mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}}))$。
• 确定 $\mathbb{D}_G(X)$ 由其中任意两个子代数生成的条件，并刻画该生成失败的罕见情形。
• 构建 $\mathbb{D}_{\widetilde{G}}(X)$ 的特征值与中心 $Z(\mathfrak{g}_{\mathbb{C}})$ 之间的显式转移映射，将表示理论与微分算子联系起来。

提出的方法

• 作者利用实半单群的表示理论及 Borel–Weil 定理，对 $L^2(X)$ 进行分解，并分析离散系列表示的分支律。
• 他们应用 Harish-Chandra 同构，将微分算子的特征值与 Weyl 群轨道中的权相关联，尤其针对 $\mathfrak{g}_{\mathbb{C}}$ 和 $\mathfrak{k}_{\mathbb{C}}$。
• 关键技巧在于构造一个转移映射 $\varphi_{\mathcal{I}_\tau}^*$，通过在理想 $\mathcal{I}_\tau$ 处取值，将 $\mathbb{D}_{\widetilde{G}}(X)$ 的特征与 $Z(\mathfrak{g}_{\mathbb{C}})$ 的特征联系起来。
• 对于特定情形（如 $\widetilde{G} = \mathrm{Spin}(8)$），他们利用 $D_4$ 的三重对称性分析 $\mathbb{D}_G(X)$ 的结构，并通过多项式环中的显式计算验证同构关系。
• 证明策略依赖于 $L^2(X)$ 的双重分解、球对称性以及强无重性，以建立子代数与其在限制映射下像之间的同构关系。
• 通过同构 $\mathbb{D}_G(X) \simeq \mathbb{C}[x,y,z]$ 推导出显式生成元与关系式，其中 $q_a$ 表示在 $z = (a+3)^2$ 处取值，从而将代数限制到 $\mathbb{C}[x,y]$。

实验结果

研究问题

• RQ1 在何种条件下，球对称齐次空间 $X = G/H$ 上的微分算子环 $\mathbb{D}_G(X)$ 由以下三个子代数中的任意两个生成：$\mathbb{D}_{\widetilde{G}}(X)$、$\mathrm{d}r(Z(\mathfrak{k}_{\mathbb{C}}))$ 和 $\mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}}))$？
• RQ2 对于给定三元组 $(\widetilde{G}, G, H)$，$\mathbb{D}_G(X)$ 的生成元之间存在何种显式关系，特别是当 $\widetilde{G}$ 为单群或其积时？
• RQ3 $\mathbb{D}_{\widetilde{G}}(X)$ 的特征值与中心 $Z(\mathfrak{g}_{\mathbb{C}})$ 的特征值之间有何关系？它们之间的转移映射具有何种结构？
• RQ4 在哪些情况下，由两个子代数生成 $\mathbb{D}_G(X)$ 的构造会失败？其障碍是什么？

主要发现

• 在大多数情况下，环 $\mathbb{D}_G(X)$ 由三个子代数 $\mathbb{D}_{\widetilde{G}}(X)$、$\mathrm{d}r(Z(\mathfrak{k}_{\mathbb{C}}))$ 和 $\mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}}))$ 中的任意两个生成，仅在特定例外三元组中失败。
• 对于三元组 $(\widetilde{G}, \widetilde{H}, G) = (\mathrm{Spin}(8), G_{2(-14)}, \mathrm{Spin}(7))$，子代数 $\mathbb{D}_G(X)$ 同构于 $\mathbb{C}[x,y,z]$，且在 $z = (a+3)^2$ 处的限制映射 $q_a$ 诱导出同构 $\mathbb{D}_G(X)_{\mathcal{I}_\tau} \simeq \mathbb{C}[x,y]$。
• 转移映射 $\varphi_{\mathcal{I}_\tau}^*$ 在 $\mathrm{Hom}_{\mathbb{C}\text{-alg}}(\mathbb{D}_{\widetilde{G}}(X), \mathbb{C})$ 与 $\mathrm{Hom}_{\mathbb{C}\text{-alg}}(Z(\mathfrak{g}_{\mathbb{C}})/\mathrm{Ker}(q_{\mathcal{I}_\tau} \circ \mathrm{d}\ell), \mathbb{C})$ 之间诱导同构，将 $\mathbb{D}_{\widetilde{G}}(X)$ 与 $Z(\mathfrak{g}_{\mathbb{C}})$ 的特征值谱联系起来。
• 当 $\widetilde{G} = \mathrm{Spin}(8) \times \mathrm{Spin}(8)$ 时，子代数 $R = \langle \mathrm{d}r(Z(\mathfrak{k}_{\mathbb{C}})), \mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}})) \rangle$ 生成 $\mathbb{D}_G(X)$，且映射 $q_{\mathcal{I}_\tau}$ 在 $\mathbb{D}_{\widetilde{G}}(X)$ 与 $\mathrm{d}\ell(Z(\mathfrak{g}_{\mathbb{C}}))$ 上均限制为同构。
• 命题 7.6 中的映射 $S_\tau$ 将 $\lambda(\vartheta) + \rho_{\widetilde{\mathfrak{a}}}$ 映射到 $\nu(\vartheta) + \rho$，通过 Harish-Chandra 同构显式关联了 $\mathbb{D}_{\widetilde{G}}(X)$ 与 $Z(\mathfrak{g}_{\mathbb{C}})$ 的特征值。