[论文解读] On dlog image of K_2 of elliptic surface minus singular fibers

Masanori Asakura|ArXiv.org|Nov 8, 2005

Algebraic Geometry and Number Theory参考文献 19被引用 10

一句话总结

本文在特征零代数闭域上的椭圆曲面中，建立了 $K_2$ 的 dlog 图像在奇点纤维补集上的秩的可计算上界。通过 $p$-进方法和乘法纤维处的傅里叶展开，定义了一个有限维 $
\mathbb{F}_p$
-空间 $
\Phi(X_R, D_R)_{\mathbb{F}_p}$，其维数界定了 dlog 图像的秩。关键结果是，在某些特殊情形下该上界是精确的，例如对于椭圆曲面 $Y^2 = X^3 + X^2 + t^n$ 且 $n$ 与 30 互素时，dlog 图像的秩为 2（当 $n = 2,3,5,7,11,13,17,19,23,29$ 时），从而可构造 Bloch 高阶 Chow 群中的不可约分部分。

ABSTRACT

Modular section added

研究动机与目标

• 计算椭圆曲面在特征零域上奇点纤维补集 $U$ 的 $K_2(U)$ 的 dlog 图像秩的上界。
• 构造一个可计算的 $p$-进不变量 $\Phi(X_R, D_R)_{\mathbb{F}_p}$，以界定向 dlog 图像的秩。
• 将该上界应用于构造 Bloch 高阶 Chow 群 $\mathrm{CH}^2(X,1) \otimes \mathbb{Q}$ 中的不可约分元素，特别是在 $K_1^{\mathrm{ind}}(X)^{(2)}$ 的背景下。
• 为验证 Beilinson 在 $p$-进设定下关于 dlog 图像等于 Betti 上同调的猜想提供一个框架。

提出的方法

• 引入一个 $\mathbb{Z}_p$-子模 $\Phi(X_R, D_R)_{\mathbb{Z}_p} \subset \Gamma(X_R, \Omega^2_{X_R/R}(\log D_R))$，其来源于乘法纤维附近 2-形式的傅里叶展开。
• 利用 Kato 的显式互反律分析 Tate 曲线上的 $K_2$ 的 dlog 图像，提供 2-形式属于该图像的判别准则。
• 将问题约化为一个有限维 $\mathbb{F}_p$-空间 $\Phi(X_R, D_R)_{\mathbb{F}_p}$，该空间在实践中可计算。
• 在 $p$ 的温和条件下，应用不等式 $\mathrm{rank}_{\mathbb{Z}} \mathrm{dlog} \Gamma(U, \mathcal{K}_2) \leq \dim_{\mathbb{F}_p} \Phi(X_R, D_R)_{\mathbb{F}_p}$。
• 利用局部化序列和 Néron-Severi 群计算，将 dlog 图像与 $K_1^{\mathrm{ind}}(X)^{(2)}$ 中的不可约分 $K$-理论联系起来。

实验结果

研究问题

• RQ1 在 $\overline{\mathbb{Q}}$ 上的椭圆曲面中，奇点纤维补集上 $K_2$ 的 dlog 图像秩的精确上界是什么？
• RQ2 能否通过 $p$-进方法，特别是乘法纤维处的傅里叶展开，有效计算 dlog 图像？
• RQ3 $p$-进空间 $\Phi(X_R, D_R)_{\mathbb{F}_p}$ 是否能完整捕捉 dlog 图像？在何种条件下等式成立？
• RQ4 dlog 图像能否用于构造 Bloch 高阶 Chow 群 $\mathrm{CH}^2(X,1) \otimes \mathbb{Q}$ 中非平凡的不可约分元素？
• RQ5 在 $p$-进设定下，dlog 图像是否等于 Betti 上同调 $H^2_B(U, \mathbb{Q}(2))$，正如 Beilinson 所猜想的那样？

主要发现

• 对于复数域上的椭圆曲面 $Y^2 = X^3 + X^2 + t^n$ 且 $n$ 与 30 互素时，当 $n = 2,3,5,7,11,13,17,19,23,29$ 时，$K_2(U)$ 的 dlog 图像秩为 2，且给出了显式生成元。
• 此时 dlog 图像由 $\mathrm{dlog}\left\{\frac{Y-X}{Y+X}, -\frac{t^n}{X^3}\right\}$ 和 $\mathrm{dlog}\left\{\frac{iY - (X+2/3)}{iY + (X+2/3)}, -\frac{t^n + 4/27}{(X+2/3)^3}\right\}$ 生成。
• 不等式 $\mathrm{rank}_{\mathbb{Z}} \mathrm{dlog} \Gamma(U, \mathcal{K}_2) \leq \dim_{\mathbb{F}_p} \Phi(X_R, D_R)_{\mathbb{F}_p}$ 是有效且可计算的，且在模形式情形下等式成立。
• 当 $n$ 为满足 $7 \leq n \leq 29$ 的素数时，$\bigoplus_{i=0}^n K_1'(D_i)_{\mathbb{Q}}$ 在 $K_1^{\mathrm{ind}}(X)^{(2)}$ 中的像的维数为 $n-1$，表明存在非平凡的不可约分 $K$-理论。
• 该构造依赖于 $p$-进傅里叶展开和 $\Phi(X_R, D_R)_{\mathbb{F}_p}$，使得结果在仅使用经典 Betti 上同调时无法获得。