[论文解读] Modified Traces on Deligne's Category Rep(S_{t})

Jonathan Comes, Jonathan R. Kujawa|arXiv (Cornell University)|Mar 10, 2011

Algebraic structures and combinatorial models参考文献 19被引用 3

一句话总结

本文在Deligne的范畴Rep(Sₜ)中建立了唯一非平凡的修正迹函数族的存在性，证明当t为非负整数时，该范畴虽非阿贝尔范畴，但仍容许修正迹。作者引入该范畴的分次变体，将修正迹提升至此设定，并通过braid结构与扭结构的q-变形，表明其可恢复平框纽结的 writhe 不变量。

ABSTRACT

Deligne has defined a category which interpolates among the representations of the various symmetric groups. In this paper we show Deligne's category admits a unique nontrivial family of modified trace functions. Such modified trace functions have already proven to be interesting in both low-dimensional topology and representation theory. We also introduce a graded variant of Deligne's category, lift the modified trace functions to the graded setting, and use them to recover the well-known invariant of framed knots known as the writhe.

研究动机与目标

• 研究Deligne范畴Rep(Sₜ)中修正迹函数的存在性与结构，该范畴插值对称群的表示。
• 通过研究Rep(Sₜ)作为非阿贝尔范畴的非阿贝尔例子，填补对修正迹存在条件理解的空白。
• 构建Deligne范畴的分次版本，以提升修正迹，并将其与writhe等拓扑不变量联系起来。
• 证明在分次设定中，修正迹可通过q-变形的braid结构恢复经典平框纽结的writhe不变量。

提出的方法

• 通过在对象与态射上引入ℤ-分次，定义Deligne范畴的分次变体，记为gRep₀(Sₜ)ₚ。
• 构造一个张量函子F: gRep(Sₜ)ₚ → Rep(Sₜ)，其作用为忽略分次，将对象[a,b]映射为[a+b]，并恒等映射态射。
• 利用函子F将修正迹从Rep(Sₜ)提升至分次范畴，证明若F(V)容许对称迹，则V亦然。
• 利用分次braid结构与扭结构，其中c_{V,W}按q^{rs}缩放，θ_V按q^{r²}缩放，将范畴结构与拓扑不变量关联。
• 计算被M_{a,b}标记的定向平框纽结K的不变量为q^{(a−b)²ω}，其中ω为K的writhe。
• 验证提升后的迹结构与求值、共求值及braid结构可交换，保持对称迹条件。

实验结果

研究问题

• RQ1 Deligne的范畴Rep(Sₜ)是否容许非平凡的修正迹函数？若容许，其条件为何？
• RQ2 能否将修正迹从无分次范畴提升至Deligne范畴的分次版本？
• RQ3 在分次设定中，修正迹会引出何种拓扑不变量，特别是对平框纽结而言？
• RQ4 分次范畴中braid与扭结构的q-变形与已知不变量（如writhe）有何关联？
• RQ5 在非阿贝尔有braiding的范畴中，如t为非负整数时的Rep(Sₜ)，修正迹的存在性是否可能？

主要发现

• 当t为非负整数时，Deligne的范畴Rep(Sₜ)容许唯一非平凡的修正迹函数族。
• 该范畴是首个已知的非阿贝尔有braiding范畴，尽管非阿贝尔，却仍支持修正迹。
• 范畴gRep(Sₜ)ₚ容许一个张量函子F到Rep(Sₜ)，其保持对偶性、结合性与单位约束。
• 通过函子F，Rep(Sₜ)中的修正迹可被提升至分次设定，确保gRep(Sₜ)ₚ中的对象如M_{a,b}容许对称迹。
• 对于被M_{a,b}标记的平框纽结K，其不变量为q^{(a−b)²ω}，其中ω为K的writhe，从而恢复经典writhe不变量。
• 该构造表明，writhe不变量自然源于分次范畴中q-变形的braid与扭结构，当q不是单位根时成立。