[論文レビュー] Character varieties in SL_2 and Kauffman skein algebras

Julien Marché|arXiv (Cornell University)|Oct 30, 2015

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

ひとこと要約

本稿では、スケイン代数と同型表現を用いて、境界を持つ3次元多様体のSL₂-特徴多様体におけるリーデマイスター torsion のグローバルな枠組みを確立し、それが有理型体積形式として生じることを示している。K. 斎藤の特徴と表現に関する定理を活用することで、著者らは特徴多様体上に内在的に torsion を構成し、ねじれコホモロジーを介した幾何的解釈と、トレース座標およびモノドロミー作用を用いた明示的公式を提供している。

ABSTRACT

These lecture notes concern the algebraic geometry of the character variety of a finitely generated group in SL(2,C) from the point of view of skein modules. We focus on the case of surface and 3-manifolds groups and construct the Reidemeister torsion as a rational volume form on the character variety.

研究の動機と目的

• 境界を持つ3次元多様体のSL₂-特徴多様体におけるリーデマイスター torsion のグローバルかつ内在的な構成を提供すること。
• 代数的商の定義とスケインモジュールの定義の同倣を介して、特徴多様体とスケイン代数を結びつけること。
• K. 斎藤の特徴と表現に関する定理を応用し、特徴多様体の関数体上での同型表現を定義すること。
• 特に円周へのファイブレーションにおいて、torsion を特徴多様体の既約成分上の微分形式として幾何学的に解釈すること。
• トレース座標およびモノドロミー作用を用いた torsion の明示的公式を導出すること、特に表面束の場合を対象とする。

提案手法

• トレース関係式 $ Y_{\alpha\beta} + Y_{\alpha\beta^{-1}} = Y_\alpha Y_\beta $ で定義されるスケイン代数 $ B(\Gamma) $ を用いて、スケイン特徴多様体 $ X_s(\Gamma) $ を定義する。
• 不変理論とプロセッチの定理を用いて、$ X(\Gamma) $ の代数的商の定義とスケイン代数との同値性を確立する。
• K. 斎藤の定理を応用し、$ X(\Gamma) $ の既約成分の関数体上に、特徴を実際に表現に上げる同型表現を構成する。
• 随伴表現値のねじれコホモロジー複体の行列式を用いて、$ X(M) $ 上の有理型体積形式としてリーデマイスター torsion を定義する。
• ワングの系列と境界コホモロジーを用いて、$ M $ の torsion を $ X(\Sigma) $ の幾何と関連づけ、特に表面束の場合を扱う。
• トレース座標 $ x_i = u_i + u_i^{-1} $ を用いて torsion を表現し、モノドロミーの固定点集合上で $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)_{\ker du_i} $ と正規化する。

実験結果

リサーチクエスチョン

• RQ1 境界を持つ3次元多様体のSL₂-特徴多様体上で、リーデマイスター torsion が微分形式としてどのようにグローバルに定義可能か。
• RQ2 代数的幾何的構造の観点から、スケイン代数と特徴多様体の間の正確な関係は何か。
• RQ3 K. 斎藤の定理が、特徴を関数体上の表現に上げる同型表現を canonical に構成する仕組みは何か。
• RQ4 特に円周へのファイブレーションにおいて、ねじれコホモロジーとモノドロミー作用を用いた torsion の幾何的解釈は何か。
• RQ5 トレース座標およびモノドロミー写像の微分を用いて、torsion を明示的に表現できるか。

主な発見

• 境界を持つ3次元多様体のリーデマイスター torsion は、特徴多様体上で有理型体積形式を定めることが示された。特にマジック多様体の場合、$ T(M) = \frac{1}{2} \frac{du \wedge dv \wedge dw}{\sqrt{(x^2-4)(y^2-4)(z^2-4)}} $ となる。
• 円周へファイブレーションする3次元多様体 $ M $ に対して、モノドロミー $ \varphi $ を持つとき、$ \varphi^* $ で固定される既約成分上で torsion は $ T(M,\xi) = \frac{1}{2} \frac{\bigwedge dY_{\gamma_i}}{\det(D\varphi - 1)|_{\ker dY_{\gamma_i}}} $ と与えられる。
• 同型族内の表現の選び方に依存せず、$ X(\Sigma) $ の上に自然に存在するため、torsion がグローバルな性質を有することを確認した。
• 特徴多様体の関数体上での同型表現は、特徴を実際に表現に上げる canonical な方法を提供し、torsion の構成を一様に扱えるようにした。
• ハンドル体の場合、torsion を計算する複体は独立な成分に分解され、その torsion は $ \frac{2}{g} dx \wedge dy \wedge dz $ と表され、$ g = 4 $ のとき $ T(M,\xi) = \frac{1}{2} dx \wedge dy \wedge dz $ となる。
• 正規化 $ x = u + u^{-1} $ の下で、torsion は $ T(M) = \frac{1}{2} \bigwedge \frac{du_i}{u_i} / \det(D\varphi - 1)|_{\ker du_i} $ と書き換えられ、$ \varphi = \text{id} $ のとき、マジック多様体に対する既知の公式が回復される。