由 Popa 针对非迹态的构造导出的不可约子因子

对于形如 $\Bbb C\subseteq M_n(\Bbb C)$ 的包含，其中 $M_n(\Bbb C)$ 赋予带对角权重 $\lambda=(\lambda_1, ..., \lambda_n)$ 的态，我们利用 Popa 针对非迹态的构造，得到指数为 $\sum \frac{1}{\lambda_i}$ 的 $II_1$ 因子的不可约包含 $N^\lambda(Q)\subseteq M^\lambda(Q)$。$M^\lambda(Q)$ 被辨明为 $Q\star M_N(\Bbb C)$ 上标准自由积态的中心化代数内的一个子因子。其结构由如 \cite{Ra3} 中的“无穷”半圆元描述。用此方法获得的不可约子因子包含类似于 \cite{Po1} 中构造的首批指数为 $[4,\infty)$ 的不可约子因子包含，后者始于 Jones 子因子包含 $R^s\subseteq R$，$s>4$。在本文中，由于我们起始的包含结构更简单，更容易控制子因子包含的代数结构。