[论文解读] Module traces and Hopf group-coalgebras

Andres F. Fontalvo Orozco, Azat M. Gainutdinov|arXiv (Cornell University)|Sep 4, 2018

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

一句话总结

本文引入了在具有模自函子的 pivotal 類別上模類別的廣義模痕跡概念，將 modified traces 的概念推廣至非半單與非單模 Hopf 代數之外。本文證明了在任意有限維度 pivotal Hopf 代數（包括非單模者）上，其投射張量理想上存在非退化的模痕跡，並將此理論推廣至有限類型的 Hopf 群餘代數，並對 Taft 代數與根單位圓上的非限制量子群進行了明確計算。

ABSTRACT

Let H be a finite-dimensional pivotal and unimodular Hopf algebra over a field k. It was shown in [BBGa] that the projective tensor ideal in H-mod admits a unique non-degenerate modified trace, a natural generalisation of the categorical trace. This paper provides an extension of this result to a much more general setting. We first extend the notion of the modified trace to the so-called module trace for a given k-linear module category M over a pivotal category C equipped with a module endofunctor. We provide a non-trivial class of examples of such module traces. In particular, we show that any finite-dimensional pivotal Hopf k-algebra, not necessarily unimodular, admits a non-degenerate module trace on its projective tensor ideal. We also extend this result to pivotal Hopf group-coalgebras of finite type, and we give explicit calculations for the family of Taft Hopf algebras and non-restricted Borel quantum groups at roots of unity.

研究动机与目标

• 將 modified traces 的概念推廣至半單與單模設定之外。
• 在具有模自函子的 pivotal 類別上的模類別脈絡中定義並研究模痕跡。
• 證明在任意有限維度 pivotal Hopf 代數的投射張量理想上，非退化模痕跡的存在性。
• 將理論推廣至有限類型的 Hopf 群餘代數，並進行明確計算。
• 建立一個框架，以在非半單設定下利用這些廣義痕跡構造拓撲不變量。

提出的方法

• 在具有模自函子的 pivotal 類別上的模類別上引入模痕跡的概念。
• 透過模函子定義模痕跡的拉回，以連結不同模類別結構。
• 使用一個簡化引理，以簡化張量理想上的痕跡條件。
• 利用廣義積分與模自函子的作用構造模痕跡。
• 透過引入 G-積分與 α-對稱 G-積分，將理論應用至 Hopf 群餘代數。
• 利用圖形演算與 Hopf 代數設定下的代數恆等式，驗證痕跡公理（循環性與部分痕跡）。

实验结果

研究问题

• RQ1 modified trace 的構造能否推廣至非單模與非半單類別之外？
• RQ2 在任意有限維度 pivotal Hopf 代數的投射張量理想上，即使非單模，是否存在非退化模痕跡？
• RQ3 模痕跡概念如何推廣至有限類型的 Hopf 群餘代數？
• RQ4 在 Taft 代數與根單位圓上的非限制量子群等具體例子中，能否導出模痕跡的明確公式？
• RQ5 模痕跡在非半單設定下如何與對偶與張量結構相互作用？

主要发现

• 在任意有限維度 pivotal Hopf 代數（無論是否單模）的投射張量理想上，均存在非退化模痕跡。
• 該構造將 [BBGa] 中的 modified trace 推廣至更廣泛的代數類別，包括非單模者。
• 對於 Taft Hopf 代數族，明確計算出模痕跡，並證明其非退化。
• 在根單位圓上的非限制 Borel 量子群情形，模痕跡透過 α-對稱 G-積分構造，並產生非退化配對。
• 痕跡滿足循環性與部分痕跡公理，確保其與非半單 TQFT 中的拓撲不變量相容。
• H-pmod 上的模痕跡由模自函子作用與積分決定，其明確計算為 t_V_s(R_z,x^s) = z^{1+n}/r。