[論文レビュー] The logarithms of Dehn twists

Nariya Kawazumi, Yusuke Kuno|arXiv (Cornell University)|Aug 30, 2010

Geometric and Algebraic Topology参考文献 15被引用数 10

ひとこと要約

本稿では、境界を持つコンパクトな向きつけ可能曲面上のループに対する新しい不変量を導入し、基本群の完成化群環上のディーンツイスト作用に対して明示的な公式を可能にする。シンプレクティック展開とコンツェビッチの形式的シンプレクティック幾何学を用いて、古典的なトランスベクション公式を一般化し、モリタによる拡張されたジョーンソン準同型の計算を回復する。さらに、ディーンツイストのk番目の冪零商への作用が、その商における曲線の共役類にのみ依存することを証明する。

ABSTRACT

By introducing an invariant of loops on a compact oriented surface with one boundary component, we give an explicit formula for the action of Dehn twists on the completed group ring of the fundamental group of the surface. This invariant can be considered as ``the logarithms" of Dehn twists. The formula generalizes the classical formula describing the action on the first homology of the surface, and Morita's explicit computations of the extended first and the second Johnson homomorphisms. For the proof we use a homological interpretation of the Goldman Lie algebra in the framework of Kontsevich's formal symplectic geometry. As an application, we prove the action of the Dehn twist of a simple closed curve on the $k$-th nilpotent quotient of the fundamental group of the surface depends only on the conjugacy class of the curve in the $k$-th quotient.

研究の動機と目的

• 境界付き曲面の基本群の完成化群環上のディーンツイスト作用を定量的に記述する枠組みを構築すること。
• 新しいループ不変量を用いて、ホモロジー上の古典的トランスベクション作用を、より高い冪零商へ一般化すること。
• シンプレクティック展開を用いて、モリタによる最初および第二ジョーンソン準同型の計算を、マッピングクラス群全体へ拡張すること。
• ディーンツイストがk番目の冪零商に作用する際、その作用がその商内での曲線の共役類にのみ依存することを確立すること。

提案手法

• シンプレクティック展開の文脈でディーンツイストの対数的挙動を捉える新しいループ不変量 $\ell^\theta(C)$ を導入する。
• シンプレクティック展開を用いて、完成化テンソル代数上の作用を符号化する総ジョーンソン写像 $T^\theta: \mathcal{M}_{g,1} \to \mathrm{Aut}(\widehat{T})$ を定義する。
• コンツェビッチの形式的シンプレクティック幾何学を応用し、ゴールドマンのリーヒューベルトを解釈し、ディーンツイスト作用のホモロジー的恒等式を導出する。
• ループ不変量 $\ell^\theta(C)$ を用いて $T^\theta(t_C)$ の明示的公式を導出し、古典的トランスベクション公式を一般化する。
• この公式を用いて、モリタによる拡張された第一および第二ジョーンソン準同型の結果を回復および拡張する。
• 分離曲線の場合、$t_C$ が $N_k(\pi_1(\Sigma_g))$ に作用する際、$\bar{N}_k$ もしくは $\bar{N}_{k-1}$ における $C$ の像にのみ依存することを証明する。

実験結果

リサーチクエスチョン

• RQ1 ディーンツイストが基本群の完成化群環に作用する際、第一ホモロジーを超えて明示的に記述するにはどうすればよいか？
• RQ2 シンプレクティック展開の文脈で、ディーンツイストの対数的挙動を捉えるループの不変量は何か？
• RQ3 シンプレクティック展開に基づく統一的枠組みを用いて、モリタの拡張ジョーンソン準同型を回復および一般化できるか？
• RQ4 ディーンツイストが基本群のk番目の冪零商に作用する際、その作用がその商内での曲線の共役類にのみ依存するか？

主な発見

• ディーンツイスト $t_C$ がk番目の冪零商 $N_k(\pi_1(\Sigma_g))$ に作用する際、その作用は $\bar{C}_k \in \bar{N}_k$ にのみ依存し、$C$ が分離曲線である場合には $\bar{C}_{k-1} \in \bar{N}_{k-1}$ にも依存する。
• 本稿では、ループ不変量 $\ell^\theta(C)$ を用いて、総ジョーンソン写像 $T^\theta(t_C)$ の明示的公式を提供し、ホモロジー上の古典的トランスベクションを一般化する。
• この公式により、拡張された第一および第二ジョーンソン準同型 $\tilde{\tau}_1$ および $\tilde{\tau}_2$ に対するモリタの明示的計算が回復され、拡張される。
• 生成子の対数的展開における対称的構造を示すために、 genus 1 について次数6まで、genus 2 について次数5まで、明示的なシンプレクティック展開を構成する。
• コンツェビッチの形式的シンプレクティック幾何学によるホモロジー的解釈により、ループ不変量およびディーンツイスト公式の概念的基盤が提供される。
• この枠組みは、マッピングクラス群が冪零商に作用する方法を統一し、シンプレクティック展開を用いて総ジョーンソン写像のテンソル的表現を確立する。