[论文解读] Minimality of hyperplane arrangements and basis of local system cohomology

Masahiko Yoshinaga|arXiv (Cornell University)|Feb 10, 2010

Advanced Combinatorial Mathematics参考文献 24被引用 7

一句话总结

本文通过利用补集的极小性并分析细胞链复形中的边界映射，建立了二维超平面排列局部系统上同调群消失的判别准则。证明了当且仅当在射影闭包中密集边周围的单值性非平凡时，上同调仅在上同调度非零，且其基由有界区域构成。

ABSTRACT

The purpose of this paper is applying minimality of hyperplane arrangements to local system cohomology groups. It is well known that twisted cohomology groups with coefficients in a generic rank one local system vanish except in the top degree, and bounded chambers form a basis of the remaining cohomology group. We determine precisely when this phenomenon happens for two-dimensional arrangements.

研究动机与目标

• 刻画二维超平面排列局部系统上同调群在除上同调度外均消失的条件。
• 识别有界区域构成上同调度群基的条件。
• 应用超平面排列补集的极小性来计算秩为一的局部系统的上同调。
• 建立涉及射影闭包中密集边周围单值性的精确判别准则。
• 通过将其与细胞链复形和离散莫射理论联系起来，拓展并细化早期关于非共振局部系统的结果。

提出的方法

• 利用超平面排列补集 $\mathsf{M}(\mathcal{A})$ 的极小性，该性质意味着其同伦等价于一个极小CW复形。
• 分析与Salvetti复形相关的细胞链复形，重点关注扭曲复形 $\mathbb{C}[\mathsf{ch}^{\bullet}]$ 中的边界映射 $d_{\mathcal{L}}$。
• 通过将微分与到无界区域的投影复合，引入诱导映射 $\overline{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{bch}^{q-1}] \to \mathbb{C}[\mathsf{uch}^{q}]$。
• 应用对合 $\iota$ 来识别有界区域与无界区域的基，从而实现维数的比较。
• 将 $\overline{d_{\mathcal{L}}}$ 的行列式作为关键不变量，推测其在所有满足 $\dim X \geq \ell - q$ 的密集边 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ 上可分解为 $\prod_X (q_X^{1/2} - q_X^{-1/2})^{n_X}$。
• 将条件 $q_X \neq 1$ 对所有密集边 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ 成立作为上同调消失的核心判别准则。

实验结果

研究问题

• RQ1 在二维超平面排列中，局部系统上同调 $H^k(\mathsf{M}(\mathcal{A}), \mathcal{L})$ 在 $k \neq \ell$ 时在何种条件下消失？
• RQ2 何时上同调度群 $H^\ell(\mathsf{M}(\mathcal{A}), \mathcal{L})$ 允许由有界区域构成基？
• RQ3 在射影闭包 $\mathcal{A}_\infty$ 中，密集边周围的单值性 $q_X$ 如何影响上同调结构？
• RQ4 映射 $\widetilde{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{ch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ 的满射性与上同调非消失之间存在何种精确关系？
• RQ5 诱导边界映射 $\overline{d_{\mathcal{L}}}$ 的行列式能否用密集边周围的单值性数据表示？

主要发现

• 对于二维超平面排列 $\mathcal{A}$，局部系统上同调 $H^k(\mathsf{M}(\mathcal{A}), \mathcal{L})$ 在 $k \neq 2$ 时消失，当且仅当对所有密集边 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ 有 $q_X \neq 1$。
• 上同调度群 $H^2(\mathsf{M}(\mathcal{A}), \mathcal{L})$ 同构于直和 $\bigoplus_{C \in \mathsf{bch}(\mathcal{A})} \mathbb{C} \cdot [C]$，其中由有界区域构成基。
• 对所有 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ 有 $q_X \neq 1$ 的条件，等价于映射 $\widetilde{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{ch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ 的满射性。
• 映射 $\overline{d_{\mathcal{L}}}: \mathbb{C}[\mathsf{bch}^{1}] \to \mathbb{C}[\mathsf{uch}^{2}]$ 是满射，当且仅当对所有 $X \in \mathsf{D}_\infty(\mathcal{A}_\infty)$ 有 $q_X \neq 1$，这蕴含上同调仅在度数 2 非零。
• 通过一个可分解排列的反例表明，不可约性假设是必要的：当 $q_\infty = 1$ 时，即使映射 $\widetilde{d_{\mathcal{L}}}$ 是满射，下同调度的上同调仍可能消失。
• 本文推测 $\overline{d_{\mathcal{L}}}$ 的行列式可分解为 $\pm \prod_X (q_X^{1/2} - q_X^{-1/2})^{n_X}$，其中 $X$ 遍历 $\mathsf{D}_\infty(\mathcal{A}_\infty)$ 中维度 $\geq \ell - q$ 的密集边，这将意味着在非共振条件下，上同调在度数 $k < \ell$ 时消失。