[論文レビュー] Some asymptotics of TQFT via skein theory

Julien Marché, Majid Narimannejad|ArXiv.org|Apr 25, 2006

Geometric and Algebraic Topology参考文献 21被引用数 7

ひとこと要約

本稿は、レベル $ p = 2r $ が無限大に近づくとき、TQFTにおける量子表現の幾何的極限を確立する。具体的には、スケインモジュール上のマッピングクラス群の量子表現が、Fell位相において、$ SL(2,\mathbb{C}) $-表現多様体上の正則関数空間への自然なユニタリ表現に収束することを示す。収束は、$ SU(2) $-表現多様体上のシンプレクティック体積から導かれるヘルミート構造によって支配され、量子表現の漸近的忠実性の新しい証明が得られる。

ABSTRACT

For each oriented surface $Σ$ of genus $g$ we study a limit of quantum representations of the mapping class group arising in TQFT derived from the Kauffman bracket. We determine that these representations converge in the Fell topology to the representation of the mapping class group on $\boH(Σ)$, the space of regular functions on the $SL(2,\C)$ representation variety with its hermitian structure coming from the symplectic structure of the SU(2)-representation variety. As a corollary, we give a new proof of the asymptotic faithfulness of quantum representations.

研究の動機と目的

• レベル $ p \to \infty $ のとき、TQFTにおけるマッピングクラス群の量子表現の漸近的挙動を理解すること。
• カウフマンブラケットスケイン理論による組み合わせ的量子TQFTを、表現多様体上の古典的幾何的構造と結びつけること。
• Fell位相における量子表現の明確な極限を確立し、$ \mathcal{H}(\Sigma) $ 上の正則関数へのユニタリ作用と結びつけること。
• 幾何的および解析的手段を用いて、量子表現の漸近的忠実性を新たな方法で証明すること。

提案手法

• 空間 $ \mathcal{H}(\Sigma) $ から量子ヒルベルト空間 $ V_p(\Sigma) \otimes V_p(\Sigma)^* $ への $ \Gamma_g $-不変写像 $ \psi_p: \mathcal{H}(\Sigma) \to V_p(\Sigma) \otimes V_p(\Sigma)^* $ を構成し、正則関数空間を量子ヒルベルト空間に埋め込む。
• $ SU(2) $-表現多様体上のシンプレクティック体積形式を用いて、$ \mathcal{H}(\Sigma) $ 上にヘルミート形式を積分により定義する。
• ブルロックおよびプリジティツキ–シコラの定理を用い、スケイン代数 $ K(\Sigma \times [0,1], -1) $ を $ \mathcal{H}(\Sigma) $、すなわち $ SL(2,\mathbb{C}) $-表現多様体上の正則関数の環に同定する。
• 幾何的量子化の枠組みを適用し、量子ヒルベルト空間をラグランジュ部分多様体上の $ L^2 $-切断と同一視し、行列係数の漸近的挙動を計算する。
• トーラスファイブレーションと被覆次数の解析を用いて、$ \mathcal{S}_g $ 上でのトレース関数 $ f_\gamma(\rho) = -\operatorname{Tr} \rho(\gamma) $ の明示的積分を実行する。
• パンツ分解から生じる $ \mathbb{Z}_2 $-被覆の次数を用いて、モジュライ空間上のトーラスファイブレーションのファイバーの体積を計算し、正規化係数 $ 2^{g - d(g)} $ を得る。

実験結果

リサーチクエスチョン

• RQ1 マッピングクラス群の量子表現は、レベル $ p \to \infty $ の極限でどのように振る舞うか？
• RQ2 カウフマンブラケットから生じる量子TQFTは、$ SL(2,\mathbb{C}) $-表現多様体上の古典的幾何的構造と関係づけられるか？
• RQ3 量子表現 $ V_p(\Sigma) $ は漸近的に忠実であり、幾何的収束を用いてその証明が可能か？
• RQ4 量子内積の正確な極限は、$ \mathcal{H}(\Sigma) $ 上の古典的ヘルミート構造とどのように関係するか？
• RQ5 マルチカーブのスケイン代数は、$ \mathcal{S}(\Sigma, SL(2,\mathbb{C})) $ 上の正則関数の代数とどのように関係するか？

主な発見

• 量子表現 $ \rho_p \otimes \overline{\rho_p} $ はFell位相において、$ SL(2,\mathbb{C}) $-表現多様体への作用から生じるユニタリ表現 $ \rho: \Gamma_g \to U(\mathcal{H}(\Sigma)) $ に収束する。
• 正規化された量子内積の極限は、すべての $ v,w \in \mathcal{H}(\Sigma) $ に対して $ \langle v,w \rangle = \lim_{p \to \infty} \frac{1}{r^{d(g)}} \langle \varphi_p(v), \varphi_p(w) \rangle_p $ を満たす。ここで $ d(g) = 3g-3 $ であり、$ g > 1 $ のとき成り立つ。
• $ \mathcal{H}(\Sigma) $ 上のヘルミート形式は、$ SU(2) $-表現多様体上での積分により与えられる：$ \langle f,g \rangle = \int_{\mathcal{S}(\Sigma, SU(2))} f \overline{g} \, dV $。ここで $ dV $ はシンプレクティック体積形式である。
• マルチカーブから正則関数への写像 $ f: C(\Sigma) \to \mathcal{H}(\Sigma) $（トレース不変量を介して）は、ブルロックおよびプリジティツキ–シコラによって示されたように、ベクトル空間の同型である。
• トーラスファイブレーションのファイバーの体積は $ 2^{g - d(g)} $ であり、パンツ分解から生じる $ \mathbb{Z}_2 $-被覆の次数を用いて計算された。
• 漸近的忠実性が成立する：任意の非自明な $ h \in \Gamma_g $ で、楕円的またはハイパーエリプティックな対合でないものに対して、十分に大きな偶数 $ p $ に対して $ \rho_p(h) \neq \text{id} $ である。