[论文解读] Triangulation of refined families

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

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

一句话总结

本文通过证明相关 $(\varphi,\Gamma)$-模在基空间的Zariski开且稠密子空间上存在全局三角剖分，从而证明了在温和条件下对精化$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$有限扩张上的伽罗瓦表示，假设为算术族。
• 通过去除'Y-小'假设，推广Kisin对有限斜率子空间的构造，以允许在所有仿射子域上插值。
• 证明对弱精化族，de Rham周期与在Frobenius作用于指定特征值的晶体周期重合。
• 利用凝聚层理论，证明外幂的晶体周期可导出全局三角剖分。
• 应用Bellaiche-Chenevier关于下降的结果，以及Bellovin和Kedlaya-Porttharst-Xiao关于de Rham与晶体周期凝聚层的近期工作。
• 通过构造一族弱精化表示并研究层$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$，分析特征曲线情形。

实验结果

研究问题

• RQ1 精化$p$-进表示族是否在基空间的Zariski开且稠密子空间上存在全局三角剖分，且该子空间包含所有正则非临界点？
• 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)$-模在基空间的Zariski开且稠密子空间上存在全局三角剖分，且该子空间包含所有正则非临界点。
• 对Coleman-Mazur特征曲线，若$\kappa(x) \neq 0$，或$\dim D_{\mathrm{crys}}(V^\mathrm{ss}_x)^{\varphi=F(x)} \neq 2$，则层$\mathscr{D}_{\mathrm{rig}}^{\dagger}(V_{\mathcal{C}})^{\varphi=F,\Gamma=1}$在$x$附近是秩1的局部自由层；否则不为局部自由层。
• 当$\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的局部自由层，并通过Mazur-Wiles的经典结果（对$p \geq 5$，$N=1$）提供支持证据。