[論文レビュー] On a subfactor generalization of Wall's conjecture

Robert M. Guralnick, Feng Xu|arXiv (Cornell University)|Jun 30, 2010

Advanced Operator Algebra Research参考文献 15被引用数 4

ひとこと要約

本稿では、有限群におけるWallの予想の部分因子への一般化を提案し、可解群およびIzumi-Kosaki型のKac代数においてその予想を確立している。二重コセット数え上げと群論的技法を用いて、第二相対可換束の次元によって最大中間部分因子の数が有界であることを証明し、有限群実現への応用を持つ部分因子のテンソル積予想を提示している。

ABSTRACT

In this paper we discuss a conjecture on intermediate subfactors which is a generalization of Wall's conjecture from the theory of finite groups. We explore special cases of this conjecture and present supporting evidence. In particular we prove special cases of this conjecture related to some finite dimensional Kac Algebras of Izumi-Kosaki type which include relative version of Wall's conjecture for solvable groups.

研究の動機と目的

• von ニューマン代数における部分因子の文脈に、有限群における最大部分群に関するWallの予想を一般化すること。
• 有限指数の不可約部分因子 $N \subset M$ における最大中間部分因子の数が、第二相対可換束の次元によって有界であるかどうかを調査すること。
• 部分因子のテンソル積への予想の拡張を行い、群論的およびコhomologicalな道具を用いて特殊な場合にその妥当性を検証すること。
• Kac代数および可解群の設定における明示的構成を通じて、予想に対する証拠を提供すること。

提案手法

• 部分因子 $N \subset M$ における中間部分因子と $M \subset M_1$ におけるそれらの関係を可換束写像を用いて結びつけ、ラティス構造と双対性を保存すること。
• 有限群における与えられた部分群 $H$ を含む最大部分群の数を有界化するための二重コセット数え上げの応用。
• クロス積構成を用いて、群論的区間ラティスを部分因子ラティスとして実現すること。
• Aschbacher-O’Nan-Scott定理を用いて、群拡大の原始的商を分析し、直積における最大部分群を分類すること。
• 有限単純群 $S$ に対して $|\mathrm{Aut}(S)|$ を有界化するための有限単純群の分類を用い、$|\mathrm{Aut}(S)| < (|S|-1)^2$ を保証すること。
• テンソル積予想を提示：$M_1 \otimes M_2$ における非自明な最小中間部分因子の数は、$(n_1 - 1)(n_2 - 1)$ で有界であり、$n_i = \dim(N_i' \cap M_{i,1})$ と定める。

実験結果

リサーチクエスチョン

• RQ1 有限群におけるWallの予想は、von ニューマン代数における部分因子の文脈に一般化可能か？
• RQ2 有限指数の不可約部分因子 $N \subset M$ における最大中間部分因子の数は、第二相対可換束 $N' \cap M_1$ の次元によって有界であるか？
• RQ3 部分因子のテンソル積における中間部分因子の構造は何か？ また、非自明な成分に対して一様な有界性を確立できるか？
• RQ4 Izumi-Kosaki型のKac代数は、特に可解の場合に一般化されたWallの予想をどのように実現するか？
• RQ5 有限群から生じる部分因子に対して、テンソル積予想は成り立つか、特に $X$ と $Y$ が初等アーベルな2群である場合に成り立つか？

主な発見

• 部分群 $H$ を含む最大部分群の数が、$G$ における $H$ の二重コセットの数によって有界であるというWallの予想の相対的バージョンは、有限群において成り立つ。
• 可解群では、数え上げ的議論とKac代数におけるコイデアル写像を用いて、一般化されたWallの予想の最大および最小のバージョンが検証されている。
• $G = X \times Y$ で、$X$ も $Y$ も $X$ も $Y$ も含まない最大部分群の数は、$(x-1)(y-1)$ 以下であり、等号が成り立つのは $X$ と $Y$ が初等アーベルな2群である場合に限る。
• テンソル積予想を提示：$N_1 \otimes P$ や $P \otimes N_2$ の形をとらない最小中間部分因子の数は、$(n_1 - 1)(n_2 - 1)$ 以下であり、ここで $n_i = \dim(N_i' \cap M_{i,1})$ である。
• 補題4.1の証明は、有限単純群の分類を用いて $|\mathrm{Aut}(S)| < (|S|-1)^2$ を有界化することに依拠しており、これにより直積の場合の不等式が成立することが保証される。
• 特殊な場合において予想が検証されており、$G = X \times Y$ で $X,Y$ が初等アーベルな2群である場合、および $G$ が可解である場合に、一般化されたWallの予想と整合的であることが示されている。