[論文レビュー] A braided monoidal category for free super-bosons

Ingo Runkel|arXiv (Cornell University)|Sep 25, 2012

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

ひとこと要約

この論文は、自由超ボソンのチャーラル代数に対して、頂点 operator代数と conformal block 計算を用いて、ねじれたモノイダル圏を構成する。非ねじれおよび、シミプレクティックフェルミオンの場合（$χ = 0|2$）のねじれ表現について、テンソル積、braiding、および結合子を明示的に計算し、対数的 conformal field theory におけるこれらの構造の最初の明示的計算を提供する。

ABSTRACT

The chiral conformal field theory of free super-bosons is generated by weight one currents whose mode algebra is the affinisation of an abelian Lie super-algebra h with non-degenerate super-symmetric pairing. The mode algebras of a single free boson and of a single pair of symplectic fermions arise for even|odd dimension 1|0 and 0|2 of h, respectively. In this paper, the representations of the untwisted mode algebra of free super-bosons are equipped with a tensor product, a braiding, and an associator. In the symplectic fermion case, i.e. if h is purely odd, the braided monoidal structure is extended to representations of the Z/2Z-twisted mode algebra. The tensor product is obtained by computing spaces of vertex operators. The braiding and associator are determined by explicit calculations from three- and four-point conformal blocks.

研究の動機と目的

• 自由超ボソンの非ねじれモード代数の表現カテゴリに対して、ねじれたモノイダル圏を構成すること。
• 特にシミプレクティックフェルミオンの場合（$χ = 0|2$）に、$Χ/2Χ$-ねじれ表現を含むこの構造を拡張すること。
• 頂点作用素の構成と conformal block の漸近挙動を用いて、テンソル積、braiding、および結合子の明示的で計算可能な式を提供すること。
• 五角形および六角形の恒等式を確立し、ねじれたモノイダル圏構造を確認すること。
• シミプレクティックフェルミオンの頂点作用素超代数の偶数部をチャーラル代数とする conformal field theories を分類するための圏論的基盤を構築すること。

提案手法

• テンソル積は、表現間の頂点作用素の空間を用いて定義され、正規順序指数関数とモード交換関係が用いられる。
• braiding は、3点の conformal block を用いて、超幾何関数の漸近的挙動とモノドロミー性質から導出される。
• 結合子は、4点の conformal block から contour 積分と微分方程式を用いて計算され、モジュラー媒介変数 $x$ に明示的な依存性を示す。
• $χ = 0|2$ の場合、半整数モードを伴う頂点作用素と真空状態条件を用いて、ねじれ表現カテゴリが構成される。
• 五角形および六角形の公理といった重要な恒等式は、楕円積分 $K(x)$ と $E(x)$ の漸近展開を用いて検証される。
• 計算は、特にシミプレクティックフェルミオンの場合のレベル2の零ベクトル条件を満たす微分方程式の明示的解に依存する。

実験結果

リサーチクエスチョン

• RQ1 自由超ボソンの表現カテゴリに対して、ねじれたモノイダル構造をどのように明示的に構成できるか？
• RQ2 テンソル積を $Χ/2Χ$-ねじれ表現に拡張することが許される条件は何か？
• RQ3 シミプレクティックフェルミオンの場合に、braiding および結合子の同型写像は、conformal block の漸近挙動からどのように生じるか？
• RQ4 楕円積分とモジュラー媒介変数は、結合子の計算においてどのような役割を果たすか？
• RQ5 この対数的設定において、五角形および六角形の恒等式はどのように検証できるか？

主な発見

• 自由超ボソンモード代数の非ねじれ表現のカテゴリ $\mathcal{C}_0$ は、頂点作用素によるテンソル積と3点ブロックから導かれるbraidingを備えたねじれたモノイダル圏である。
• $χ = 0|2$ の場合、ねじれたおよび非ねじれ表現のカテゴリ $\mathcal{C}$ に対しても、ねじれたモノイダル構造が拡張され、五角形および六角形の恒等式を満たす。
• 3重テンソル積 $\mathcal{C}_1 \times \mathcal{C}_1 \times \mathcal{C}_1 \to \mathcal{C}_1$ の結合子は、contour 積分と $K(x)$ および $E(x)$ の漸近挙動を用いて明示的に計算され、$K(x)$ および $\frac{1-x}{2}K(x) - E(x)$ を含む非自明な表現を得る。
• 単一の自由ボソンの場合（$χ = 1|0$）、4点ブロックは既知の結果と一致する：$F(x) \propto (x(1-x))^{-1/8} K(x)^{-1/2} q(x)^{p^2/2}$、[Za, 式 (1.1)] と整合的である。
• シミプレクティックフェルミオンの場合（$χ = 0|2$）、4点ブロックは $K(x)$ と $K(1-x)$ の線形結合に簡略化され、レベル2の零ベクトル条件の2つの独立した解と一致する。
• 計算により、結合子が五角形恒等式を満たすことが確認され、 contour 積分 $\oint z u(z)^{-1} dz \propto K(x) - E(x)$ が導出において中心的な役割を果たす。