[論文レビュー] On the structure of some p-adic period domains

Miaofen Chen, L Fargues+1 more|arXiv (Cornell University)|Oct 18, 2017

Advanced Algebra and Geometry参考文献 6被引用数 12

ひとこと要約

この論文は、p-進周期領域におけるFargues-Rapoport予想を証明し、弱く適切な部分集合が適切な部分集合と等しいための必要十分条件として、Kottwitz集合 $ B(G,\mu) $ が完全にホッジ＝ノーマン分解可能であること（すなわち、$ B(G,\mu) $ が完全にホッジ＝ノーマン分解可能であること）を示した。Fargues-Fontaine曲線上のG-バンドルとHarder-Narasimhan理論を用いて、これらの領域によってパrametrizedされるクリスタリン表現が局所系に拡張可能となる条件を幾何学的に特徴づけ、p-進ホッジ理論およびシムーラ多様体論における中心的問題を解決した。

ABSTRACT

We prove the Fargues-Rapoport conjecture for p-adic period domains: for a reductive group G over a p-adic field and a minuscule cocharacter μ of G, the weakly admissible locus coincides with the admissible one if and only if the Kottwitz set B(G,μ) is fully Hodge-Newton decomposable.

研究の動機と目的

• p-進周期領域における弱く適切な部分集合と適切な部分集合の等価性に関するFargues-Rapoport予想を解決すること。
• p-進周期領域における適切な部分集合が非空であり、クリスタリン表現を補間するp-進局所系を支持する条件を特徴づけること。
• Kottwitz集合 $ B(G,\mu) $ を用いて、二つの部分集合の等価性を示す幾何的基準（完全にホッジ＝ノーマン分解可能性）を確立すること。
• Fargues-Fontaine曲線上のG-バンドル理論を用いて、HartlおよびFaltingsの適切な部分集合の構成を、任意の再帰的群に一般化すること。

提案手法

• Fargues-Fontaine曲線上のG-バンドルを用いて、同型 $ B(G) \xrightarrow{\sim} H^1_{\text{ét}}(X, G) $ を通じてKottwitz集合 $ B(G,\mu) $ を幾何的に実現すること。
• Fargues-Fontaine曲線上のG-バンドルに対するHarder-Narasimhan還元理論を応用し、無限遠点における変形の安定性および分解を分析すること。
• Harder-Narasimhan分解の下で半安定であるG-バンドルの変形の集合として、適切な部分集合 $ \breve{\mathcal{F}}(G,\mu,b)^a $ を構成すること。
• B(G,\mu) の要素のニュートン多角形とホッジ多角形を分析することで、予想を群論的条件に還元すること。
• Fargues-Fontaine曲線の幾何的性質を活用し、p-進ホッジ理論的条件（弱い適切性）と幾何的安定性条件（半安定性）を関連させること。
• J_b(F)-不変局所系およびコhomological双対性の理論を活用し、適切な部分集合のコホモロジーと自動形式表現との関係を明らかにすること。

実験結果

リサーチクエスチョン

• RQ1 p-進周期領域における弱く適切な部分集合が適切な部分集合と一致するのはいつか？
• RQ2 B(G,\mu) にどのような群論的条件が満たされると、適切な部分集合がクリスタリン表現を補間するp-進局所系を支持するか？
• RQ3 Fargues-Fontaine曲線上のG-バンドルとHarder-Narasimhan理論を用いて、適切な部分集合をどのように幾何学的に特徴づけられるか？
• RQ4 Kottwitz集合 $ B(G,\mu) $ が完全にホッジ＝ノーマン分解可能であるのはどのような条件下か？
• RQ5 局所系の適切な部分集合における等式 $ \mathcal{F}^a = \mathcal{F}^{wa} $ のコホモロジー的帰結は何か？

主な発見

• 弱く適切な部分集合 $ \breve{\mathcal{F}}(G,\mu,b)^{wa} $ が適切な部分集合 $ \breve{\mathcal{F}}(G,\mu,b)^a $ と等しいことは、Kottwitz集合 $ B(G,\mu) $ が完全にホッジ＝ノーマン分解可能であることと同値である。
• この等式は、$ B(G,\mu) $ の非基本的要素すべてについて、そのニュートン多角形が正のWeylチャネル内での端点以外の点で、$ \mu $ によって定義されるホッジ多角形に接することと一致する。
• 適切な部分集合は、Fargues-Fontaine曲線上のG-バンドルの変形のうち、Harder-Narasimhan分解の下で半安定であるものの集合として、幾何学的に構成される。
• コアピュラリティ仮定の下で、適切な部分集合の$ J_b(F) $-不変局所系を係数とするコホモロジーは、完全な旗多様体を $ J_b(F) $ で割ったもののコホモロジーと同型である。
• この予想は、$ \mathrm{GL}_n $ に限らず、すべての再帰的群 $ G $ に対して検証され、Hartlの結果を一般化した。
• この結果は、適切な部分集合の境界がパラボリック誘導であることを示し、自動形式表現におけるコホモロジー的帰結をもたらす。