[論文レビュー] Logarithmic Link Invariants of $\overline{U}_q^H(\mathfrak{sl}_2)$ and Asymptotic Dimensions of Singlet Vertex Algebras

Thomas Creutzig, Antun Milas+1 more|arXiv (Cornell University)|May 18, 2016

Algebraic structures and combinatorial models参考文献 27被引用数 12

ひとこと要約

本稿は、根の単位における制限付きアンロール量子群 $\overline{U}_q^H(\mathfrak{sl}_2)$ とシングレット頂点代数 $\mathcal{M}(r)$ の間の圏的関係を確立し、$\mathcal{M}(r)$ のキャラクターの正則化された漸近次元が、射影的加群からのオープンヘプ・リンク不変量の修正トレースと一致することを示している。可変パラメータを用いた加群の族を用いて、著者たちはこれらの不変量を効率的に計算し、偽シータ関数における正則化パラメータの新しい位相的解釈を提示している。

ABSTRACT

We study relationships between the restricted unrolled quantum group $\overline{U}_q^H(\mathfrak{sl}_2)$ at $2r$-th root of unity $q=e^{πi/r}, r \geq 2$, and the singlet vertex operator algebra $\mathcal M(r)$. We use deformable families of modules to efficiently compute $(1, 1)$-tangle invariants colored with projective modules of $\overline{U}_q^H(\mathfrak{sl}_2)$. These relate to the colored Alexander tangle invariants studied in [ADO, M1]. It follows that the regularized asymptotic dimensions of characters of $\mathcal M(r)$ coincide with the corresponding modified traces of open Hopf link invariants. We also discuss various categorical properties of $\mathcal M(r)$-mod in connection to braided tensor categories.

研究の動機と目的

• シングレット頂点代数 $\mathcal{M}(r)$ のキャラクターの漸近次元について、ファイバリング環と関係することは知られているが、明確な圏的基盤を欠いていることから、その圏的解釈を提供すること。
• 非半単純かつ無限長の設定における、制限付きアンロール量子群 $\overline{U}_q^H(\mathfrak{sl}_2)$ の表現理論とシングレット頂点代数 $\mathcal{M}(r)$ の間の橋渡しをすること。
• 完全なテンソル環構造に依存しない、射影的加群で色付けられたオープンヘプ・リンク不変量を計算するための変形に基づく手法を開発すること。
• HLZフレームワークを用いて、$C_1$-cofinite な $\mathbb{N}$-可換 $\mathcal{M}(r)$-加群の圏がブラケットテンソル圏構造を備えるための条件を確立すること。

提案手法

• 著者たちは、可変パラメータを用いた加群の族を用いて、$\overline{U}_q^H(\mathfrak{sl}_2)$ の射影的加群で色付けられた $(1,1)$-タングル不変量を計算し、Murakami-Nagatomo の手法をアンロール量子群の文脈に一般化している。
• 正則化パラメータを量子群フレームワークにおける位相的不変量と特定することで、これらの不変量と $\mathcal{M}(r)$ キャラクターの正則化された漸近次元との関係を確立している。
• これらの計算は、リボン圏におけるオープンヘプ・リンク不変量の構造に依存しており、このような不変量がテンソル環の表現を表すことが知られている。
• 著者たちは、$C_1$-cofinite な $\mathbb{N}$-可換 $\mathcal{M}(r)$-加群の圏 $\mathcal{C}$ に対して HLZ テンソル圏公理を適用し、適切な仮定の下で $P(z)$-テンソル積と対対応関手の閉包性を検証している。
• 有限長条件を $C_1$-cofinite 加群に仮定することで、$L(0)$-一般化固有空間条件（仮定 10.1(vi)）が成立し、ブラケットテンソル構造の構成が可能になる。
• ヒルベルト・バーチャル代数 $F_0$ との比較を含み、その加群圏が半単純で、不変量の豊かさに欠けることから、$\mathcal{M}(r)$ の特異性が際立つ。

実験結果

リサーチクエスチョン

• RQ1 シングレット頂点代数 $\mathcal{M}(r)$ のキャラクターの漸近次元は、$\overline{U}_q^H(\mathfrak{sl}_2)$ からの量子不変量とどのように関係するか？
• RQ2 変形技術を用いて、$\overline{U}_q^H(\mathfrak{sl}_2)$ の射影的加群に対するオープンヘプ・リンク不変量を効率的に計算できるか？
• RQ3 $C_1$-cofinite な $\mathbb{N}$-可換 $\mathcal{M}(r)$-加群の圏にどのような圏的構造が備わり、どのような条件下でブラケットとなるか？
• RQ4 漸近次元を求めるために用いられる偽シータ関数における正則化パラメータは、位相的または量子群論的解釈を有するか？
• RQ5 特にブラケットテンソル圏の文脈において、$\overline{U}_q^H(\mathfrak{sl}_2)$-加群の部分圏と $\mathcal{M}(r)$-加群の部分圏の間でモノイダル同値が存在するか？

主な発見

• $\mathcal{M}(r)$ の正則化された漸近次元は、$\overline{U}_q^H(\mathfrak{sl}_2)$ の射影的加群で色付けられたオープンヘプ・リンク不変量の修正トレースと、正確に一致する。
• 変形法により、完全なテンソル環構造に依存しない $(1,1)$-タングル不変量の効率的計算が可能となり、新たな計算的手法が得られた。
• 有限長の $C_1$-cofinite な $\mathbb{N}$-可換 $\mathcal{M}(r)$-加群の圏 $\mathcal{C}_{\text{fin}}$ は、すべての有限生成な $\mathbb{N}$-可換一般化加群が $C_1$-cofinite であるという仮定の下で HLZ 公理を満たし、ブラケットテンソル圏構造を備える。
• 偽シータ関数形式における正則化パラメータは、量子群不変量から生じる位相的不変量として解釈され、数論と量子トポロジーの間の新しい接点を提供する。
• シングレット頂点代数 $\mathcal{M}(r)$ は、$C_2$-cofiniteness を超える圏的構造をテストするための重要な試験台であり、その表現論は対数的量子不変量と深く関係している。
• ヒルベルト・バーチャル代数 $F_0$ の加群圏が半単純で、非自明な量子不変量を生じないことが示され、$\mathcal{M}(r)$ の豊かさが際立つ。