[論文レビュー] A regular homotopy version of the Goldman-Turaev Lie bialgebra, the Enomoto-Satoh traces and the divergence cocycle in the Kashiwara-Vergne problem

Nariya Kawazumi|arXiv (Cornell University)|May 31, 2014

Algebraic structures and combinatorial models参考文献 11被引用数 7

ひとこと要約

本稿では、正則ホモトピー版のゴールドマン＝トゥラエフ Lie bialgebra を導入し、カシワラ＝ヴェルグネ問題における発散コサイクルとエノモト＝サトウトレースを、洗練されたトゥラエフコブラケットの一部として解釈する。フレーミングを用いた回転数を組み込み、正則ホモトピー生成子の対数に関して完備化することで、著者らはコブラケットがジョンソン核上で消えることを示し、エノモト＝サトウトレースがジョンソン準同型の上への性質を妨げる幾何的説明を与える。

ABSTRACT

By introducing a refinement of the Goldman-Turaev Lie bialgebra, we interpret the divergence cocycle in the Kashiwara-Vergne problem and the Enomoto-Satoh obstructions for the surjectivity of the Johnson homomorphisms as some part of a regular homotopy version of the Turaev cobracket.

研究の動機と目的

• オリジナルの構成よりも細かい不変量を捉えることができる正則ホモトピー設定へのゴールドマン＝トゥラエフ Lie bialgebra の拡張を達成すること。
• カシワラ＝ヴェルグネ問題における発散コサイクルが、正則ホモトピー版のトゥラエフコブラケットに由来することを解釈すること。
• ジョンソン準同型の上への性質の障害であるエノモト＝サトウトレースを、洗練されたコブラケット構造の内生的特徴として説明すること。
• モノゴンの誕生・消滅移動に関して不変であるため、元のトゥラエフコブラケットの次数付き商がエノモト＝サトウトレースを検出できない理由を幾何的に説明すること。
• エノモト＝サトウトレースの引き戻しを用いて、ゼロGenusにおけるフレームド純ブ raid 群とカシワラ＝ヴェルグネ問題を結ぶ関係を確立すること。

提案手法

• 境界を持つ曲面 $S$ 上の自己同型の正則ホモトピー類の集合 $\hat{\pi}^+$ を定義し、モノゴンの挿入によって無限巡回群 $\langle r \rangle$ が作用することを導入する。
• 曲面 $S$ のフレーミング $f$ を導入し、$\hat{\pi}^+ \to \mathbb{Z}$ を与える回転数 $\operatorname{rot}_f$ を定義し、$\tilde{\Phi}_f = (\Phi, \operatorname{rot}_f)$ を用いて $\hat{\pi}^+$ を $\hat{\pi} \times \mathbb{Z}$ に同定する。
• 環 $\mathbb{Q}\hat{\pi}^+$ 上に、値が $\mathbb{Q}\hat{\pi}^+ \otimes_{\mathbb{Q}\langle r\rangle} \mathbb{Q}\hat{\pi}^+$ に取る正則ホモトピー版のゴールドマン括弧 $[\,,\,]^+$ とトゥラエフコブラケット $\delta^+$ を構成する。
• 増幅イデアルに関して完備化することで、$\widehat{\mathbb{Q}\hat{\pi}^+}$ と $\mathbb{Q}[[\rho]]$（$\rho = \log r$）を得て、形式的べき級数の使用を可能にする。
• 値が $\widehat{\mathbb{Q}\hat{\pi}^+}/\mathbb{Q}[[\rho]]1$ に取る正則ホモトピー版のジョンソン準同型 $\tau^+$ を定義し、最大のトーリー群 $\mathcal{I}^L(S)$ 上で $\delta^+ \circ \tau^+ = 0$ が成り立つことを示す。
• 同相 $\tilde{\Phi}_f(\tau^+(t_C)) = \frac{1}{2}|(\log C)^2|$ を用いて、同相の像を計算し、Dehn ツイストの関係をエノモト＝サトウトレースに関連付ける。

実験結果

リサーチクエスチョン

• RQ1 トゥラエフコブラケットをどのように精錬すれば、標準的商では見えないエノモト＝サトウトレースを検出できるか？
• RQ2 なぜ標準的トゥラエフコブラケットは、カシワラ＝ヴェルグネ問題における発散コサイクルを捉えられないのか？
• RQ3 正則ホモトピー版のゴールドマン＝トゥラエフ Lie bialgebra は、ジョンソン準同型の上への性質の障害を幾何的に説明できるか？
• RQ4 フレーミングと回転数は、ループの正則ホモトピー類上の洗練された Lie bialgebra 構造を構成する上で果たす役割は何か？
• RQ5 エノモト＝サトウトレースのフレームド純ブレイド群への引き戻しは、カシワラ＝ヴェルグネ発散コサイクルとどのように関係するか？

主な発見

• 正則ホモトピー版のトゥラエフコブラケット $\delta^+$ は、ジョンソン準同型 $\tau^+$ のジョンソン核 $\mathcal{K}(S)$ への制限の像上で消える。これは、上への性質の障害の幾何的根拠を提供する。
• $\mathsf{ES}_f \circ \tau|_{\mathcal{K}(S)} = 0$ が成り立つ。これはエノモト＝サトウトレースがジョンソン核を消去することを示し、その障害としての役割を確認する。
• 2個以上の境界成分を持つゼロジェネルスの曲面では、包含写像 $\iota: \Sigma_{0,n+1} \to \Sigma_{n,1}$ 沿いでのエノモト＝サトウトレース $\mathsf{ES}_f$ の引き戻しは、低次のホモモールフィズムを除き、カシワラ＝ヴェルグネ発散コサイクルに一致する。
• 同相 $C$ に沿った Dehn ツイスト $t_C$ に対する $\tilde{\Phi}_f \circ \tau^+$ の像は $\frac{1}{2}|(\log C)^2|$ に一致し、フレーミングに依存せず、完備 Lie 代数の中心に属する。
• Dehn ツイストの正則ホモトピー版の対数公式から $\tilde{\Phi}_f(\tau^+(t_C)) = \frac{1}{2}|(\log C)^2|$ が得られ、これは $\mathcal{K}(S)$ 上で $\delta^+ \circ \tau^+$ が消えることと整合的である。
• フレームド純ブレイド群の交換子部分群 $[FP_n, FP_n]$ 上では $\mathsf{ES}_f \circ \tau = 0$ が成り立つ。これは、ゼロジェネルスの場合と整合的であり、トレースがこの部分群上で消えることを示す。