[論文レビュー] On compactifications of character varieties of $n$-punctured projective line

Arata Komyo|arXiv (Cornell University)|Jul 30, 2013

Algebraic Geometry and Number Theory参考文献 12被引用数 3

ひとこと要約

本稿は、$n$-穿孔付き射影直線の$SL_2(\mathbb{C})$-特徴的多様体のコンパクト化を構成し、吹き上げと単体的分解を用いて境界複体を分析することで、シンプソンの境界除数の配置に関する予想を検証する。境界複体が球面の単体的分解であることを証明し、シンプソンが予想したホモトピー型を確認する。

ABSTRACT

In this paper, we construct compactifications of $SL_2(\mathbb{C})$-character varieties of $n$-punctured projective line and study the boundary divisor of the compactifications. This study is motivated by the conjecture for the configuration of the boundary divisor, due to C. Simpson. We verify the conjecture for a few examples.

研究の動機と目的

• $SL_2(\mathbb{C})$-特徴的多様体の$n$-穿孔付き射影直線に対する滑らかなコンパクト化を、正規交叉境界除数を持つように構成すること。
• このようなコンパクト化の境界複体のホモトピー型に関するシンプソンの予想を検証すること。
• 吹き上げと単体的分解の技法を用いて、境界除数の既約成分の配置を分析すること。
• 境界複体が球面の単体的分解であることを確立し、予想されたホモトピー型を確認すること。

提案手法

• 境界除数のストラトスに沿った繰り返しの吹き上げにより特異点を解消し、正規交叉を保証することでコンパクト化を構成する。
• 境界複体$\Delta(D^{{\it B}}_{g,\boldsymbol{\mu}})$を用いて、境界除数の既約成分の交差パターンを符号化する。
• 非アーベルホッジ理論とヒチン・ファイブレーションを用いて、ドルベールとベティのモジュライ空間およびそのコンパクト化を関連付ける。
• 境界成分の交わり（例：$E_i \cap E_j$、$E_i \cap \text{ex}_{k,k+2}^{\pm}$）を分析し、既約性と非空性を特定する。
• 幾何的貼り合わせ手順を用いて、成分の既約交わりから2次元および3次元単体を構成する。
• 頂点を$\mathbb{R}^4$内の$S^2 \subset \mathbb{R}^4$上に配置し、$\text{ex}_1, \text{ex}_2$を極に接続することで、得られた境界複体が$S^3$の単体的分解であることを示す。

実験結果

リサーチクエスチョン

• RQ1 $n$-穿孔付き射影直線の$SL_2(\mathbb{C})$-特徴的多様体のコンパクト化の境界複体は、球面のホモトピー型を持つだろうか？
• RQ2 境界除数の配置は、予想された構造と一致する単体的分解によって記述可能だろうか？
• RQ3 境界成分の交わりは、単体的構造を支えるように既約かつ非空であろうか？
• RQ4 特殊点の軌道に沿った吹き上げは、特異点をどのように解消し、境界複体の構成をどのように促進するだろうか？

主な発見

• コンパクト化の境界複体$\Delta(D^{{\it B}}_{g,\boldsymbol{\mu}})$は、$S^3$の単体的分解である。これは、予想されたホモトピー型を確認する。
• $\text{ex}_{1,3}^{+} \cap E_2$、$\text{ex}_{1,3}^{-} \cap E_4$、$\text{ex}_{2,4}^{+} \cap E_1$、および$\text{ex}_{2,4}^{-} \cap E_3$の交わりは非空かつ既約であり、単体的構造を支持する。
• $E_1 \cap E_2 \cap \text{ex}_{1,3}^{+}$および$E_2 \cap E_3 \cap \text{ex}_{1,3}^{+}$は、$E_{1,3}^{+}$に沿った吹き上げ後に既約であることが示され、三角形の貼り合わせが可能になる。
• $E_i \cap E_{i+1} \cap \text{ex}_j$および$E_{k,k+2}^{\pm} \cap \text{ex}_j$の3重交わりは非空かつ既約であり、3単体の貼り合わせが可能である。
• $\text{ex}_1$または$\text{ex}_2$を含む4重交わりは互いに貼り合わされ、複体は$S^3$の三角形分割を形成する。
• 境界複体はコンパクト化の選択に依存せず、構造のホモトピー不変性を確認する。