[论文解读] Extending torsors on the punctured Spec(A_inf)

Johannes Anschütz|arXiv (Cornell University)|Apr 17, 2018

Algebraic structures and combinatorial models参考文献 27被引用 5

一句话总结

本文证明了在福尔蒂纳环 $A_{\mathrm{inf}}$ 的去点谱上，关于抛物余群概形的 torsor 可以延拓至整个谱，推广了混合特征与相等特征情形下的早期结果。通过下降法与一种新颖的‘去分解’技巧（结合 Mal'cev-Neumann 级数），作者建立了某些去点谱上 $G$-torsor 的平凡性，进而导出从 $B^{+}_{\mathrm{dR}}$-仿射格拉斯曼ian 到 Witt 向量仿射旗簇的典范特化映射的构造。

ABSTRACT

We prove that torsors under parahoric group schemes on the punctured spectrum of Fontaine's ring $A_{\mathrm{inf}}$, extend to the whole spectrum. Using descent we can extend a similar result for the ring $\mathfrak{S}$ of Kisin and Pappas to full generality. Moreover, we treat similarly the case of equal characteristic. As applications we extend results of Ivanov on exactness of the loop functor and present the construction of a canonical specialization map from the $B^+_{\mathrm{dR}}$-affine Grassmannian to the Witt vector affine flag variety.

研究动机与目标

• 证明 $\mathcal{G}$-torsor 从 $A_{\mathrm{inf}}$ 的去点谱到整个谱的延拓，其中 $\mathcal{G}$ 是 $\mathcal{O}_E$ 上的抛物余群概形。
• 推广在混合特征与相等特征情形下关于 torsor 延拓的结果，特别是对如 $R_E = \mathcal{O}_E[[z]]$ 这类环的情形。
• 通过 torsor 延拓构造从 $B^{+}_{\mathrm{dR}}$-仿射格拉斯曼ian 到 Witt 向量仿射旗簇的典范特化映射。
• 为混合特征情形下希米拉簇的积分模型以及局部 shtuka 模空间提供基础工具。

提出的方法

• 通过下降法与抛物余群性质，将问题约化为证明 $V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 上 $G$-torsor 的平凡性。
• 引入一个使用实指数的 Mal'cev-Neumann 级数构造的“去分解”环 $\tilde{A}_{\mathrm{inf}}$，其将结晶部分简化为一个秩-1 估值环。
• 应用 Gabber 关于仿射概形上 Brauer 群的定理，证明对环面情形的平凡性，从而将问题约化为拟分裂、单连通、半单群的情形。
• 利用 Steinberg 定理与某些域的上同调维数为 1 的性质，将问题进一步约化为在 $\tilde{A}_{\mathrm{inf}}[1/\pi]$ 的一般点上验证平凡性。
• 利用 $\tilde{A}_{\mathrm{inf}}$ 沿 $\pi$ 的 Hensel 性质，将 $V$ 上的 torsor 提升到 $\tilde{V}$，从而简化结晶部分的几何结构。
• 通过基变换 $A_{\mathrm{inf}} \to W(k)$ 构造特化映射，利用延拓结果将 $B^{+}_{\mathrm{dR}}$-torsor 与 $W(k)$-torsor 识别。

实验结果

研究问题

• RQ1 对于任意抛物余群概形 $\mathcal{G}$，$A_{\mathrm{inf}}$ 的去点谱上的 $\mathcal{G}$-torsor 是否能延拓至整个谱？
• RQ2 对于 $R_E = \mathcal{O}_E[[z]]$ 的延拓结果是否在一般情形下成立，而不仅限于 $G$ 在一个驯服分歧扩张上分裂的情形？
• RQ3 能否通过 torsor 延拓构造从 $B^{+}_{\mathrm{dR}}$-仿射格拉斯曼ian 到 Witt 向量仿射旗簇的典范特化映射？
• RQ4 在 $V = \mathrm{Spec}(A_{\mathrm{inf}}[1/\pi])$ 上 $G$-torsor 的平凡性如何与仿射格拉斯曼ian 的结构及伽罗瓦上同调相关联？

主要发现

• 所有 $\mathcal{G}$-torsor 在 $A_{\mathrm{inf}}$ 的去点谱上均可延拓至整个谱，如定理 9.10 所证。
• 该延拓结果表明，$G$-torsor 在 $\mathrm{Spec}(R_E)\setminus\{s\}$ 上的延拓可推广至 $\mathrm{Spec}(R_E)$，推广了 [27] 和 [22] 中的先前结果。
• 通过 torsor 延拓与基变换，构造了典范特化映射 $\mathrm{sp}: G(B_{\mathrm{dR}}(C))/G(B_{\mathrm{dR}}^{+}(C)) \to G(W(k)[1/p]) / \mathcal{G}(W(k))$。
• 对于环面，该特化映射被识别为典范投影 $X_*(T) \to X_*(T)_\Gamma$，与仿射格拉斯曼ian 的已知描述一致。
• 证明依赖于一种新颖的“去分解”技巧，结合 Mal'cev-Neumann 级数，将结晶部分简化为秩-1 估值环，从而支持上同调论证。
• 该结果为构造具有抛物余群结构的希米拉簇的积分模型，以及研究混合特征情形下局部 shtuka 模空间提供了关键技术工具。