[論文レビュー] $β$-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.

研究の動機と目的

• 超平面配置の補集合上のランク1局所系のコホモロジーに、明示的かつ組合せ的に定義された基底を提供すること。
• これらの基底が、配置のnbc基底によってインデックス付けられた対数微分形式から構成されることを確立すること。
• 異なる基底間の移行行列が整数値であり、超平面の線形順序にのみ依存し、局所系に依存しないことの証明。
• 特別な場合に、単項式対数微分形式の基底が存在することの提示。

提案手法

• 配置の超平面に線形順序を導入することで、β-nbc基底を定義する。
• 対数微分形式をコホモロジー基底の構成要素として用いる。
• 非共振条件により、唯一非自明なコホモロジー群が特定の次数にのみ存在することが保証される。
• 基底は、超平面構造から導かれる組合せ的対象であるnbc基底によってインデックス付けされる。
• 異なる線形順序から得られるβ-nbc基底間の移行行列が、局所系に依存しない整数行列であることが示される。
• 代数幾何、配置理論、コホモロジー代数の既知の結果を組み合わせることで、明示的基底を達成する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置の補集合上の局所系のコホモロジーに、明示的基底をどのように構成できるか。
• RQ2 このようなコホモロジー基底のインデックス付けを支配する組合せ的構造は何か。
• RQ3 異なる線形順序から得られる基底どうしが、どのように関係しているか。
• RQ4 どのような条件下で、コホモロジーが単項式対数微分形式の基底をもつのか。
• RQ5 このような基底間の移行行列は、局所系に依存しないのか。

主な発見

• 非共振条件の下で、コホモロジー群は唯一の次数でのみ非自明であり、その群に対して明示的基底が構成される。
• 基底は、配置のβ-nbc基底によってインデックス付けられた対数微分形式から構成される。
• 異なる線形順序から得られる基底間の移行行列は、整数行列であり、順序にのみ依存し、局所系に依存しない。
• 特別な場合、例えば局所系が自明である場合、または特定のモノドロミー条件を満たす場合、基底を単項式対数微分形式から選べる。
• この構成により、コホモロジーに一意な組合せ的に定義された構造が与えられ、位相、代数、組合せ論が結びつけられる。