[論文レビュー] Lecture Notes on Quantum Teichmuller Theory

Leonid Chekhov|ArXiv.org|Oct 10, 2007

Nonlinear Waves and Solitons参考文献 14被引用数 5

ひとこと要約

本稿は、双曲平面におけるフクシアン群の作用を用いて、テイヒミュラー空間のポアソン構造と量子化に焦点を当て、量子テイヒミュラー理論の直感的で厳密でない導入を提供する。R行列とスキーン関係を用いて測地的関数間の標準的ポアソン括弧を導出し、主要な結果として \{\mathrm{Tr}P, \mathrm{Tr}Q\} = \frac{1}{2}\mathrm{Tr}PQ - \frac{1}{2}\mathrm{Tr}PQ^{-1} を得る。

ABSTRACT

These notes are based on a lecture course by L. Chekhov held at the University of Manchester in May 2006 and February-March 2007. They are divulgative in character, and instead of containing rigorous mathematical proofs, they illustrate statements giving an intuitive insight. We intentionally remove most bibliographic references from the body of the text devoting a special section to the history of the subject at the end.

研究の動機と目的

• 厳密な証明を伴わない、量子テイヒミュラー理論の直感的で教育的な概要を提供すること。
• 測地的関数とそれらの括弧を用いたテイヒミュラー空間上のポアソン構造の説明。
• R行列形式を用いて、モノドロミー行列のトレース間の標準的ポアソン括弧を導出すること。
• ポアンカレの均質化を介して、双曲幾何、フクシアン群、および量子不変量の間の関係を説明すること。
• R行列の挿入とスキーン関係から古典的ポアソン括弧が生じることを示し、量子化の基礎を築くこと。

提案手法

• 上半平面をフクシアン群による商としてリーマン面を表現するポアンカレの均質化を用いる。
• 境界（絶対）上に固定点をもつ双曲等長変換を用いてモジュラー群の要素を特徴付ける。
• 閉曲線回りのモノドロミー行列（ホロノミー）のトレースとして測地的関数を表現する。
• 古典的r行列とヤン・バクスター方程式を用いて、測地的関数間のポアソン括弧を導出する。
• スキーン関係 \mathrm{Tr}P \cdot \mathrm{Tr}Q = \mathrm{Tr}PQ + \mathrm{Tr}PQ^{-1} を適用して括弧式を簡略化する。
• R行列 \mathcal{R}^{12} のテンソル積挿入を用い、明示的な行列計算によりポアソン括弧を計算する。

実験結果

リサーチクエスチョン

• RQ1 テイヒミュラー空間上のポアソン構造は、測地的関数とそれらの代数的関係を用いてどのように記述できるか？
• RQ2 R行列は、ホロノミー行列のトレース間のポアソン括弧を計算する際に果たす役割は何か？
• RQ3 スキーン関係は、量子テイヒミュラー理論における古典的ポアソン括弧とどのように関係するか？
• RQ4 双曲的曲面の文脈において、ホロノミー行列のトレースの幾何的意味は何か？
• RQ5 ポアンカレの均質化は、テイヒミュラー空間の量子化とどのように関係するか？

主な発見

• 測地的関数 \mathrm{Tr}P と \mathrm{Tr}Q 間のポアソン括弧は、\n \{\mathrm{Tr}P, \mathrm{Tr}Q\} = \frac{1}{2}\mathrm{Tr}PQ - \frac{1}{2}\mathrm{Tr}PQ^{-1} として導出される。
• ポアソン括弧の計算は、R行列挿入の組み合わせに帰着され、結果として 4\mathcal{R}^{12} - 2\mathbf{1}^{12} が得られる。
• R行列 \mathcal{R}^{12} = \sum_{i,j=1}^2 e_{ij}^{(1)} \otimes e_{ji}^{(2)} はヤン・バクスター方程式を満たし、テンソル積空間上で置換作用を果たす。
• 最終的な括弧式は、R行列のトレースをとり、スキーン関係を適用することで標準形に回復される。
• 導出により、テイヒミュラー空間上の古典的ポアソン構造が、自然に量子R行列形式から生じることが確認された。
• この手法により、量子群構造から古典的括弧がどのように生じるかを示す、幾何的かつ代数的な量子化の枠組みが提供される。