[论文解读] On the irreducible components of characteristic varieties

Alexandru Dimca|ArXiv.org|Mar 9, 2007

Algebraic Geometry and Number Theory参考文献 14被引用 10

一句话总结

本文研究了光滑、不可约、拟射影复代数簇上秩一局部系统所关联的特征簇的不可约分支的结构。研究结果表明，正维分支为由纤维化到曲线所产生的平移子环面，其中关键结果指出：当基曲线为紧致时，直接像层的奇异支集不可能为单点集，从而解决了正规与非正规情形之间的细微差异。

ABSTRACT

This is a quick survey on the characteristic varieties associated to rank one local systems on a smooth, irreducible, quasi-projective complex variety $M$. A key new result is Proposition 1.8, giving additional information on the constructible sheaf $\F=R^0f_*(\LL)$, where $\LL$ is a rank one local system on $M$ and $f:M o S$ is a surjective morphism with $S$ a smooth curve and the generic fiber $F$ of $f$ connected. Corollary 1.9 says that for $S$ compact, the singular support of $\F$ cannot be a singleton.

研究动机与目标

• 理解拟射影簇上秩一局部系统所关联的特征簇不可约分支的几何与拓扑结构。
• 澄清在特征簇分支背景下正规与非正规情形之间的差异，特别是关于孤立扭点与平移子环面的区别。
• 建立直接像层奇异支集不可能为单点集的条件，尤其当基曲线为紧致时。
• 通过由同调数据导出的有限交换群的庞特里亚金对偶，提供对分支的精确参数化。
• 阐明更高阶特征簇与第一阶特征簇之间的关系，通过上同调维数的界来刻画。

提出的方法

• 利用纤维化 $ f: M \to S $，其中 $ S $ 为光滑曲线且一般纤维连通，将 $ \mathcal{V}_1(M) $ 的正维分支参数化为平移子环面 $ \rho \cdot f^*(\mathbb{T}(S)) $。
• 应用同调代数分析直接像层 $ \mathcal{F} = R^0f_*({\mathcal{L}}_\rho) $，将其奇异支集与纤维化的拓扑结构联系起来。
• 采用有限交换群 $ T(f) = \ker(f_*) / \operatorname{im}(i_*) $ 的庞特里亚金对偶 $ \widehat{T}(f) $ 来分类给定纤维化下此类分支的数量。
• 导出一个上同调界：$ \dim H^1(M, \mathcal{L}' \otimes f^{-1}\mathcal{L}) \geq -\chi(S) + |\Sigma(R^0f_*({\mathcal{L}}_\rho))| $，当 $ \mathcal{L} $ 一般时取等，用于刻画更高阶特征簇的分支。
• 应用代数几何与局部系统的结果，表明不经过原点的分支仅在特定情况下出现（例如 $ \chi(S) = 0 $），并给出如苏丘的8条线构型等显式例子。
• 利用构造层及其奇异支集的框架，证明当 $ S $ 为紧致时 $ \Sigma(\mathcal{F}) $ 不可能为单点集。

实验结果

研究问题

• RQ1 第一阶特征簇 $ \mathcal{V}_1(M) $ 的正维不可约分支的精确几何结构是什么？
• RQ2 纤维化 $ f: M \to S $（$ S $ 为光滑曲线且纤维连通）与这些分支有何关系？
• RQ3 在何种条件下 $ R^0f_*({\mathcal{L}}_\rho) $ 的奇异支集可为单点集？为何当 $ S $ 为紧致时这是不可能的？
• RQ4 更高阶特征簇 $ \mathcal{V}_q(M) $ 与第一阶特征簇以及直接像层的上同调之间有何关系？
• RQ5 扭特征与 $ T(f) $ 的庞特里亚金对偶在参数化 $ \mathcal{V}_1(M) $ 的分支中起什么作用？

主要发现

• 正维不可约分支 $ \mathcal{V}_1(M) $ 为平移子环面 $ \rho \cdot f^*(\mathbb{T}(S)) $，其中 $ f: M \to S $ 为到光滑曲线的纤维化，且 $ b_1(S) = \dim W $，$ \rho $ 为扭特征。
• 对固定纤维化 $ f $，此类分支的数量由庞特里亚金对偶 $ \widehat{T}(f) $ 参数化，当 $ \chi(S) = 0 $ 时存在非平凡元素。
• 若 $ \chi(S) = 0 $，则 $ W = \rho \cdot f^*(\mathbb{T}(S)) $ 可能不包含单位元，且 $ f^*(\mathbb{T}(S)) $ 不一定是 $ \mathcal{V}_1(M) $ 的分支，如 $ \dim W = 2 $、$ S $ 为椭圆曲线，或 $ \dim W = 1 $、$ S = \mathbb{C}^* $ 的情形。
• 对 $ \mathcal{L}' \in W_{f,\rho} $，$ H^1(M, \mathcal{L}') $ 的一般维数下界为 $ -\chi(S) + |\Sigma(R^0f_*({\mathcal{L}}_\rho))| $，且对所有但有限多个 $ \mathcal{L} \in \mathbb{T}(S) $ 取等。
• 对于 $ \mathbb{P}^n $ 中超曲面补集，对应的曲线 $ S $ 为去掉 $ d $ 个点的 $ \mathbb{C} $，若 $ 1 \in W $，则一般 $ \dim H^1(M, \mathcal{L}') = d - 1 $。
• 在非正规情形下，$ \Sigma(\mathcal{F}) $ 可为单点集，但推论 1.9 表明当 $ S $ 为紧致时这是不可能的，从而解决了正规与非正规情形之间的关键差异。