[论文解读] Lefschetz theorem for abelian fundamental group with modulus

Moritz Kerz, Shuji Saito|arXiv (Cornell University)|Apr 14, 2013

Algebraic Geometry and Number Theory参考文献 2被引用 4

一句话总结

本文建立了阿贝尔基本群带模的Lefschetz超平面定理，证明了当 $〈X〉$ 为光滑射影概族且 $〈Y〉$ 为足够充分的光滑超平面截面时，若 $〈\dim(X) \geq 3〉$，则 $〈X〉$ 与 $〈Y〉$ 的阿贝尔基本群之间的自然映射是同构；当 $〈\dim(X) = 2〉$ 时，该映射是满射，前提是沿除子 $〈D〉$ 满足有界分歧条件。该结果通过高阶分歧理论将经典Lefschetz定理推广至野性分歧情形。

ABSTRACT

We prove a Lefschetz hypersurface theorem for abelian fundamental groups allowing wild ramification along some divisor. In fact, we show that isomorphism holds if the degree of the hypersurface is large relative to the ramification along the divisor.

研究动机与目标

• 将经典的Lefschetz超平面定理推广至带模阿贝尔基本群的框架，允许沿除子出现野性分歧。
• 建立自然映射 $〈\pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)〉$ 为同构或满射的条件。
• 为构造零维Cycle群与带模阿贝尔基本群之间的互惠同构提供基础工具。
• 利用Brylinski–Kato–Matsuda分歧理论，将Schmidt与Spiess的互质 $p$ 结果推广至完整的分歧情形。

提出的方法

• 将带模阿贝尔基本群 $〈\pi_1^{ab}(X,D)〉$ 定义为连续特征 $〈\chi: \pi_1^{ab}(U) \to \mathbb{Q}/\mathbb{Z}〉$ 的庞特里亚金对偶，其满足沿曲线的阿廷分歧指数有界条件。
• 利用Matsuda对Brylinski–Kato在Witt向量上的滤子的改进，定义上同调中的非对数分歧滤子 $〈\mathrm{fil}_m H^1(U)〉$。
• 应用相对de Rham–Witt复形理论及导出范畴中的分明三角形，分析Lefschetz性质的上同调障碍。
• 通过Serre对偶性与线丛 $〈\mathcal{O}_X(D - Y)〉$ 的消去定理，证明当 $〈\dim X \geq 3〉$ 时，上同调群 $〈H^i(X, \mathcal{K})〉$ 在 $i=1,2$ 时为零。
• 通过选取具有 $p$ 互质重数的除子 $〈D'〉$，将一般情形约化为对数分歧情形，利用引理2.8(3)关联 $〈\mathrm{fil}_D〉$ 与 $〈\mathrm{fil}^{\log}_{D'-C}〉$。
• 通过分析映射 $〈\Omega^1_X \to i_*\Omega^1_Y〉$ 的核，利用 $〈H^0(C_\lambda, \mathcal{L}(D') \otimes \mathcal{O}_{C_\lambda})〉$ 的消去性，证明上同调限制映射的单射性。

实验结果

研究问题

• RQ1 在除子 $〈D〉$ 上有有界分歧的条件下，超平面截面 $〈Y \subset X〉$ 时，自然映射 $〈\pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)〉$ 在何种条件下成为同构？
• RQ2 Lefschetz定理能否被推广至带模阿贝尔基本群，以包含超越互质 $p$ 情形的野性分歧？
• RQ3 非对数分歧滤子 $〈\mathrm{fil}_m H^1(U)〉$ 与超平面截面如何相互作用？在何种条件下可保证其在上同调上诱导的映射为满射或单射？
• RQ4 带模阿贝尔基本群的结构在多大程度上依赖于模除子 $〈D〉$ 的选择？
• RQ5 相对de Rham–Witt复形在控制Lefschetz定理中的分歧与上同调障碍方面起什么作用？

主要发现

• 当 $〈\dim(X) \geq 3〉$ 且 $〈Y〉$ 关于 $(X,D)$ 足够充分时（如定义3.1所定义），映射 $〈\iota_{Y/X}: \pi_1^{ab}(Y,E) \to \pi_1^{ab}(X,D)〉$ 是同构。
• 当 $〈\dim(X) = 2〉$ 时，映射 $〈\iota_{Y/X}〉$ 是满射，但不一定是单射。
• 该定理的互质 $p$ 部分此前已由Schmidt与Spiess所知；本文将其扩展至完整的分歧情形。
• 通过奇点消除与主定理，证明了在有限域上正规完备概族上，最大无 $p'$-商群 $〈\pi_1^{ab}(X,D)^0〉$ 的有限性。
• 证明依赖于在 $〈\dim \geq 3〉$ 时证明 $〈H^i(X, \mathcal{K})〉$ 在 $i=1,2$ 时为零，以及在 $〈\dim X = 2〉$ 时 $〈H^1(X, \mathcal{K})=0〉$，利用Serre对偶性与 $Y$ 的充分性条件。
• 通过分析商映射 $〈\mathrm{fil}_{D'}H^1(U)/\mathrm{fil}_D H^1(U) \to \mathrm{fil}_{E'}H^1(U\cap Y)/\mathrm{fil}_E H^1(U\cap Y)〉$ 的单射性，推导出分歧滤子上映射的满射性，其依据是 $〈H^0(C_\lambda, \mathcal{L}(D') \otimes \mathcal{O}_{C_\lambda})〉$ 的消去性。