[論文レビュー] Discrete series of odd general spin groups

Yeansu Kim, Ivan Matić|arXiv (Cornell University)|Jun 4, 2017

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

ひとこと要約

本稿は、特異点を持たない離散的系列表現の分類を、修正された Mœglin-Tadić の適切な三重項枠組みを用いて、特徴が 0 である非アーチメデス的局所体上の奇数一般スピン群に対して簡素化され、一様化されたものとする。複雑な交叉作用素理論の代わりに、体系的なジャケットモジュール計算を用いることで、より明確で直接的かつ他の再帰的 $p$-進群へも拡張可能な分類を提供する。

ABSTRACT

We obtain a classification of discrete series representations of odd general spin groups, generalizing the Mœglin-Tadić classification for classical groups. Using mostly algebraic methods, available in both classical and the odd general spin case, we provide a simplified and shorter version of the classification of non-cuspidal discrete series in terms of the admissible triples. The presented classification can potentially be directly applied to many other reductive $p$-adic groups.

研究の動機と目的

• 非アーチメデス的局所体（特性 0）上の奇数一般スピン群における離散的系列表現の Mœglin-Tadić 分類を拡張すること。
• 洗練された交叉作用素理論に代えて代数的ジャケットモジュール技法を用いることで、分類証明を簡素化・統一すること。
• 解析的接続を避けるために、$
  \epsilon$-関数を完全にジャケットモジュールによって定義すること。
• 非カスプ的離散的系列と適切な三重項の間の全単射対応を確立し、より直接的な構成法を提供すること。
• この分類が、偶数一般スピン群や類似古典群を含む他の再帰的 $p$-進群に対しても直接適用可能であることを示すこと。

提案手法

• ジョルダンブロック、部分カスプ的補題、$
  \epsilon$-関数を用いて定義される適切な三重項と非カスプ的離散的系列表現との間の全単射対応を構築すること。
• 標準的交叉作用素の必要性を排除するため、ジャケットモジュール技法を用いて、ジョルダンブロック内の連続対における$
  \epsilon$-関数を計算・特徴づけること。
• $
  \epsilon$-関数を連続対 $((a_-,\rho),(a,\rho))$ 上でのみ定義することで、単射性の証明における技術的困難を軽減すること。
• [24]、[26]、[16] の手法に基づく帰納的構成を適用して全射性を証明し、元々の Mœglin-Tadić の議論を著しく短縮すること。
• 平方可積分性基準と部分カスプ的補題の一意性を活用して、分類が単射かつ全射であることを保証すること。
• [22, 章 4] の古典群の場合のジャケットモジュール計算結果を活用し、GSpin 環境での重複計算を回避すること。

実験結果

リサーチクエスチョン

• RQ1 古典群の離散的系列の Mœglin-Tadić 分類を、代数的技法を用いて奇数一般スピン群へ簡素化・拡張することは可能か？
• RQ2 交叉作用素の解析的接続を避けるために、$
  \epsilon$-関数を完全にジャケットモジュールのデータのみで再定義することは可能か？
• RQ3 連続ジョルダンブロック対における$
  \epsilon$-関数の定義が、単射性の証明においてどのような構造的利点をもたらすか？
• RQ4 元々の Mœglin と Tadić の冗長な議論を避ける帰納的構成により、分類写像の全射性を確立することは可能か？
• RQ5 この分類法は、古典群や奇数一般スピン群を越えて、他の再帰的 $p$-進群に対してもどの程度直接適用可能か？

主な発見

• 本稿は、奇数一般スピン群の非カスプ的離散的系列表現の同型類と適切な三重項との間の自然な全単射対応を確立した。
• $
  \epsilon$-関数は完全にジャケットモジュールによって定義されており、定理 1.1(3) の (i)、(ii)、(iii) の明確な特徴づけをもたらし、これらは元の Mœglin-Tadić 框組みには存在しない。
• 単射性の証明は、連続対における$
  \epsilon$-関数の洗練された定義により、以前のアプローチの技術的困難を回避した。
• 全射性は、[24]、[26]、[16] に基づく帰納的手続きにより確立され、元々の [22] の証明を著しく短縮した。
• 分類が、偶数一般スピン群や類似古典群を含む他の再帰的 $p$-進群に対しても直接適用可能であることが示された。
• 各適切な三重項に対して、それを実現する唯一の離散的系列表現が存在することが、誘導表現と部分表現の一意性を用いて構成することで証明された。