[论文解读] Negative curves on surfaces and applications to hermitian locally symmetric spaces

Ted Chinburg, Matthew Stover|arXiv (Cornell University)|May 5, 2011

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文证明，若一个定义在域 k 上的曲面 S 上存在足够多具有负自交数的曲线，则其中任意两条曲线的某个有效组合具有正自交数。当 k = ℂ 时，这蕴含基本群像的有限性，以及通过曲线正规化雅可比簇对阿尔巴内塞簇的分解，其应用涵盖由两个上半平面的积或复双曲平面所一致化的赫尔米特局部对称空间。

ABSTRACT

Let $S$ be a smooth projective surface over a field $k$. In this paper we show that if $\mathcal{F}$ is a set of irreducible curves on $S$ such that sufficiently many curves in $\mathcal{F}$ have negative self-intersection, then there exist two curves $C_1, C_2 \in \mathcal{F}$ and integers $a, b\ge 1$ such that the effective divisor $a C_1 + b C_2$ has positive self-intersection. When $k = \mathbb{C}$, this implies that the image of the map $\pi_1(C_1 \cup C_2) o \pi_1(S)$ of topological fundamental groups has finite index and that the Albanese variety of $S$ is a quotient of the direct sum of the Jacobians of the normalizations of $C_1$ and $C_2$. We then give some applications of these results to the geometry of smooth projective surfaces uniformized by either the product of two upper half planes or the complex hyperbolic plane.

研究动机与目标

• 理解在光滑射影曲面上存在大量负自交曲线时的几何与拓扑含义。
• 研究具有负自交数的曲线的存在如何影响曲面的基本群与阿尓巴内塞簇。
• 将这些结果应用于由两个上半平面的积或复双曲平面所一致化的曲面。
• 建立曲线配置与通过曲线正规化雅可比簇构造的阿尓巴内塞簇结构之间的联系。

提出的方法

• 分析定义在域 k 上的光滑射影曲面 S 上不可约曲线的交点理论。
• 应用基于集合 F 中曲线的自交数数量与负性的一个判别准则，推导出存在两条曲线 C₁, C₂ 及正整数 a, b，使得 (aC₁ + bC₂)² > 0。
• 在 k = ℂ 的情形下，运用拓扑与霍奇理论论证，推导出基本群映射 π₁(C₁ ∪ C₂) → π₁(S) 的像在 π₁(S) 中具有有限指数。
• 应用阿尓巴内塞簇理论，证明 Alb(S) 是 C₁ 与 C₂ 的正规化雅可比簇的直和的商。
• 将一般性结果应用于由两个上半平面的积或复双曲平面所一致化的赫尔米特局部对称空间。
• 依赖代数几何中的基础结果，包括交点理论以及代数曲面基本群的结构。

实验结果

研究问题

• RQ1 在曲面 S 上，一组具有负自交数的曲线满足何种条件时，存在两条此类曲线的正组合，其自交数为正？
• RQ2 当两条负曲线并集的基本群映射 π₁(C₁ ∪ C₂) → π₁(S) 的像在 π₁(S) 中具有有限指数时，会产生何种拓扑后果？
• RQ3 曲面的阿尓巴内塞簇与两条具有负自交数的曲线的正规化雅可比簇之间有何关系？
• RQ4 这些结果对由两个上半平面的积或复双曲平面所一致化的曲面施加了何种几何约束？
• RQ5 曲面的阿尓巴内塞簇结构能否从曲面上负曲线的几何中恢复？

主要发现

• 若曲面 S 上集合 F 中存在足够多具有负自交数的曲线，则存在 C₁, C₂ ∈ F 及整数 a, b ≥ 1，使得有效除子 aC₁ + bC₂ 具有正自交数。
• 当 k = ℂ 时，映射 π₁(C₁ ∪ C₂) → π₁(S) 的像在 π₁(S) 中具有有限指数。
• S 的阿尓巴内塞簇是 C₁ 与 C₂ 的正规化雅可比簇的直和的商。
• 这些结果适用于由两个上半平面的积或复双曲平面所一致化的光滑射影曲面。
• 此类曲线构型的存在对曲面的拓扑与几何施加了强约束，尤其在赫尔米特局部对称空间的背景下。
• 结果揭示了曲线代数几何与基本群及阿尓巴内塞簇整体结构之间深刻的相互作用。