[論文レビュー] Representations of tensor categories and Dynkin diagrams

Pavel Etingof, Mikhail Khovanov|ArXiv.org|Aug 13, 1994

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

ひとこと要約

本稿は、SU(2)の表現環の分解不能な正整数表現とアフィン/無限Dykin図、およびヴェルリンデ代数（根数単位における量子群SU(2)_q）の既約な正整数表現と有限Dykin図の間で、圏的対応を確立している。主な貢献は、テンソル圏の表現をADE型Dykin図に関連付けることであり、これはsl(2)のチャーラル代数をもつ conformal field theory の ADE 分類と深い関係を示唆している。

ABSTRACT

In this note we illustrate by a few examples the general principle: interesting algebras and representations defined over Z_+ come from category theory, and are best understood when their categorical origination has been discovered. We show that indecomposable Z_+-representations of the character ring of SU(2) satisfying certain conditions correspond to affine and infinite Dynkin diagrams with loops. We also show that irreducible Z_+-representations of the Verlinde algebra (the character ring of the quantum group SU(2)_q, where q is a root of unity), satisfying similar conditions correspond to usual (non-affine) Dynkin diagrams with loops. Conjecturedly, the last result is related to the ADE classification of conformal field theories with the chiral algebra \hat{sl(2)}.

研究の動機と目的

• 興味深い代数の圏的起源とその正整数表現を調査すること。
• 特定の条件下におけるSU(2)表現環の分解不能なZ_+-表現の分類すること。
• 類似の制約下におけるヴェルリンデ代数（根数単位における量子群SU(2)_q）の既約なZ_+-表現の分類すること。
• このような表現とループ付きDykin図の間の対応を確立すること。
• conformal field theoryにおけるADE分類の圏的解釈を提示すること。

提案手法

• SU(2)の特徴的環を可換代数として用い、Z_+-表現を定義すること。
• 圏的原理を適用し、それらの表現が背後に持つテンソル圏構造を同定すること。
• Clebsch-Gordanおよび切断Clebsch-Gordan公式の解析を通じて、表現の性質を導出すること。
• アフィン、無限、または有限のDykin図を、これらの表現の分類ツールとして特定すること。
• ヴェルリンデ代数および量子群に関する既知の結果を活用し、量子ケースへの対応を拡張すること。
• グラフ論的不変量を用いて、ループ付きDykin図で表現の構造を符号化すること。

実験結果

リサーチクエスチョン

• RQ1 SU(2)表現環の分解不能な正整数表現は、Dykin図とどのように関係するか？
• RQ2 テンソル圏理論は、このような表現の起源を理解する上で果たす役割は何か？
• RQ3 ヴェルリンデ代数（根数単位における量子群SU(2)_q）の既約なZ_+-表現は、Dykin図とどのように対応するか？
• RQ4 conformal field theoryにおけるADE分類は、圏的表現理論から導けるか？
• RQ5 ループ付きDykin図は、これらの表現の分類においてどのような意味を持つのか？

主な発見

• 指定された条件下におけるSU(2)表現環の分解不能なZ_+-表現は、ループ付きのアフィンおよび無限Dykin図に対応する。
• 類似の条件下におけるヴェルリンデ代数（根数単位における量子群SU(2)_q）の既約なZ_+-表現は、有限（非アフィン）のDykin図に対応する。
• これらの表現の分類は、背後に存在するテンソル圏の構造によって支配される。
• 結果は、sl(2)チャーラル代数をもつconformal field theoryにおけるADE分類の圏的解釈を示唆している。
• 改訂版ではClebsch-Gordanおよび切断Clebsch-Gordan公式に修正が加えられ、正確性が向上した。
• 結果は既知のADE分類と整合的であり、表現論とリー型Dykin図との間の関係を強化している。