[論文レビュー] Intersection Homology and Alexander Modules of Hypersurface Complements

Laurenţiu Maxim|arXiv (Cornell University)|Sep 21, 2004

Geometric and Algebraic Topology参考文献 19被引用数 7

ひとこと要約

本稿は、複素射影空間内の超曲面補集合のアレクサンダーモジュールを研究するための新しい交差ホモロジー枠組みを導入する。$ i \leq n $ のとき、これらのモジュールが有理ラテン多項式環上にねじれであることを示している。主な貢献は、関連するグローバルアレクサンダー多項式の零点が、局所的特異的層のトポロジーによって完全に決定される$ d $次の単位根であることであり、リブゴーバーの結果を非孤立特異点へと拡張するものである。導来カテゴリの技法を用いる。

ABSTRACT

Let $V$ be a degree $d$, reduced hypersurface in $\mathbb{CP}^{n+1}$, $n \geq 1$, and fix a generic hyperplane, $H$. Denote by $\mathcal{U}$ the (affine) hypersurface complement, $\mathbb{CP}^{n+1}- V \cup H$, and let $\mathcal{U}^c$ be the infinite cyclic covering of $\mathcal{U}$ corresponding to the kernel of the linking number homomorphism. Using intersection homology theory, we give a new construction of the Alexander modules $H_i(\mathcal{U}^c;\mathbb{Q})$ of the hypersurface complement and show that, if $i \leq n$, these are torsion over the ring of rational Laurent polynomials. We also obtain obstructions on the associated global polynomials. Their zeros are roots of unity of order $d$ and are entirely determined by the local topological information encoded by the link pairs of singular strata of a stratification of the pair $(\mathbb{CP}^{n+1},V)$. As an application, we give obstructions on the eigenvalues of monodromy operators associated to the Milnor fibre of a projective hypersurface arrangement.

研究の動機と目的

• 孤立特異点をもつ超曲面におけるリブゴーバーのアレクサンダーモジュールに関する結果を、非孤立特異点をもつものへと一般化すること。
• 係数が$ \Gamma = \mathbb{Q}[t,t^{-1}] $である局所システムを用いた、アレクサンダーモジュールの新しいホモロジー的構成を提供すること。
• 非孤立特異点が存在する場合でも、$ i \leq n $ のとき、アレクサンダーモジュール$ H_i(\mathcal{U}^c; \mathbb{Q}) $ が$ \Gamma $上ねじれであることを確立すること。
• グローバルアレクサンダー多項式が、特異的層の局所的リンク不変量によって完全に決定され、その零点が$ d $次の単位根であることを示すこと。

提案手法

• リンク数ホモーモルフィズムを用いて、$ \mathcal{U} = \mathbb{CP}^{n+1} \setminus (V \cup H) $ 上に、茎が$ \Gamma = \mathbb{Q}[t,t^{-1}] $である局所システム$ \mathcal{L}_H $ を定義する。
• ホイットニー分離空間に対するデリーニの公理的技法を用いて、交差ホモロジー複体$ IC_{\bar{m}}^\bullet(\mathbb{CP}^{n+1}, \mathcal{L}_H) $ を構成する。
• $ IC_{\bar{m}}^\bullet $ を$ V \cup H $ に制限したとき、それが擬等長的であることを証明し、交差ホモロジーと古典的アレクサンダーモジュールの間に同型を確立する。
• 導来カテゴリの枠組みを用いて、アレクサンダーモジュールをハイパコホモロジー群$ \mathbb{H}^{-i}(\mathbb{CP}^{n+1}; IC_{\bar{m}}^\bullet) $ として実現し、$ i \leq n $ のときそれがねじれであることを示す。
• 特異的層のリンク対の解析を通じて、グローバルアレクサンダー多項式と局所不変量を関連させ、その零点が$ d $次の単位根であることを示す。
• 射影的配置のミルナー線形化への理論の応用により、グローバルモジュール構造とモノドロミー固有値を結びつける。

実験結果

リサーチクエスチョン

• RQ1 交差ホモロジーは、非孤立特異点をもつ超曲面補集合のアレクサンダーモジュールをどのように構成し記述できるか。
• RQ2 グローバルアレクサンダーモジュールと特異的層の局所的トポロジーとの間の明確な関係は何か。
• RQ3 グローバルアレクサンダー多項式の零点がなぜ$ d $次の単位根であるのか、そしてそれがどのように局所リンク不変量によって決定されるのか。
• RQ4 $ V $ が非孤立特異点をもつ場合、アレクサンダーモジュールが$ \Gamma $上ねじれのままである範囲はどの程度か。
• RQ5 この交差ホモロジー枠組みを用いて、ミルナー・ファイバーのモノドロミー固有値を制約できるか。

主な発見

• $ i \leq n $ のとき、非孤立特異点をもつ場合でも、アレクサンダーモジュール$ H_i(\mathcal{U}^c; \mathbb{Q}) $ は環$ \Gamma = \mathbb{Q}[t,t^{-1}] $上ねじれである。
• グローバルアレクサンダー多項式$ \delta_i(t) $ の零点は$ d $次の単位根であり、これらは特異的層の局所的リンク対のトポロジーによって完全に決定される。
• $ V $ が有理ホモロジー多様体であり、$ H $ が一般的であるとき、$ i \leq n $ に対して$ \delta_i(t) $ は$ t-1 $ の因子を含まない。これは命題2.1で示されている。
• 複素射影空間$ \mathbb{CP}^3 $ 内の超曲面$ x^3 + y^3 + z^3 + z^2 = 0 $ に対して、アレクサンダーモジュール$ H_2(\mathcal{U}^c; \mathbb{Q}) $ は自明である。すなわち$ \delta_2(t) \sim 1 $ である。これは$ t-1 $ および非単位根の因子が存在しないことによる。
• $ f(x,y,z,t) = x^{d-1}z + x t^{d-1} + y^d + x y t^{d-2} $ の場合、グローバルアレクサンダー多項式は$ \delta_2(t) = t^{d-1} + \cdots + 1 $ に一致し、ミルナーモノドロミーの特性多項式と一致する。
• 交差ホモロジー構成により、$ IH_i^{\bar{m}}(\mathbb{CP}^{n+1}; \mathcal{L}_H) $ と古典的アレクサンダーモジュール$ H_i(\mathcal{U}^c; \mathbb{Q}) $ の間に自然な同型が得られ、新しい双対性枠組みが確立される。