[论文解读] Pivotal objects in rigid monoidal categories and their Frobenius-Schur indicators

Kenichi Shimizu|arXiv (Cornell University)|Sep 18, 2013

Algebraic structures and combinatorial models被引用 4

一句话总结

本文引入了左刚性张量范畴 𝒞 的关键覆盖 𝒞ᵖⁱᵛ，以将弗罗贝尼乌斯-施莱尔（FS）指标推广至非 pivotal 的设定。它为 𝒞ᵖⁱᵛ 中的对象定义了 (n, r)-阶 FS 指标 uₙ,ᵣ(𝕍)，建立了一个范畴框架，将这些指标与迭代张量积函子的自同态联系起来，尤其在有限张量范畴中，作为霍普夫代数伴随表示的推广。

ABSTRACT

In this paper, we introduce the notion of the pivotal cover $\mathcal{C}^{\mathsf{piv}}$ of a left rigid monoidal category $\mathcal{C}$ to develop a theoretical foundation for the theory of Frobenius-Schur (FS) indicators in non-pivotal settings. For an $\mathbf{V} \in \mathcal{C}^{\mathsf{piv}}$, the $(n, r)$-th FS indicator $ u_{n, r}(\mathbf{V})$ is defined by generalizing that of an of a pivotal monoidal category. This notion gives a categorical viewpoint to some recent results on generalizations of FS indicators. Based on our framework, we also study the FS indicators of the object in a finite tensor category, which can be considered as a generalization of the adjoint representation of a Hopf algebra. The indicators of this closely relate to the space of endomorphisms of the iterated tensor product functor.

研究动机与目标

• 通过引入左刚性张量范畴 𝒞 的关键覆盖 𝒞ᵖⁱᵛ，为非 pivotal 设定中的弗罗贝尼乌斯-施莱尔指标建立范畴框架。
• 将 (n, r)-阶弗罗贝尼乌斯-施莱尔指标 uₙ,ᵣ(𝕍) 的定义从 pivotal 范畴推广至更广泛的范畴设定，使其适用于更广泛的范畴环境。
• 研究有限张量范畴中对象的 FS 指标，特别是与霍普夫代数的伴随表示类似的对象。
• 建立这些指标与迭代张量积函子自同态空间之间的联系。
• 提供一个理论基础，统一并扩展近期在张量范畴中关于广义 FS 指标的成果。

提出的方法

• 将关键覆盖 𝒞ᵖⁱᵛ 构造为左刚性张量范畴 𝒞 的范畴扩张，使其在原本无 pivotal 结构的范畴中也能具备 pivotal 结构。
• 利用与 𝒞ᵖⁱᵛ 的 pivotal 结构相容的广义迹类构造，为 𝒞ᵖⁱᵛ 中的对象 𝕍 定义 (n, r)-阶弗罗贝尼乌斯-施莱尔指标 uₙ,ᵣ(𝕍)。
• 利用关键覆盖的普遍性质，将 pivotal 范畴中的不变量提升至非 pivotal 范畴。
• 分析 𝒞 上迭代张量积函子的自同态空间，从范畴角度将其与 FS 指标联系起来。
• 将该框架应用于有限张量范畴，证明某些典型对象的指标与张量幂函子的自同态空间维数直接相关。
• 利用范畴对偶性和刚性确保指标在范畴等价下保持良好定义与不变性。

实验结果

研究问题

• RQ1 在缺乏 pivotal 结构的情况下，弗罗贝尼乌斯-施莱尔指标如何有意义地推广？
• RQ2 何种范畴构造使得 pivotal 不变量能够扩展至非 pivotal 的左刚性张量范畴？
• RQ3 关键覆盖中的 (n, r)-阶 FS 指标如何与迭代张量函子的自同态结构相关联？
• RQ4 有限张量范畴中对象的指标如何推广霍普夫代数中伴随表示的性质？
• RQ5 能否通过这些广义 FS 指标刻画 n 阶张量幂函子的自同态空间？

主要发现

• 关键覆盖 𝒞ᵖⁱᵛ 为将弗罗贝尼乌斯-施莱尔指标理论推广至非 pivotal 的左刚性张量范畴提供了自然方式。
• 对于 𝒞ᵖⁱᵛ 中任意对象 𝕍，(n, r)-阶 FS 指标 uₙ,ᵣ(𝕍) 良好定义，并推广了 pivotal 范畴中的经典概念。
• 在有限张量范畴中，对应于伴随表示的对象的 FS 指标与 n 阶张量幂函子自同态空间的维数直接相关。
• 该框架统一了近期关于广义 FS 指标的推广成果，将其嵌入一个连贯的范畴结构中。
• 关键覆盖中的指标保持了关键不变性性质，如与张量等价的相容性。
• 该构造揭示了迭代张量积函子的自同态空间由广义 FS 指标控制，尤其在有限情形下尤为显著。