[論文レビュー] A Hermitian TQFT from a non-semisimple category of quantum sl(2)-modules

Nathan Geer, Aaron D. Lauda+2 more|arXiv (Cornell University)|Aug 20, 2021

Algebraic structures and combinatorial models参考文献 25被引用数 1

ひとこと要約

本稿は、根の単位における非半単純な量子 sl(2)-加群の非半単純なカテゴリにヘルミート構造を確立し、その結果得られる (2+1)-TQFT がヘリミート的であることを証明する。修正トレースとダガー構造を用いて状態空間に非退化なヘリミート形式を構成することで、理論はマッピングクラス群の不定ユニタリ行列の群への射影表現を生じさせ、非半単純 TQFT を物理的意義を持つ擬ヘリミート的量子力学に適合するヘリミート的枠組みへと拡張する。

ABSTRACT

We endow a non-semisimple category of modules of unrolled quantum sl(2) with a Hermitian structure. We also prove that the TQFT constructed in arXiv:1202.3553 using this category is Hermitian. This gives rise to projective representations of the mapping class group in the group of indefinite unitary matrices.

研究の動機と目的

• 非半単純なアンロールド量子 sl(2)-加群のカテゴリにヘリミート構造を導入すること。
• arXiv:1202.3553 でこのカテゴリを用いて構成された TQFT がヘリミート的であることを証明すること。
• マッピングクラス群の作用が、不定ユニタリ行列の群への射影表現を生じることを確立すること。
• 不定内積と実固有値を伴うことで、非半単純 TQFT を擬ヘリミート的量子力学に接続すること。

提案手法

• 根の単位におけるアンロールド量子群 U^H_q(sl(2)) を定義し、生成子 E, F, K, H と、H をカルタン生成子とする関係を含む。
• U^H_q(sl(2)) 上の有限次元重み加群のカテゴリ D† を構成し、射影的対象上で消失しない修正トレースを備える。
• コボルディズムの向きの反転と、対象上の整合的なヘリミート構造を用いて D† にダガー構造を導入し、双対性およびブレード構造と整合性を保証する。
• ダガー公理、ピボタル構造との整合性、およびねじれのユニタリ性を検証することで、D† がヘリミート的リボンカテゴリであることを証明する。
• リシュチキン＝トゥレイツォの関手を用いて D† から (2+1)-TQFT (V, Z) を構成し、状態空間のペアリングが非退化的かつヘリミート的であることを示す。
• 関手の性質と鏡像手術による不変量の不変性を用いて、TQFT がヘリミート的条件 ⟨x, V(f)(y)⟩ = ⟨V(f^†)(x), y⟩ を満たすことを示す。

実験結果

リサーチクエスチョン

• RQ1 非正の量子次元を有するにもかかわらず、非半単純な量子 sl(2)-加群のカテゴリにヘリミート構造を導入できるか？
• RQ2 修正トレースを用いて構成されたこのカテゴリからの TQFT は、トゥレイェフの定義におけるヘリミート的 TQFT の公理を満たすか？
• RQ3 この非半単純なヘリミート的 TQFT におけるマッピングクラス群の作用の性質は何か？
• RQ4 このような TQFT は、不定内積を伴う擬ヘリミート的量子力学の物理的解釈を支持できるか？

主な発見

• アンロールド量子 sl(2)-加群のカテゴリ D† は、トゥレイェフが定義するヘリミート的リボンカテゴリであり、整合的なダガー構造と非退化ヘリミート形式を備える。
• arXiv:1202.3553 で構成された TQFT (V, Z) はヘリミート的であることが証明され、すべてのコボルディズム f に対して ⟨x, V(f)(y)⟩ = ⟨V(f^†)(x), y⟩ を満たす。
• TQFT の状態空間 V(eΣ) には非退化ヘリミートペアリングが存在し、双線形形式の核を介してコボルディズムペアリングから誘導される。
• マッピングクラス群は、マッピングシリンダーを用いて V(eΣ) 上に射影的に作用し、その値は不定ユニタリ行列の群に属する。
• 3次元多様体不変量 Z(fM) は Z(fM^†) = Z(fM) を満たし、ダガー構造およびヘリミート性と整合する。
• 理論は、実固有値と不定内積下でのユニタリ的時間発展を伴う、擬ヘリミート的量子力学と整合するトポロジカルな相の枠組みを提供する。