[論文レビュー] Gauss-Manin Connections for Arrangements

Daniel C. Cohen, Peter Orlik|ArXiv.org|May 9, 2001

Advanced Combinatorial Mathematics参考文献 21被引用数 8

ひとこと要約

本稿は、超平面配置の補集合上のランク1局所系のコホロロジーに対して、Aomoto複体から構成される普遍複体を用いて、形式的 Gauss-Manin 接続を構成する。この接続の固有値が、常に局所系を定義する重みの整数線形結合であることを証明し、任意の配置と重みについて固有値の整数性に関するTeraoの問いに答えている。

ABSTRACT

We construct a formal connection on the Aomoto complex of an arrangement of hyperplanes, and use it to study the Gauss-Manin connection for the moduli space of the arrangement in the cohomology of a complex rank one local system. We prove that the eigenvalues of the Gauss-Manin connection are integral linear combinations of the weights which define the local system.

研究の動機と目的

• 超平面配置の補集合上のランク1局所系のコホロロジーに対して、形式的 Gauss-Manin 接続を構成すること。
• 固定された組合せ型を持つ配置のモジュライ空間の基本群を用いて、局所系コホロロジーへのモノドロミー作用を研究すること。
• Teraoが提起した、Gauss-Manin接続の固有値が常に局所系を定義する重みの整数線形結合であるかどうかという問いを解決すること。
• 重みの特殊化によって局所系コホロロジーを計算する、複素トーラスの座標環上の普遍複体を確立すること。

提案手法

• 重み $ \boldsymbol{\nu}_j $ に対応する変数 $ x_j $ を持つローレンツ多項式環 $ \boldsymbol{\nu} = \boldsymbol{C}[x_1^{\boldsymbol{\nu}}, \boldsymbol{\nu}, x_n^{\boldsymbol{\nu}}] $ 上に、普遍複体 $ (K^{\bullet}_{\boldsymbol{\nu}}, \nabla^{\bullet}(\boldsymbol{x})) $ を構成する。
• 複素トーラス $ ({\boldsymbol{C}}^*)^n $ の単位元におけるモノドロミー表現の線形化として、形式的接続を定義する。この際、モノドロミー行列の対数を用いる。
• 区分けられたモース理論を用いて、係数が普遍環 $ \boldsymbol{\nu} $ に値をとるチェイン複体を構成し、$ t_j = \text{exp}(-2\boldsymbol{\nu}i\boldsymbol{\nu}_j) $ に特殊化することで局所系コホロロジーを回復する。
• モノドロミー表現行列の固有値が $ x_j $ の単項式であることを示し、したがってそれらの対数微分（形式的接続）が $ \boldsymbol{\nu}_j $ に関する一次形式を成分にもつ行列をもたらすことを示す。
• 形式的接続を $ y_j = \boldsymbol{\nu}_j $ で特殊化して得られる Gauss-Manin 接続行列の固有値が、$ \boldsymbol{\nu}_j $ の整数線形結合であることを証明する。
• 非共鳴および共鳴局所系の具体例において、普遍複体の特殊化によるコホロロジーへの誘導写像を計算することで、結果を検証する。

実験結果

リサーチクエスチョン

• RQ1 超平面配置の補集合上の局所系コホロロジーにおける Gauss-Manin 接続の固有値は、常にその局所系を定義する重みの整数線形結合であるか？
• RQ2 ローレンツ多項式環上に、その特殊化が配置の補集合上のランク1局所系のコホロロジーを計算する普遍複体を構成できるか？
• RQ3 配置のモジュライ空間のモノドロミー表現から生じる形式的接続は、整数固有値を持つ Gauss-Manin 接続をもたらすか？
• RQ4 モジュライ空間の基本群の表現行列は、共鳴局所系のコホロロジーにどのように作用するか？
• RQ5 局所系コホロロジーにおける接続行列は、組合せ的局所系に対して、Orlik-Solomon代数のコホロロジーにおけるものとどの程度一致するか？

主な発見

• Gauss-Manin 接続の固有値が $ H^*(M; \boldsymbol{L}) $ において、重み $ \boldsymbol{\nu}_1, \boldsymbol{\nu}_2, \boldsymbol{\nu}_3, \boldsymbol{\nu}_4 $ の整数線形結合であることが示され、すべての配置とすべての重みについて Terao の予想が裏付けられた。
• 4つの超平面からなる特定の配置について、2次コホロロジーにおける Gauss-Manin 接続行列は $ \begin{bmatrix} \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & 0 \\ \boldsymbol{\nu}_2 & 0 \nolimits \right] $ であり、転置を除いて Terao の結果と一致する。
• 共鳴の場合、$ t_1 t_2 t_3 = 1 $ かつ $ t_4 = 1 $ のとき、2次コホロロジーにおける Gauss-Manin 行列は $ \begin{bmatrix} \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & 0 & 0 \\ 0 & \boldsymbol{\nu}_1 + \boldsymbol{\nu}_2 & -\boldsymbol{\nu}_3 \\ 0 & 0 & 0 \nolimits \right] $ であり、固有値が $ \boldsymbol{\nu}_j $ の整数結合である。
• 共鳴局所系の1次コホロロジーにおける表現行列は $ [t_1 t_2] $ であり、対応する Gauss-Manin 行列は $ [\boldsymbol{\nu}_1 + \boldsymbol{\nu}_2] $ であり、再び重みに関して整数的である。
• 組合せ的局所系の場合、局所系コホロロジーにおける Gauss-Manin 接続行列は、Orlik-Solomon代数のコホロロジーにおけるものと一致し、接続の組合せ的性質を確認した。
• 形式的接続は、複素トーラス $ ({\boldsymbol{C}}^*)^n $ の単位元におけるモノドロミー表現の線形化として実現され、$ y_j = \boldsymbol{\nu}_j $ で特殊化することで、コホロロジー上の Gauss-Manin 接続が得られる。