[論文レビュー] On the Milnor Monodromy of the Exceptional Reflection Arrangement of Type $G_{31}$

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jan 1, 2018

Algebraic structures and combinatorial models被引用数 6

ひとこと要約

本稿は、SINGULARを用いた計算代数計算とスペクトル系列のアプローチを組み合わせることで、例外的複素反射群 $G_{31}$ のミルナー多様体の1次コホモロジーにおけるモノドロミー作用を決定する。主な結果は、$H^1(F(G_{31}), \mathbb{C})$ におけるモノドロミー作用素が恒等写像であることであり、これにより1次ベッチ数が59であることが示され、すべての既約複素反射群に対するモノドロミー作用素の分類が完了する。

ABSTRACT

Combining recent results by A. M\u acinic, S. Papadima and R. Popescu with a spectral sequence and computer aided computations, we determine the monodromy action on $H^1(F,\C)$, where $F$ denotes the Milnor fiber of the hyperplane arrangement associated to the exceptional irreducible complex reflection group $G_{31}$. This completes the description given by the first author of such monodromy operators for all the other irreducible complex reflection groups.

研究の動機と目的

• すべての既約複素反射群に対するミルナー多様体の1次コホモロジーにおけるモノドロミー作用素の分類を完成させるために、従来の手法では対処できなかった $G_{31}$ の場合を解消すること。
• 定義多項式の次数が60で、$\mathbb{C}^4$ 内に60個の超平面を持つ例外的複素反射群 $G_{31}$ に対して、$H^1(F(G_{31}), \mathbb{C})$ におけるモノドロミー作用を計算すること。
• モノドロミー作用素が恒等写像であることを、新しいスペクトル系列と計算代数の手法を用いて確立し、これにより1次ベッチ数 $b_1(F(G_{31})) = 59$ が得られることを示すこと。
• 古典的手法が失敗する高次元特異点、特に非自由配置に対して、モノドロミー計算のための計算フレームワークを提供すること。
• スペクトル系列とSINGULARベースの計算を組み合わせることで、特異点論および超平面配置における複雑なコホモロジー問題を解消する有効性を示すこと。

提案手法

• $G_{31}$ 配置を定義する60次多項式 $f$ の部分導函数のカーネル複体に関連するスペクトル系列 $E^{s,t}_1(f)^k$ を用いる。
• 極の位数フィルトレーションとモノドロミー固有空間分解を適用し、$E^{1,0}_2(f)^k$ を $H^1(F, \mathbb{C})$ におけるモノドロミー作用と関連付ける。
• 定理2.1の基準を適用：$\lambda \neq 1$ に対して $H^1(F, \mathbb{C})_\lambda = 0$ であるための必要十分条件は $E^{1,0}_2(f)^k = 0$ かつ $E^{1,0}_2(f)^{d-k} = 0$ であることから、問題を $E^{1,0}_2(f)^{50}$ の消滅の確認に還元する。
• ヤコビ関係のシンジーキー理論を用いて、$df \wedge \omega = 0$ かつ $d\omega = 0$ を満たす50次2次形式 $\omega$ の空間を解析する。
• SINGULARを用いた記号計算により、$d\omega = 0$ から生じる19,600本の一次方程式を1,424変数（$A'_1, A'_2, A'_3$ の係数）の系に簡約する。
• SINGULARを用いて、$d\omega = 0$ を満たす唯一の解が自明解であることを確認し、$E^{1,0}_2(f)^{50} = 0$ を証明する。

実験結果

リサーチクエスチョン

• RQ1 例外的複素反射群 $G_{31}$ の場合、$H^1(F(G_{31}), \mathbb{C})$ におけるモノドロミー作用素は何か？
• RQ2 $G_{31}$ に対しては標準的手法がモノドロミー計算に失敗する理由は何か？ どのような代替的手法が有効か？
• RQ3 非自由かつ高次元な配置に対して、スペクトル系列と計算代数を用いてミルナー多様体の1次コホモロジーにおけるモノドロミー作用を決定することは可能か？
• RQ4 $G_{31}$ のミルナー多様体の1次ベッチ数 $b_1(F(G_{31}))$ は何か？
• RQ5 閉性条件 $d\omega = 0$ から得られる一次方程式系は、$G_{31}$ の場合、50次2次形式に対して唯一自明な解しか持たないか？

主な発見

• モノドロミー作用素が恒等写像であることが、$E^{1,0}_2(f)^{50} = 0$ を示すことによって証明された。
• $F(G_{31})$ のミルナー多様体の1次ベッチ数は $b_1(F(G_{31})) = 59$ であり、これは $H^1(F(G_{31}), \mathbb{C})$ の次元として計算された。
• $df \wedge \omega = 0$ を満たす50次2次形式 $\omega$ の空間の次元は1,424であり、これは同次多項式 $A'_1 \in S_{18}, A'_2 \in S_2, A'_3 \in S_6$ によってパラメトライズされる。
• $d\omega = 0$ から得られる19,600本の一次方程式系（特に式(E4)）は、SINGULARによる検証により唯一自明な解しか持たないことが確認された。
• モノドロミー作用が自明であるのは対称性によるのではなく、ヤコビシンジーキーの特定の構造と、関連するスペクトル系列項の消滅に起因する。
• この結果により、すべての既約複素反射群における $H^1$ におけるモノドロミー作用素の分類が完了した。$G_{31}$ を除き、これまでのところすべての群で同様の結果が得られていた。