[論文レビュー] On the Hodge-Newton decomposition for split groups

Robert Kottwitz|ArXiv.org|Jul 3, 2003

Geometric and Algebraic Topology参考文献 6被引用数 11

ひとこと要約

この論文は、p進体上の分解型再結合群に対して群論的Hodge-Newton分解を確立し、Katzの等長体に関する定理を一般化するとともに、Rapoport-RapoportのMazur型不等式を拡張する。主に、支配的コワイト μ とリー部分群 M 内の基本的元 b に対して、アフィンデリーニュ＝ルスツジル集合 X^G_μ(b) が空でないための必要十分条件が w_M(b) ≤_P μ であることを示し、w_M(b) = μ のときには包含写像 X^M_μ(b) → X^G_μ(b) が双対写像であることを証明する。

ABSTRACT

The main purpose of this paper is to prove a group-theoretic generalization of a theorem of Katz on isocrystals. Along the way we reprove the group-theoretic generalization of Mazur's inequality for isocrystals due to Rapoport-Richartz, and generalize from split groups to unramified groups a result of Kottwitz-Rapoport which determines when an affine Deligne-Lusztig subset of the affine Grassmannian is non-empty.

研究の動機と目的

• p進体上の分解型再結合群の設定において、Katzの等長体に関する定理を一般化すること。
• Rapoport-Rapoportの等長体に関する群論的一般化であるMazurの不等式を再証明し、拡張すること。
• 分解型群に対して、アフィンデリーニュ＝ルスツジル集合 X^G_μ(b) が非空であるかどうかを正確に特定し、これを非分岐群へ拡張すること。
• ループ群の元のニュートン点とホッジ点を関連付けるHodge-Newton分解を確立すること。
• ルート系解析を用いて、部分順序 ≤_P とアパルトメントにおける像の幾何的条件との同値性を明確にすること。

提案手法

• Iwasawa分解 G(L) = K_L P(L) を用いて、g ∈ G(L) に対して r_B(g) ∈ X_*(A) を定義し、各 g が K_L μ(ϖ) U(F) に属するような一意なコワイト μ を割り当てる。
• r_B と自然な射影 X_*(A) → X_G = X_*(A)/Q∨(G) の合成として、w_G: G(L) → X_G を定義し、g のホッジ点を測定する。
• パラボリック部分群 P = M N の未決定部分群 N に付随するコルートの非負整数係数線形結合によって定義される、X_M 上の部分順序 ≤_P を導入する。
• L/F のフロベニウス自己同型 σ を用いて、σ-共役類を定義し、x ∈ G(L)/G(o_L) に対して x⁻¹bσ(x) ∈ G(o_L)μ(ϖ)G(o_L) を満たす条件を分析する。
• Iwasawa分解 G(L) = K_L P(L) を適用し、X^G_μ(b) の非空性を M(μ) ⊂ M(L) における σ-共役類との交わりに関連付ける。
• ルート系解析を用いて、部分順序条件 ν ≤_P μ と条件 ν ∈ P_{μ,M} の同値性を確立し、射影 x ↦ x^♭ と相対ワイル群を用いる。

実験結果

リサーチクエスチョン

• RQ1 分解型再結合群 G とリー部分群 M 内の基本的元 b に対して、アフィンデリーニュ＝ルスツジル集合 X^G_μ(b) が非空であるのはいつか？
• RQ2 包含写像 X^M_μ(b) → X^G_μ(b) が双対写像となる条件は何か？
• RQ3 Hodge-Newton分解の文脈において、G(L) の元のホッジ点とニュートン点はどのように関係するか？
• RQ4 支配的コワイト μ に対して、部分順序 ≤_P と条件 ν ∈ P_{μ,M} は同値か？
• RQ5 Hodge-Newton分解を用いて、非分岐群に対してMazurの不等式の逆を確立できるか？

主な発見

• アフィンデリーニュ＝ルスツジル集合 X^G_μ(b) が非空であるための必要十分条件は w_M(b) ≤_P μ であり、Rapoport-RapoportのMazur型不等式を一般化する。
• w_M(b) = μ（X_M の元とみなしたとき）のとき、包含写像 X^M_μ(b) → X^G_μ(b) は双対写像であり、Katzの定理を一般化する。
• 分解型群では、X^G_μ(b) が非空であることと、w_M(b) ∈ P_{μ,M} が同値であり、P_{μ,M} は支配的コワイトの集合を X_M への射影で得られる像である。
• 条件 ν ≤_P μ と ν ∈ P_{μ,M} が同値であるのは、質問4.7のルート系条件が成り立つときであり、これは GL_n、GSp_{2n}、および分解型古典群では既知である。
• μ が支配的で ν ∈ Y_M^+ のとき、部分順序 ν ≤_P μ と ν ∈ P_{μ,M} が同値であることが確認され、これらの場合におけるHodge-Newton分解が成立することが裏付けられる。
• 順序 ≤_P と条件 ν ∈ P_{μ,M} の同値性は、ルート系の問題に還元され、主なステップはアパルトメントにおける ν^♭ ≤ μ^♭ の同定にある。