[论文解读] F-isocrystal and syntomic regulators via hypergeometric functions

Masanori Asakura, Kazuaki Miyatani|arXiv (Cornell University)|Nov 24, 2017

Nonlinear Waves and Solitons参考文献 8被引用 4

一句话总结

本文通过超几何函数和 $F$-等构层，在 $W(\overline{\mathbb{F}}_p)$ 上对一类定义于韦廷环上的超几何纤维丛提供了显式的 $p$-进描述，其核心结果以广义超几何函数 ${}_2F_1$ 表达了同调规架，通过 $p$-进规架和 de Rham 上同调上的弗罗贝尼乌斯作用，将其与科尔曼积分联系起来。

ABSTRACT

We give an explicit description of a syntomic regulator of a certain class of fibrations which we call hypergeometric fibrations. The description involves hypergeometric functions.

研究动机与目标

• 将贝林森在贝尔蒂/阿基米德设定下的 $p$-进规架结果，通过同调上同调推广至 $p$-进设定。
• 为定义在 $W(\overline{\mathbb{F}}_p)$ 上的超几何纤维丛中 $K_2$-类的同调规架 $\mathrm{reg}_{\mathrm{syn}}(\xi)$ 提供显式描述。
• 通过 $F$-等构层理论和弗罗贝尼乌斯作用，建立同调规架与超几何函数 ${}_2F_1$ 之间的联系。
• 利用过拟合函数和弗罗贝尼乌斯矩阵，推导出曲线上的 $K_2$-符号的 $p$-进科尔曼积分公式类比。

提出的方法

• 从纤维丛 $f: X \to \mathbb{P}^1 \setminus \{0,1,\infty\}$ 上的 $K_2$-符号 $\xi$ 构造滤子 $F$-等构层的扩张，将同调规架编码为扩张数据。
• 完整计算 $H^1_{\mathrm{dR}}(X_\alpha/K)$ 上弗罗贝尼乌斯作用的矩阵，包括非对角线项，以推导规架的微分方程。
• 利用弗罗贝尼乌斯与联络的交换性，通过 $p$-阶弗罗贝尼乌斯 $\phi$ 及其在上同调上的作用，推导控制规架的方程组。
• 通过在退化纤维 $f^{-1}(0)$ 上计算规架，确定常数项，其中涉及 $p$-进对数函数 $\ln^{(p)}_2(z)$。
• 将规架用过拟合函数 $\varepsilon_i^{(n)}(\lambda)$ 表达，并通过涉及 $A^{\sigma^{-k}}$ 矩阵的递归 $p$-进级数求解 $s_{i,\alpha}^{(n)}$。
• 通过 $p$-进规架 $r_p$ 建立与科尔曼积分的联系，证明 $r_p\{h_1,h_2\}(\omega_n) = \pm(\alpha - \alpha^2)^{-1} s_{2,\alpha}^{(n)}$。

实验结果

研究问题

• RQ1 如何在 $p$-进上同调中显式描述超几何纤维丛上 $K_2$-符号的同调规架？
• RQ2 超几何函数 ${}_2F_1$ 在参数化此类纤维丛的 $p$-进同调规架中起什么作用？
• RQ3 在 $H^1_{\mathrm{dR}}$ 上的弗罗贝尼乌斯作用如何通过 $F$-等构层扩张编码规架数据？
• RQ4 能否通过 $p$-进规架将科尔曼积分表示为超几何函数的形式？
• RQ5 规架分量 $s_{i,\alpha}^{(n)}$ 的精确 $p$-进级数表达式，以过拟合函数和弗罗贝尼乌斯扭变表示为何？

主要发现

• 同调规架 $\mathrm{reg}_{\mathrm{syn}}\{h_1,h_2\}|_{\lambda=\alpha}$ 在推论 5.5 中通过矩阵 $F_{ij}(\lambda)$ 显式地以超几何函数 ${}_2F_1$ 表达。
• 分量 $s_{i,\alpha}^{(n)}$ 满足递归 $p$-进级数：$p^{-1}\begin{pmatrix}s_1^{(n)}\\ s_2^{(n)}\end{pmatrix} = -\sum_{k=1}^\infty p^{k-1} A^{\sigma^{-1}} \cdots A^{\sigma^{-k}} \mathbf{e}^{\sigma^{-k}}$，其中 $A$ 是由 $F_{ij}(\lambda)$ 构造的矩阵。
• $p$-进规架 $r_p\{h_1,h_2\}(\omega_n)$ 等于 $\pm(\alpha - \alpha^2)^{-1} s_{2,\alpha}^{(n)}$，将规架与 $\log(h_2)\omega_n$ 的科尔曼积分联系起来。
• 在 $H^1_{\mathrm{dR}}(X_\alpha/K)$ 上的弗罗贝尼乌斯矩阵 $\phi$ 被显式计算，并用于推导控制规架的微分方程。
• 规架中的常数项由退化纤维 $f^{-1}(0)$ 上出现的 $p$-进对数函数 $\ln^{(p)}_2(z)$ 确定。
• 函数 $s_{i}^{(n)}(\lambda)$ 是过拟合的，且属于 $\mathbb{Q}_p\{\lambda, (1-\lambda)^{-1}\}^\dagger$，其依赖于 $[K:\mathbb{Q}_p]$ 的次数。