[論文レビュー] Unitary spherical spectrum for split classical groups

Dan Barbasch|arXiv (Cornell University)|Sep 29, 2006

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

ひとこと要約

この論文は、実および $p$-進局所体上の分解古典的群 $\mathrm{Sp}(n)$ および $\mathrm{SO}(n)$ の球的ユニタリ双対を完全に分類する。新たに導入された '関連する' $K$-型と呼ばれる $W$-型のクラスにより非ユニタリ性を検出でき、両設定において一様な証明を確立することで、著者はユニタリティが双対群における関連する冪零軌道にのみ依存することを示し、表現論におけるレフシェッツ原理の形を実現する。

ABSTRACT

This paper gives a complete classification of the unitary irreducible spherical representations of split real and p-adic groups. The results were obtained around 2000, the changes to the new version are expository.

研究の動機と目的

• 実および $p$-進体上の分解シミレクティック群および正規直交群の球的ユニタリ双対を分類すること。
• 実および $p$-進設定の両方で非ユニタリ性を検出できる、新たな $K$-型クラスである「関連する」$W$-型を同定すること。
• これらの関連する型を通じて、実および $p$-進の場合のユニタリティ基準を統一することにより、同じヘルミート形式の条件が適用されることを示すこと。
• ユニタリティが体の種別に依存しないことを示すことにより、表現論におけるレフシェッツ原理の形を確立すること。

提案手法

• 特定の既約ワイル群表現と1対1対応する '関連する' $K$-型を導入し、非ユニタリ性を検出可能にする。
• ジャコブソン＝モロツォフの定理を用いて、各非分岐特徴 $\chi \in \mathfrak{a}^*$ を双対群内の一意な冪零軌道 $\check{\mathcal{O}}(\chi)$ に結びつける。
• 球的表現 $L(\chi)$ のユニタリティが、関連する $W$-型上のヘルミート形式の正定値性に依存することを示し、$p$-進の場合と一致することを確認する。
• 関連する $W$-型が同一のヘルミート形式を与えることにより、証明が実および $p$-進両ケースに同じように適用可能であることを示す。
• 標準モジュールからの誘導と相互作用作用素を用いて、既約球的モジュールがその $\mu_e$-同型成分によって生成されることを示す。
• 誘導モジュールにおける $\mu_e$-同型成分の重複度が、既約商モジュールにおけるそれと一致することを活用し、等式を証明する。

実験結果

リサーチクエスチョン

• RQ1 実および $p$-進体上の分解古典的群の球的ユニタリ表現の完全分類は何か？
• RQ2 実および $p$-進設定の両方でユニタリティの統一基準をどのように確立できるか？
• RQ3 ワイル群表現および関連する $K$-型は、非ユニタリ性の検出において果たす役割は何か？
• RQ4 双対群における関連する冪零軌道 $\check{\mathcal{O}}(\chi)$ は、$L(\chi)$ のユニタリティをどのように決定するか？
• RQ5 球的表現のユニタリティは、その関連する $K$-型およびヘルミート形式の構造のみによって決定可能か？

主な発見

• 実体および $p$-進体上の分解 $\mathrm{Sp}(n)$ および $\mathrm{SO}(n)$ の球的ユニタリ双対は、各非分岐特徴 $\chi \in \mathfrak{a}^*$ に付随する冪零軌道 $\check{\mathcal{O}}(\chi)$ を用いて完全に分類される。
• 「関連する」$K$-型の導入により、実および $p$-進両設定で非ユニタリ性を一様に検出するメカニズムが得られ、両設定で同一のヘルミート形式が得られる。
• 実の場合のユニタリティの必要条件の証明は完全に新規であり、これらの関連する $K$-型の構造に依存している。
• 同じユニタリティ基準が実および $p$-進両設定に適用可能であり、表現論におけるレフシェッツ原理の形を確立する。
• 既約球的モジュール $L(\chi)$ はその $\mu_e$-同型成分によって生成され、これらの成分の重複度は標準モジュールにおけるそれと一致するため、等式が成立する。
• 分類は体の種別に依存せず、ユニタリティが冪零軌道 $\check{\mathcal{O}}(\chi)$ および関連する $W$-型構造にのみ依存することを示している。