离散Temperley-Lieb-Jones子型的中心子

离散、准单调的因子包含 $(N\subseteq M, E)$ 中的 $N$ 为类型$\rm{II}_{1}$，具有自然的标准不变式概念，这是对有限指数情形的推广。当由 $_{N}L^{2}(M, \tau\circ E)_{N}$ 生成的 $N$-$N$ 双模范畮等价于Temperley-Lieb-Jones范畴 $\\text{TLJ}(\\delta)$ 时，相关联的离散标准不变式可以公平且平衡的 $\\delta$-图来分类。许多这些子型的实例在GJS构造图的语境下自然出现。在本文中，我们计算了以标准态 $\\phi=\\tau\\circ E$ 为中心子 $N\\subseteq M^{\\phi}$ 的离散标准不变式，这又是一个 $\\text{TLJ}(\\delta)$-类型的离散子型。我们证明，关联的公平且平衡的 $\\delta$-图在本质上类似于原始公平且平衡的 $\\delta$-图的普适覆盖空间。作为应用，我们获得一种障碍，用于表明离散三角型标准不变式不可被类型 $\\text{II}_{1}$ 因子 $M$ 的子型实现，这基于 $M$ 的基本群。