[论文解读] Milnor K-theory, F-isocrystals and Syntomic Regulators

Masanori Asakura, Kazuaki Miyatani|arXiv (Cornell University)|Jul 27, 2020

Algebraic Geometry and Number Theory参考文献 29被引用 6

一句话总结

本文提出了一种从Milnor K-理论到p进离散赋值环上光滑概形的滤过F-等构层1-扩张的符号映射，通过对数叠 syntonik 共形同调建立了与syntomic上同调算符的相容性。主要贡献在于给出了该符号映射的显式公式，并将其与Kato-Tsuji的syntomic符号映射进行比较，从而在椭圆曲线具有3阶挠点的情形下，能够利用微分方程和超几何函数实现syntomic上同调算符的显式计算。

ABSTRACT

We introduce a category of filtered F-isocrystals and construct a symbol maps on Milnor K-theory which is compatible with the syntomic symbol maps to the log syntomic cohomology. These are fundamental materials in our applications on syntomic regulators which we work in other papers.

研究动机与目标

• 构建一个从p进离散赋值环上光滑概形的滤过F-等构层范畴中1-扩张群的符号映射，其定义域为Milnor K-理论。
• 建立该符号映射与Kato和Tsuji定义的对数syntomic上同调中的syntomic符号映射之间的相容性。
• 基于微分方程与过收敛函数，提出一种基于形变方法的syntomic上同调算符的计算框架。
• 在具体例子中应用该方法：计算具有3阶挠点的椭圆曲线上K_2类的syntomic上同调算符。

提出的方法

• 将滤过F-等构层范畴 Fil-F-MIC(S) 定义为具有霍赫德滤过、可积联络与弗罗贝尼乌斯作用的de Rham上同调。
• 对V上光滑仿射概形U，构造符号映射 [-]_{U/S}: K^{M}_{n+1}(𝒪(U)) → Ext¹_Fil-F-MIC(S)(𝒪_S, H^n(U/S)(n+1))。
• 证明该符号映射通过比较定理（定理3.7）与对数syntomic上同调 H^{n+1}_syn(U, ℤ_p(n+1)) 中的syntomic符号映射相容。
• 采用形变方法：将一个概形提升为族 f: Y → S，将K-理论类ξ延拓至Y，并推导出调节函数 F(t) = reg_syn(ξ|_{f^{-1}(t)}) 的微分方程。
• 利用超几何级数，特别是 ₂F₁(1/3, 2/3; 1; t)，求解该微分方程，从而计算特殊纤维上的调节算符。
• 将该方法应用于定义在 W(𝔽̄_p) 上的椭圆曲线 E_a，其魏尔斯特拉斯方程为 y² = x³ + (3x + 4 - 4a)²，证明 reg_syn(ξ_a) = ε₁(a) dx/y + ε₂(a) xdx/y。

实验结果

研究问题

• RQ1 如何将Milnor K-理论映射到p进离散赋值环上光滑概形的滤过F-等构层的1-扩张，使其与syntomic上同调算符相容？
• RQ2 从 K^{M}_{n+1}(𝒪(U)) 到滤过F-等构层范畴中 Ext¹ 的符号映射的显式公式是什么？
• RQ3 该符号映射与对数syntomic上同调中的syntomic符号映射有何关系？
• RQ4 能否利用基于微分方程与过收敛函数的形变方法，显式计算syntomic上同调算符？
• RQ5 在具有3阶挠点的椭圆曲线上，K_2类的syntomic上同调算符是什么？其表达式如何用超几何函数表示？

主要发现

• 符号映射 [-]_{U/S} 被显式构造，并通过定理3.7证明其与对数syntomic上同调中的syntomic符号映射相容。
• 对于定义在 W(𝔽̄_p) 上、其魏尔斯特拉斯方程依赖于参数a的椭圆曲线 E_a，K_2类ξ_a 的syntomic上同调算符被计算为 reg_syn(ξ_a) = ε₁(a) dx/y + ε₂(a) xdx/y，位于 H^1_dR(E_a/K) 中。
• 函数 ε₁(t) 与 ε₂(t) 是 K ⊗ W[t, (1−t)^{-1}]^† 中的过收敛函数，其显式表达式通过超几何级数 ₂F₁(1/3, 2/3; 1; t) 给出。
• 证明了曲面的雅可比簇的de Rham上同调上的弗罗贝尼乌斯作用保持霍赫德滤过，并满足 Φ(ω_i) = pω_i，Φ(η_j) = η_j，从而确认其与F-等构层结构的一致性。
• 该方法通过求解由椭圆曲线形变导出的微分方程，成功计算出调节算符，其解以超几何函数形式表达。
• 该构造为积分p进霍赫德理论中syntomic上同调算符的显式计算提供了具体工具，尤其适用于调节算符非平凡且无挠的情形。