[論文レビュー] 4-manifolds as covers of S^4 branched over non-singular surfaces

Massimiliano Iori, Riccardo Piergallini|arXiv (Cornell University)|Mar 9, 2002

Geometric and Algebraic Topology被引用数 5

ひとこと要約

本稿は、任意の閉じた向き付け可能なPL 4次元多様体が、局所的に平坦な分岐表面をもつ4次元球面 S⁴ への単純な5重被覆をもつことの証明により、モンテシノス予想を解決している。著者らは、4重被覆の5重安定化におけるノード特異点をコボルディズム構成により解消し、全空間の位相型を変えることなく特異点を除去できることを示している。

ABSTRACT

We prove the long-standing Montesinos conjecture that any closed oriented PL 4-manifold M is a simple covering of S 4 branched over a locally flat surface (cf. [7]). In fact, we show how to eliminate all the node singularities of the branching set of any simple 4-fold branched covering M → S 4 arising from the representation theorem given in [8]. Namely, we construct a suitable cobordism between the 5-fold stabilization of such a covering (obtained by adding a fifth trivial sheet) and a new 5-fold covering M → S 4 whose branching set is locally flat. It is still an open question whether the fifth sheet is really needed or not.

研究の動機と目的

• すべての閉じた向き付け可能なPL 4次元多様体に対してS⁴への単純な分岐被覆が存在することを示す、長年の未解決であったモンテシノス予想を解決すること。
• 文献[8]における表現定理から得られるS⁴への4重分岐被覆の分岐集合に生じるノード特異点を解消すること。
• 4重被覆の5重安定化と、局所的に平坦な分岐表面をもつ新たな5重被覆との間のコボルディズムを構成すること。
• 分岐集合の特異点を解消するために第5のシートが位相的に必要かどうかを特定すること。

提案手法

• 与えられた4重分岐被覆に自明な第5シートを追加することで、5重被覆に安定化する。
• 安定化された5重被覆と、分岐集合の性質が向上した新たな5重被覆との間のコボルディズムを構築する。
• コボルディズムを用いて、被覆の分岐集合におけるノード特異点を体系的に解消する。
• コボルディズム過程でモノドロミーと特異点集合の振る舞いを制御することで、結果として得られる分岐集合が局所的に平坦であることを保証する。
• 文献[8]の表現定理を応用し、制御された特異点をもつ初期の4重分岐被覆を生成する。
• コボルディズム全体を通して全空間の被約同相型を保ち、最終的な被覆が元の4次元多様体と位相的に同値であることを保証する。

実験結果

リサーチクエスチョン

• RQ1 任意の閉じた向き付け可能なPL 4次元多様体は、局所的に平坦な分岐表面をもつS⁴への単純な分岐被覆として実現可能か？
• RQ2 コボルディズム構成を用いて、S⁴への4重分岐被覆の分岐集合におけるノード特異点を解消することは可能か？
• RQ3 分岐被覆に第5のシートを追加することは、局所的に平坦な分岐集合を達成するために必要不可欠な役割を果たすか？
• RQ4 4重被覆の5重安定化は、位相的コボルディズムを介して、局所的に平坦な分岐表面をもつ新たな5重被覆に変換可能か？
• RQ5 特異点の解消を実現するにあたり、全空間の変形を伴わずに保たれる位相的不変量や構造は何か？

主な発見

• モンテシノス予想は確認された：任意の閉じた向き付け可能なPL 4次元多様体は、局所的に平坦な分岐表面をもつS⁴への単純な5重分岐被覆である。
• 4重分岐被覆の分岐集合におけるノード特異点は、5重安定化被覆と新たな5重被覆との間のコボルディズムを用いて体系的に解消可能である。
• 得られた5重被覆の分岐集合は局所的に平坦であり、分岐軌道の位相的正則性が保証される。
• コボルディズム過程中、被覆の全空間は元の4次元多様体と被約同相のままである。
• 第5のシートは特異点の解消に十分であるが、それが厳密に必要かどうかは未解決のまま残っている。
• この構成により、特異な分岐被覆を、元の多様体を変形せずに滑らかに見える（局所的に平坦な）ものに変換する位相的メカニズムが提供される。