[論文レビュー] A Connection between Easy Quantum Groups, Varieties of Groups and Reflection Groups

Sven Raum, Moritz Weber|arXiv (Cornell University)|Dec 19, 2012

Advanced Operator Algebra Research参考文献 38被引用数 7

ひとこと要約

本稿は、無限自由積 $\mathbb{Z}_2^{*\infty}$ の部分群への分割カテゴリからの単射を介して、簡単な量子群、対称的反射群、分割のカテゴリの間の三角形的対応を確立する。主な貢献は、群の多様体に対する新しい量子不変量の構成と、このリンクを通じて非可算個の新しい量子等長群の構成であり、量子群、組合せ論、離散群論の間の深い関係を明らかにする。

ABSTRACT

We present a link between easy quantum groups, discrete groups and combinatorics. By this, we infer new connections between quantum isometry groups, reflection groups, varieties of groups and the combinatorics of partitions. More precisely, we consider easy quantum groups and find a relation to subgroups of the infinite free product $\mathbb Z_2^{*\infty}$ of $\mathbb Z_2=\mathbb Z/2\mathbb Z$. We obtain a link with reflection groups and thus with varieties of groups, which yields a statement on the complexity of the class of easy quantum groups on the one hand, and a "quantum invariant" for varieties of groups on the other hand. Moreover, we reveal a triangular relationship between easy quantum groups, categories of partitions and discrete groups (reflection groups). As a by-product, we obtain a large number of new quantum isometry groups.

研究の動機と目的

• 組合せ的構造を通じて、簡単な量子群、群の多様体、反射群の間の新しい関係を確立すること。
• 反射群の構成を通じて、群の多様体の非可算集合と一対一対応する簡単な量子群のクラスが非可算であることを示すこと。
• 分割カテゴリと離散群表現の相互作用を用いて、群の多様体に対する量子不変量を構成すること。
• 簡単な量子群、反射群、分割カテゴリの間の三角形的関係が、すべての3領域で可換であることを明らかにすること。
• 対称的反射群の群双対に量子等長群の構成を適用することで、多数の新しい簡単な量子群を生成すること。

提案手法

• 分割カテゴリから $S_0$-不変部分群への単射写像を $\mathbb{Z}_2^{*\infty}$ に構成する。
• Banica-Speicher対応を用いて、各分割カテゴリをその交換子空間を通じて簡単な量子群に関連付ける。
• 対称的反射群を $\mathbb{Z}_2^{*n}$ と $S_0$-不変部分群の交差による商として定義し、分割カテゴリと結びつける。
• 対称的反射群の群双対に量子等長群の構成を適用することで、簡単な量子群の新しい例を得る。
• 普遍 $C^*$-代数の構成を用いて、分割カテゴリ、簡単な量子群、対称的反射群の間の可換三角形を確立する。
• 有限生成対称的反射群における帰納的極限の構成を用い、結果を無限生成の場合に拡張する。

実験結果

リサーチクエスチョン

• RQ1 分割カテゴリを $\mathbb{Z}_2^{*\infty}$ の部分群に体系的に関連付ける方法は何か？ これにより新たな代数的構造が明らかになるか？
• RQ2 簡単な量子群と群の多様体の間の関係は何か？ そして、これが群の多様体に対する量子不変量をどのように導くか？
• RQ3 量子等長群の構成は、反射群から新しい簡単な量子群の例を生成するために用いることができるか？
• RQ4 分割カテゴリ、簡単な量子群、対称的反射群の間の三角形的対応の正確な性質は何か？
• RQ5 単純化可能な超オクタヘドラル量子群は、対称的反射群およびそれらに関連する分割カテゴリとどのように関係するか？

主な発見

• 有限生成の単純化可能な超オクタヘドラル分割カテゴリと、対称的反射群の間には一対一対応が存在する。
• 分割カテゴリ、簡単な量子群、対称的反射群の間の可換三角形が得られ、深い構造的双対性が確認された。
• 反射群の構成を通じて、群の多様体の非可算集合と一対一対応するため、簡単な量子群のクラスは非可算である。
• 関連する簡単な量子群の交換子空間を通じて、群の多様体に対する新しい量子不変量が定義された。
• 対称的反射群の群双対に量子等長群関手を適用することで、多数の新しい量子等長群が構成された。
• 対称的反射群 $G$ に対して $\mathrm{C}^*_{\text{max}}(G)$ 上に忠実かつ等長的に作用する最大の量子部分群は、単純化可能な超オクタヘドラル量子群として実現された。