[論文レビュー] From Liouville Theory to the Quantum Geometry of Riemann Surfaces

J. Teschner|ArXiv.org|Aug 5, 2003

History and Theory of Mathematics参考文献 3被引用数 16

ひとこと要約

本稿は、リーマン面上のテイヒミュラー空間の量子化から生じる幾何的解釈として、量子リーマン理論における完全（非チャイナル）相関関数を提示する。リーマン面上の測地線長演算子の固有関数としてのリーマン理論の共形ブロックを特定することにより、共形場理論の振幅とモジュリ空間の量子幾何の間の直接的な関係を確立する。また、退化近傍での明示的な漸近的挙動は、演算子の順序付けの制約に従って期待される量子演算子と一致する。

ABSTRACT

The aim of this note is to propose an interpretation for the full (non-chiral) correlation functions of the Liouville conformal field theory within the context of the quantization of spaces of Riemann surfaces.

研究の動機と目的

• 量子テイヒミュラー理論の枠組みの中で、量子リーマン理論における完全（非チャイナル）相関関数の幾何的解釈を確立すること。
• リーマン面上の測地線長演算子の固有関数としてのリーマン理論の共形ブロックを関連付けること。
• リーマン面のモジュリ空間の量子化と結びつけることにより、2次元量子重力のための量子幾何的基礎を提供すること。
• 異なる測地線長に対応する固有状態が直交するように保証する、量子テイヒミュラー空間におけるスカラー積の測度を予想すること。

提案手法

• 本稿は、特定の測度を伴う中間表現の積分として表される、共形ブロックによるリーマン理論相関関数の正則的因子分解表現を用いる。
• 共形ブロックが、穴あきリーマン面上の正則ベクトル場に対する不変性を記述する共形ウォード恒等式の解として特定される。
• リーマン面の退化（|q|→0）に近づく際、共形ブロックの漸近的挙動が、q表現における測地線長演算子の固有関数と一致する。
• q=0回りのモノドロミー条件との整合性を要求することで、長さ演算子の演算子順序が固定され、微分作用素 b²∂/∂q の特定の形が得られる。
• 上半平面（q = e^{2πix} を通じて）における測度 ν(x, x̄) を提示し、固有関数の内積がデルタ関数を与えるようにすることで、直交性を保証する。
• リーマン理論の共形ブロックが、q=0回りのモノドロミー条件と、長さ演算子の一般的演算子順序のアンザッツの両方に整合する唯一の解であると予想する。

実験結果

リサーチクエスチョン

• RQ1 リーマン面上の量子テイヒミュラー空間における行列要素として、リーマン理論の完全非チャイナル相関関数を幾何学的に解釈できるか？
• RQ2 リーマン理論の共形ブロックは、量子テイヒミュラー理論における測地線長演算子の固有関数であるか？ もしそうならば、正しい演算子順序は何か？
• RQ3 異なる測地線長を持つ状態の直交性を保証するための、量子テイヒミュラー空間における内積の適切な測度は何か？
• RQ4 q=0近傍におけるリーマン理論の共形ブロックの漸近的挙動は、退化するリーマン面の量子幾何とどのように関係するか？
• RQ5 アクセサリーパラメータ C_q と量子長さ演算子との関係は一貫して量子化可能か？ また、正しいモノドロミー挙動を再現するか？

主な発見

• 共形ブロックは、q表現における測地線長演算子の固有関数の漸近的挙動と一致し、波動関数 ψ_l(q) = q^{p² - Q²/4}（p = l/(4πb)）として与えられる。
• q=0回りのモノドロミー条件により、長さ演算子の演算子順序が一意に固定され、微分作用素 b²∂/∂q の形が得られる。
• 関係式 qC_q(q, q̄) = (l/4π)² - 1/4 は、q∂/∂q = (l̂_γ/(4πb))² - Q²/4 として量子化され、古典的アクセサリーパラメータと量子長さ演算子の間の直接的な関係を確立する。
• 内積のための測度 ν(x, x̄) が提案され、ν が x の虚部のみに依存する限り、固有状態 ψ_l(q) のノルムがデルタ関数 δ(l - l') を与えることが保証される。
• 共形ブロックは、モノドロミー条件と長さ演算子の一般的演算子順序のアンザッツの両方に整合する唯一の解として特定される。
• 本稿は、完全なリーマン理論相関関数が、量子テイヒミュラー空間におけるこれらの固有関数の内積から生じるのだと予想する。積分表現における測度 m(S) は、モジュリ空間上の量子測度に対応する。