[論文レビュー] Conservation relations for local theta correspondence

Binyong Sun, Chen-Bo Zhu|arXiv (Cornell University)|Apr 13, 2012

Advanced Algebra and Geometry参考文献 42被引用数 6

ひとこと要約

この論文は、特性が0の局所体上のすべての可約でない型I双対対について、局所トータス対応における保存則に関するクダラス＝ラリス予想を証明する。メタプレクティック群の表現論とヘイゼンベルク群上の調和解析を用いて、トータス対応における表現の最初の出現は、双対対の次元と不変量を含む保存則によって支配されることを確立し、非アーチメデス的およびアーチメデス的設定の両方で長年の予想を解決する。

ABSTRACT

We prove Kudla-Rallis conjecture on first occurrences of local theta correspondence, for all type I irreducible dual pairs and all local fields of characteristic zero.

研究の動機と目的

• 特性が0の局所体上のすべての可約でない型I双対対について、局所トータス対応におけるクダラス＝ラリス予想の保存則を解決すること。
• すべての古典的群の特性が0の局所体上におけるトータス対応における表現の最初の出現を支配する一様な保存則を確立すること。
• 非アーチメデス的およびアーチメデス的状況における既存の結果を、クaternion的およびユニタリ群を含む完全な分類にまで拡張すること。
• オシレーター表現、退化主系列表現、および修正されたヤコビ群の構造を用いた表現論的証明を提供すること。

提案手法

• メタプレクティック被覆を用いた古典群 $\bar{G}(U)$ と $\bar{G}(V)$ を用いて、修正ヤコビ群 $\bar{J}(U,V) = (\bar{G}(U) \times \bar{G}(V)) \ltimes \mathrm{H}(U \otimes_D V)$ を構成する。
• ストーン＝フォン・ノイマンの定理を用いて、中心特徴 $\psi$ を持つヘイゼンベルク群 $\mathrm{H}(W)$ の一意な滑らかで可約でない表現（オシレーター表現）を特定する。
• グローテンディーク群 $\mathcal{K}_U$ 内の標準モジュール $\sigma$ に関連する表現の空間 $\mathcal{R}_\sigma$ を、退化主系列表現および誘導表現を用いて定義する。
• 標準モジュールの理論と $\mathcal{W}_U$ を用いた可約表現の分類を適用し、トータス対応における $\pi$ の最初の出現を分析する。
• 出現の最低次数を測るペアリング $\mathrm{n}_\mathbf{t}(\pi)$ を用い、帰納法と双対性を用いて不等式を導出する。
• シンプレクティック空間およびヘルミート空間に対して保存則 $\sum_{\mathbf{t} \in \mathcal{T}} \mathrm{n}_\mathbf{t}(\pi) = 2\dim U + d_{D,\epsilon} - 2$ を確立し、偶奇の考察を用いてクaternion的歪ヘルミート空間へ拡張する。

実験結果

リサーチクエスチョン

• RQ1 特性が0の局所体上のすべての可約でない型I双対対について、局所トータス対応における表現の最初の出現を支配する正確な保存則は何か？
• RQ2 表現の次元と不変量 $d_{D,\epsilon}$ は、トータス対応における最初の出現をどのように制約するか？
• RQ3 MVW自己同型が存在しない非アーチメデス的クaternion的ヘルミート空間および歪ヘルミート空間に対しても、保存則は拡張可能か？
• RQ4 修正ヤコビ群 $\bar{J}(U,V)$ およびオシレーター表現の構造に、結果がどの程度依存するか？
• RQ5 保存則は双対性に対して安定的であり、離散系列および誘導表現に関する既知の結果と整合的か？

主な発見

• すべての可約でない型I双対対について、特性が0の局所体上では保存則 $\sum_{\mathbf{t} \in \mathcal{T}} \mathrm{n}_\mathbf{t}(\pi) = 2\dim U + d_{D,\epsilon} - 2$ が成り立つ。
• 実シンプレクティック空間または複素ヘルミート空間の場合、すべての標準モジュールにわたる最初の出現インデックスの和は $2\dim U + d_{D,\epsilon} - 2$ に等しくなり、予想が確認される。
• 実クaternion的歪ヘルミート空間の場合、偶奇に基づく最小値 $\mathrm{n}_0(\pi)$ と $\mathrm{n}_1(\pi)$ を用いて保存則が証明され、$d_{D,\epsilon} = 1$ のとき $\mathrm{n}_0(\pi) + \mathrm{n}_1(\pi) \leq 2\dim U + 1$ を満たし、一般型の場合に等号が成立する。
• 証明により、ある $\mathbf{t} \in \mathcal{T}$ に対して $\mathrm{n}_\mathbf{t}(\pi) \leq m$ が成り立ち、$m$ は次元と不変量 $d_{D,\epsilon}$ によって有界であるため、最初の出現が存在することが保証される。
• MVW自己同型が存在しない場合（例：非アーチメデス的クaternion的ヘルミートまたは歪ヘルミートの場合）でも、(12)における直接計算により結果が成立する。
• 保存則は既知の結果と整合的である：複素対称空間に対してアダムズ＝バーバーシュが示した以前の定理や、アーチメデス的ユニタリ＝ユニタリ対に対してポールが示した結果を回復する。