[論文レビュー] Asymptotics of the Hilbert-Smith norm of curve operators in TQFT

Jørgen Ellegaard Andersen|ArXiv.org|May 11, 2006

Geometric and Algebraic Topology参考文献 16被引用数 4

ひとこと要約

本稿は、$SU(n)$ の Reshetikhin-Turaev TQFT における曲線作用素のヒルベルト＝シュミットノルムと、平坦接続のモジュライ空間上のホロノミー関数の $L^2$ 内積との間で、明確な漸近的同値性を確立する。トーペリッツ作用素理論と幾何学的量子化を用いて、レベル $k \to \infty$ の極限において、TQFT の曲線作用素の正規化トレースが、ホロノミー関数の積のシンプレクティック体積積分に収束することを証明し、March{\'e} と Narimanejad の結果を一般化する。

ABSTRACT

Applying standard techniques from Toeplitz operator theory, we analyze the asymptotics of the Hilbert-Smith norms of the TQFT operators coming from isotopy classes of one dimensional oriented submanifolds on a closed oriented surface. We thereby obtain a Toeplitz operator interpretation and generalization of the asymptotic formula obtained recently by Marche and Narimannejad.

研究の動機と目的

• $SU(n)$ TQFT における曲線作用素のヒルベルト＝シュミットノルムの高レベル漸近挙動を確立すること。
• 量子 TQFT フレームワークと、モジュライ空間上の古典的幾何学的量子化およびホロノミー関数を結びつけること。
• トーペリッツ作用素理論を用いて、March{\'e} と Narimanejad の漸近公式を一般化すること。
• TQFT 作用素の正規化トレースが、モジュライ空間上のホロノミー関数の $L^2$ 内積に収束することを示すこと。

提案手法

• 曲線の周りの固定ホロノミーを持つ $SU(n)$-接続のモジュライ空間 $M$ において、レベル $k$ の幾何学的量子化を適用する。
• モジュライ空間 $M$ 上の決定的線束の $k$ 乗の正則セクション空間に、極化に関してトーペリッツ作用素理論を適用する。
• 滑らかな関数 $f$ による乗算と正則セクションへの直交射影の合成として定義されるトーペリッツ作用素 $T_{f,\sigma}^{(k)}$ を定義する。
• Bordemann, Meinrenken, Schlichenmaier の漸近的結果を用いる：作用素ノルムが $\sup |f|$ に収束し、積の近似 $T_f T_g \approx T_{fg}$ が $O(k^{-1})$ の誤差で成り立ち、トレースの正規化が $\int_M f \omega^m / m!$ に収束する。
• Andersen (2006) の定理 3 を用いて、半古典的極限において、TQFT の曲線作用素 $Z^{(k)}(\gamma,\lambda)$ とトーペリッツ作用素 $T_{h_{\gamma,\lambda}}^{(k)}$ を関連付ける。
• トレース収束と作用素ノルムの制御を組み合わせ、$k^{-m} \operatorname{Tr}(Z^{(k)}(\gamma_1,\lambda_1) Z^{(k)}(\gamma_2,\lambda_2)^*) \to \langle h_{\gamma_1,\lambda_1}, h_{\gamma_2,\lambda_2} \rangle$ を示す。

実験結果

リサーチクエスチョン

• RQ1 $SU(n)$ TQFT における曲線作用素のヒルベルト＝シュミットノルムは、高レベル極限においてどのように振る舞うか？
• RQ2 トーペリッツ作用素理論から、曲線作用素ノルムの漸近公式を導出できるか？
• RQ3 量子 TQFT トレースと古典的 $L^2$ 内積の間には、明確な対応関係があるか？
• RQ4 TQFT 作用素の正規化トレースは、$k \to \infty$ の極限でホロノミー積のシンプレクティック体積積分に収束するか？
• RQ5 幾何学的量子化と極化は、TQFT における量子的・古典的不変量を結びつける際に果たす役割は何か？

主な発見

• $SU(n)$ TQFT における曲線作用素の積の正規化トレースは、対応するホロノミー関数の $L^2$ 内積に収束する：$\lim_{k \to \infty} k^{-(g-1)(n^2-1)} \langle Z^{(k)}(\gamma_1,\lambda_1), Z^{(k)}(\gamma_2,\lambda_2) \rangle = \langle h_{\gamma_1,\lambda_1}, h_{\gamma_2,\lambda_2} \rangle$。
• 漸近的同値性は、トーペリッツ作用素の収束によって確立される：$\|T_{h_{\gamma,\lambda}}^{(k)} - Z^{(k)}(\gamma,\lambda)\| \to 0$ ($k \to \infty$ のとき)。
• トレース正規化係数 $k^{-m}$ で $m = (g-1)(n^2-1)$ は、正則セクション空間の次元の増加と一致し、収束がシンプレクティック体積積分に至ることを保証する。
• トーペリッツ作用素の作用素ノルムは、記号の essentially 級数ノルムに収束する：$\lim_{k \to \infty} \|T_{f,\sigma}^{(k)}\| = \sup_M |f|$。
• トーペリッツ作用素の積は、$O(k^{-1})$ の誤差で、積のトーペリッツ作用素に近似される。これにより、半古典的極限における代数的一致性が保証される。
• 証明は、[BMS] で確立された、トーペリッツ作用素の割り当ての忠実性と、トレースがシンプレクティック積分に収束することに依存している。