[論文レビュー] 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$ と過群 $\widetilde{G}$ を持つとき、$\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}}))$—を同定・分析すること。
• $\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}}$ に対して。
• 鍵となる技術として、イデアル $\mathcal{I}_\tau$ での評価を通じて $\mathbb{D}_{\widetilde{G}}(X)$ と $Z(\mathfrak{g}_{\mathbb{C}})$ の特徴の間を結ぶ移行写像 $\varphi_{\mathcal{I}_\tau}^*$ を構成する。
• 特定のケース、例えば $\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$ 上の $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}}))$ のうち任意の二つによって生成される条件は何か？
• RQ2 特に $\widetilde{G}$ が単純群または積である場合に、与えられた三つ組 $(\widetilde{G}, G, H)$ に対して $\mathbb{D}_G(X)$ の生成子間の明示的関係は何か？
• RQ3 $\mathbb{D}_{\widetilde{G}}(X)$ の固有値と中心 $Z(\mathfrak{g}_{\mathbb{C}})$ の固有値の関係は何か？ その間の移行写像の構造は？
• RQ4 どの場合に $\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)$ が生成される。生成が失敗するのは特定の例外的な三つ組に限られる。
• $ (\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}})$ の固有値を明示的に関連づける。