[論文レビュー] Quantization of Teichmüller spaces and the quantum dilogarithm

Rinat Kashaev|ArXiv.org|May 27, 1997

Homotopy and Cohomology in Algebraic Topology参考文献 10被引用数 14

ひとこと要約

この論文は、ペナールの装飾付きティヒミュラー空間と理想三角形分割を用いて、有限次元のシンプレクティック空間のハミルトニアン還元として、穴あき曲面のティヒミュラー空間を、ウェイリ–ペテルスンシンプレクティック構造に関して量子化する。マッピングクラス群の作用は、シンプレクティックな有理型変換として現れる。量子ディログラミットは、マッピングクラス群の量子表現を生成し、量子ハイパーオリビック不変量と量子ティヒミュラー理論との直接的な関係を確立する。

ABSTRACT

The Teichmüller space of punctured surfaces with the Weil-Petersson symplectic structure and the action of the mapping class group is realized as the Hamiltonian reduction of a finite dimensional symplectic space where the mapping class group acts by symplectic rational transformations. Upon quantization the corresponding (projective) representation of the mapping class group is generated by the quantum dilogarithms.

研究の動機と目的

• 穴あき曲面のティヒミュラー空間を、ウェイリ–ペテルスンシンプレクティック構造に関して量子化すること。
• マッピングクラス群の作用を、有限次元のシンプレクティック空間上のシンプレクティックな有理型変換として実現すること。
• 量子ディログラミットを用いてマッピングクラス群の量子表現を構成すること。
• 得られた量子理論が、結び目の量子ハイパーオリビック不変量およびSL(2,ℝ)をゲージ群とするチェーン–シンモン理論とどのように関係するかを明らかにすること。

提案手法

• ティヒミュラー空間は、ペナールの装飾付きティヒミュラー空間と理想三角形分割を用いて、有限次元シンプレクティック空間のハミルトニアン還元として実現される。
• シンプレクティック構造は、ウェイリ–ペテルスン形式により定義され、向き付けられた三角形上で ∑ dln a ∧ dln b + dln b ∧ dln c + dln c ∧ dln a という2次形式 ατ に符号化される。
• 量子表現は、量子ディログラミットを用いて構成され、これは量子レベルでの基本的移動（プトレマイオス変換）を実装する。
• 有限次元C*-代数 M(τ) を用いたコンパクト表現が定義され、それらは q-変形された交換関係を満たす演算子によって生成される。ここで ω = e^{2πi/N} である。
• 量子ディログラミットは五角形方程式を満たし、古典的ディログラミットの五重項恒等式の非可換アナロジーである。
• 関手的構造を用いて、異なる理想三角形分割に付随する代数間の準同型を定義し、基本的移動および装飾に関して一貫性を保証する。

実験結果

リサーチクエスチョン

• RQ1 穴あき曲面のティヒミュラー空間は、どのように有限次元シンプレクティック空間のハミルトニアン還元として実現できるか？
• RQ2 マッピングクラス群のティヒミュラー空間上の作用は、どのようにシンプレクティックな有理型変換として表現されるか？
• RQ3 量子ディログラミットは、量子化ティヒミュラー空間上のマッピングクラス群の量子表現をどのように実現するか？
• RQ4 理想三角形分割に関連する量子観測値の代数的構造は何か？
• RQ5 得られた量子理論は、結び目の量子ハイパーオリビック不変量およびSL(2,ℝ)をゲージ群とするチェーン–シンモン理論とどのように関係するか？

主な発見

• ウェイリ–ペテルスンシンプレクティック構造を備えたティヒミュラー空間は、ℝ₊^V による作用を通じて、有限次元シンプレクティック空間のハミルトニアン還元として得られる。
• マッピングクラス群の量子表現は、量子ディログラミットによって生成され、これは量子レベルでの基本的移動（プトレマイオス変換）を実装する。
• 有限次元C*-代数 M(τ) を用いたコンパクト表現が構成され、その生成子は q-変形された交換関係を満たし、q = ω = e^{2πi/N} である。
• 量子ディログラミット作用素 T_{h,x,y} は五角形方程式を満たし、これがディログラミット恒等式の非可換実現としての役割を果たすことを確認する。
• 関数方程式 Ψ_λ(ωw)(1−wλ)/λ′ = Ψ_λ(w) の解は、複素数係数を除き一意であり、量子ディログラミット構成の根拠をなす。
• 関手 C は、理想三角形分割の群ガロア圏からC*-代数の圏への反変関手として一意に拡張可能であり、準同型 𝔠(τ) は、量子代数 A(τ) の一貫性のある代数的実現を提供する。