[論文レビュー] Duality for actions of weak Kac algebras and crossed product inclusions of II_1 factors

Dmitri Nikshych|ArXiv.org|Oct 8, 1998

Advanced Operator Algebra Research参考文献 24被引用数 18

ひとこと要約

本稿は、弱Kac代数が超有限II₁因子上に作用する場合の双対性定理を確立し、整数指数を持つ深さ2の部分因子を生じる最小作用を構成する。双連結な弱Kac代数はR上に最小作用をもつことを証明し、対応する交叉積包含の第一相対可換部分代数がCartan部分代数に同型であることを示し、部分因子還元を用いて算術的性質を導出可能である。

ABSTRACT

We show that indecomposable weak Kac algebras are free over their Cartan subalgebras and prove a duality theorem for their actions. Using this result, for any biconnected weak Kac algebra we construct a minimal action on the hyperfinite II_1 factor. The corresponding crossed product inclusion of II_1 factors has depth 2 and an integer index. Its first relative commutant is, in general, non-trivial, so we derive some arithmetic properties of weak Kac algebras from considering reduced subfactors.

研究の動機と目的

• 有限次元Kac代数の外部作用に関する山内の結果を弱Kac代数へ拡張すること。
• 弱Kac代数の作用に対する双対性定理を確立し、Takesakiの双対性を一般化すること。
• 双連結な弱Kac代数の超有限II₁因子R上への最小作用を構成すること。
• 得られた部分因子の標準的不変量から、弱Kac代数の算術的性質を導出すること。
• 最小射影による還元を通じて、弱Kac代数の既約表現から既約部分因子が得られることを示すこと。

提案手法

• 弱Kac代数に対してλ-マルコフ条件を導入し、これがCartan部分代数上での自由性と同値であることを示す。
• 分解不能な弱Kac代数がそのCartan部分代数上自由であり、λ⁻¹が正の整数であることを証明する。
• 最小作用に対して双対性同型を構成する: (A ⋊ K) ⋊ K* ≅ A ⊗ M_{λ⁻¹}(C)。
• 基本構成とジョーンズタワーを用いて、交叉積包含R ⊂ R ⋊ Kにおける相対可換部分代数を計算する。
• 第一相対可換部分代数内の最小射影による包含R ⊂ R ⋊ Kの還元を通じて、既約部分因子を得る。
• 還元された部分因子の指数を分析し、弱Kac代数の既約表現の次元およびCartan部分代数の次元に関する算術的制約を導出する。

実験結果

リサーチクエスチョン

• RQ1 任意の双連結な弱Kac代数は、超有限II₁因子R上に最小作用として実現可能か？
• RQ2 双連結な弱Kac代数Kに対し、包含R ⊂ R ⋊ Kの第一相対可換部分代数の構造はいかなるものか？
• RQ3 包含R ⊂ R ⋊ Kの標準的不変量は、Kの代数的構造とどのように関係するか？
• RQ4 還元された部分因子の指数から、Kの既約表現およびCartan部分代数の次元にどのような算術的制約が得られるか？
• RQ5 Kの既約表現と、最小射影による還元で得られる既約部分因子の間には一対一対応が存在するか？

主な発見

• 双連結な弱Kac代数は超有限II₁因子R上に最小作用をもち、整数指数λ⁻¹の深さ2の包含を生じる。
• 包含R ⊂ R ⋊ Kの第一相対可換部分代数は、元のCartan部分代数K_sに同型である。
• 包含R ⊂ R ⋊ Kの標準的不変量格子は、繰り返しの交叉積と双対作用を用いて明示的に計算可能である。
• 系6.1: すべてのαに対してd²はm_α²λ⁻¹を割り切る。ここでd = dim K_sであり、m_αはK_sのブロックの次元である。
• 系6.2: λ⁻¹ = pが素数であれば、K ≅ ℂℤ_pである。これは、素数指数がKが群代数に一致することを示唆する。
• 系6.3: Cartan部分代数の次元dは、Kの任意の既約表現の次数d_iを割り切る。ゆえに、すべてのiに対してdはd_iを割り切る。