[論文レビュー] A proof of the multiplicity one conjecture for GL(n) in GL(n+1)

Avraham Aizenbud, Dmitry Gourevitch|arXiv (Cornell University)|Jul 16, 2007

Advanced Algebra and Geometry参考文献 2被引用数 5

ひとこと要約

本稿は、特徴値がゼロである非アルキメデス局所体 F 上の GL(n) ⊂ GL(n+1) に対して、多重性1の予想を、GL(n)-不変分布が転置に関して不変であることを示すことによって証明する。帰納法、フーリエ解析、不変分布論を用いて、GL(n+1, F) の任意の既約な滑らかな表現の GL(n, F) への制限が多重性自由であることを確立し、表現論における長年の予想を解決する。

ABSTRACT

Let F be a non-archimedean local field of characteristic zero. We consider distributions on GL(n+1,F) which are invariant under the adjoint action of GL(n,F). We prove that any such distribution is invariant with respect to transposition. This implies that the restriction to GL(n) of any irreducible smooth representation of GL(n+1) is multiplicity free. Our paper is based on the recent work [RS] of Steve Rallis and Gerard Schiffmann where they made a remarkable progress on this problem. In [RS], they also show that our result implies multiplicity one theorem for restrictions from the orthogonal group $O(V \oplus F)$ to $O(V)$.

研究の動機と目的

• F が特徴値がゼロの非アルキメデス局所体であるとき、GL(n+1, F) 上の任意の GL(n)-不変分布が転置に関して不変であることを証明すること。
• GL(n+1, F) の既約な滑らかな表現の GL(n, F) への制限に関する多重性1定理を確立すること。
• Rallis と Schiffmann の仕事に基づき、直交群およびユニタリ群への応用を拡張すること。
• 特に、ノンアービットな軌道上の不変分布に関する主要補題を含め、主張に用いられる補題および定理の完全な証明を自立的に提供すること。
• 局所化および Frobenius の随伴性を用いて、基本体 F の有限拡大に対しても結果を一般化すること。

提案手法

• S₂ が g ↦ t(g⁻¹) によって作用する半直積群 G̃_n = GL(n,F) ⋊ S₂ を用いて、空間 X = sl(V) × V × V* 上にねじれ作用を定義すること。
• 主定理を、X 上の任意の (G̃_n, χ)-不変分布が 0 であることを示すことに帰着させること。ここで χ は S₂ の符号指標である。
• 局所化原理を適用して、半単純元の安定化子および特性多項式ごとの纤维上での分布の研究に問題を簡略化すること。
• Harish-Chandra の降下法を用いて、このような分布の台が nilpotent コーン N × Y 内にあることを示すこと。
• G̃_n-不変自己同型の1パラメータ族 ν_λ を用いて、台を ν_λ(N_i × Y) との交わりを通じて分析すること。
• 主要補題の証明：分布 ζ が (G̃_n, χ)-不変であり、かつそのフーリエ変換も ∩ν_λ(N_i × Y) 内に台を持つならば、ζ = 0 であることを示すこと。

実験結果

リサーチクエスチョン

• RQ1 特徴値がゼロの非アルキメデス局所体 F に対して、GL(n+1, F) 上の任意の GL(n)-不変分布は転置に関して不変であるか？
• RQ2 分布の転置不変性から、GL(n+1, F) の表現の GL(n, F) への制限における多重性1性が導けるか？
• RQ3 X = sl(V) × V × V* 上の (G̃_n, χ)-不変分布の構造において、フーリエ変換の役割は何か？
• RQ4 このような分布の台は、nilpotent コーンおよび isotropic 部分空間 Y = {(v,φ) | ⟨φ,v⟩ = 0} とどのように関係するか？
• RQ5 より小さい次元における帰納法仮定および F の有限拡大 F' を用いて、主定理を証明するにはどの程度利用可能か？

主な発見

• 主定理が証明された：GL(n+1, F) 上の任意の GL(n)-不変分布は転置に関して不変であり、これが表現の多重性1性を示唆する。
• 任意の (G̃_n, χ)-不変分布の台は、Harish-Chandra の降下法および局所化を用いて nilpotent コーン N × Y 内に含まれることが示された。
• 主要補題は、(G̃_n, χ)-不変分布 ζ とそのフーリエ変換が両方とも ∩ν_λ(N_i × Y) 内に台を持つならば、ζ = 0 であることを確立する。
• この結果により、GL(n+1, F) の任意の既約な滑らかな表現の GL(n, F) への制限は多重性自由である、すなわち dim Hom_{GL(n,F)}(π|_GL(n,F), ρ) ≤ 1 が成り立つ。
• 証明は完全に自己完結的であり、再現可能であり、Rallis と Schiffmann の研究で用いられる補題および定理の完全な証明が含まれる。
• Rallis と Schiffmann の枠組みを用いて、この結果は直交群およびユニタリ群へ拡張され、それらの設定においても多重性1定理が得られる。