[論文レビュー] The non-vanishing cohomology of Orlik-Solomon algebras

Yukihito Kawahara|ArXiv.org|Jun 21, 2005

Algebraic structures and combinatorial models参考文献 8被引用数 4

ひとこと要約

本稿は、ラテン超立方体から導かれる分解可能関係を活用して、オルリック＝ソロモン代数における非自明なコホモロジーを有するマトロイドおよび超平面配置を構成する。特定の重みに対して、$ H^{\text{top}-1}(A(M), e_\nu) $ が消えないことを証明し、ラテン平方に関する先行研究を一般化するとともに、高次元配置への理論の拡張を達成する。

ABSTRACT

The cohomology on the complement of hyperplanes with the coefficients in the rank one local system associated to a generic weight vanishes except in the highest dimension. In this paper, we construct matroids or arrangements and its weights with non-vanishing cohomology of Orlik-Solomon algebras, using decomposable relations arising from Latin hypercubes.

研究の動機と目的

• オルリック＝ソロモン代数における非自明なコホモロジーを有するマトロイドおよび超平面配置を、一般の消滅定理とは反して構成すること。
• ラテン平方および第一コホモロジーに関する先行結果を、ラテン超立方体を用いて高次元配置へ一般化すること。
• オルリック＝ソロモン代数における分解可能関係とラテン超立方体の組合せ論的性質との間の関係を確立すること。
• このようなマトロイドの実現の明示的例を提供すること、特にヘシアン配置や単項式配置といった古典的配置を含むこと。
• 非一般的重みに対してもコホモロジー $ H^{\text{top}-1}(A(M), e_\nu) $ が非ゼロであることを示し、リゾナンス多様体理論を拡張すること。

提案手法

• ラテン $ \ell $ 次元超立方体 $ K $ から、$ n = (\ell+1)m $ 個の要素を持つ $ \boldsymbol{\text{ℓ}} $-一般マトロイド $ M[K] $ を構成する。
• 超立方体の要素を用いて、マトロイドにおけるサイクル関係を符号化する $ (\ell+1) $-サイクルの族 $ \mathcal{C}[K] $ を定義する。
• オルリック＝ソロモン代数 $ A(M) $ と、重み $ \lambda $ を持つ複体 $ (A(M), e_\lambda) $ を用い、ここで $ e_\lambda = \sum \lambda_i e_i $ である。
• コホモロジーを分析するために、分解 $ H^{k}(A(M), e_\lambda) \cong H^{k}(\partial_M A(M), e_\lambda) \oplus H^{k-1}(\partial_M A(M), e_\lambda) $ を適用する。
• ラテン超立方体から生じる分解可能関係を活用して、次数 $ \ell-1 $ における非自明なコホモロジーを生成する。
• ヘシアン配置や単項式配置を含む明示的構成と既知の実現を用いて、コホモロジーの非消滅を検証する。

実験結果

リサーチクエスチョン

• RQ1 一般の場合を除き、オルリック＝ソロモン代数における非自明なコホモロジーを体系的に構成することは可能か？
• RQ2 ラテン超立方体はどのようにして、$ H^{\ell-1}(A(M), e_\lambda) $ における非自明なコホモロジーを生じる分解可能関係を生成するか？
• RQ3 $ \ell $-一般性が、非自明なコホモロジーを支持するマトロイド構造を保証するために果たす役割は何か？
• RQ4 ヘシアン配置や単項式配置といった古典的配置は、この超立方体に基づく構成によって理解可能か？
• RQ5 直交ラテン超立方体から導かれるマトロイドの第一コホモロジーの次元は何か？

主な発見

• ラテン $ \ell $ 次元超立方体 $ K $ を $ m \geq 2 $ の順序でとると、$ n = (\ell+1)m $ 個の要素を持つ関連マトロイド $ M[K] $ は、特定の重み $ \lambda $ に対して非自明なコホモロジー $ H^{\ell-1}(A(M[K]), e_\lambda) \neq 0 $ を有する。
• $ \mathbb{P}^2 $ における12本の直線からなるヘシアン配置は、$ M[K_1,K_2] $ として実現され、$ \sum \lambda_j = 0 $ である非ゼロの $ \lambda $ に対して $ \dim H^1(A(M[K_1,K_2]), e_\lambda) = 2 $ である。
• 単項式配置 $ \mathcal{A}_{m,m,3} $ は、ラテン平方の構成により、非自明な第一コホモロジーを有する重みを持つことが示された。
• $ \ell = 3 $ の場合、$ 2 \times 2 \times 2 $ ラテン超立方体から得られるマトロイド $ M[K] $ は、非自明な第二コホモロジーを有する4-配置として実現可能である。
• 定義多項式 $ (x_1 - x_2)(x_1 + x_2)\cdots $ を持つ配置 $ \mathcal{B} $ は、$ M[K] $ を実現し、追加の4-サイクルを有し、$ H^2 $ も非自明である。
• この構成はリーブニコフの関係を一般化し、オルリック＝ソロモン代数における非自明なコホモロジーを体系的に生成する手法を提供する。