[論文レビュー] Fusion categories between $C \boxtimes D$ and $C * D$

Masaki Izumi, Scott Morrison+1 more|arXiv (Cornell University)|Aug 27, 2013

Algebraic structures and combinatorial models参考文献 15被引用数 8

ひとこと要約

本稿は、2つの融合カテゴリ $C$ と $D$ の自由積 $C * D$ とテンソル積 $C \boxtimes D$ の間の中間融合カテゴリを調査し、特に $C = D = A_2$ および $C = D = T_2$ の場合に焦点を当てる。ジャリーフィッシュアルゴリズムと図式的記法を用いて、パラメータ $n \geq 1$ と $n$ 乗単位根 $\omega$ を用いたこのような合成カテゴリの分類を行い、$n \geq 4$ の場合、$C = A_2$, $D = T_2$ または $C = D = T_2$ のとき、このような合成カテゴリが存在しないことを証明した。これは、ビシュとオーハーグラップの予想を解決し、明示的な図式評価により非存在性を確認した。

ABSTRACT

Given a pair of fusion categories $C$ and $D$, we may form the free product $C * D$ and the tensor product $C \boxtimes D$. It is natural to think of the tensor product as a quotient of the free product. What other quotients are possible? When $C=D=A_2$, there is an infinite family of quotients interpolating between the free product and the tensor product (closely related to the $A_{2n-1}^{(1)}$ and $D_{n+2}^{(1)}$ subfactors at index 4). Bisch and Haagerup discovered one example of such an intermediate quotient when $C=A_2$ and $D=T_2$, and suggested that there might be another family here. We show that such quotients are characterized by parameters $n \geq 1$ and $ω$ with $ω^{2n}=1$. For $n=1,2,3$, we show $ω$ must be 1, and construct the corresponding quotient ($n=1$ is the tensor product, $n=2$ is the example discovered by Bisch and Haagerup, and $n=3$ is new). We further show that there are no such quotients for $4 \leq n \leq 10$. Our methods also apply to the case when $C=D=T_2$, and we prove similar results there. During the preparation of this manuscript we learnt of an independent result of Liu's on subfactors. With the translation between the subfactor and fusion category settings provided here, it follows there are no such quotients for any $n \geq 4$.

研究の動機と目的

• 自由積 $C * D$ とテンソル積 $C \boxtimes D$ の間の中間融合カテゴリを、融合カテゴリ $C$ と $D$ に対して分類すること。
• ビシュとオーハーグラップが予想したように、$C = A_2$, $D = T_2$ の場合に無限族の合成カテゴリが存在するかを調査すること。
• 特に小さな $n$ の場合にこのような合成カテゴリが存在する条件を特定し、$n \geq 4$ の非存在性を証明すること。
• $C = D = T_2$ の場合への分類の拡張と、サブファクター理論との比較

提案手法

• ジャリーフィッシュアルゴリズムを用いて、融合カテゴリ内の図式的表現を評価し、特にトレイントラック基底における境界を持つ特定の図式の評価に注力する。
• 同一の図式に対して2つの異なるジャリーフィッシュ移動の列を計算し、トレイントラック基底における異なる表現を得る。
• 合成カテゴリの存在は、これらの2つの評価の整合性に依存する。整合性が保たれない場合、非存在性が示される。
• Mathematica を用いた明示的計算が行われ、$n = 1$ から $n = 4$ まで、トレイントラック基底における自己準同型の係数を計算する。'JellyfishCalculations' ノートブックを用いた。
• パラメータ $n$ は、$C$ と $D$ の生成子における長さ $n$ の交互な語が同型である最小の長さとして定義され、$\omega$ は $n$ 乗単位根である。
• 融合カテゴリとサブファクター理論との間の翻訳により、リウの独立的な結果を用いて、すべての $n \geq 4$ で非存在性が結論づけられる。

実験結果

リサーチクエスチョン

• RQ1 パラメータ $n$ と単位根 $\omega$ がどのような値のとき、$A_2 * T_2$ と $A_2 \boxtimes T_2$ の間の中間融合カテゴリが存在するか？
• RQ2 $A_2 * A_2$ と $A_2 \boxtimes A_2$ の間の無限族の合成カテゴリが、$A_2 * T_2$ の場合に拡張可能か？
• RQ3 $n = 2$ の場合、$A_2 * T_2$ の文脈でビシュとオーハーグラップの例が $n = 2$ の唯一の可能な合成カテゴリであるか？
• RQ4 パラメータ $\omega$ がこのような合成カテゴリの分類に果たす役割は何か？なぜ $n = 1,2,3$ の場合 $\omega = 1$ でなければならないのか？
• RQ5 $A_2 * T_2$ または $T_2 * T_2$ の場合に、$n \geq 4$ の合成カテゴリは存在するか？

主な発見

• $C = A_2$, $D = T_2$ の場合、合成カテゴリは $n = 1, 2, 3$ で $\omega = 1$ のみに存在し、$4 \leq n \leq 10$ では、2つのジャリーフィッシュ移動列による図式評価の不整合により、それ以上の合成カテゴリは存在しない。
• $n = 1$ はテンソル積 $A_2 \boxtimes T_2$ に一致し、$n = 2$ はビシュ＝オーハーグラップの例に一致し、$n = 3$ は新しい構成である。
• $C = D = T_2$ の場合、$n = 2$ と $n = 3$ で $\omega = 1$ の唯一の合成カテゴリが存在し、$4 \leq n \leq 10$ では合成カテゴリは存在せず、同じ非存在性の議論が適用される。
• $n \geq 4$ の非存在性は、トレイントラック基底における明示的な図式評価により確認された。2つの異なるジャリーフィッシュ移動列が不整合な結果をもたらす。
• $A_4 - A_4$ の合成カテゴリにおける $n = 2$ と $n = 3$ の主グラフは明示的に計算され、既知のサブファクターのグラフと一致した。
• 結果はリウの独立的なサブファクター理論の結果と整合しており、サブファクターと融合カテゴリの間の翻訳により、すべての $n \geq 4$ で非存在性が結論づけられた。