[論文レビュー] From Quantum Groups to Unitary Modular Tensor Categories

Eric C. Rowell|ArXiv.org|Mar 11, 2005

Algebraic structures and combinatorial models参考文献 40被引用数 39

ひとこと要約

本稿は、根に一致する量子群からユニタリなモジュラーテンソルカテゴリ（MTC）を構成する方法を体系的に調査し、明示的な計算と組合せ的道具に焦点を当てる。モジュラー性とユニタリティの条件を確立し、特定のカテゴリがモジュラーではあるがユニタリではないことを証明し、G₂型およびB₂型の特定のレベルにおける生成関数を提供する。

ABSTRACT

Modular tensor categories are generalizations of the representation categories of quantum groups at roots of unity axiomatizing the properties necessary to produce 3-dimensional TQFTs. Although other constructions have since been found, quantum groups remain the most prolific source. Recently proposed applications to quantum computing have provided an impetus to understand and describe these examples as explicitly as possible, especially those that are "physically feasible." We survey the current status of the problem of producing unitary modular tensor categories from quantum groups, emphasizing explicit computations.

研究の動機と目的

• 根に一致する量子群からユニタリなモジュラーテンソルカテゴリ（MTC）を構築する現状の状況を調査すること。
• これらのカテゴリにおけるランクとS行列を計算するための明示的な組合せ的道具を提供すること。
• 量子群カテゴリがモジュラーかつユニタリである条件を特定し、特にトポロジカル量子計算における物理的実現可能性を考慮すること。
• G₂型レベル27およびB₂型9乗根に一致する特定の例を分析し、モジュラー性とユニタリティの基準を説明すること。
• 固定ランクの有限MTCの存在を支持する、量子群から生じるMTCのランクの生成関数を寄与すること。

提案手法

• 単純なリー代数gと根に一致するqに対して、カテゴリC(g,q,ℓ)を用いた、根に一致する量子群の表現理論。
• Lusztigの量子群理論とティルティング加群の理論を適用し、単純対象を分類し、カテゴリカル次元を計算する。
• S行列とねじれデータを用いて、Bruguièresの基準によりモジュラー性をテストする：Sが非退化であるとは、すべての非自明な対象が次元がグローバル次元と等しくないときである。
• 積の形 (1−x^k)^{-1} を含む生成関数を用い、MTCのランクを計算する。ℓ₀とℓₘを用いて正規化し、mで割り切れるか割り切れないかのレベルを分離する。
• Galois理論をS行列に適用し、ユニタリティを決定する。最初の列に負の成分がある場合、非ユニタリであることを示す。
• 結合則と結合行列の固有値構造を分析し、可換性を検証し、カテゴリ全体の構造を特定する。

実験結果

リサーチクエスチョン

• RQ1 量子群の表現カテゴリが根に一致するとき、どのような条件下でモジュラーかつユニタリになるか？
• RQ2 与えられたレベルにおける量子群から生じるモジュラーテンソルカテゴリのランクを明示的にどのように計算できるか？
• RQ3 なぜ特定の量子群カテゴリはモジュラーではあるがユニタリではないのか？また、これらの状況でユニタリティが妨げられる要因は何か？
• RQ4 量子群のさまざまなレベルから生じるMTCのランクを体系的に計算するための生成関数を導出可能か？
• RQ5 S行列とねじれデータは、これらのカテゴリにおけるモジュラー性とユニタリティを決定する上で果たす役割は何か？

主な発見

• G₂型レベル27では、カテゴリC(g(G₂), q, 27)のランクは12であり、生成関数1/((1−x)(1−x³)(1−x⁶))の15番目の係数として計算された。
• G₂型レベル14では、ランクは10であり、生成関数1/((1−x)(1−x²)(1−x³))の8番目の係数として計算された。
• gcd(18,j)=1を満たすq = e^{jπi/9}に対して、カテゴリC(so₅, 9, e^{jπi/9})は、非自明な対象X_γがすべてのλに対してS_{γ,λ} = d_γ d_λを満たすため、Bruguièresの基準に反してモジュラーではない。
• C(so₅, 9, e^{jπi/9})の整数重みを持つ単純対象によって生成される部分カテゴリはモジュラーであり、非退化S行列をもち、融合行列N₁に6つの異なる固有値がある。
• 18乗根に一致する6通りのqの選択に対してS行列は3つの異なる行列を生成するが、すべての行列の最初の列に負の成分があり、非ユニタリ性が証明された。
• Z(A₁)型レベル5のカテゴリはモジュラーかつユニタリであり、S行列の行列式が非ゼロで、正のカテゴリカル次元を示し、ユニタリ性が確認された。