[論文レビュー] The boundary manifold of a complex line arrangement

Daniel C. Cohen, Alexander I. Suciu|Jul 12, 2006

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

ひとこと要約

本稿は、複素射影平面 $\mathbb{CP}^2$ 内の複素線形配置の境界多様体の位相的構造を調査し、その基本群 $G$ と関連する不変量に焦点を当てる。Alexander多項式 $\Delta(G)$、ねじれ付きAlexander多項式、およびAlexanderノルム球を計算し、形式性の完全な特徴付けを確立する：境界多様体は、配置がパンチュアまたはニアパンチュアである場合に限り形式的である。

ABSTRACT

We study the topology of the boundary manifold of a line arrangement in CP^2, with emphasis on the fundamental group G and associated invariants. We determine the Alexander polynomial Delta(G), and more generally, the twisted Alexander polynomial associated to the abelianization of G and an arbitrary complex representation. We give an explicit description of the unit ball in the Alexander norm, and use it to analyze certain Bieri-Neumann-Strebel invariants of G. From the Alexander polynomial, we also obtain a complete description of the first characteristic variety of G. Comparing this with the corresponding resonance variety of the cohomology ring of G enables us to characterize those arrangements for which the boundary manifold is formal.

研究の動機と目的

• 複素射影平面 $\mathbb{CP}^2$ 内の線形配置の境界多様体 $M$ の基本群 $G = \pi_1(M)$ を理解すること。
• 基本群 $G$ の位相的不変量、特にAlexander多項式 $\Delta(G)$ およびねじれ付きAlexander多項式を計算すること。
• Alexanderノルムの単位球を用いて、$G$ のAlexanderノルムおよびBieri–Neumann–Strebel (BNS) 不変量を分析すること。
• 第一特徴的多様体 $V^1_1(G)$ を特徴付け、それを共振多様体 $\mathcal{R}^1_1(G)$ と比較して形式性を決定すること。
• 線形配置の組合せ論的性質に基づいて、境界多様体 $M$ が形式的であるための完全な基準を確立すること。

提案手法

• 多様体 $M$ のグラフ多様体構造を用いて、ミリディアンに相当する生成子と配置の組合せ論的関係式からなる $G = \pi_1(M)$ の最小表示を導出する。
• 基本群のアーベル化および任意の複素表現を用いて、ねじれ付きAlexander多項式の構成を適用し、不変量を計算する。
• Alexander多項式の構造とそのニュートン多面体を用いて、Alexanderノルムにおける単位球を明示的に記述する。
• 接線錐公式 $\operatorname{TC}_1(V^1_1(G)) = \mathcal{R}^1_1(G)$ を用いる。この公式は形式性のもとで成り立ち、形式性のテストとして用いられる。
• 第一特徴的多様体 $V^1_1(G)$ を $\Delta(G)$ から計算し、共振多様体 $\mathcal{R}^1_1(G)$ と比較して非形式性を検出する。
• QuillenおよびSullivanの形式性基準、およびDimca, Papadima, Suciuの研究を応用し、代数的位相と組合せ論的配置を結びつける。

実験結果

リサーチクエスチョン

• RQ1 複素線形配置の境界多様体 $M$ がいつ形式的であるか？
• RQ2 境界多様体の基本群 $G = \pi_1(M)$ のためのAlexander多項式 $\Delta(G)$ の構造は何か？
• RQ3 群 $G$ のBieri–Neumann–Strebel不変量は、Alexanderノルム球の幾何にどのように関係するか？
• RQ4 線形配置にどのような組合せ論的条件が成立するときに、第一特徴的多様体の接線錐が第一共振多様体に一致するか？
• RQ5 多様体 $M$ のコホロロジー環と群 $G$ のホロノミーLie代数との正確な関係は何か？

主な発見

• 複素射影平面 $\mathbb{CP}^2$ 内の線形配置の境界多様体の基本群 $G = \pi_1(M)$ は、ミリディアン生成子と配置の組合せ論的関係式からなる最小表示を持つ。
• Alexander多項式 $\Delta(G)$ は配置の組合せ論的性質によって完全に決定され、そのニュートン多面体はAlexanderノルムにおける単位球を記述する。
• 第一特徴的多様体 $V^1_1(G)$ は、余次元1の部分トーラスの和集合であり、その恒等元における接線錐が共振多様体 $\mathcal{R}^1_1(G)$ に等しいのは、配置がパンチュアまたはニアパンチュアである場合に限る。
• 境界多様体 $M$ は、配置がパンチュアまたはニアパンチュアである場合に限り形式的である。これは、接線錐と共振多様体の一致によって示される。
• 一般位置の4本の直線からなる配置では、群 $G$ は1-形式的でない（したがって $M$ も形式的でない）ことが、$\operatorname{gr}(G)\otimes\mathbb{Q}$ と $\mathfrak{h}(G)$ のHilbert級数の不一致によって裏付けられる。
• 接線錐公式による形式性基準は、配置がパンチュアまたはニアパンチュアである場合に限り成立し、形式性の完全な組合せ論的特徴付けを提供する。