[論文レビュー] Strict quantum 2-groups

Shahn Majid|arXiv (Cornell University)|Aug 30, 2012

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

ひとこと要約

この論文は、ホップ代数と「埋め込み可能な量子群ガロア」（embeddable quantum groupoid）と呼ばれる新しい概念を用いて、量子2群のための新しい枠組みを導入する。これは、厳密2群を量子的状況に一般化したものである。主な貢献は定理2.6であり、ホップ代数のデータから量子2群を構成する。さらに、モジュラーカテゴリのドリンフェルト中心におけるブレード付き交叉モジュールへと拡張され、古典的交叉モジュールの量子アナロジーを提供する。

ABSTRACT

A crossed module is (A,H,d,\la) where d:A o H is a homomorphism of groups and H acts on A, with conditions leading to a groupoid A\lcross H{ o\atop o}H as an example of a strict 2-group. We give the corresponding notion of a quantum 2-group where we replace the above by Hopf algebras and introduce a new version of quantum groupoid. The work also suggests a natural notion of braided crossed module where A a braided-Hopf algebra in the braided category Z({}_H\CM) of crossed H-modules, although without the full groupoid picture in this more general case.

研究の動機と目的

• ホップ代数を用いて、厳密2群の概念を量子的状況に拡張すること。
• 非可換ベースの場合に一貫した2群構造を支持できる「埋め込み可能な量子群ガロア」と呼ばれる新しいクラスの量子群ガロアを定義すること。
• ホップ代数を用いて、ドリンフェルト中心における${\rm Z}({}_H{\rm M})$のブレード付きホップ代数を導入することで、交叉モジュールをブレード付き設定に一般化すること。
• 水平および垂直の合成が交換法則を満たすように適合する量子群ガロアの構成を提供すること。
• ブレード付きモノイダル圏とホップ代数データを用いた量子対称性のカテゴリフィケーションの基盤を構築すること。

提案手法

• 非可換ホップ代数設定における群ガロア構造の一般化として「埋め込み可能な量子群ガロア」の概念を導入する。
• ホップ代数の交叉モジュール$(A, H, d, \triangleright)$がねじれホップ代数および整合性条件を満たす場合に、量子2群を定義する。
• 水平合成$\bullet$を$G_1 = A \rtimes H$上で定義し、$(b,g) \bullet (a,h) = (ba,h)$とし、結合則を満たすように$G_1 \times G_1$全体に拡張する。
• ドリンフェルト中心${\rm Z}({}_H{\rm M})$におけるブレード付きホップ代数$B$に対して、ラドフォード双積構成を用いて$B \rtimes H$を定義する。
• 源写像および終域写像$s, t: G_1 \to G_0$をホップ代数写像として定義し、$s(b \rtimes h) = \rho(b)h$、$t(b \rtimes h) = d(b)h$とし、包含写像$i(h) = 1 \rtimes h$を定義する。
• ねじれホップ代数の公理および$H$による$A$への作用を用いて、交換法則および逆元条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 古典的な厳密2群の概念を、ホップ代数を用いてどのように量子的状況に一般化できるか？
• RQ2 ベース代数が非可換である場合に、量子群ガロアが一貫した2群構造を支持するために必要な構造は何か？
• RQ3 ドリンフェルト中心におけるホップ代数を用いて、交叉モジュールの概念をブレード付きカテゴリに拡張できるか？
• RQ4 量子2群における水平合成が交換法則を満たすために必要な条件は何か？
• RQ5 ドリンフェルト中心のブレード構造が、量子2群の構成にどのように影響を与えるか？

主な発見

• 定理2.6は、ホップ代数の交叉モジュール$(A, H, d, \triangleright)$から量子2群を構成することを確立し、$G_0 = A$、$G_1 = A \rtimes H$であり、源、終域、単位写像が整合的であることを示す。
• 水平合成$\bullet$は$G_1$上で結合的であり、$G_1 \times G_1$全体に拡張可能であり、交換法則との適合性を保証する。
• $t: G_1 \to G_0$を$t(a,h) = d(a)h$で定義した写像はホップ代数準同型であり、2群構造にとって不可欠である。
• 命題3.5は、${\rm Z}({}_H{\rm M})$におけるブレード付きホップ代数$B$に対して、ラドフォード双積$B \rtimes H$が整合的な源、終域、単位写像を備え、量子2群を形成することを示す。
• 例3.6は、$H$がクェーシトリアングルであり、$B$が$H$の変換版である場合、構成が$H \blacktriangleright\rlap{\raise0.25em\relax\textstyle\bullet}\blacktriangleleft H$を生成することを示し、既知の量子ダブルに類似した構造となる。
• 本論文は、ブレード付きの場合の完全な2群構造が、現在の枠組みを超えて垂直合成や反数の定義を一般化する必要があると指摘している。