[論文レビュー] The Structure and Singularities of Arc Complexes

Robert Penner|ArXiv.org|Oct 28, 2004

Geometric and Algebraic Topology参考文献 21被引用数 6

ひとこと要約

この論文は、境界付き曲面の弧複体が位相的に球面であるかどうかを分類し、多角形の弧複体に関する古典的結果を拡張する。曲面の genus g、r 個の境界成分、s 個の特異点を持つとき、弧複体が球面であるための必要十分条件は (g,r,s) = (0,1,2)、(0,2,1)、または (0,3,0) であり、後者の場合は2-単体上への3-トーラスバンドルである。また、これらの複体が、リーマン曲面のモジュライ空間の自然なコンパクト化における特異点の局所位相を支配することを確立する。

ABSTRACT

A classical combinatorial fact is that the simplicial complex consisting of disjointly embedded chords in a convex planar polygon is a sphere. For any surface F with non-empty boundary, there is an analogous complex Arc(F) consisting of suitable equivalence classes of arcs in F connecting its boundary components. The main result of this paper is the determination of those arc complexes Arc(F) that are also spherical. This classification has consequences for Riemann's moduli space via its known identification with an analogous arc complex in the punctured case with no boundary. Namely, the essential singulities of the natural cellular compactification can be described.

研究の動機と目的

• 境界付き曲面の弧複体が球面に同相であるものを分類すること。
• 境界、特異点、およびマークされた境界点をもつ曲面の弧複体の位相的構造を理解すること。
• 弧複体の局所幾何学を、リーマンのモジュライ空間の自然なセルコンパクト化の特異点と関連付けること。
• 古典的な多角形の弧複体に関する結果（例：n角形の弧複体 = S^{n-4}）を、genus と境界成分をもつ曲面へ一般化すること。
• 3-特異点球面（P = F_{0,3}^0）の弧複体にトーリックバンドル構造を確立し、測度付き foliation およびデーン回転作用と関連付けること。

提案手法

• 境界成分における交差数（m_i）とねじれ数（t_i）による重み付き弧族のパラメータライゼーションを用いる。
• 純写像類群のデーン回転作用を適用し、ねじれ数を m_i だけシフトすることで、Z^3-作用を定義し、|t_i| ≤ m_i/2 となる基本領域を構成する。
• 純写像類群による商として前弧複体を割ることで、射影的交差クラスの2-単体上へのトーリックバンドル構造として弧複体を構成する。
• ジョイン構成を用いる：Arc(F_{0,3}^0) ≈ S^1_1 * S^1_2 * S^1_3 であり、これは3次元球面であることを示す。
• r+s=3 である（例：F_{0,1}^2、F_{0,2}^1、F_{0,3}^0）ような曲面の弧複体が、それぞれ次元1, 2, 3の球面であることを用いる。
• 弧複体が測度付き foliation の空間と同一視され、写像類群のその空間への作用の既知の構造に依存する。

実験結果

リサーチクエスチョン

• RQ1 genus g、r 個の境界成分、s 個の特異点をもつ境界付き曲面 F に対して、弧複体 Arc(F) が位相的球面であるのはどのような場合か？
• RQ2 Arc(F) の位相は、リーマンの曲線のモジュライ空間の自然なコンパクト化における特異点とどのように関係するか？
• RQ3 3-特異点球面（F_{0,3}^0）の弧複体のグローバル構造は何か？ また、どのように分解されるか？
• RQ4 デーン回転は重み付き弧族の空間にどのように作用するか？ また、その商構造はどのようなものか？
• RQ5 交差数とねじれ数（m_i, t_i）は、弧類のパラメータライゼーションおよび弧複体の構成において果たす役割は何か？

主な発見

• 弧複体 Arc(F) が球面であるのは、(g,r,s) = (0,1,2)、(0,2,1)、(0,3,0) の場合に限る。それぞれ次元は1, 2, 3である。
• 3-特異点球面（F_{0,3}^0）の弧複体は、三つの円のジョイン：S^1_1 * S^1_2 * S^1_3 と同相であり、したがって3次元球面である。
• F_{0,2}^1 の弧複体は S^1 * S^1 と同相であり、2次元球面である。
• F_{0,1}^2 の弧複体は S^1 と同相であり、1次元球面である。
• 3-特異点球面（P = F_{0,3}^0）の弧複体 Arc(P) は、射影的交差クラスの2-単体上へのトーリックバンドル構造をもつ。各ストラトムに応じて、3-トーラス、2-トーラス、または円がファイバーとして現れる。
• この分類により、リーマンのモジュライ空間の自然なセルコンパクト化の特異点は、境界付き曲面の弧複体の局所位相によって支配されることが示唆される。