[論文レビュー] Quandles and Lefschetz Fibrations

David N. Yetter|ArXiv.org|Jan 28, 2002

Geometric and Algebraic Topology参考文献 12被引用数 5

ひとこと要約

本稿では、単純閉曲線の同値類にデーンねじれによって誘導されるクエンドル演算を備えた、向き付けられた曲面のデーンクエンドルを導入する。リーマン・フィブレーションのモノドロミーが、特異値を除いた基底のノットクエンドルからファイバーのデーンクエンドルへのクエンドル準同型として記述できることを示し、D²またはS²上の genus ≥2 フィブレーションでは、同型類がクエンドルモノドロミーによって一意に定まることを証明する。これにより、不変量を構成するための新しい代数的枠組みが提供される。

ABSTRACT

We show that isotopy classes of simple closed curves in any oriented surface admit a quandle structure with operations induced by Dehn twists, the Dehn quandle of the surface. We further show that the monodromy of a Lefschetz fibration can be conveniently encoded as a quandle homomorphism from the knot quandle of the base as a manifold with a codimension 2 subspace (the set of singular values) to the Dehn quandle of the generic fibre, and discuss prospects for construction of invariants arising naturally from this description of the monodromy.

研究の動機と目的

• デーンねじれを用いて、向き付けられた曲面上の単純閉曲線の同値類にクエンドル構造を定義すること。
• 従来のモノドロミー記述が持つ曖昧さと幾何的制約の問題を回避するための、群論的代替手法を提供すること。
• リーマン・フィブレーションのモノドロミーが、基底のノットクエンドルからファイバーのデーンクエンドルへの自然なクエンドル準同型として記述できることを示すこと。
• クエンドル準同型、クエンドルコホロジー、および彩色の数え上げを用いて、リーマン・フィブレーションの新しい代数的不変量を提案すること。
• D²またはS²上の genus ≥2 リーマン・フィブレーションの同型類が、クエンドルモノドロミーによって一意に定まることを確立すること。これにより、古典的記述に内在する曖昧さが解消される。

提案手法

• 曲面の単純閉曲線の同値類の集合として、左および右デーンねじれによって誘導される演算を備えた、向き付けられた曲面のデーンクエンドルを定義する。
• 特異値の集合を表す codimension-2 の部分空間 S を持つ曲面 Σ に対して、自己同型類が 1 のリンク数を持つノーズ写像のホモトピー類を用いて、ノットクエンドル Q(Σ, S, p) を構成する。
• 各元を対応する標準的ループまわりのモノドロミー・デーンねじれに送る写像 μ: Q(Σ, S, p) → D(F) をクエンドルモノドロミーとして定義する。
• 標準モノドロミー表現 Ψ: π₁(Σ⧵S, p) → M(F) と組み合わせた、拡張されたクエンドルモノドロミー (μ, Ψ) を導入する。
• Σ が D² または S² のとき、π₁(Σ⧸S, p) が自由群であることを用いて、モノドロミー記述の曖昧さを排除する。
• 松本の定理とクエンドルの構造的性質を活用し、フィブレーションの同型類がクエンドルモノドロミーによって決定されることを証明する。

実験結果

リサーチクエスチョン

• RQ1 リーマン・フィブレーションのモノドロミーは、群表現の代わりにクエンドル準同型を用いて自然に記述可能だろうか？
• RQ2 特に D² または S² 上の genus ≥2 フィブレーションにおいて、リーマン・フィブレーションの同型類はクエンドルモノドロミーによって一意に定まるだろうか？
• RQ3 クエンドル準同型、コホロロジー、または彩色の数え上げを用いて、クエンドルモノドロミーからどのような代数的不変量を構成できるだろうか？
• RQ4 古典的モノドロミー記述における幾何的制約（例えば、共轭性と周期的曖昧性）は、クエンドルの代数的構造とどのように関係しているだろうか？
• RQ5 R-ホモロジークエンドルモノドロミー写像 η: Q(Σ, S, p) → HD(F, R) の幾何的意味は何か？

主な発見

• 任意の向き付けられた曲面上の単純閉曲線の同値類は、デーンねじれによって誘導されるクエンドル構造を備え、それがその曲面のデーンクエンドルを形成する。
• リーマン・フィブレーションのモノドロミーは、特異値を除いた基底のノットクエンドルからファイバーのデーンクエンドルへの自然なクエンドル準同型として記述できる。
• D² または S² 上の genus ≥2 リーマン・フィブレーションでは、同型類がクエンドルモノドロミーによって完全に決定され、古典的記述に内在する曖昧さが解消される。
• 拡張されたクエンドルモノドロミー (μ, Ψ) は、任意の genus ≥2 リーマン・フィブレーションの同型類を決定する。
• クエンドルモノドロミーは、クエンドル準同型の数え上げ、クエンドルコホロロジー、およびホモロジーに基づく写像を用いた新しい不変量の構成フレームワークを提供する。
• R-ホモロジークエンドルモノドロミー η: Q(Σ, S, p) → HD(F, R) はリーマン・フィブレーションの不変量であり、交差理論を通じて幾何的意味を有する可能性がある。