[論文レビュー] Degenerate principal series of metaplectic groups and Howe correspondence

Soo Teck Lee, Chen-Bo Zhu|arXiv (Cornell University)|Jul 23, 2012

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

ひとこと要約

本稿は、実メタプレクティック群の退化主系列表現におけるハウ双対性の下での余不変空間の像を完全に記述し、これらの表現の再帰的性質が、そのような余不変モジュールの埋め込みによって完全に説明可能であることを示している。主な貢献は、$K$-型とモジュール図を用いた$\Omega^{p,q}$の完全分類であり、先行研究で残された穴を埋め、アーチメデス的ハウ双対性における構造的パターンを明確にしている。

ABSTRACT

The main purpose of this article is to supplement the authors' results on degenerate principal series representations of real symplectic groups with the analogous results for metaplectic groups. The basic theme, as in the previous case, is that their structures are anticipated by certain natural subrepresentations constructed from Howe correspondence. This supplement is necessary as these representations play a key role in understanding the basic structure of Howe correspondence (and its complications in the archimedean case), and their global counterparts play an equally essential part in the proof of Siegel-Weil formula and its generalizations (work of Kudla-Rallis). The full results in the metaplectic case also shed light on the seeming peculiarities, when the results in the symplectic case are viewed in their isolation.

研究の動機と目的

• 実メタプレクティック群の退化主系列におけるハウ双対性の下での余不変空間の像$\Omega^{p,q}$の記述を完全化すること、特に$p+q$が奇数の場合に焦点を当てる。
• これらの表現がアーチメデス的ハウ双対性において果たす構造的役割、およびシーゲル＝ヴァイル公式とその一般化におけるグローバルな類似対応を明確化すること。
• シンプレクティック群の場合に見られる一見奇妙な性質を、メタプレクティック設定において統一的に扱うことで解消すること。
• 退化主系列$I^\alpha(\sigma)$の再帰的性質が、余不変モジュール$\Omega^{p,q}$の埋め込みによって完全に決定されることを示すこと。

提案手法

• $I^\alpha(\sigma)$の重複度1性を利用し、$K$-型分解を用いて$\Omega^{p,q}$を$G$-表現として特定する。
• $I^\alpha(\sigma)$の遷移係数の分析により、既約性および補完的系列構造を特定する。
• $n+m$の偶奇および$p$の偶奇に基づき、$\sigma \leq -\frac{1}{2}$および$\sigma \geq \frac{1}{2}$の異なる場合にモジュール図を構成する。
• 与えられた既約部分商$L_{s,t}$によって生成される部分モジュール$\prec L_{s,t} \succ$を定義し、$p$の偶奇に応じて異なる規則を適用する。
• アフィン商写像$\psi_{p,q}$を用いて余不変を$I^\alpha(\sigma)$に埋め込み、$K$-型解析により像を特徴付ける。
• 実メタプレクティック群の超越的設定において、古典的不変式論の類似（FFTおよびSFT）を応用する。

実験結果

リサーチクエスチョン

• RQ1 $p+q$が奇数のとき、メタプレクティック群$\widetilde{\mathrm{Sp}}(2n,\mathbb{R})$の退化主系列$I^\alpha(\sigma)$における余不変空間の像$\Omega^{p,q}$はどのように埋め込まれるか？
• RQ2 $\Omega^{p,q}$の正確な構造は、$K$-型および$I^\alpha(\sigma)$の部分商の観点からどのように記述できるか、特に再帰的点において。
• RQ3 $I^\alpha(\sigma)$の再帰的パターンは、$\Omega^{p,q}$モジュールの埋め込みとどのように対応するか？
• RQ4 なぜシンプレクティック群の場合の結果は孤立して見ると奇妙に見えるのか？メタプレクティックの場合ではどのようにこの問題が解消されるか？
• RQ5 $n$, $m$, $p$, $q$のすべての偶奇にわたって、制限なしに$\Omega^{p,q}$の構造を一様に記述できるか？

主な発見

• $n+m$が偶数で$p$が奇数のとき、$\sigma \leq -\frac{1}{2}$であれば$\Omega^{p,q} = L_{\frac{n+1-q}{2},\frac{p-1}{2}}$となり、モジュール図の最下層に位置する既約部分モジュールであることが示される。
• $\sigma \geq \frac{1}{2}$で$p$が奇数のとき、$\Omega^{p,q} = \prec L_{s,t} \succ$であり、$s = \max(0, \frac{n+1-q}{2})$、$t = \min([\frac{n}{2}], \frac{p-1}{2})$を満たし、特定の部分商によって生成される部分モジュールを形成する。
• $n+m$が偶数で$p$が偶数のとき、$\sigma \leq -\frac{1}{2}$であれば$\Omega^{p,q} = L_{\frac{p}{2},\frac{n-q}{2}}$となり、再びモジュール図の最下層に位置する既約部分モジュールである。
• $\sigma \geq \frac{1}{2}$で$p$が偶数のとき、$\Omega^{p,q} = \prec L_{s,t} \succ$であり、$s = \min([\frac{n+1}{2}], \frac{p}{2})$、$t = \max(0, \frac{n-q}{2})$を満たし、異なる境界条件を持つ部分モジュールを形成する。
• $\sigma \leq -\frac{1}{2}$における最下層のすべての$L_{i,j}$の集合は、$I^\alpha(\sigma)$のすべての既約部分モジュールを尽くしており、それらの構造はパラメータ$p,q,n,m$によって完全に決定される。
• $I^\alpha(\sigma)$の再帰的性質は、$\Omega^{p,q}$モジュールの可能な埋め込みによって完全に説明可能であり、定理6.1により形式化されている。これは古典的不変式論の第二基本定理のアーチメデス的アナログである。