[論文レビュー] A new formulation of the Teichmüller TQFT

Jørgen Ellegaard Andersen, Rinat Kashaev|arXiv (Cornell University)|May 18, 2013

Algebraic structures and combinatorial models参考文献 17被引用数 24

ひとこと要約

本稿は、ファドデエフの量子ディログラミット関数のウェイ・ゲルファンド・ザーク変換を用いて、Teichmüller TQFT の新しい状態積分形式を提示する。状態変数は向き付けられ、レベル付けられ、形状が与えられた三角形分割の辺上に存在し、実数直線上の値を取る。モデルは周期的四面体重み、単位立方体上のコンパクトな積分、および複素トーラス上のメロモーフィック関数への解析接続を特徴とし、形状正定性の制約なしに、すべての形状付きパシュナー移動に関して位相不変性を保証する。

ABSTRACT

By using the Weil-Gel'fand-Zak transform of Faddeev's quantum dilogarithm, we propose a new state-integral model for the Teichmüller TQFT, where the circle valued state variables live on the edges of oriented leveled shaped triangulations.

研究の動機と目的

• 従来のモデルにおける収束性および位相不変性の制限を克服する、より強固なTeichmüller TQFTの新たな定式化を開発すること。
• 無限次元の状態空間を、実数値の辺変数に対する有限次元的・コンパクト台付き積分に置き換えること。
• 分割関数の解析接続を任意の複素形状へ行えるようにすることで、すべての形状付き2-3および3-2パシュナー移動に関して位相不変性を保証すること。
• 複素トーラス上のメロモーフィックセクションを用いて、非閉3次元多様体およびリンク不変量への理論の一般化を図ること。
• 新しいより幾何的に明確な状態積分構造を通じて、[1]における元のTeichmüller TQFTと同等であることを確立すること。

提案手法

• ファドデエフの量子ディログラミット関数のウェイ・ゲルファンド・ザーク変換を用いて、トーラス上のラインバンドルのセクションとして、準周期的四面体重みを定義する。
• 単位立方体 $[0,1]^{igtriangleup_1(X)}$ 上での状態積分を定義し、形状正定性に依存せず、可積分性によって収束を保証する。
• 各四面体に対して、変換されたファドデエフ関数 $g_{a,c}(s,t)$ を用いてボルツマン重み $B(T,x)$ を構成し、形状パラメータを介して幾何的・量子的データを符号化する。
• 負の四面体に対しては重みの複素共役を用い、三角形分割における向きと対称性を保つ。
• ファドデエフの量子ディログラミット関数 $\Phi_{\mathsf{b}}(x)$ を用いたフーリエ変換および積分恒等式を適用し、関数方程式を導出し、一貫性を検証する。
• 量子モデルと古典的ポリログ関数およびチャーン・サイモンズ理論を結びつけるために、準古典的極限 $\mathsf{b} \to 0$ を用いる。

実験結果

リサーチクエスチョン

• RQ1 Teichmüller TQFT は、コンパクトな積分領域と周期的重みを用いて再定式化可能であり、形状正定性に依存せずに収束を保証できるか？
• RQ2 分割関数は任意の複素形状へ解析接続可能であり、その際位相不変性を保つことができるか？
• RQ3 ウェイ・ゲルファンド・ザーク変換は、幾何的に意味のある状態積分モデルを構築するために果たす役割は何か？
• RQ4 新しいモデルは、H-三角形分割を用いて、非閉3次元多様体およびリンク不変量を扱えるか？
• RQ5 新しい四面体重みは、元のTQFT構成と、位相不変性および同等性の観点からどのように関係しているか？

主な発見

• 状態積分 $Z_{\hbar}(X)$ は $[0,1]^{\bigtriangleup_1(X)}$ 上での積分により定義され、被積分関数の周期性と可積分性によって収束が保証される。
• 分割関数は複素トーラス上のメロモーフィック関数へ解析接続可能であり、任意の複素形状に対しても理論が適切に定義可能である。
• 2-3および3-2パシュナー移動は、四面体重みのメロモーフィック接続のおかげで制限なしに位相不変性を保つ。
• 内部の辺変数のみを積分することで、非閉3次元多様体に対しても対応可能であり、$(\mathbb{C}^*)^{\bigtriangleup_1(\partial X)}$ 上のメロモーフィックセクションが得られる。
• 正則頂点での正規化を施すことで、2-0および0-2移動に対しても理論が拡張可能となり、H-三角形分割を用いたコンパクト3次元多様体におけるリンク不変量の構成が可能になる。
• 準古典的極限 $\mathsf{b} \to 0$ では古典的ポリログ関数構造が回復され、$\ln \Phi_{\mathsf{b}}(x/(2\pi\mathsf{b})) \sim \frac{1}{2\pi\mathsf{i}\mathsf{b}^2} \operatorname{Li}_2(-e^x)$ が成り立ち、チャーン・サイモンズ理論と関連づけられる。