Faithful linear and relational representations of diagram categories and monoids

技术摘要：图范畴与幺半群的忠实线性与张量表示

问题陈述
图代数与幺半群（如划分代数、Brauer 代数和 Temperley–Lieb 代数）是数学与物理中的基本结构，出现在统计力学、纽结理论和表示论中。尽管这些结构在组合意义上已被充分理解，但其线性表示——特别是环与半环上的忠实矩阵表示——在历史上主要侧重于变换表示的研究。变换表示（在集合上的作用）通常产生高维（维度），例如划分幺半群 $P_n$ 的变换度与贝尔数相关。

本文解决的核心问题是构建图范畴与幺半群的忠实线性表示，使其比变换表示显著更高效（维度更低）。此外，作者寻求能够保留这些对象丰富代数结构的表示，具体而言是对合（dagger 结构）和张量积（幺半结构），而这些结构在标准变换表示中往往丢失。

方法论
作者构建了一个统一的框架，将图范畴表示为半环上的矩阵范畴。方法论通过以下步骤进行：

1. 映射的定义：对于划分范畴 $\mathcal{P}$，作者定义了一个映射 $\phi: \mathcal{P} \to \mathcal{M}(K)$，其中 $K$ 是含幺半环。对于划分 $a \in \mathcal{P}_{m,n}$，其像 $\hat{a}$ 是一个 $2^m \times 2^n$ 的零一矩阵。行和列分别由 $[m]$ 和 $[n]$ 的子集索引。条目 $\hat{a}_{X,Y}$ 为 $1$当且仅当集合$X \cup Y'$是划分$a$的块的并集，否则为$0$。
2. 复合的分析：核心技术挑战在于确定该映射何时保持复合。两个划分 $a$ 和 $b$ 的乘积涉及“乘积图” $\Pi(a,b)$。作者引入了交织集的概念（子集 $Z \subseteq [n]$ 使得 $X \cup Z'$ 是 $a$-块的并集，且 $Z \cup Y'$ 是 $b$-块的并集）。他们证明，对于给定的对 $(X,Y)$，此类集合的数量恰好为 $2^{\Phi(a,b)}$，其中 $\Phi(a,b)$ 是乘积图中完全位于中间行的“浮动分量”（连通分量）的数量。
3. 半环约束：映射 $\phi$ 被证明是范畴同态，当且仅当半环 $K$ 是加法幂等的（即 $1+1=1$）。在此类半环中，$2^{\Phi(a,b)}$ 个 $1$的和坍缩为$1$，从而确保矩阵乘积$\hat{a}\hat{b}$正确反映划分乘积$ab$。
4. 向扭曲范畴的扩展：作者将此构造适应于扭曲划分范畴（$\mathcal{P}_\Phi$）和$d$-扭曲范畴（$\mathcal{P}_{\Phi,d}$）。通过引入标量因子（2 的幂）并在特定特征的环（特征 0 或 $2d+1$）上工作，他们构建了能够解释扭曲参数的忠实表示。
5. 子范畴的约化：对于 Brauer 范畴（$\mathcal{B}$）和 Temperley–Lieb 范畴（$\mathcal{TL}$），作者利用结构性质（如块大小和平面性）来降低矩阵维度。他们确定了特定的索引子集（例如，Brauer 的奇数基数子集，Temperley–Lieb 的“偶数间隙”子集），使得在这些子集上可以实现比一般划分情况严格更小的维度的忠实表示。

主要贡献与结果

• $\mathcal{P}$ 的忠实对合张量表示：主要结果（定理 3.11）表明，对于任何非平凡的加法幂等半环 $K$，映射 $\phi$ 是划分范畴 $\mathcal{P}$ 到矩阵范畴 $\mathcal{M}(K)$ 的忠实、对合、张量范畴表示。自同态幺半群 $\mathcal{P}_n$ 像的维度为 $2^n$。
• 维度的最小性：作者证明（定理 3.14），对于 $\mathcal{P}$、$\mathcal{B}$ 或 $\mathcal{TL}$ 在任何含幺半环上的任何忠实对合张量表示，$\mathcal{C}_n$ 像的维度必须具有 $d^n$ 的形式，其中 $d \ge 2$ 为整数。因此，其构造实现的 $2^n$ 维度对于划分范畴而言是最小的。
• 扭曲表示：本文提供了特征 0 半环上扭曲划分范畴 $\mathcal{P}_\Phi$ 的忠实表示（定理 4.1），以及特征 $2d+1$ 环上 $d$-扭曲范畴 $\mathcal{P}_{\Phi,d}$ 的忠实表示（定理 4.3）。这些表示通过标量因子编码浮动分量计数。
• $\mathcal{B}$ 和 $\mathcal{TL}$ 的约化表示：
  • 对于Brauer 范畴 $\mathcal{B}$，作者在奇数度子范畴 $\mathcal{B}_{odd}$ 上构建了维度为 $2^{n-1}$ 的忠实表示（定理 5.2）。
  • 对于Temperley–Lieb 范畴 $\mathcal{TL}$，作者构建了一个忠实表示，其中 $\mathcal{TL}_n$ 像的维度为第 $n$ 个斐波那契数 $f_n$（定理 6.14）。这是通过将矩阵索引限制为“偶数间隙”子集来实现的。
• 与图代数的联系：本文研究了这些范畴表示与经典线性图代数（如 $P_n(K, \delta)$）之间的关系。虽然线性划分范畴 $P(K, 2)$ 的表示不是忠实的（例 7.2），但限制到 Temperley–Lieb 代数 $TL(K, 2)$ 被证明是忠实的（定理 7.4），从而作为特例恢复了已知的 Brauer 表示。

意义与主张
本文声称其主要贡献是构建幂等半环上图范畴的最小忠实对合张量表示。

• 效率：这些表示比变换表示显著更高效。例如，$P_n$ 的变换度大致按 $B(n)$（贝尔数）增长，而此处的矩阵维度为 $2^n$。
• 结构保持：与变换表示不同，这些矩阵表示保持对合（作为矩阵转置）和张量结构（作为克罗内克积），保留了其他方法中丢失的代数信息。
• 组合洞察：该构造揭示了图幺半群的代数结构与乘积图中“浮动分量”组合学之间的深刻联系。浮动分量的数量直接决定了扭曲表示所需的标量因子。
• 未决问题：作者谦逊地指出，虽然这些维度对于保持张量的表示是最小的，但如果不需要张量结构，是否存在更小的忠实表示仍然是一个未决问题（问题 8.1 和 8.2）。他们还强调，对于任意环上的特定幺半群，在计算上确定大 $n$ 时的有效维度存在困难。

总之，本文提供了一个严谨、统一且最优（在保持张量的表示类中）的线性框架，用于研究图范畴，架起了组合图论与半环上线性代数之间的桥梁。