[論文レビュー] Some free entropy dimension inequalities for subfactors

Kenley Jung|ArXiv.org|Oct 28, 2004

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

ひとこと要約

この論文は、$II_1$-因子の有限指数部分因子におけるボイクレスクのマイクロステート自由エントロピー次元の不等式を確立する。基本的構成とマイクロステート技術を用いて、$N$ の有限生成集合 $X$ と $M$ の有限生成集合 $Y$ に対して、$\delta_0(X) \geq \delta_0(Y)$ を示し、さらに $\delta_0(Y) \geq ([M:N]^{-2} - \epsilon)(\delta_0(X) - 1) + 1 - \epsilon$ に精錬する。$[M:N] \in \mathbb{Q}$ のとき、等号に近い挙動を示す。主な貢献は、エントロピー次元の境界に基づく、補間自由群因子内の有限指数部分因子を除外するための基準の確立である。

ABSTRACT

Suppose $N \subset M$ is an inclusion of $II_1$-factors of finite index. If $N$ can be generated by a finite set of elements, then there exist finite generating sets $X$ for $N$ and $Y$ for $M$ such that $δ_0(X) \geq δ_0(Y)$, where $δ_0$ denotes Voiculescu's microstates (modified) free entropy dimension. Moreover given $ε>0$ one has $δ_0(F) \geq δ_0(G) \geq ([M:N]^{-2} -ε) \cdot (δ_0(F) -1) + 1 - ε$ for certain generating sets $F$ for $N$ and $G$ for $M$.

研究の動機と目的

• Voiculescuのマイクロステート自由エントロピー次元 $\delta_0$ が $II_1$-因子の有限指数部分因子においてどのように振る舞うかを調査すること。
• 部分因子 $N$ とその上因子 $M$ の生成集合の $\delta_0$ 間の単調性不等式を確立すること。
• 特に補間自由群因子に関連して、指数 $[M:N]$ を用いた生成集合の $\delta_0$ の定量的境界を導出すること。
• これらの境界を用いて、$II_1$-因子が補間自由群因子 $L(F_r)$ の有限指数部分因子として埋め込まれるのを妨げる障害を特定すること。

提案手法

• 部分因子理論における基本的構成を用いて、$N \subset M$ を $M$ と条件付き期待値 $e_N$ によって生成されるvon Neumann代数 $M_1$ に関連付ける。
• 微小状態技術と[5]のハイパフィニート不等式を用いて、拡大と基本的構成の下での $\delta_0$ の成長を制御する。
• 基本的構成における双対性と拡大の結果を用いて、$M$ の $\delta_0$ を $N$ 及びその拡大の $\delta_0$ に関連付ける。
• 行列単位と射影を用いて、目的のエントロピー次元不等式を達成する特定の生成集合 $X$（$N$ 用）と $Y$（$M$ 用）を構成する。
• 微小状態空間における $\epsilon$-近似技術を用いて、摂動に対して一様に成り立つ頑健な不等式を導出する。
• 拡大の自由エントロピー次元および $L(F_r)$ に関する既知の結果を応用し、有限指数部分因子の除外基準を導出する。

実験結果

リサーチクエスチョン

• RQ1 有限指数部分因子 $N \subset M$ の有限生成集合の自由エントロピー次元 $\delta_0$ は、$M$ のそれの関数として境界づけられるか？
• RQ2 $N$ の生成集合 $X$ と $M$ の生成集合 $Y$ に対して、$\delta_0(X) \geq \delta_0(Y)$ のような単調性が成り立つか？
• RQ3 指数 $[M:N]$ を用いて、$\delta_0(X)$ と $\delta_0(Y)$ の間の明確な定量的関係は何か？
• RQ4 $[M:N]$ が有理数のとき、不等式は等号に近い形に強化できるか？
• RQ5 どのような条件下で、$II_1$-因子 $M$ が補間自由群因子 $L(F_r)$ の有限指数部分因子にはなりえないか？

主な発見

• 任意の有限生成 $II_1$-因子の有限包含 $N \subset M$ に対して、$N$ の有限生成集合 $X$ と $M$ の有限生成集合 $Y$ が存在し、$\delta_0(X) \geq \delta_0(Y)$ を満たす。
• $\epsilon > 0$ に対して、$N$ の生成集合 $X$ と $M$ の生成集合 $Y$ が存在し、$\delta_0(Y) \geq ([M:N]^{-2} - \epsilon)(\delta_0(X) - 1) + 1 - \epsilon$ を満たす。$[M:N] \in \mathbb{Q}$ のとき、$\epsilon \to 0$ の極限で等号に近づく。
• $M$ のすべての有限生成集合 $X$ に対して $\delta_0(X) < r - \epsilon$ が成り立つならば、$M$ は $L(F_r)$ の有限指数部分因子にはなりえない。ここで $L(F_r)$ は指数 $r > 1$ の補間自由群因子である。
• 不等式 $\delta_0(Y) \geq ([M:N]^{-2} - \epsilon)(\delta_0(X) - 1) + 1 - \epsilon$ は、拡大における期待される漸近的挙動を捉えている点で鋭い。
• この結果は、$M$ が $r$ から一様に離れてエントロピー次元を有するならば、$L(F_r)$ が $M$ を有限指数部分因子として含めないことを示唆する。
• この手法は、基本的構成における双対性を介して、$L(F_r)$ が $M$ の部分因子である場合と $M$ が $L(F_r)$ の部分因子である場合の両方に適用可能であり、対称的な障害をもたらす。