[论文解读] Cohomology of the Orlik-Solomon algebras and local systems

Anatoly Libgober, Sergey Yuzvinsky|ArXiv.org|Jun 24, 1998

Advanced Combinatorial Mathematics参考文献 3被引用 27

一句话总结

本文提出了一种组合与代数几何相结合的方法，用于判断复射影平面上线排列补集上局部系统的一阶上同调是否具有包含平凡特征标且维数为正的不可约分支。该方法通过Vinberg-Kac对广义Cartan矩阵的分类，将此问题与广义Cartan矩阵联系起来，并证明此类分支对应于代数曲线的线束，从而得出分类结果及具有大特征值簇的排列的界限。

ABSTRACT

The paper provides a combinatorial method to decide when the space of local systems with non vanishing first cohomology on the complement to an arrangement of lines in a complex projective plane has as an irreducible component a subgroup of positive dimension. Partial classification of arrangements having such a component of positive dimension and a comparison theorem for cohomology of Orlik-Solomon algebra and cohomology of local systems are given. The methods are based on Vinberg-Kac classification of generalized Cartan matrices and study of pencils of algebraic curves defined by mentioned positive dimensional components.

研究动机与目标

• 确定线排列补集上局部系统的一阶上同调何时具有包含平凡特征标的正维数不可约分支。
• 将此上同调不变量与交集格的组合结构及代数曲线线束的几何结构联系起来。
• 利用Vinberg-Kac对广义Cartan矩阵的分类，对具有此类正维数分支的特征值簇的排列进行分类。
• 建立Orlik-Solomon代数在扭曲系数下的上同调与局部系统上同调之间的比较，证明当p=1时的一个猜想。

提出的方法

• 利用秩-2平面X的关联矩阵J，其中满足∑_{H_i ⊃ X} a_i = 0，定义对称矩阵Q = J^t J − E，其中E为所有元素均为1的矩阵。
• 将Vinberg-Kac对广义Cartan矩阵的分类应用于矩阵Q，以分析其零空间并刻画R₁的分支。
• 将Q的零空间与Orlik-Solomon代数在微分乘以a作用下的第一上同调H¹(A,a)联系起来。
• 通过在射影平面上对多个点进行爆破，从特征值簇的正维数分支S构造一个代数曲线的线束。
• 利用爆破曲面的欧拉示性数及纤维化数据，推导出排列中每组直线数量的界限。
• 应用Zariski的连通性定理与Bertini定理，确保一般纤维光滑且纤维化结构表现良好。

实验结果

研究问题

• RQ1 在ℙ²中，线排列补集的特征值簇何时包含一个包含平凡特征标的正维数不可约分支？
• RQ2 此类分支的结构能否通过交集格与广义Cartan矩阵进行组合刻画？
• RQ3 何种几何结构（如曲线线束）支撑特征值簇的正维数分支？
• RQ4 在何种条件下，局部系统ℒ(a)的上同调H¹(M,ℒ(a))等于Orlik-Solomon代数在扭曲系数下的上同调H¹(A,a)？
• RQ5 对于给定的R₁维数且多重点重数有界的排列，其直线数量可施加何种界限？

主要发现

• R₁的不可约分支集合与由秩-2平面的关联结构导出的矩阵Q的零空间之间存在一一对应关系。
• R₁的不同分支仅在原点相交，表明特征值簇可被清晰地分解为线性子空间。
• 对于满足dim R₁ > 0的排列，存在一个代数曲线的线束，使得该排列是该线束的奇异纤维的并集。
• 在分解为奇异纤维的每组中，直线数量受F(r,k) ≤ 2k + 1的限制，其中r = dim R₁，k为每条直线上最大多重点数。
• 对于具有k个等价直线块且每条直线包含n个多重点的排列，若n ≠ 2或3，则k ≤ 5。
• 当p = 1且a ∈ R₁时，猜想dim H¹(M,ℒ(a)) = sup_N dim H¹(A*, a + N)成立，从而证明了Falk等人猜想的一个更强版本。