[论文解读] Realizations of Rigid C*-Tensor Categories as Bimodules over GJS C*-Algebras

Hartglass, Michael, Palomares, Roberto Hernandez|arXiv (Cornell University)|Jan 1, 2020

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

一句话总结

本文从任意一个具有简单单位元的可数生成的刚性 C*-张量范畴，构造出一个完全忠实的、双自对的、强张量的函子，映射到一个具有唯一迹的酉、简单、可分、精确的 C*-代数上的有限生成投射希尔伯特 C*-双模范畴。该构造利用 GJS 构造从范畴的结构中构建一个 C*-代数 $ B_0 $，确保 $ B_0 $ 的 $ K_0 $-群由范畴中简单对象的类自由生成，从而将该范畴实现为具有迹相容结构的 C*-代数上的双模。

ABSTRACT

Given an arbitrary countably generated rigid C*-tensor category, we construct a fully-faithful bi-involutive strong monoidal functor onto a subcategory of finitely generated projective bimodules over a simple, exact, separable, unital C*-algebra with unique trace. The C*-algebras involved are built from the category using the GJS-construction introduced in arXiv:0911.4728 and further studied in arXiv:1208.5505 and arXiv:1401.2486. Out of this category of Hilbert C*-bimodules, we construct a fully-faithful bi-involutive strong monoidal functor into the category of bi-finite spherical bimodules over an interpolated free group factor. The composite of these two functors recovers the functor constructed in arXiv:1208.5505

研究动机与目标

• 解决如下问题：每一个可数生成的刚性 C*-张量范畴（具有简单单位元）是否都能完全忠实实现在一个具有唯一迹的可分、酉 C*-代数上的有限生成投射双模子范畴中？
• 使用 GJS 构造实现这种实现场景，该构造从范畴的自同态代数和对称自对偶对象中构建 C*-代数 $ B_0 $。
• 确保 $ B_0 $ 的 $ K_0 $-群同构于由范畴中简单对象类生成的自由阿贝尔群。
• 建立函子作用下简单对象的像恰好对应于 $ K_0(B_0) $ 的典范生成元。
• 通过在可数个生成元上使用自由积构造，将结果推广至可数生成的范畴。

提出的方法

• 构造从范畴 $ \mathsf{C} $ 中一个量子维数 $ \delta_x > 1 $ 的对称自对偶对象 $ x $ 出发，利用自同态代数 $ \mathsf{C}(x^{\otimes n}) $ 构造一个分次 C*-代数 $ A_\infty $。
• 构造一个希尔伯特 $ A_\infty $-模 $ X_1 $，并利用 $ \mathcal{F}(X_1) $（全福空间）中实向量的创建/湮灭算子，生成 C*-代数 $ B_\infty $，其为具有忠实条件期望和迹权 $ \operatorname{Tr} $ 的 Voiculescu 半圆系统。
• 对所有 $ n \geq 0 $ 定义 $ B_n \subset B_\infty $ 的角代数，每个均为酉、可分、简单代数，并配备唯一迹 $ \operatorname{tr}_{B_n} = \operatorname{Tr}|_{B_n} $。
• 代数 $ B_0 $ 通过在 $ B_\infty $ 中的乘法作用于非对角线部分 $ {}_lB_r $，确保有界作用，从而实现双模 $ {}_0B_r $ 的构造。
• 证明双模的 Connes 融合 $ {}_0B_n \mathbin{\mathop{\boxtimes}_{B_0}} {}_0B_m $ 同构于 $ {}_0B_{n+m} $，从而简化融合结构。
• 定义函子 $ \mathbb{F} $，将 $ \mathsf{C}_x $ 中的对象 $ p $ 映射为双模 $ \mathbb{F}(p)[{}_0B_n] $，通过张量积和垂直/水平复合映射态射，确保函子的完全忠实性与强张量结构。

实验结果

研究问题

• RQ1 每一个可数生成的刚性 C*-张量范畴（具有简单单位元）是否都能完全且忠实实现在一个可分、酉 C*-代数上的有限生成投射双模子范畴中，且该代数具有唯一迹？
• RQ2 是否可以使用 GJS 构造实现这种实现场景，即从图解范畴和福空间构造中构建 C*-代数？
• RQ3 所得到的 C*-代数 $ B_0 $ 的 $ K_0 $-群是否自然反映范畴的结构，且其生成元与简单对象一一对应？
• RQ4 该构造能否通过生成元的自由积，从单生成推广至可数生成的范畴？
• RQ5 $ B_\infty $-塔及其角代数在实现 $ B_0 $ 上有界、迹相容的双模作用中起什么作用？

主要发现

• 对于任意一个具有简单单位元的可数生成刚性 C*-张量范畴 $ \mathsf{C} $，存在一个完全忠实的、双自对的、强张量的函子 $ \mathbb{F}: \mathsf{C} \hookrightarrow \mathsf{Bim}_{\mathsf{fgp}}^{\mathsf{tr}}}(B_0) $，其中 $ B_0 $ 是一个酉、简单、可分、精确的 C*-代数，且具有唯一迹。
• $ B_0 $ 的 $ K_0 $-群同构于由 $ \mathsf{C} $ 中简单对象类生成的自由阿贝尔群，且函子 $ \mathbb{F} $ 作用下每个简单对象的像恰好对应于 $ K_0(B_0) $ 的一个典范生成元。
• 对于单生成范畴 $ \mathsf{C}_x $，函子 $ \mathbb{F} $ 将生成元 $ x $ 映射为双模 $ {}_0B_1 $，且通过 Connes 融合满足融合规则 $ {}_0B_n \mathbin{\mathop{\boxtimes}_{B_0}} {}_0B_m \cong {}_0B_{n+m} $。
• 通过取生成元 $ x_1, x_2, \dots $ 的自由积构造新范畴 $ \mathsf{C} $，并将相同的 $ B_0 $-构造应用于 $ \mathsf{C} $，可将该构造推广至可数生成的范畴。
• 所得的 $ B_0 $ 是可分、简单、酉、精确的，且具有唯一迹，其双模通过 GJS 构造和福空间形式主义构建。
• 该结果确认：不存在一个单一的可分 C*-代数（具有唯一迹）能实现所有刚性 C*-张量范畴，但当 C*-代数允许依赖于范畴时，此类实现是可能的。