[論文レビュー] Ore's theorem for cyclic subfactor planar algebras and applications

Sébastien Palcoux|arXiv (Cornell University)|May 25, 2015

Advanced Operator Algebra Research参考文献 22被引用数 5

ひとこと要約

本稿は、巡回群および自然数の量子的一般化として、循環的サブファクター平面代数を導入し、Oreの定理を拡張する。すべての双射投影が正規であり、分配的ラティスをなす（すなわち、代数が循環的である）ならば、弱い意味で巡回的であることを示している。つまり、単一の最小の2-ボックス投影が恒等双射投影を生成する。この結果により、サブファクター理論におけるラティス構造と生成性の間の基礎的関係が確立され、有限群論および量子群への応用を持つ。

ABSTRACT

This paper introduces the cyclic subfactors, generalizing the cyclic groups as the subfactors generalize the groups, and generalizing the natural numbers as the maximal subfactors generalize the prime numbers. On one hand, a theorem of O. Ore states that a finite group is cyclic if and only if its subgroups lattice is distributive, and on the other hand, every subgroup of a cyclic group is normal. Then, a subfactor planar algebra is called cyclic if all the biprojections are normal and form a distributive lattice. The main result shows in what sense a cyclic subfactor is singly generated, by generalizing one side of Ore's theorem as follows: if a subfactor planar algebra is cyclic then it is weakly cyclic (or w-cyclic), i.e. there is a minimal 2-box projection generating the identity biprojection. Some extensions of this result are discussed, and some applications of it are given in subfactors, quantum groups and finite group theories, for example, a non-trivial upper bound for the minimal number of irreducible complex representations generating the left regular representation.

研究の動機と目的

• 循環的サブファクター平面代数を定義・特徴づけ、巡回群および自然数の量子的アナログとして位置づける。
• 巡回群と分配的部分群ラティスの関係を示すOreの古典的定理を、サブファクターおよび平面代数の枠組みへ一般化する。
• 循環的サブファクターの生成性を調査し、特に弱い意味で単一生成であるかどうかを検討する。
• サブファクター理論と有限群論との間の関係を確立し、新たな群論的結果を導く。
• 自由合成、テンソル積、双対性などの操作に対する循環的サブファクターの構造的安定性を調査する。

提案手法

• すべての中間サブファクターが正規であり、双射投影のラティスが分配的であるという条件により、循環的サブファクター平面代数の概念を導入する。
• サブファクターと中間サブファクターの間のガロア対応を用いて、群論的性質をサブファクター言語に翻訳する。
• 平面代数の技術を用いて、主結果を平面代数の枠組みに再定式化する（翻訳： Zhengwei Liu）。
• 深さ解析と主グラフ技術を用いて、さまざまな深さにおけるバイモジュールおよび部分対象の構造を研究する。
• w-巡回平面代数を特徴づけるために、条件 ∑₁ⁿ 1/[id:bᵢ] ≤ 2 を適用する。
• 一般の分配的ケースを、ブールラティス（ℬₙに同型）のケースに還元し、n ≤ 4 に対して結果を証明する。

実験結果

リサーチクエスチョン

• RQ1 どのような条件下で、循環的サブファクター平面代数は弱い意味で巡回的（すなわち、単一の最小の2-ボックス投影によって生成される）となるか？
• RQ2 双射投影ラティスの分配的性質が、恒等双射投影の生成にどのように関係するか？
• RQ3 すべての中間サブファクターの正規性という条件を緩和しても、弱い巡回性は保たれるか？
• RQ4 平面代数的一般化によるOreの定理の一般化から、どのような有限群論的帰結が得られるか？
• RQ5 循環的サブファクターは、どのような構造的性質（例えば、テンソル積や双対性に対する安定性）を満たすか？

主な発見

• 循環的サブファクター平面代数は弱い意味で巡回的である：恒等双射投影を生成する最小の2-ボックス投影が存在する。
• 逆は成り立たない：S₃の例によって、循環的でないが弱い意味で巡回的なサブファクターが存在することが示された。S₃は線形的プリミティブであるが、循環的ではない。
• 最大の双射投影 b₁,…,bₙ を持つ分配的サブファクター平面代数で、∑₁ⁿ 1/[id:bᵢ] ≤ 2 を満たす場合、代数は弱い意味で巡回的である。
• この結果により、新たな群論的命題が導かれる：有限群の区間 [H,G] が分配的ならば、ある g ∈ G が存在して ⟨H,g⟩ = G が成り立つ。
• 指数 < 30 の有限群の包含において、65%以上が循環的サブファクターをもたらし、その存在頻度の高さを示している。
• 循環的サブファクターのクラスは、自由合成、一般のテンソル積、および双対や中間サブファクターの取り扱いに対して安定である。