[論文レビュー] The SL(2)-type and Base Change

Omer Offen, Eitan Sayag|ArXiv.org|Aug 25, 2008

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

ひとこと要約

この論文は、局所Langlandsの対応写像を用いて、p進体 F 上の GL_n(F) のすべての滑らかで非可約表現へ、ユニタリ可表現に限らない SL(2)-型を拡張する。また、基本拡大が SL(2)-型を保つことを証明し、その結果、Klyachkoモデル（特にシンプレクティック区別性を含む）も任意の有限拡大において基本拡大によって保たれることを示し、既知のシンプレクティック区別性に関する結果を任意の有限拡大へ一般化する。

ABSTRACT

The SL(2)-type of any smooth, irreducible and unitarizable representation of GL(n) over a p-adic field was defined by Venkatesh. We provide a natural way to extend the definition to all smooth and irreducible representations. For unitarizable representations we show that the SL(2)-type of a representation is preserved under base change with respect to any finite extension. The Klyachko model of a smooth, irreducible and unitarizable representation πof GL(n) depends only on the SL(2)-type of π. As a consequence we observe that the Klyachko model of πand of its base-change are of the same type.

研究の動機と目的

• p進体 F 上の GL_n(F) の滑らかで非可約表現に対して、SL(2)-型の定義をユニタリ可表現に限らず一般化すること。
• 任意の有限拡大 E/F に対して、GL_n(F) の滑らかで非可約かつユニタリ可表現 π について、基本拡大 bc_{E/F}(π) が π の SL(2)-型を保つことの確立。
• SL(2)-型にのみ依存する π の Klyachko モデル型が、基本拡大によって保たれることの示唆。
• 特にシンプレクティック区別性を含む Klyachko モデルに関する先行研究を、SL(2)-型の枠組みで再解釈すること。
• 任意の有限拡大 E/F に対して、GL_n(F) の表現 π が Sp_{2n}(F) によって区別されることと、その基本拡大 bc_{E/F}(π) が Sp_{2n}(E) によって区別されることの同値性の証明。

提案手法

• 局所Langlandsの対応写像を用いて、GL_n(F) の表現をWeil-Deligne表現へと持ち上げ、ユニタリ可表現に限らない SL(2)-型の自然な拡張を可能にする。
• 表現 π の SL(2)-型を、対応する π の Weil-Deligne表現におけるモノドロミー作用素のジョルダン分解に関連する分割として定義する。
• 対応写像を用いて、基本拡大を Weil-Deligne 表現における制限の「鏡像」であると定義する： bc_{E/F}(π) は π の Weil-Deligne 表現を W_E に制限したものに対応する。
• 対応写像の制限との整合性を用いて、P_F(rec_F(π)) = P_E(rec_E(bc_{E/F}(π))) を示し、SL(2)-型が基本拡大によって保たれることを証明する。
• Tadic のユニタリ双対の分類を用いて、表現をセグメントの和として表現し、SL(2)-型および Klyachko 型の公式を導出する。
• Klyachko 型 (r(π), 2k(π)) が SL(2)-型における奇数部の個数 r(π) = odd(𝒱(π)) によって決定されることを活用し、基本拡大による不変性を示す。

実験結果

リサーチクエスチョン

• RQ1 SL(2)-型は、元々ユニタリ可表現にのみ定義されていたが、GL_n(F) のすべての滑らかで非可約表現へ自然に拡張可能か？
• RQ2 任意の有限拡大 E/F に対して、GL_n(F) の滑らかで非可約かつユニタリ可表現 π について、基本拡大 bc_{E/F}(π) が π の SL(2)-型を保つか？
• RQ3 Klyachko モデル（特にシンプレクティック区別性）は、表現の SL(2)-型にどの程度依存するか？
• RQ4 表現 π が Sp_{2n}(F) によって区別されることと、その基本拡大 bc_{E/F}(π) が Sp_{2n}(E) によって区別されることの同値性は成り立つか？
• RQ5 Klyachko モデルに関する先行研究は、SL(2)-型の枠組みを用いて再解釈され、一般化可能か？

主な発見

• 任意の滑らかで非可約表現 π の SL(2)-型は、局所Langlandsの対応写像を用いて、π の Weil-Deligne 実現におけるモノドロミー作用素に関連する分割に割り当てられる。
• 任意の有限拡大 E/F に対して、GL_n(F) の滑らかで非可約かつユニタリ可表現 π の基本拡大 bc_{E/F}(π) は、π と同じ SL(2)-型を持つ。
• π の Klyachko 型 (r(π), 2k(π)) は、基本拡大によって保たれ、r(π) = odd(𝒱(π)) かつ 𝒱(π) が SL(2)-型である。
• GL_{2n}(F) の滑らかで非可約かつユニタリ可表現 π が Sp_{2n}(F) によって区別されることと、その基本拡大 bc_{E/F}(π) が Sp_{2n}(E) によって区別されることの同値性が成り立つ（任意の有限拡大 E/F に対して）。
• この証明は、Weil-Deligne 表現の制限に対してモノドロミー作用素の分割が不変であることを示すことに依拠しており、これは基本拡大による SL(2)-型の不変性を示唆する。
• この結果は、以前のシンプレクティック区別性に関する結果を一般化し、その区別性が、下位の SL(2)-型の不変性ゆえに基本拡大によって保たれることを示している。