[論文レビュー] Discrete Liouville equation and Teichmüller theory

Rinat Kashaev|ArXiv.org|Oct 23, 2008

Algebraic structures and combinatorial models参考文献 22被引用数 8

ひとこと要約

本稿は、古典的および量子的両面で、離散リウヴィル方程式とテイヒミュラー理論の深い関係を確立する。離散リウヴィル方程式は連続リウヴィル方程式の格子離散化として現れ、その量子版は、量子ディログォリズムと五角形関係が代数的構造の中心的役割を果たす、マッピングクラス群に沿ったヒルベルト空間の同型写像によって、量子テイヒミュラー理論と同型であることが示される。

ABSTRACT

The relationship (both classical and quantum mechanical) between the discrete Liouville equation and Teichmüller theory is reviewed.

研究の動機と目的

• 離散リウヴィル方程式とテイヒミュラー理論の古典的および量子的関係を明確化すること。
• 連続リウヴィル方程式の連続極限において、離散リウヴィル方程式が格子離散化として出現することを示すこと。
• 量子離散リウヴィル理論の量子状態と量子テイヒミュラー理論の conformal block 間に、マッピングクラス群に沿った同型写像を確立すること。
• 非コンパクト量子ディログォリズムとその関数的恒等式を用いて、量子離散リウヴィル方程式の代数的構造を構築すること。
• 量子離散リウヴィルモデルにおける量子進化演算子と観測可能量が、量子テイヒミュラー理論と同一の五角形関係に従うことを示すこと。

提案手法

• 離散リウヴィル方程式は、2次元整数格子上で次の再帰関係で定義される：$\chi_{m,n-1}\chi_{m,n+1} = (1 + \chi_{m-1,n})(1 + \chi_{m+1,n})$、ただし $\chi_{m,n} > 0$。
• 連続極限は、$\phi_\epsilon(x,t) = -\log(\epsilon^2 \chi_{m,n})$ と置き、$x = m\epsilon$、$t = n\epsilon$ とすることで得られ、古典的リウヴィル方程式 $\phi_{tt} - \phi_{xx} = -2e^\phi$ が得られる。
• 量子理論は、非コンパクト量子ディログォリズム $\varphi_b(x)$ を用いて構築され、関数的関係と五角形恒等式を満たす。
• 量子離散リウヴィルモデルは、演算子 $\mathsf{T}_{ij}$ と $\mathsf{D}$ を用いて構成され、五角形関係を満たし、観測可能量の代数を生成する。
• 量子状態のヒルベルト空間は $L^2(\mathbb{R}^N)$ として実現され、波動関数は $\varphi_b$ と指数関数的因子から構成されるユニタリ演算子 $\mathsf{W}(n)$ によって変換される。
• 量子進化演算子は $\mathsf{W}(n)$ 演算子から導出され、その作用が五角形恒等式を保存することを示し、これにより量子テイヒミュラー理論と関連づけられる。

実験結果

リサーチクエスチョン

• RQ1 離散リウヴィル方程式はどのように連続リウヴィル方程式の格子離散化として現れるか？
• RQ2 量子離散リウヴィル方程式の代数的構造は何か？ また、量子ディログォリズムとはどのように関係するか？
• RQ3 量子離散リウヴィル理論のヒルベルト空間と、量子テイヒミュラー理論における conformal block の空間との間に、自然な同型写像が存在するか？
• RQ4 五角形関係と $\mathsf{W}(n)$ 演算子は、量子モデルの進化と対称性をどのように支配するか？
• RQ5 量子離散リウヴィルモデルは、量子テイヒミュラー理論と同様に、装飾付き理想三角形分割と量子ファンクターの観点から記述可能か？

主な発見

• 離散リウヴィル方程式 $\chi_{m,n-1}\chi_{m,n+1} = (1 + \chi_{m-1,n})(1 + \chi_{m+1,n})$ は、連続極限 $\epsilon \to 0$ において $x = m\epsilon$、$t = n\epsilon$ の下で、古典的リウヴィル方程式に還元されることが示された。
• 量子離散リウヴィルモデルは、五角形恒等式と積分可能性に不可欠な関数的関係を満たす非コンパクト量子ディログォリズム $\varphi_b(x)$ を用いて構築された。
• 観測可能量の代数は、五角形関係を満たす演算子 $\mathsf{T}_{ij}$ と $\mathsf{D}$ によって生成され、進化演算子 $\mathsf{W}(n)$ は $\mathsf{W}_{\mathrm{f}}(n)$ と $\mathsf{W}_{\mathrm{o}}(n)$ の成分から構成される。
• 量子離散リウヴィル理論のヒルベルト空間と、量子テイヒミュラー理論における conformal block の空間との間に、マッピングクラス群に沿った同型写像が確立された。
• 量子進化演算子 $\mathsf{W}(n)$ は、$\operatorname{Ad}(\mathsf{W}(n)^{-1})\mathsf{D}^{-1/N} = \operatorname{Ad}(\mathsf{W}_{\mathrm{o}}(n)^{-1})\kappa(\operatorname{Ad}(\mathsf{W}_{\mathrm{f}}(n)^{-1})\mathsf{U}_{lc})$ を満たし、量子テイヒミュラー理論と整合することが証明された。
• 重要な恒等式 $\tilde{\mathsf{U}}_{lc}^{N} = \tilde{\zeta}^{1-N^2} \bar{\varphi}_b(\mathsf{g}_{2,2N+1}) e^{-\mathsf{i}\pi \mathsf{r}_2^2} (e^{\mathsf{i}\pi \sum_{l=1}^N \mathsf{r}_{2l}^2} \mathsf{G})^N$ が導出され、量子構造の整合性が確認された。