[论文解读] Higher Frobenius-Schur indicators for pivotal categories

Peter Schauenburg|arXiv (Cornell University)|Jan 1, 2015

Algebraic structures and combinatorial models参考文献 16被引用 61

一句话总结

本文引入了线性典范张量范畴中对象的高阶弗罗贝尼乌斯-施瑙尔指标，证明其为取值于分圆整数环的范畴不变量。此外，本文在半单刚性张量范畴中定义了弗罗贝尼乌斯-施瑙尔自同态，并证明这些指标恰好是这些自同态的迹，从而统一了范畴论与表示论的视角。

ABSTRACT

We define higher Frobenius-Schur indicators for objects in linear pivotal monoidal categories. We prove that they are category invariants, and take values in the cyclotomic integers. We also define a family of natural endomorphisms of the identity endofunctor on a $k$-linear semisimple rigid monoidal category, which we call the Frobenius-Schur endomorphisms. For a $k$-linear semisimple pivotal monoidal category -- where both notions are defined --, the Frobenius-Schur indicators can be computed as traces of the Frobenius-Schur endomorphisms.

研究动机与目标

• 在线性典范张量范畴的背景下，将弗罗贝尼乌斯-施瑙尔指标推广至高阶形式。
• 确立这些高阶指标为范畴结构的不变量。
• 在半单刚性张量范畴中，定义恒等函子的一族典范自同态——弗罗贝尼乌斯-施瑙尔自同态。
• 在 $k$-线性半单典范张量范畴中，证明高阶弗罗贝尼乌斯-施瑙尔指标恰好等于这些自同态的迹。

提出的方法

• 通过线性典范张量范畴中的高阶迹构造来定义高阶弗罗贝尼乌斯-施瑙尔指标。
• 证明这些指标在张量范畴等价下保持不变。
• 证明这些指标的取值属于分圆整数环。
• 利用半单刚性张量范畴中的对偶性与刚性结构，引入恒等函子的一族典范自同态——弗罗贝尼乌斯-施瑙尔自同态。
• 建立一个迹公式，将高阶弗罗贝尼乌斯-施瑙尔指标表示为弗罗贝尼乌斯-施瑙尔自同态的迹。
• 利用 $k$-线性半单典范张量范畴的结构，确保范畴论定义与迹理论定义的一致性。

实验结果

研究问题

• RQ1 如何在典范范畴中将弗罗贝尼乌斯-施瑙尔指标推广至高阶？
• RQ2 这些高阶指标在典范范畴等价下是否保持不变？
• RQ3 控制高阶指标的自同态具有何种范畴性质？
• RQ4 高阶弗罗贝尼乌斯-施瑙尔指标能否表示为恒等函子的自然自同态的迹？
• RQ5 高阶指标的取值属于何种代数结构？

主要发现

• 高阶弗罗贝尼乌斯-施瑙尔指标是线性典范张量范畴的良好定义的不变量。
• 高阶弗罗贝尼乌斯-施瑙尔指标的取值属于分圆整数环。
• 在半单刚性张量范畴中，构造了一族恒等函子的典范自同态——弗罗贝尼乌斯-施瑙尔自同态。
• 在 $k$-线性半单典范张量范畴中，高阶弗罗贝尼乌斯-施瑙尔指标等于相应弗罗贝尼乌斯-施瑙尔自同态的迹。
• 该构造提供了一个统一框架，将表示论指标与范畴迹结构联系起来。