[論文レビュー] The dual boundary complex of the $SL_2$ character variety of a punctured sphere

Carlos Simpson|arXiv (Cornell University)|Apr 21, 2015

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

ひとこと要約

本稿は、$k$ 個の穴あきをもつ球面の $SL_2(\mathbb{C})$ 表現多様体の双対境界複体が、モノドロミーの共轭類に一般的な条件が成り立つ場合、次元 $2(k-3)-1$ の球面とホモトピー同値であることを証明する。証明は、パンツへの分解、フェンケル＝ニーデルセン座標、およびホモトピー論的還元技術を用い、境界複体がヒチンのファイブレーションの無限遠の球面から生じることを示し、$P=W$ 猜想の幾何的版を支持する。

ABSTRACT

Suppose $C_1,\\ldots , C_k$ are generic conjugacy classes in $SL_2({\\mathbb C})$. Consider the character variety of local systems on ${\\mathbb P}^1-\\{ y_1,\\ldots , y_k\\}$ whose monodromy transformations around the punctures $y_i$ are in the respective conjugacy classes $C_i$. We show that the dual boundary complex of this character variety is homotopy equivalent to a sphere of dimension $2(k-3)-1$.

研究の動機と目的

• 穴あき球面に $k$ 個の穴がある $SL_2(\mathbb{C})$ 表現多様体の双対境界複体のホモトピー型を、一般なモノドロミー条件のもとで確立すること。
• 双対境界複体をドルベオーのモジュライ空間の無限遠の球面と同定することで、$P=W$ 猜想に対する幾何的・位相的証拠を提供すること。
• パンツへの分解とフェンケル＝ニーデルセン座標を用いて、非一般の場合にも表現多様体の理解を拡張すること。
• 双対境界複体がコンパクト化の選び方に依存しないこと、およびモジュライ空間の本質的な位相を捉えていることを示すこと。

提案手法

• 正則交差コンパクト化による双対境界複体の構成法を用い、そのホモトピー型がコンパクト化の選び方に依存しないことを示す。
• ホモトピー還元技術の適用：$Z \subset X$ が滑らかで閉じた部分多様体であり、その双対境界複体が可縮であるなら、$\mathbb{D}\partial X \to \mathbb{D}\partial(X\setminus Z)$ はホモトピー同値である。
• $\mathbb{A}^1 \times Y$ が可縮な双対境界複体を持つという事実を活用し、分解における部分多様体を逐次除去可能にする。
• $(k-3)$ 個の互いに交わらない円周により、穴あき球面を $k-3$ 個のパンツに分解する。各円周はフェンケル＝ニーデルセン座標に対応する。
• 局所系をモノドロミーのトレースと $\mathbb{G}_m$ 上の貼り合わせデータでパラメトライズし、$\mathbb{A}^{k-3}$ 上のファイブレーションをなす。ファイバーは $\mathbb{G}_m^{k-3}$ である。
• 安定性条件と剛性定理を用いて、モノドロミーのトレースが $\pm 2$ となる退化した場合を扱い、各パンツ上での局所系の一意性を保証する。

実験結果

リサーチクエスチョン

• RQ1 穴あき球面に $k$ 個の穴がある $SL_2(\mathbb{C})$ 表現多様体の双対境界複体のホモトピー型は何か？
• RQ2 ドルベオーのモジュライ空間におけるヒチンのファイブレーションの無限遠の球面と、双対境界複体はどのように関係するか？
• RQ3 フェンケル＝ニーデルセン座標系を用いて、表現多様体の境界複体の位相を計算できるか？
• RQ4 双対境界複体は正則交差コンパクト化の選び方に依存しないか？
• RQ5 $P=W$ フレームワークにおいて予想されているように、ベティモジュライ空間の双対境界複体はドルベオーのモジュライ空間の無限遠の球面と一致するか？

主な発見

• 穴あき球面に $k$ 個の穴がある $SL_2(\mathbb{C})$ 表現多様体の双対境界複体は、モノドロミーの共轭類に一般的な条件が成り立つ場合、次元 $2(k-3)-1$ の球面とホモトピー同値である。
• この結果は、$\mathbb{P}^1$ から $k$ 点を除いた $SL_2$ 局所系の文脈における予想 11.1 を確認し、$P=W$ 猜想に対する位相的証拠を提供する。
• 証明は、双対境界複体が可縮である $\mathbb{A}^1 \times Y$ と同型な部分多様体を順次除去することで生じる連続的なホモトピー同値性に依存する。
• フェンケル＝ニーデルセン座標は、$\mathbb{A}^{k-3}$ 上のファイブレーションをなす。ファイバーは $\mathbb{G}_m^{k-3}$ であり、この構造が双対境界複体の位相的計算の根幹をなす。
• 双対境界複体が自然にドルベオーのモジュライ空間におけるヒチンのファイブレーションの無限遠の球面と同一視されることを示し、予想 11.1 におけるホモトピー的可換四角形の支持となる。
• $k=4$ の場合はフリッケ＝クラインの関係式から再現され、$k=5$ は以前に共鳴により証明済みであったが、これらは一般結果の下で統一される。