[논문 리뷰] $β$-nbc bases for cohomology of local systems on hyperplane complements

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

Algebraic structures and combinatorial models인용 수 4

한 줄 요약

이 논문은 비공진 조건 하에서, 초평면 배치의 보완에서 국소계의 코homology에 대한 명시적 기저를 β-nbc(no-broken-circuit) 기저를 사용하여 구성한다. 이러한 기저는 초평면 배치의 nbc 기저에 의해 인덱싱된 로그 미분형식들로부터 구성되며, 이러한 기저 간의 전이 행렬은 정수 값을 가지며 국소계에 의존하지 않아, 코homology 군에 대해 정규적인 조합론적 구조를 제공한다.

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.

연구 동기 및 목표

• 초평면 배열의 보완에서 계수 1 국소계의 코homology에 대한 명시적이고 조합론적으로 정의된 기저를 제공하는 것.
• 이 기저들이 초평면 배열의 no-broken-circuit(nbc) 기저에 의해 인덱싱된 로그 미분형식들로부터 구성됨을 확립하는 것.
• 다른 선형 순서로 구성된 기저 간의 전이 행렬이 정수 행렬이며 국소계에 의존하지 않음을 보이는 것.
• 특수한 경우에 단항 로그 미분형식 기저가 존재함을 보여주는 것.

제안 방법

• 배열의 초평면들에 대한 선형 순서를 사용하여 β-nbc 기저를 정의하는 것.
• 로그 미분형식을 코homology 기저의 구성 요소로 사용하는 것.
• 비공진 조건은 유일하게 비영인 코homology 군이 특정 차수에만 존재하도록 보장한다.
• 기저는 초평면의 구조에서 유도된 조합론적 대상인 배열의 nbc 기저에 의해 인덱싱된다.
• 다른 선형 순서로 구성된 β-nbc 기저 간의 전이 행렬이 국소계에 관계없이 정수 행렬임을 보이는 것.
• 해당 목적을 달성하기 위해 대수기하학, 배열 이론, 코homological 대수학의 기존 결과를 조합하는 것.

실험 결과

연구 질문

• RQ1 어떻게 하면 초평면 배열의 보완에서 국소계의 코homology에 대한 명시적 기저를 구성할 수 있는가?
• RQ2 이러한 코homology 기저의 색인을 규정하는 조합론적 구조는 무엇인가?
• RQ3 다른 선형 순서로 구성된 기저들 간의 관계는 어떻게 되는가?
• RQ4 언제 코homology가 단항 로그 미분형식 기저를 가질 수 있는가?
• RQ5 이러한 기저 간의 전이 행렬은 국소계에 독립적인가?

주요 결과

• 비공진 조건 하에서 코homology 군은 오직 한 차수에서만 비영이 되며, 이에 대한 명시적 기저가 구성된다.
• 기저는 배열의 β-nbc 기저에 의해 인덱싱된 로그 미분형식들로부터 구성된다.
• 다른 선형 순서로 구성된 기저 간의 전이 행렬은 정수 행렬이며 순서에만 의존하고 국소계에는 영향을 받지 않는다.
• 특수한 경우, 예를 들어 국소계가 자명하거나 특정 몰로디모 조건을 만족할 경우, 기저를 단항 로그 미분형식으로 선택할 수 있다.
• 이 구성은 위상수학, 대수학, 조합론을 연결하는 정규적인 조합론적 정의를 제공한다.