[論文レビュー] Intersections of curves on surfaces and their applications to mapping class groups

Nariya Kawazumi, Yusuke Kuno|arXiv (Cornell University)|Dec 16, 2011

Geometric and Algebraic Topology参考文献 17被引用数 13

ひとこと要約

本稿では、曲面上の経路の自己交叉を測定する新しいQ線形写像μを導入し、写像類群の研究における重要な道具であることを確立する。μの写像類群作用との整合性を活用することで、一般化されたデーンねじりの実現可能性基準を導出し、ジョーンソン準同型の像に及ぼす幾何的制約を明らかにし、モリタトレースがこの制約の最低次の項として回復されることを示す。

ABSTRACT

We introduce an operation that measures the self intersections of paths on a surface. As applications, we give a criterion of the realizability of a generalized Dehn twist, and derive a geometric constraint on the image of the Johnson homomorphism.

研究の動機と目的

• 経路の交差を通じて写像類群を研究するための新しい代数的道具、自己交叉写像μを開発すること。
• μを経路ホモトピー類の空間上のQˆπ′(S)-両側加群構造として確立し、ゴールドマン＝トゥラエフリーダーマン代数と関連付けること。
• μを用いて2つの中心的問題を解決すること：一般化されたデーンねじりの実現可能性とジョーンソン準同型の像への幾何的制約。
• モリタトレースがμから導かれる幾何的制約の最低次の項として自然に現れることを示すこと。
• トゥラエフコブラケットとゴールドマンブラケットを完備代数へ拡張し、完備ゴールドマン＝トゥラエフリーダーマン代数を構成すること。

提案手法

• 局所的交差数を用いて経路の自己交叉を測るQ線形写像μ: QΠS(∗0, ∗1) → QΠS(∗0, ∗1) ⊗ Qˆπ′(S)を定義する。
• 構成によってμが写像類群作用と整合することを証明し、微分同相写像のもとで不変であることを保証する。
• μの構造を用いて、構造写像σとμに関して、QΠS(∗0, ∗1)がQˆπ′(S)-両側加群であることを示す。
• μおよびトゥラエフコブラケットを完備代数へ拡張し、cQˆπ(S)上に完備ゴールドマン＝トゥラエフリーダーマン代数を定義する。
• 微分同相写像におけるμの振る舞いを分析することでジョーンソン準同型に応用し、像に及ぼす幾何的制約を導出する。
• マスユア＝トゥラエフのホモトピー的交差形式のテンソル的記述を用いて、トゥラエフコブラケットの階数付き商を計算し、モリタトレースが最低次の項として同定される。

実験結果

リサーチクエスチョン

• RQ1 自己交叉写像μを用いて、一般化されたデーンねじりが曲面の微分同相写像によって実現可能かどうかを特定できるか？
• RQ2 μはジョーンソン準同型の像にどのような幾何的制約を課えるか？
• RQ3 μはトゥラエフコブラケットおよび完備ゴールドマン＝トゥラエフリーダーマン代数とどのように関係するか？
• RQ4 μを介して導かれる幾何的制約の最低次の項からモリタトレースを回復できるか？
• RQ5 完備QΠS(∗0, ∗1)は完備ゴールドマンリーリングに対してどのような加群構造を持つか？

主な発見

• μ写像は一般化されたデーンねじりの実現可能性基準を提供する：一般化されたデーンねじりは、関連する経路上でμが消える場合に限り、微分同相写像によって実現される。
• ジョーンソン準同型の像はμによって制約を受ける：具体的には、トゥラエフコブラケットのローラン展開の最低次の項が像上で消える必要がある。
• モリタトレースはジョーンソン像への幾何的制約の最低次の項として回復され、トーリー群の構造においてその中心的役割が確認される。
• 完備空間cQΠS(∗0, ∗1)は完備cQˆπ(S)-両側加群であることが示され、代数的構造が形式的完備化へ拡張される。
• トゥラエフコブラケットはcQˆπ(S)上に完備コブラケットへ拡張され、μはこの拡張を回復する。これにより、完備ゴールドマン＝トゥラエフリーダーマン代数の整合性が確認される。
• 任意のx ∈ π1(S)に対して、μθ(0)(x)の定数項は−1/2(1 ⊗x)であり、積X1⋯Xmに対しては−1/2(1 ⊗N(X1⋯Xm))である。これにより、最低次のμ作用に対する明示的公式が得られる。