[論文レビュー] The generalized Dehn twist along a figure eight

Yusuke Kuno|arXiv (Cornell University)|Apr 12, 2011

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

ひとこと要約

この論文は、境界成分が1つの曲面上の単純でないループへとデーンねじりを一般化し、基本群の完成化された群環上の自己同型として一般化されたデーンねじりを定義する。ループが図8型（単一の交差する二重点を持ち、単純な曲線のべきにホモトープでない）である場合、この一般化されたねじりは、完成化された群環上の自己同型であるにもかかわらず、写像類として実現されないことが示されている。

ABSTRACT

For any unoriented loop on a compact connected oriented surface with one boundary component, the generalized Dehn twist along the loop is defined as an automorphism of the completed group ring of the fundamental group of the surface. If the loop is simple, this is the usual right handed Dehn twist, in particular realized as a mapping class of the surface. We investigate the case when the loop has a single transverse double point, and show that in this case the generalized Dehn twist is not realized as a mapping class.

研究の動機と目的

• 境界成分が1つの曲面上の任意の非向き付きループへと、単純閉曲線に限らないデーンねじりの概念を拡張すること。
• 標準的なデーンねじりの作用を一般化する形で、完成化された群環 $\widehat{\mathbb{Q}\pi}$ 上の自己同型として一般化されたデーンねじり $t_\gamma$ を定義すること。
• このような一般化されたデーンねじりが実際に写像類群（すなわち、写像類群の元として）実現可能かどうかを調査すること。
• 一般化されたねじりが写像類でない場合の、位相的および代数的条件を、特に図8型のケースに焦点を当てて特定すること。

提案手法

• 先行研究で導入された非向き付きループの不変量に基づき、$\widehat{\mathbb{Q\pi}}$ 上の微分作用素の指数関数として一般化されたデーンねじり $t_\gamma$ を定義する。
• シンプレクティック展開と全ジョーナソン写像を用いて、基本群の代数的構造と写像類群作用との関係を関係づける。
• 一般化されたねじりの台を解析し、それが写像類であるならば、ループの正則近傍内に局所的に支持されているべきであることを示す。
• 特にペア・オブ・パンツ分解において、図8型ループのすべての可能な配置を分類する。
• 完成化テンソル代数において、次数8まで明示的なテンソル計算を行い、一般化されたねじりの係数と実際に存在する写像類の係数を比較する。
• 非ゼロの項 $N([B_h, \sum [A_i,B_i]]^2)$ を用いて、次数8の項の係数がいかなる標準的デーンねじりの積の組み合わせとも一致しないことから、矛盾を導く。

実験結果

リサーチクエスチョン

• RQ1 非単純なループに沿った一般化されたデーンねじりは、写像類として実現可能か？
• RQ2 一般化されたデーンねじりが写像類であるための、代数的および位相的条件は何か？
• RQ3 完成化された群環の構造とその自己同型は、写像類群作用をどのように反映しているか？
• RQ4 図8型のループ（単一の交差する二重点を持つ）に沿った一般化されたデーンねじりは局所的に支持されているか？もしそうならば、標準的デーンねじりの積として表現可能か？
• RQ5 一般化されたデーンねじりが写像類であるようなループは、どのような特徴を持つのか—特に、それらは単純閉曲線のべきでなければならないのか？

主な発見

• ループ $\gamma$ に沿った一般化されたデーンねじり $t_\gamma$ は、完成化された群環 $\widehat{\mathbb{Q}\pi}$ 上の自己同型として定義され、単純曲線に対する標準的デーンねじりを一般化する。
• 図8型のループ（単一の交差する二重点を持ち、単純閉曲線のべきにホモトープでない）に沿う一般化されたねじり $t_\gamma$ は、写像類として実現されない。
• もし $t_\gamma$ が写像類であったならば、その支持は $\gamma$ の正則近傍内に限定されるべきであり、図8型ではそのような性質を満たさない。
• 明示的な計算により、一般化されたねじりの次数8の項の係数が、$t_{C_1}^2 t_{C_2}^2 t_{C_3}^{-1}$ のようないかなる標準的デーンねじりの積の組み合わせとも一致しないことが示された。これは、非ゼロのテンソル項 $N([B_h, \sum [A_i,B_i]]^2)$ の存在による。
• 図8型のすべての配置（II-a, II-b, III-a, III-b, IV-a, IV-b）において、矛盾が生じ、すべてのケースに一様に結果が成立することが証明された。
• 本論文は、一般化されたデーンねじりが写像類である可能性があるのは、単純閉曲線のべきに限るのかどうかは未解決として残し、最終的な問いとして提示している。