[论文解读] Gauss-Manin Connections for Arrangements

Daniel C. Cohen, Peter Orlik|ArXiv.org|May 9, 2001

Advanced Combinatorial Mathematics参考文献 21被引用 8

一句话总结

本文通过使用由Aomoto复形构造的通用复形，为超平面排列补集上秩一局部系统上同调的高斯-维曼联络建立了形式化结构。证明了该联络的特征值始终是定义局部系统的权重的整系数线性组合，从而解决了Terao关于任意排列与权重下特征值整性的疑问。

ABSTRACT

We construct a formal connection on the Aomoto complex of an arrangement of hyperplanes, and use it to study the Gauss-Manin connection for the moduli space of the arrangement in the cohomology of a complex rank one local system. We prove that the eigenvalues of the Gauss-Manin connection are integral linear combinations of the weights which define the local system.

研究动机与目标

• 为超平面排列补集上秩一局部系统的上同调构造形式化的高斯-维曼联络。
• 通过固定组合类型的排列模空间的基本群，研究局部系统上同调上的单值作用。
• 解决Terao关于高斯-维曼联络特征值是否总是定义局部系统的权重的整系数线性组合的问题。
• 在复环面的坐标环上建立一个通用复形，其权重特化后可计算局部系统的上同调。

提出的方法

• 在洛朗多项式环 $ \boldsymbol{\nu} = \boldsymbol{C}[x_1^{\boldsymbol{\nu}}, \boldsymbol{\nu}, x_n^{\boldsymbol{\nu}}] $ 上构造一个通用复形 $ (K^{\bullet}_{\boldsymbol{\nu}}, \nabla^{\bullet}(\boldsymbol{x})) $，其中 $ x_j $ 对应权重 $ \boldsymbol{\nu}_j $。
• 通过复环面 $ ({\boldsymbol{C}}^*)^n $ 的单位元处的单值表示的线性化，定义形式联络，使用单值矩阵的对数。
• 利用分层莫尔斯理论构建一个链复形，计算 $ H^*(M; \boldsymbol{L}) $，其系数取自通用环 $ \boldsymbol{\nu} $，并通过代入 $ t_j = \text{exp}(-2\boldsymbol{\nu}i\boldsymbol{\nu}_j) $ 恢复局部系统上同调。
• 证明单值表示矩阵的特征值是 $ x_j $ 的单项式，因此其对数导数（即形式联络）的矩阵元素为 $ \boldsymbol{\nu}_j $ 的线性形式。
• 证明通过在 $ y_j = \boldsymbol{\nu}_j $ 处特化形式联络得到的高斯-维曼联络矩阵，其特征值为 $ \boldsymbol{\nu}_j $ 的整系数线性组合。
• 通过显式计算特化通用复形诱导的上同调映射，在具体例子中验证结果，包括非共振与共振局部系统。

实验结果

研究问题

• RQ1 超平面排列补集上局部系统上同调的高斯-维曼联络的特征值是否总是定义该局部系统的权重的整系数线性组合？
• RQ2 能否在洛朗多项式环上构造一个通用复形，使其特化后可计算排列补集上秩一局部系统的上同调？
• RQ3 由排列模空间单值表示导出的形式联络是否产生具有整特征值的高斯-维曼联络？
• RQ4 基本群在模空间上的表示矩阵如何作用于共振局部系统的上同调？
• RQ5 局部系统上同调中的联络矩阵在多大程度上与组合局部系统的Orlik-Solomon代数中的联络矩阵一致？

主要发现

• 证明了高斯-维曼联络在 $ H^*(M; \boldsymbol{L}) $ 上的特征值为权重 $ \boldsymbol{\nu}_1, \boldsymbol{\nu}_2, \boldsymbol{\nu}_3, \boldsymbol{\nu}_4 $ 的整系数线性组合，从而对所有排列与所有权重确认了Terao的猜想。
• 对于一个特定的四超平面排列，第2上同调群中的高斯-维曼联络矩阵为 $ \begin{bmatrix} \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & 0 \\ \boldsymbol{\nu}_2 & 0 \nolimits \right] $，与Terao的结果在转置意义下一致。
• 在共振情形 $ t_1 t_2 t_3 = 1 $ 且 $ t_4 = 1 $ 时，第2上同调群中的高斯-维曼矩阵为 $ \begin{bmatrix} \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & 0 & 0 \\ 0 & \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & -\boldsymbol{\nu}_3 \\ 0 & 0 & 0 \nolimits \right] $，其特征值为 $ \boldsymbol{\nu}_j $ 的整系数组合。
• 共振局部系统在第1上同调群中的表示矩阵为 $ [t_1 t_2] $，其对应的高斯-维曼矩阵为 $ [\boldsymbol{\nu}_1 + \boldsymbol{\nu}_2] $，同样在权重上为整数。
• 对于组合局部系统，局部系统上同调中的高斯-维曼联络矩阵与Orlik-Solomon代数上同调中的联络矩阵一致，确认了联络的组合性质。
• 形式联络被实现为复环面 $ ({\boldsymbol{C}}^*)^n $ 的单位元处单值表示的线性化，其在 $ y_j = \boldsymbol{\nu}_j $ 处的特化即为上同调上的高斯-维曼联络。