[论文解读] $β$-nbc bases for cohomology of local systems on hyperplane complements

Michael Falk, Hiroaki Terao|arXiv (Cornell University)|Dec 12, 1994

Algebraic structures and combinatorial models被引用 4

一句话总结

该论文在非共振条件下，利用β-nbc（无断裂电路）基，为超平面排列补集上的局部系统上同调群构造了显式基。这些基由索引于排列nbc基的对数微分形式构成，不同基之间的过渡矩阵为整数矩阵且与局部系统无关，从而为上同调群提供了典范的组合结构。

ABSTRACT

We study cohomology with coefficients in a rank one local system on the complement of an arrangement of hyperplanes $\A$. The cohomology plays an important role for the theory of generalized hypergeometric functions. We combine several known results to construct explicit bases of logarithmic forms for the only non-vanishing cohomology group, under some nonresonance conditions on the local system, for any arrangement $\A$. The bases are determined by a linear ordering of the hyperplanes, and are indexed by certain ``no-broken-circuits" bases of $\A$. The basic forms depend on the local system, but any two bases constructed in this way are related by a matrix of integer constants which depend only on the linear orders and not on the local system. In certain special cases we show the existence of bases of monomial logarithmic forms.

研究动机与目标

• 为超平面排列补集上秩一局部系统的上同调群提供显式、组合定义的基。
• 确立这些基由对数微分形式构成，并由排列的无断裂电路（nbc）基索引。
• 证明不同基之间的过渡矩阵为整数矩阵，且仅依赖于超平面的线性排序，而不依赖于局部系统。
• 在特殊情况下证明存在由单项对数微分形式构成的基。

提出的方法

• 通过排列中超平面的线性排序来定义β-nbc基。
• 使用对数微分形式作为上同调基的构建块。
• 非共振条件确保唯一非零上同调群出现在特定度数。
• 基由排列的nbc基索引，这些是源自超平面结构的组合对象。
• 展示了不同β-nbc基之间的过渡矩阵为与局部系统无关的整数矩阵。
• 该方法结合了代数几何、排列理论和上同调代数中的已知结果，以实现显式基的构造。

实验结果

研究问题

• RQ1 如何为超平面排列补集上局部系统的上同调群构造显式基？
• RQ2 何种组合结构控制此类上同调基的索引？
• RQ3 通过不同线性排序构造的不同基之间有何关系？
• RQ4 在何种条件下上同调群可具有由单项对数微分形式构成的基？
• RQ5 此类基之间的过渡矩阵是否与局部系统无关？

主要发现

• 在非共振条件下，上同调群仅在一个度数上非零，且为此群构造了显式基。
• 这些基由索引于排列β-nbc基的对数微分形式构成。
• 由不同线性排序构造的基之间的过渡矩阵为整数矩阵，仅依赖于排序方式，而不依赖于局部系统。
• 在特殊情况下（如局部系统平凡或满足特定单值性条件），可选择由单项对数微分形式构成的基。
• 该构造为上同调群提供了典范的、组合定义的结构，将拓扑、代数与组合学联系在一起。