[論文レビュー] Multiplicity preservation for orthogonal-symplectic and unitary dual pair correspondences

Jian-Shu Li, Binyong Sun+1 more|ArXiv.org|Mar 8, 2009

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

ひとこと要約

本稿は、特徴値がゼロの非アルキメデス的局所体上における直交-シミレティックおよびユニタリ双対ペアのθ対応について、多重性保存性を証明する。幾何的不変量理論と分布関数のゲルファンド＝カジダン基準を用いて、$\pi \otimes \pi'$ 上の $\omega_{\psi}$-不変線型汎関数の空間の次元が1以下であることを確立し、これらの双対ペア対応における多重性1性を確認する。

ABSTRACT

Over a non-archimedean local field of characteristic zero, we prove the multiplicity preservation for orthogonal-symplectic dual pair correspondences and unitary dual pair correspondences.

研究の動機と目的

• 特徴値がゼロの非アルキメデス的局所体上における直交-シミレティックおよびユニタリ双対ペアのθ対応の多重性1性を確立すること。
• 奇数の残差特徴値に関するワルドスブルガーの結果と、ハウのアーキメデス的結果を、一般の非アルキメデス的設定に拡張すること。
• 任意の真の無限可微分的有限次元既約表現 $\pi$ および $\pi'$ に対して、$\pi \otimes \pi'$ 上の $\omega_{\psi}$-不変線型汎関数の空間の次元が1以下であることを証明すること。

提案手法

• ハーケンの表現を介して、ハーケン群に作用するシンプレクティック群のメタプレクティック被覆 $\omega_{\psi}$ を構成する。
• $-1$ の作用を扱い、群作用による軌道の安定化を図るため、拡張群 $\bar{G}$, $\bar{G}'$, $\bar{Sp}(\mathbf{E})$ を導入する。
• 完全不連続群における分布関数のゲルファンド＝カジダン基準を用いて、多重性問題をより大きな群による一般化関数の不変性に還元する。
• 幾何的結果として、$\mathbf{E}'$ 内の $G$-軌道が $\breve{G}$ に関して安定であることを示し、これにより $\mathbf{G}$-双不変一般化関数が $\{\pm 1\} \ltimes (\breve{\mathbf{G}} \times \breve{\mathbf{G}})$ に関して不変であることを導く。
• オシレーター表現の対偶がその双対と同型であるという事実を活用し、ホム空間における対称性を導き、上界を得る。
• 群 $\mathbf{J} = \mathbf{G} \ltimes \mathbf{H}$ にゲルファンド＝カジダン基準を適用し、$\mathbf{J}$ の既約表現 $\Pi$ に対して $\dim \mathrm{Hom}_{\mathbf{G}}(\Pi, \mathbb{C}) \cdot \dim \mathrm{Hom}_{\mathbf{G}}(\Pi^\vee, \mathbb{C}) \leq 1$ を示す。

実験結果

リサーチクエスチョン

• RQ1 直交-シミレティックおよびユニタリ双対ペアのθ対応が、特徴値がゼロの非アルキメデス的局所体上でも多重性1性を保つのか？
• RQ2 古典的群の全範囲にわたって、多重性1性が一様に確立可能か？
• RQ3 拡張群 $\breve{G}$ の作用が、双対ペア構成における軌道の安定性にどのように影響するか？

主な発見

• 任意の真の無限可微分的有限次元既約表現 $\pi$ および $\pi'$ に対して、$\omega_{\psi} \otimes \pi \otimes \pi'$ 上の $\widetilde{G} \times \widetilde{G}'$-不変線型汎関数の空間の次元は1以下である。
• この結果は、特徴値がゼロの非アルキメデス的設定における直交-シミレティックおよびユニタリ双対ペア対応の多重性1予想を裏付ける。
• 証明は、幾何的軌道安定性を介して、$\{\pm 1\} \ltimes (\breve{\mathbf{G}} \times \breve{\mathbf{G}})$ による双 $\mathbf{G}$-不変一般化関数の不変性に依拠している。
• 軌道安定性の結果は、与えられた $x \in \tilde{\mathfrak{g}}$ を符号反転させるとともにフラグ $F$ を保存する $\breve{G} \setminus G$ 内の要素の存在に起因し、これにより $\breve{G}$-安定性が $G$-軌道に導かれる。
• 群 $\mathbf{J} = \mathbf{G} \ltimes \mathbf{H}$ にゲルファンド＝カジダン基準を適用し、ホム空間次元の積が1以下であることを制限する。
• 最終的な結論 $\dim \mathrm{Hom}_{\widetilde{G} \times \widetilde{G}'}(\omega_{\psi}, \pi \otimes \pi') \leq 1$ は、$\omega_{\psi}^\vee \cong \omega_{\psi}$ であることと、$\dim \mathrm{Hom}_{\mathbf{G}}(\omega_{\psi} \otimes \pi^\vee \otimes \pi^{\prime\vee}, \mathbb{C}) = \dim \mathrm{Hom}_{\mathbf{G}}(\omega_{\psi}^\vee \otimes \pi \otimes \pi^{\prime}, \mathbb{C})$ であることから、対称性と双対性を用いて導出される。