[论文解读] Classifying Module Categories for Generalized Temperley-Lieb-Jones *-2-Categories

Ferrer, Giovanni, Palomares, Roberto Hernandez|arXiv (Cornell University)|Jan 1, 2019

Advanced Operator Algebra Research参考文献 9被引用 4

一句话总结

本论文通过严格*-伪函子从加权双向图关联的广义Temperley-Lieb-Jones *-2-范畴到可分双加权希尔伯特空间的*-2-范畴，对广义Temperley-Lieb-Jones *-2-范畴的酉模范畴进行了分类。关键结果建立了此类模的等价类与平衡Γ-公平图之间的一一对应关系，将Yamagami和DeCommer-Yamashita的分类结果推广至2-范畴设定。

ABSTRACT

Generalized Temperley-Lieb-Jones (TLJ) 2-categories associated to weighted bidirected graphs were introduced in unpublished work of Morrison and Walker. We introduce unitary modules for these generalized TLJ 2-categories as strong *-pseudofunctors into the *-2-category of row-finite separable bigraded Hilbert spaces. We classify these modules up to *-equivalence in terms of weighted bi-directed fair and balanced graphs in the spirit of Yamagami's classification of fiber functors on TLJ categories and DeCommer and Yamashita's classification of unitary modules for Rep(SUq(2)).

研究动机与目标

• 对由加权双向图生成的广义Temperley-Lieb-Jones *-2-范畴的酉模范畴进行分类。
• 将Yamagami对纤维函子的分类以及DeCommer-Yamashita对Rep(SUq(2))的酉模分类推广至2-范畴设定。
• 引入并刻画平衡Γ-公平图的概念，作为*-2-范畴背景下公平图与平衡图的推广。
• 通过从TLJ(Γ)到双加权希尔伯特空间范畴的严格*-伪函子，建立酉模与平衡Γ-公平图之间的对应关系。
• 利用图论不变量对*-等价类的酉模进行结构化分类。

提出的方法

• 为加权双向图(Γ, δ, ̄·)引入*-2-范畴TLJ(Γ)，其中张量积由路径连接定义。
• 将酉模定义为从TLJ(Γ)到可分双加权希尔伯特空间范畴（记为BigHilb）的严格*-伪函子。
• 引入Γ-公平图的概念：即一个带权有向图Λ，配备一个图同态π: Λ → Γ，满足对边的原像进行加权求和的条件。
• 将平衡Γ-公平图定义为配备边上的对合运算的Γ-公平图，该对合运算反转方向，且满足w(ε)w(ε̄) = 1以及π(ε̄) = ̄π(ε)。
• 从平衡Γ-公平图在BigHilb中构造一个基本解，通过在顶点纤维上定义希尔伯特空间，并利用边权重定义共轭线性映射。
• 证明该构造产生一个满足锯齿关系的*-伪函子，且所得模与原始解*-等价。

实验结果

研究问题

• RQ1 如何基于图论数据对广义TLJ *-2-范畴的酉模范畴进行分类？
• RQ2 在2-范畴设定下，为对酉模进行分类，对公平图与平衡图的推广需要何种形式？
• RQ3 何种条件可确保从BigHilb出发的*-伪函子源于图论结构？
• RQ4 平衡Γ-公平图中边上的对合运算与模范畴中的共轭方程有何关系？
• RQ5 是否存在酉模等价类与平衡Γ-公平图之间的典范对应？

主要发现

• 每个平衡Γ-公平图均可由*-2-范畴中双加权希尔伯特空间的Γ-基本解导出。
• TLJ(Γ)的酉模的*-等价类与平衡Γ-公平图之间存在一一对应关系。
• 从平衡Γ-公平图构造基本解的过程是典范的，且不依赖于边上对合的选择。
• 由于Γ-公平性与平衡性条件，图中与边关联的希尔伯特空间为有限维，且维数一致有界。
• 定义解的映射满足锯齿关系，确保其构成一个合法的*-伪函子。
• 由基本解生成的模与原始解*-等价，证实该分类是良定义的。