[論文レビュー] Reidemeister torsion of a 3-manifold obtained by a Dehn-surgery along the figure-eight knot

Teruaki Kitano|arXiv (Cornell University)|Jun 2, 2015

Geometric and Algebraic Topology参考文献 3被引用数 6

ひとこと要約

本稿では、図8文字結び目におけるドンサーチュリの3次元多様体のリーデマイスター torsion について、閉形式の公式を導出する。この公式は、任意の SL(2,ℂ)-非可約表現における縁の像のトレースを変数とする有理関数として表される。公式 τρ(M) = 2(u−1)/(u²(u²−5)) で、u = tr(ρ(x)) と定義されるが、これはすべてのドンサーチュリ係数に対して有効であり、トーラス結び目の場合にジョンソンが得た結果を双曲的である図8文字結び目の補空間に一般化する。

ABSTRACT

Let M be a closed 3-manifold obtained by Dehn surgery along the figure-eight knot. We give a formula of the Reisdemeisiter torsion of M for any irreducible SL(2;C)-representation. It is described as a rational expression of the trace of the image of the meridian.

研究の動機と目的

• トーラス結び目のドンサーチュリにおけるジョンソンのリーデマイスター torsion 公式を、双曲的である図8文字結び目の補空間に一般化すること。
• 図8文字結び目における p/q-ドンサーチュリによって得られるすべての3次元多様体のリーデマイスター torsion を計算すること。
• torsion を SL(2,ℂ)-非可約表現における縁の像のトレースの有理関数として表現すること。
• すべてのドンサーチュリ係数に対して一様に有効な公式を確立すること。これは表現の制約を考慮に入れる。

提案手法

• パrameter s と t を用いて、図8文字結び目の群の非可約 SL(2,ℂ)-表現を、行列の共轭類によってパラメータライズする。
• 基本補題を用いて、生成子 x と y を標準的な上三角および下三角形に共轭変換する。
• 行列 w = xy⁻¹x⁻¹y を計算し、関係式 R₁₂ = 0 を導出し、非可約表現の空間を定義する。
• 直接的な行列計算により、l = w⁻¹w̃ を s と t の関数として表現する。
• tr(ρ(l)) を s と t の有理関数として計算し、t を消去して u = s + 1/s の関数として表現する。
• 結び目の外部と実心トーラス成分に対して、torsion の乗法的公式 τρ(M) = τρ(E(K)) · τρ(N̄) を適用する。

実験結果

リサーチクエスチョン

• RQ1 図8文字結び目におけるすべてのドンサーチュリに対して、一様な有理関数としてのリーデマイスター torsion 公式を導出可能か？
• RQ2 SL(2,ℂ)-非可約表現における縁のトレースに依存する torsion はどのように変化するか？
• RQ3 非可約表現の文脈において、トレース u = tr(ρ(x)) に課せられる制約は何か？
• RQ4 図8文字結び目の torsion 公式は、トーラス結び目におけるジョンソンの公式とどのように対比されるか？

主な発見

• 図8文字結び目における p/q-ドンサーチュリによって得られる3次元多様体 M のリーデマイスター torsion は、τρ(M) = 2(u−1)/(u²(u²−5)) で与えられ、u = tr(ρ(x)) である。
• この公式は u に関して有理関数であり、表現が SL(2,ℂ)-非可約かつ非退化である限り、すべての p/q-ドンサーチュリに対して有効である。
• 結び目の外部の torsion は、トレースパラメータ化から τρ(E(K)) = −2(u−1) として導出される。
• 実心トーラス成分の torsion は、縁のトレースの行列計算により τρ(N̄) = −1/(u²(u²−5)) として得られる。
• u² = 5 のとき公式が特異化するが、これは可約表現に対応しており、非可約部分多様体の境界を示している。
• 境界トーラス上では表現は常に非退化であるため、torsion 公式は全域的に適用可能である。