[論文レビュー] QHI Theory, II: Dilogarithmic and Quantum Hyperbolic Invariants of 3-Manifolds with PSL(2,C)-Characters

Stéphane Baseilhac, Riccardo Benedetti|ArXiv.org|Nov 4, 2002

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

ひとこと要約

本稿では、閉じた3次元多様体 W とその PSL(2,C)-表現 ρ に対して、理想三角形分割と特殊関数を用いて、対数関数的不変量 R(W,ρ) と量子双曲的不変量 (QHI) を導入する。対数関数的不変量 R(W,ρ) は、ρ の体積およびチャーン・サイモンズ不変量を回復する。QHI は Faddeev-Kashaev 量子対数関数を用いて構成され、両不変量は I-移動における明示的な状態和不変性により、三角形分割に依存しないことが示された。

ABSTRACT

We give parallel constructions of an invariant R(W,f), based on the classical Rogers dilogarithm, and of quantum hyperbolic invariants (QHI), based on the Faddeev-Kashaev quantum dilogarithms, for flat PSL(2,C)-bundles f over closed oriented 3-manifolds W. All these invariants are explicitely computed as a sum or state sums over the same hyperbolic ideal tetrahedra of the idealization of any fixed simplicial 1-cocycle description of (W,f) of a special kind, called a D-triangulation. R(W,f) recovers the volume and the Chern-Simons invariant of f, and we conjecture that it determines the semi-classical limit of the QHI.

研究の動機と目的

• 閉じた3次元多様体上の平坦な PSL(2,C)-バンドルに対して、古典的 Rogers の対数関数に基づく状態和不変量 R(W,ρ) を構成すること。
• Faddeev-Kashaev 量子対数関数を用いて、PSL(2,C)-表現に一般化された量子双曲的不変量 (QHI) を定義すること。
• 幾何的および関数的恒等式を用いて、I-移動（位相的移動）による不変性を明示的に確立すること。
• QHI の半古典的極限が対数関数的不変量 R(W,ρ) を回復することを予想し、量子的および古典的不変量を結ぶ。
• Dehn 補完の極限を用いて、カラーダブル・ジョーンズ多項式の体積予想を、量子双曲的不変量と関連付けるフレームワークを提供すること。

提案手法

• 頂点の順序付きおよび Z-値の辺装飾が対数分岐を誘導する理想単体上で定義される、Rogers の対数関数の均質化版 R を関数として構成する。
• I-三角形分割 T_I に全平坦化 f を付加した上で、R-値の符号付き和として、C/(π²/6)Z に値をとる対数関数的不変量 R(W,ρ) を定義する。
• I-移動（豊かに装飾された理想三角形分割上の基本的移動）を用いて、群コホホロジーを用いずに、R(W,ρ) の不変性を示し、関数的五重恒等式に依拠する。
• Faddeev-Kashaev 量子対数関数を用いた同じ I-三角形分割上の状態和として QHI を構成し、整数的荷重による局所的対称化を施して整合性を保証する。
• D-三角形分割におけるハミルトニアン部分複体 H を導入し、量子対数関数の全球的対称化を固定することで、I-移動における不変性を保証する。
• QHI の半古典的極限と R(W,ρ) の関係を確立し、QHI とカラーダブル・ジョーンズ多項式の間の二重極限体積予想を提案する。

実験結果

リサーチクエスチョン

• RQ1 PSL(2,C)-表現を備えた3次元多様体に対して、古典的 Rogers の対数関数に基づく状態和不変量を構成可能か。その不変量は、体積およびチャーン・サイモンズ不変量を回復できるか？
• RQ2 Faddeev-Kashaev 量子対数関数を用いて、PSL(2,C)-表現を備えた3次元多様体に対して、量子双曲的不変量 (QHI) を一貫して定義できるか？
• RQ3 QHI と対数関数的不変量 R(W,ρ) は、半古典的極限においてどの程度一致するか？
• RQ4 カラーダブル・ジョーンズ多項式 J_N(L) と QHI H_N(M) の間には、穴あき双曲的3次元多様体 M に対して一貫した漸近的関係が存在するか？
• RQ5 Dehn 補完および二重極限手続きを用いて、QHI の体積予想を一般の穴あき多様体に拡張可能か？

主な発見

• 対数関数的不変量 R(W,ρ) は、D-三角形分割および I-三角形分割の選択に依存せず、C/(π²/6)Z に値をとる。
• R(W,ρ) は、PSL(2,C)-表現 ρ の双曲的体積およびチャーン・サイモンズ不変量を回復する。
• 量子双曲的不変量 (QHI) は、Faddeev-Kashaev 量子対数関数を用いた I-三角形分割上の状態和として構成され、全荷重構造を伴う。
• QHI の不変性は、ハミルトニアン部分複体上の整数的荷重による量子対数関数の対称化に依拠する I-移動によって確立される。
• QHI の半古典的極限が R(W,ρ) を回復すると予想され、量子的および古典的不変量の深い関係を示唆する。
• 二重極限体積予想を提示：lim_{n,N→∞} (H_N(W_n,L_n,ρ_n))^N ≈ exp((N²/2iπ) R(M)) は exp(iπ/12) のべきを除き、QHI と古典的不変量 R(M) を関連付ける。