[论文解读] Rank one local systems on complements of hyperplanes and Aomoto complexes

Morihiko Saito|arXiv (Cornell University)|Jul 1, 2018

Advanced Algebra and Geometry参考文献 14被引用 3

一句话总结

本文確立了在經典非共振條件失效時，仍可透過 Aomoto 多複形計算超平面排列補集上秩一局部系統上同調的條件。透過嵌入解析解消分析霍奇對數微分形式，作者提出了一個新的雙射性準則，適用於一階 Aomoto 映射，進而實現單值表示空間的顯式計算——此方法成功在無需計算工具的情況下，證明了 $G_{31}$ 反射排列的第一個 Milnor 上同調中 $λ = \exp(-2\pi i/6)$ 表示空間的消失性。

ABSTRACT

We show that the cohomology of a rank 1 local system on the complement of a projective hyperplane arrangement can be calculated by the Aomoto complex in certain cases even if the condition on the sum of the residues of connection due to Esnault et al is not satisfied. For this we have to study the localization of Hodge-logarithmic differential forms which are defined by using an embedded resolution of singularities. As an application we can compute certain monodromy eigenspaces of the first Milnor cohomology group of the defining polynomial of the reflection hyperplane arrangement of type $G_{31}$ without using a computer.

研究动机与目标

• 將 Aomoto 多複形在超平面補集上計算秩一局部系統上同調的適用範圍，擴展至經典非共振條件失效的情況。
• 克服密集邊緣條件 $\alpha_Z \notin \mathbb{Z}_{>0}$ 對複數排列中 Aomoto 多複形使用之限制。
• 提出一種純分析方法——利用霍奇對數微分形式與嵌入解析解消——以計算 Milnor 上同調中的單值表示空間。
• 透過驗證 $G_{31}$ 反射排列中 $\lambda = \exp(-2\pi i/6)$ 表示空間的消失性，展示該方法在無計算工具協助下的應用。

提出的方法

• 作者利用透過奇點解析解消定義的霍奇對數微分形式，分析超平面排列補集上秩一局部系統的上同調。
• 他們提出一個改良的準則，以判斷 Aomoto 多複形是否能計算上同調，其依據為殘留值 $\alpha_k$ 的條件與奇點結構。
• 該方法涉及將排列分解為「良好」與「不良」指標 $I^c$ 和 $I^b$，其中 $I^b$ 對應違反非共振條件的點。
• 關鍵技術工具為在奇點（特別是多重性至少為 3 的點）處研究霍奇對數形式的局部化。
• 證明依賴於拓撲論論證，包括弱 Lefschetz 定理與歐拉特徵考慮，以關聯上同調群維數。
• 該方法應用於 $G_{31}$ 反射排列，透過驗證一般超平面截面的組合與幾何條件 (a)–(d)。

实验结果

研究问题

• RQ1 當經典非共振條件失效時，Aomoto 多複形是否仍能計算超平面補集上秩一局部系統的上同調？
• RQ2 排列與局部系統連接殘留值的哪些幾何與組合條件，允許 Aomoto 多複形仍能正確計算上同調？
• RQ3 是否可能在無計算工具協助下，計算 $G_{31}$ 反射排列第一個 Milnor 上同調群的單值表示空間？
• RQ4 霍奇對數微分形式與嵌入解析解消如何用於在共振存在下分析局部系統上同調？
• RQ5 能否透過 Aomoto 多複形，以分析方法確立 $G_{31}$ 第一 Milnor 上同調中 $\lambda = \exp(-2\pi i/6)$ 表示空間的消失性？

主要发现

• 在新條件 (a)–(d) 下，即使經典非共振條件不成立，Aomoto 多複形仍能計算射影超平面排列補集上秩一局部系統的一階上同調，且適用於 $\mathbb{P}^2$ 中的情形。
• $G_{31}$ 反射排列的第一個 Milnor 上同調中 $\lambda = \exp(-2\pi i/6)$ 單值表示空間的消失性，已無需計算工具而確立。
• 該方法適用於 $G_{31}$ 排列，因其條件 (a)–(d) 在一般超平面截面中成立，包括 $X^{I^c} \setminus (X^{I^c(0)} \cup X^{I^b})$ 的連通性與直線的多重性條件。
• 證明依賴於 $G_{31}$ 的交集格結構，其中 $|I^b| = 16$ 且 $|I^c| = 44$，且 $X_d$ 上至少存在兩個普通二重點。
• 該方法亦適用於 $\lambda = -1$，但對 $\lambda = \exp(\pm 2\pi i/3)$ 失效，因其三重點數量過多，違反必要條件。
• 作者確認一階 Aomoto 映射為雙射，且上同調群維數相符，透過歐拉特徵論證驗證了方法的有效性。