[论文解读] Esnault-Levine-Wittenberg indices

Janós Kollár|arXiv (Cornell University)|Dec 13, 2013

Finite Group Theory Research参考文献 11被引用 4

一句话总结

本文引入并系统化了埃斯纳尔-莱文-维滕伯格（Esnault-Levine-Wittenberg, ELW）指标，这是定义在域上正规概形上的一类不变量，其定义为有界维数的凝聚层的欧拉示性数生成的理想。主要贡献在于：不依赖奇点解析，利用西村-萨博引理证明了ELW指标的双有理不变性；并建立在代数闭剩余域的Hensel域上，ELW指标在特征0下稳定，在正特征下模挠稳定。

ABSTRACT

These are extended notes of a lecture about the papers 1207.1883 by Esnault-Levine-Wittenberg and 1308.3024 by Wittenberg. The aim is to define the Esnault-Levine-Wittenberg indices, establish their basic properties amd to pose several questions. v.2: references updated.

研究动机与目标

• 将埃斯纳尔-莱文-维滕伯格指标形式化并系统化，构建研究域上正规概形算术与几何的统一框架。
• 阐明结构层欧拉示性数在控制最高阶ELW指标中的作用，特别是其与代数簇指标的关系。
• 在不依赖奇点解析的前提下，利用西村-萨博引理证明ELW指标的双有理不变性。
• 在具有代数闭剩余域的Hensel离散赋值环上，建立ELW指标的稳定性，特别是在特征0下及正特征下模挠稳定。
• 探讨ELW指标在实数域与有限域上的行为，并研究其在实代数几何中理性与有理连通性方面的意义。

提出的方法

• 将ELW指标 $\operatorname{elw}_i(X)$ 定义为 $\mathbb{Z}$ 中由所有满足 $\dim \operatorname{Supp} F \leq i$ 的凝聚层 $F$ 的 $\chi(X, F)$ 生成的理想。
• 利用去化与K-理论论证，证明 $\operatorname{elw}_i(X)$ 由所有满足 $\dim Z \leq i$ 的积分子簇 $Z \subset X$ 的 $\chi(Z, \mathcal{O}_Z)$ 生成。
• 应用Leray谱序列，建立在态射下欧拉示性数的关系，证明 $\chi(X, F) \in \operatorname{elw}_r(Y)$，其中 $r = \dim f(\operatorname{Supp} F)$。
• 利用西村-萨博引理证明双有理不变性，该引理控制了正规双有理映射下 $\chi(\mathcal{O}_X)$ 的行为。
• 建立关键结果：对于具有代数闭剩余域的Hensel离散赋值环上的正规模型，有 $\chi(X_K, \mathcal{O}_{X_K}) \in \operatorname{elw}_0(X_K)$，其证明基于多重纤维上线丛的数值平凡性。
• 利用Bertini型定理与基变换，将有限域上的问题约化为几何连通情形，证明对有限域上的正规概形有 $\operatorname{elw}_0(W) = h^0(W, \mathcal{O}_W)$。

实验结果

研究问题

• RQ1 在具有代数闭剩余域的Hensel域上，ELW指标序列是否稳定？
• RQ2 ELW指标 $\operatorname{elw}_i(X)$ 是否为正规概形的双有理不变量？若成立，能否在不依赖奇点解析的前提下证明？
• RQ3 当 $\chi(X, \mathcal{O}_X)$ 不被较低阶指标整除时，$\chi(X, \mathcal{O}_X)$ 与最高阶ELW指标 $\operatorname{elw}(X)$ 之间有何关系？
• RQ4 ELW指标能否检测实数域与有限域上的有理点或有理曲线？
• RQ5 对于实数域上的有理连通簇，即使 $X(\mathbb{R}) = \emptyset$，是否也有 $\operatorname{elw}_1(X) = 1$？

主要发现

• ELW指标 $\operatorname{elw}_i(X)$ 是域上正规概形的双有理不变量，其证明基于西村-萨博引理，无需奇点解析。
• 对于具有代数闭剩余域的Hensel离散赋值环上的正规概形 $X$，在特征0下有 $\operatorname{elw}_0(X) = \cdots = \operatorname{elw}_{\dim X}(X)$，在正特征下在 $\mathbb{Z}[p^{-1}]$ 中成立。
• 最高阶ELW指标满足 $\operatorname{elw}(X) = (\operatorname{elw}_{\dim X - 1}(X), \chi(X, \mathcal{O}_X))$，因此若 $\ell$ 整除 $\chi(X, \mathcal{O}_X)$ 但不整除 $\operatorname{elw}_{\dim X - 1}(X)$，则 $\ell$-进赋值由 $\chi(X, \mathcal{O}_X)$ 决定。
• 在有限域上，对正规积分概形 $W$ 有 $\operatorname{elw}_0(W) = h^0(W, \mathcal{O}_W)$，且通过基变换至剩余域后，该结果可通过度数为1的0-循环实现。
• 对实代数簇，若 $X(\mathbb{R}) \neq \emptyset$，则 $\operatorname{elw}_0(X) = 1$；否则 $\operatorname{elw}_0(X) = 2$；序列可能在 $\operatorname{elw}_1(X)$ 处从2降至1，如某些 $\mathbb{P}^2$ 的双覆盖情形。
• 存在实数上的光滑曲面 $S$，满足 $\operatorname{elw}_0(S) = \operatorname{elw}_1(S) = 2$ 且 $\operatorname{elw}_2(S) = 1$，表明指标序列可能仅在最高阶稳定。