[論文レビュー] Integrating quantum groups over surfaces: quantum character varieties and topological field theory

Dani Ben‐Zvi, David Jordan+1 more|arXiv (Cornell University)|Jan 19, 2015

Algebraic structures and combinatorial models参考文献 13被引用数 7

ひとこと要約

この論文は、量子群 U_q(g) から得られる braided tensor category を用いて、拡張された 4次元トポロジカル量子場理論を介して、表面のカテゴリ値不変量を構成する。これらの不変量を明示的に計算し、それらがキャラクター多様体を量子化し、量子D加群やDAHA表現といった量子群理論の構造を統一することを示す。

ABSTRACT

Braided tensor categories give rise to (partially defined) extended 4-dimensional topological field theories, introduced in the modular case by Crane-Yetter-Kauffman. Starting from modules for the Drinfeld-Jimbo quantum group U_q(g) one obtains in this way a form of 4-dimensional N=4 super Yang-Mills theory, the setting introduced by Kapustin-Witten for (a Betti version of) the geometric Langlands program. These theories produce in particular category-valued invariants of surfaces (including the case of decorated boundaries and marked points) which can be described via the mechanism of factorization homology. In this paper we calculate those invariants, producing explicit categories that (in the case of U_q(g)-modules) quantize character varieties (moduli of G-local systems) on the surface and providing uniform constructions of a variety of structures in quantum group theory. In the case of the annulus, we recover modules for the reflection equation algebra, for the punctured torus, we recover quantum D-modules on G (the elliptic double of U_q(g)), while for the closed torus we recover adjoint-equivariant quantum D-modules, which are closely related by Hamiltonian reduction to representations of the double affine Hecke algebra (DAHA). The topological field theory approach provides an explanation of the elliptic nature and mapping class group symmetry (difference Fourier transform) of quantum D-modules and the DAHA, and points to many new structures on and constructions of quantum D-modules.

研究の動機と目的

• U_q(g) 加群から得られる braided tensor category を用いて、表面のカテゴリ値不変量を構成すること。
• 量子D加群および量子群理論における関連構造を統一的な枠組みで扱うこと。
• 量子D加群およびDAHAの楕円的性質とマッピングクラス群の対称性（差分フーリエ変換）を、トポロジカル場理論によって説明すること。
• 既知の量子群の対象（例えば、反射方程式代数の加群や随伴同変量子D加群）を、特定の表面の不変量として回復すること。
• TQFT形式主義を通じて、量子D加群の新しい構造と構成を明らかにすること。

提案手法

• U_q(g) 加群から生じる braided tensor category を用いて、部分的に定義された拡張された 4次元トポロジカル量子場理論を定義する。
• 因子化ホモロジーを適用して、表面の不変量をカテゴリとして計算し、幾何的および表現論的データを符号化する。
• 装飾された境界およびマークされた点をもつ表面（例えば、アニュラス、穴あきトーラス、閉じたトーラス）の不変量を構成する。
• 得られたカテゴリが、表面上の G-局所系のモジュライ（キャラクター多様体）の量子化として特定されることを示す。
• ハミルトニアン還元を用いて、閉じたトーラスの不変量が二重アフィンヘッケ代数（DAHA）の表現に関係することを特定する。
• 差分フーリエ変換を通じてマッピングクラス群の対称性を確立し、それが量子D加群に現れる理由を説明する。

実験結果

リサーチクエスチョン

• RQ1 U_q(g) から得られる braided tensor category は、4次元TQFTの枠組みにおいて、表面のカテゴリ値不変量をどのように生じさせるか？
• RQ2 アニュラスに対して得られる正確なカテゴリ的構造は何か？ そして、これは反射方程式代数とどのように関係するか？
• RQ3 穴あきトーラスの不変量は、G 上の量子D加群をどのように実現し、幾何的意味は何か？
• RQ4 閉じたトーラスの不変量と随伴同変量子D加群の間の関係は何か？ また、ハミルトニアン還元はそれらをDAHAの表現にどのように結びつけるか？
• RQ5 なぜ量子D加群とDAHAはマッピングクラス群の対称性を示すのか？ そして、TQFT形式主義は差分フーリエ変換の出現をどのように説明するのか？

主な発見

• アニュラスの不変量は、反射方程式代数の加群のカテゴリと同型であり、この対象の統一的構成を提供する。
• 穴あきトーラスの不変量は、G 上の量子D加群のカテゴリとして特定され、これは U_q(g) の楕円的二重と呼ばれるものである。
• 閉じたトーラスの不変量は、随伴同変量子D加群のカテゴリであり、ハミルトニアン還元を通じて二重アフィンヘッケ代数（DAHA）の表現と関係づけられる。
• トポロジカル場理論の枠組みは、差分フーリエ変換を通じて、量子D加群の楕円的性質とマッピングクラス群の対称性を説明する。
• この構成は、量子D加群を新たに体系的に構成・理解するための方法を提供し、これまで見えにくかった構造と対称性を明らかにする。