[论文解读] Invariants of algebraic varieties over imperfect fields

Hiromu Tanaka|arXiv (Cornell University)|Mar 25, 2019

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

一句话总结

本文引入了四个不变量——归一化基变换的容量、几何非正规性的弗罗贝尼乌斯长度、几何非约化的弗罗贝尼乌斯长度以及加厚指数——以系统研究正特征下不完备域上的代数簇。文章建立了这些不变量的基础性质，证明了曲线的亏格变化公式，并展示了亏格为一的非光滑正规曲线在有界性上的结果，其显式几何嵌入依赖于特征值。

ABSTRACT

We introduce four invariants of algebraic varieties over imperfect fields, each of which measures either geometric non-normality or geometric non-reducedness. The first objective of this article is to establish fundamental properties of these invariants. We then apply our results to curves over imperfect fields. In particular, we establish a genus change formula and prove the boundedness of non-smooth regular curves of genus one. We also compute our invariants for some explicit examples.

研究动机与目标

• 为不完备域上代数簇的几何非正规性和非约性建立系统的研究框架。
• 定义并分析四个新不变量，用于度量正特征下的几何奇点。
• 将不变量应用于曲线，特别是证明亏格为一的非光滑正规曲线的有界性。
• 建立亏格变化公式，并通过不变量刻画曲线的几何嵌入。
• 改进不完备域上极小模型程序中典范除子的现有结果。

提出的方法

• 引入初等扩张——纯不可分基变换——作为分析奇点的关键技术工具。
• 定义四个不变量：γ(X/k)、ℓ_F(X/k)、m_F(X/k) 和 ε(X/k)，分别度量几何非正规性或非约性的不同方面。
• 利用弗罗贝尼乌斯分解和基变换技术，研究不变量在域扩张下的行为。
• 应用韦伊除子理论和典范丛理论，将不变量与正规化上的除子线性等价性及基变换的约化联系起来。
• 运用蛇形引理和上同调技巧，证明曲线上线丛的非常ample性。
• 利用线丛的0-正则性概念，建立限制映射的满射性，并证明非常ample性。

实验结果

研究问题

• RQ1 如何在不完备域上的代数簇中系统地度量几何非正规性和非约性？
• RQ2 不变量 γ(X/k)、ℓ_F(X/k)、m_F(X/k) 和 ε(X/k) 之间存在何种关系？
• RQ3 能否为正特征下不完备域上的曲线建立亏格变化公式？
• RQ4 亏格为一的非光滑正规曲线在不完备域上是否在几何嵌入意义下有界？
• RQ5 在何种条件下，亏格为一的曲线在不完备域上可嵌入到 P² 或 P³ 中？

主要发现

• 不变量 γ(X/k)、ℓ_F(X/k)、m_F(X/k) 和 ε(X/k) 均为非负整数，用于度量几何非正规性和非约性。
• 几何正规性等价于 γ(X/k) = 0 且 ℓ_F(X/k) = 0；几何约化性等价于 ε(X/k) = 0 且 m_F(X/k) = 0。
• 不等式 ℓ_F(X/k) ≤ γ(X/k) 和 m_F(X/k) ≤ ℓ_F(X/k) 成立，当 [k:k^p] < ∞ 时，有 m_F(X/k) ≤ m_F(X/k)(log_p[k:k^p] − 1)。
• 对于特征 p > 0 的域 k 上的完备正规簇 X，典范除子满足 K_Y + (p−1)∑C_i ∼ f^*K_X，其中 C_i 为有效除子，且 γ(X/k) 计数此类除子的个数。
• 在不完备域上，非光滑正规射影亏格一曲线是有界的：若 p = 3，则其在 P² 中作为三次曲线嵌入；若 p = 2，则其在 P³ 中作为两个二次曲面的完全交嵌入。
• 在特征 2 的域上，亏格为一的曲线同构于 P² 中的三次曲线，当且仅当其具有一个 k-有理点。