[論文レビュー] Triangulation of refined families

Ruochuan Liu|arXiv (Cornell University)|Feb 10, 2012

Algebraic Geometry and Number Theory参考文献 9被引用数 14

ひとこと要約

本稿は、弱く精錬された族に対して、$(\varphi,\Gamma)$-加群が、すべての正則で非臨界な点を含む、基底のザリスキ開かつ稠密部分集合上でグローバルな三角形分解をもつことを示すことにより、p進表現の精錬族に対するグローバル三角形分解予想を証明する。主な結果は、精錬族の特殊化が常に三角形分解可能であることを示し、Coleman-Mazurの固有曲線への応用を含む。

ABSTRACT

We prove the global triangulation conjecture for families of refined p-adic representations under a mild condition. That is, for a refined family, the associated family of (phi, Gamma)-modules admits a global triangulation on a Zariski open and dense subspace of the base that contains all regular non-critical points. We also determine a large class of points which belongs to the locus of global triangulation. Furthermore, we prove that all the specializations of a refined family are trianguline. In the case of the Coleman-Mazur eigencurve, our results provide the key ingredient for showing its properness in a subsequent work.

研究の動機と目的

• 精錬族のp進表現に対するグローバル三角形分解予想を、弱い条件下で解決すること。
• このような族の三角形分解領域に属する広範な点のクラスを同定すること。
• 精錬族のすべての特殊化が三角形分解可能であることを確立すること。
• 得られた結果をColeman-Mazurの固有曲線に応用し、その固有性の鍵となる要素を提供すること。

提案手法

• 有限次拡大$\mathbb{Q}_p$上のガロア表現への精錬族の一般化を、算術的族を仮定して行う。
• Kisinの有限スロープ部分空間の構成を一般化し、'Y-小さい'仮定を除去することで、すべてのアフィン部分多様体にわたる補間を可能にする。
• 弱く精錬された族に対して、Frobenius作用が指定された固有値を介して作用する部分で、de Rham周期とクリスタリン周期が一致することを証明する。
• 連続層の理論を用いて、外積のクリスタリン周期がグローバルな三角形分解を導くことを示す。
• Bellaiche-Chenevierの降下に関する結果と、BellovinおよびKedlaya-Porttharst-Xiaoのde Rhamおよびクリスタリン周期の連続層に関する最近の研究を応用する。
• 固有曲線のケースを分析するため、弱く精錬された表現の族を構成し、層$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$を研究する。

実験結果

リサーチクエスチョン

• RQ1 精錬p進表現族は、すべての正則で非臨界な点を含む基底のザリスキ開かつ稠密部分集合上でグローバルな三角形分解をもつか？
• RQ2 精錬族のグローバル三角形分解領域に属する点はどれか？
• RQ3 精錬族のすべての特殊化は三角形分解可能か？
• RQ4 Coleman-Mazurの固有曲線上で、層$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$はどのように振る舞うか？
• RQ5 $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$が固有曲線上で階数1の局所自由層でないのはどのような条件下か？

主な発見

• グローバル三角形分解予想は精錬族に対して成立する：関連する$(\varphi,\Gamma)$-加群は、すべての正則で非臨界な点を含む基底のザリスキ開かつ稠密部分集合上でグローバルな三角形分解をもつ。
• Coleman-Mazurの固有曲線において、層$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$は、点$x$の近傍で階数1の局所自由層であるが、$\kappa(x) = 0$かつ$\dim D_{\mathrm{crys}}(V^\mathrm{ss}_x)^{\varphi=F(x)} = 2$のとき、局所自由でなくなる。
• $\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$が局所自由でないとき、点$x$は通常的であり、$v_p(F(x)) = 0$を満たし、重みキャラクターはHodge-Tate重量0の非分岐である。
• $\kappa(x)$が正の整数であり、$v_p(F(x)) > \kappa(x)$のとき、$V_x$は既約で、Hodge-Tate的かつ非de Rham的であり、$t^{-\kappa(x)}\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$は階数1の飽和$(\varphi,\Gamma)$-部分加群を生成する。
• $\kappa(x)$が正の整数であり、$v_p(F(x)) = \kappa(x)$のとき、$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$の$\mathrm{D}_{\mathrm{rig}}^{\dagger}(V_x)$への像は$k(x) \cdot t^{\kappa(x)}e'$である。ここで$e'$は、Hodge-Tate重量$-\kappa(x)$のクリスタリン部分表現$V_x'$の標準基底である。
• 本稿では、$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$が固有曲線上で常に階数1の局所自由層であると予想し、$p \geq 5$, $N=1$の古典的結果（Mazur-Wiles）を用いてその証拠を提供する。