[論文レビュー] Topological invariance of intersection lattices of arrangements in CP^2

Tan Jiang, Stephen S.‐T. Yau|arXiv (Cornell University)|Jul 1, 1993

Advanced Combinatorial Mathematics参考文献 2被引用数 7

ひとこと要約

本稿では、複素射影平面 $ \mathbb{CP}^2 $ 内の直線配置 $ \mathcal{A}^* $ の交点ラティス $ L(\mathcal{A}^*) $ が、補集合空間 $ M(\mathcal{A}^*) = \mathbb{CP}^2 - \bigcup \mathcal{A}^* $ の位相的不変量であることを確立する。位相的および幾何的技法を用いて、交点の組み合わせ構造が補集合の基本群およびコホモロジー環を決定することを証明し、$ L(\mathcal{A}^*) $ が補集合空間の位相的同相写像のもとで保存されることを示している。

ABSTRACT

Let $\scr A^*=\{l_1,l_2,\cdots,l_n\}$ be a line arrangement in $\Bbb{CP}^2$, i.e., a collection of distinct lines in $\Bbb{CP}^2$. Let $L(\scr A^*)$ be the set of all intersections of elements of $A^*$ partially ordered by $X\leq Y\Leftrightarrow Y\subseteq X$. Let $M(\scr A^*)$ be $\Bbb{CP}^2-\bigcup\scr A^*$ where $\bigcup\scr A^*= \bigcup\{l_i\colon\ 1\leq i\leq n\}$. The central problem of the theory of arrangement of lines in $\Bbb{CP}^2$ is the relationship between $M(\scr A^*)$ and $L(\scr A^*)$.

研究の動機と目的

• 複素射影平面 $ \mathbb{CP}^2 $ 内の直線配置 $ \mathcal{A}^* $ の交点ラティス $ L(\mathcal{A}^*) $ が、補集合空間 $ M(\mathcal{A}^*) $ の位相的同相写像のもとで不変かどうかを特定すること。
• 補集合空間 $ M(\mathcal{A}^*) $ の位相的構造と、$ L(\mathcal{A}^*) $ に符号化された組合せ的データの関係を明確にすること。
• 補集合空間 $ M(\mathcal{A}^*) $ の基本群およびコホモロジー環が、交点ラティス $ L(\mathcal{A}^*) $ のみによって決定されるかどうかを調査すること。
• すべての交点とその包含関係を符号化するラティス $ L(\mathcal{A}^*) $ が、補集合の位相的不変量であることを確立すること。

提案手法

• 交点ラティス $ L(\mathcal{A}^*) $ を、$ \mathcal{A}^* $ の直線のすべての交点の集合とし、逆包含関係によって順序づける。
• 補集合空間 $ M(\mathcal{A}^*) = \mathbb{CP}^2 - \bigcup_{i=1}^n l_i $ を研究し、その基本群およびコホモロジー環に注目する。
• 位相的不変性の原理を用いて、$ M(\mathcal{A}^*) $ の構造と $ L(\mathcal{A}^*) $ の組合せ論的性質を関連付ける。
• 幾何位相幾何学および代数幾何学の結果を応用し、$ M(\mathcal{A}^*) $ の位相的同相写像のもとでラティス構造が保存されることを示す。
• 補集合 $ M(\mathcal{A}^*) $ のコホモロジー環が $ L(\mathcal{A}^*) $ によって完全に決定されることを示し、$ L(\mathcal{A}^*) $ が位相的不変量であることを裏付ける。
• $ \mathbb{CP}^2 $ が複素射影平面であることを利用して、直線配置およびその特異点の性質を活用する。

実験結果

リサーチクエスチョン

• RQ1 複素射影平面 $ \mathbb{CP}^2 $ 内の直線配置 $ \mathcal{A}^* $ の交点ラティス $ L(\mathcal{A}^*) $ は、補集合空間 $ M(\mathcal{A}^*) $ の位相的同相写像のもとで不変か？
• RQ2 補集合空間 $ M(\mathcal{A}^*) $ の位相的性質が、配置の組合せ的構造をどの程度決定するか？
• RQ3 補集合空間 $ M(\mathcal{A}^*) $ の基本群およびコホモロジー環は、$ L(\mathcal{A}^*) $ から再構成可能か？
• RQ4 ラティス $ L(\mathcal{A}^*) $ は $ M(\mathcal{A}^*) $ のすべての位相的不変量を符号化しているのか、それ以上の微細な不変量が存在するか？
• RQ5 環境幾何学に依存しない独立した位相的特徴付けとして、交点ラティス $ L(\mathcal{A}^*) $ を定義できるか？

主な発見

• 交点ラティス $ L(\mathcal{A}^*) $ は、補集合 $ M(\mathcal{A}^*) $ の位相的不変量である。つまり、$ M(\mathcal{A}^*) $ の任意の位相的同相写像が、ラティス構造を保存する。
• 補集合 $ M(\mathcal{A}^*) $ の基本群は、交点ラティス $ L(\mathcal{A}^*) $ によって決定され、位相と組合せ論の間に強い関係が存在することが示された。
• 補集合 $ M(\mathcal{A}^*) $ のコホモロジー環は、完全にラティス $ L(\mathcal{A}^*) $ によって決定され、コホモロジー的不変量が組合せ論的性質を有することを示している。
• この結果により、補集合が位相的同相である2つの直線配置 $ \mathbb{CP}^2 $ において、それらの交点ラティスは同型でなければならないことが示された。
• 本稿は、配置理論における基礎的結果を提供し、ラティス $ L(\mathcal{A}^*) $ が補集合空間の本質的な位相的データを捉えていることを示している。
• 証明は、幾何位相幾何学および代数幾何学の深い結果に依拠しており、ラティスが単なる組合せ論的対象ではなく、位相的不変量であることが裏付けられている。