[论文解读] Characteristic varieties and constructible sheaves

Alexandru Dimca|arXiv (Cornell University)|Feb 28, 2007

Algebraic Geometry and Number Theory被引用 4

一句话总结

本文通过局部系统直接像导出的构造层，建立了光滑曲面上秩一局部系统特征簇的平移分量与相关（有理或无理）线性系统中曲线重数之间的几何对应关系。关键贡献在于，利用源自纤维重数的有限群 $T(f)$，精确刻画了产生此类分量的扭字符 $\rho$，并将博伊瓦勒（Beauville）的结果推广至非紧致情形。

ABSTRACT

We explore the relation between the positive dimensional irreducible components of the characteristic varieties of rank one local systems on a smooth surface and the associated (rational or irrational) pencils. Our study, which may viewed as a continuation of D. Arapura's work, yields new geometric insight into the translated components relating them to the multiplicities of curves in the associated pencil, in a close analogy to the compact situation treated by A. Beauville. The new point of view is the key role played by the constructible sheaves naturally arising from local systems.

研究动机与目标

• 理解光滑准射影曲面 $M$ 的一阶特征簇 $\mathcal{V}_1(M)$ 中平移分量的几何起源。
• 阐明扭字符 $\rho$ 在通过纤维化 $f: M \to S$ 的拓扑结构定义这些分量中的作用。
• 通过将分量与纤维重数关联，将博伊瓦勒（Beauville）关于紧致曲面的结果推广至非紧致、准射影情形。
• 建立一个拓扑不变量 $T(f)$，以分类哪些扭字符 $\rho$ 会产生有效的平移分量。
• 通过构造层理论证明， twisted cohomology $H^1(M, \mathcal{L})$ 的维数依赖于 $\chi(S)$ 和 $\rho$ 的支集。

提出的方法

• 使用（对数）等值子空间定理，从 $H^1(M)$ 中的最大等值子空间识别纤维化 $f: M \to S$。
• 将有限交换群 $T(f)$ 定义为 $H_1(M) \to H_1(S)$ 的核的庞特里亚金对偶，以编码纤维重数信息。
• 在 $S$ 上构造层 $\mathcal{F} = R^0f_*\mathcal{L}_\rho$，该层为构造层，其奇点支集 $\Sigma(\mathcal{F})$ 控制上同调不变量。
• 将 $\dim H^1(M, \mathcal{L})$ 表示为 $\chi(S)$ 和 $|\operatorname{supp}(\tilde{\rho})|$ 的函数，其中 $\tilde{\rho} \in \widehat{T}(f)$。
• 应用推论 4.7，将 $\dim H^1(M, \mathcal{L})$ 与 $S$ 的欧拉示性数及 $\tilde{\rho}$ 的支集基数关联起来。
• 通过显式例子（如 $\mathcal{A}_m$-排列）验证理论，并从纤维重数计算 $T(f)$。

实验结果

研究问题

• RQ1 哪些扭字符 $\rho$ 会产生 $\mathcal{V}_1(M)$ 中的平移分量，它们如何参数化？
• RQ2 线性系统 $f: M \to S$ 中多重纤维的重数如何决定群 $T(f)$ 的结构？
• RQ3 对于 $\mathcal{L} \in W(f,\rho)$，$H^1(M, \mathcal{L})$ 的维数与纤维化 $f$ 的拓扑数据之间的确切关系为何？
• RQ4 构造层 $R^0f_*\mathcal{L}_\rho$ 如何编码关于特征簇分量 $W(f,\rho)$ 的信息？
• RQ5 为何在 $\mathcal{A}_m$-排列中，仅当 $m-1$ 个非平凡字符时才会出现某些分量，且这与一般理论是否一致？

主要发现

• 当 $f$ 来自 $\mathcal{A}_m$-排列时，有限群 $T(f)$ 同构于 $\mathbb{Z}/m\mathbb{Z}$，其中 $m$ 为在 $c=(1:1)$ 处的纤维重数。
• 当 $\chi(S) < 0$ 时，$\widehat{T}(f)$ 中每个非平凡字符 $\tilde{\rho}$ 均产生 $\mathcal{V}_1(M)$ 中的平移分量 $W(f,\rho)$；而当 $\chi(S) = 0$ 时，必须排除平凡字符。
• $\mathcal{L} \in W(f,\rho)$ 时，$H^1(M, \mathcal{L})$ 的维数为 $k-2 + \epsilon(\rho)$，其中 $k = |B|$ 且 $\epsilon(\rho) = |\{j \mid \tilde{\rho}(e_j) \neq 1\}|$，且对所有但有限多个 $\mathcal{L}$ 成立等式。
• 在 $\mathcal{A}_m$-排列情形下，$\mathcal{V}_1(M)$ 中恰好有 $m-1$ 个一维平移分量，每个对应一个非平凡 $\tilde{\rho} \in \widehat{T}(f)$。
• $\tilde{\rho}$ 的支集，即 $\{j \mid \tilde{\rho}(e_j) \neq 1\}$，决定了上同调跃迁：$\dim H^1(M, \mathcal{L}) = k-2 + \epsilon(\rho)$。
• 构造层 $\mathcal{F} = R^0f_*\mathcal{L}_\rho$ 的奇点支集 $\Sigma(\mathcal{F})$ 的基数通过推论 4.7 控制 $H^1(M, \mathcal{L})$ 的维数。