[论文解读] A dichotomy between twisted tensor products of bialgebras and Frobenius algebras

Pablo S. Ocal, Amrei Oswald|arXiv (Cornell University)|Nov 27, 2022

Algebraic structures and combinatorial models被引用 5

一句话总结

本文提出了一种图示化框架，为双代数与弗罗贝尼乌斯代数的扭曲张量积赋予自然的余单位与余乘法结构。研究证明，仅当扭曲映射为平凡映射时，双代数结构才会被继承；而若扭曲张量积是余单位的共结合余代数，则弗罗贝尼乌斯代数结构始终可被继承——这使得能够系统构造非交换对称弗罗贝尼乌斯代数，并将量子完全交截恢复为对称弗罗贝尼乌斯代数。

ABSTRACT

We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the twisted tensor product of bialgebras is a bialgebra, and when the twisted tensor product of Frobenius algebras is a Frobenius algebra. Our methods are purely diagrammatic, so these results hold for (braided) monoidal categories. As an application, we recover that some quantum complete intersections are Frobenius algebras, and we construct families of noncommutative symmetric Frobenius algebras. Along the way, we also characterize when twisted tensor products of separable algebras are separable, and we prove that twisted tensor products of special Frobenius algebras are special Frobenius.

研究动机与目标

• 确定扭曲张量积的双代数在何种条件下继承双代数结构。
• 刻画扭曲张量积的弗罗贝尼乌斯代数在何种条件下继承弗罗贝尼乌斯代数结构。
• 在统一框架下重新获得已知结果——例如，系统地证明量子完全交截是对称弗罗贝尼乌斯代数。
• 通过非平凡的扭曲映射，从群代数出发构造新的非交换对称弗罗贝尼乌斯代数族。
• 将理论扩展至可分代数与特殊弗罗贝尼乌斯代数，确定其继承条件。

提出的方法

• 作者在（辫子）张量范畴中采用纯图示化方法，定义扭曲张量积上的自然余单位与余乘法映射。
• 他们引入一种由输入代数 A 和 B 的余代数结构导出的典范余乘法与余单位。
• 关键技术工具是验证涉及扭曲映射 τ、Δ 与 ε 的特定图示恒等式的交换性。
• 他们利用配对 β 及其对称性质，确定弗罗贝尼乌斯代数结构何时得以保持。
• 该方法适用于一般张量范畴，确保其在向量空间之外的广泛适用性。
• 他们通过群元素与类似特征标的关系，验证扭曲映射 τ 的条件，以确保共结合性与余单位性。

实验结果

研究问题

• RQ1 在何种条件下，双代数的扭曲张量积会继承双代数结构？
• RQ2 在何种条件下，弗罗贝尼乌斯代数的扭曲张量积仍为弗罗贝尼乌斯代数？
• RQ3 能否通过该框架系统地证明量子完全交截是对称弗罗贝尼乌斯代数？
• RQ4 扭曲映射需满足何种条件，才能使群代数的扭曲张量积成为对称弗罗贝尼乌斯代数？
• RQ5 在何种条件下，可分代数或特殊弗罗贝尼乌斯代数在扭曲张量积下保持不变？

主要发现

• 两个双代数的扭曲张量积是双代数，当且仅当扭曲映射 τ 是平凡的。
• 两个弗罗贝尼乌斯代数的扭曲张量积是弗罗贝尼乌斯代数，当且仅当它是余单位的共结合余代数。
• 当 qij 是阶整除 gcd(mi−1,mj−1) 的单位根，或在正特征情况下 m=(p,…,p) 时，量子完全交截 Λq,m^n 是对称弗罗贝尼乌斯代数。
• 可通过满足特定 λ-关系的非平凡强分次扭曲映射，从群代数 kG 与 kH 构造非交换对称弗罗贝尼乌斯代数。
• 若扭曲映射满足适当的相容性条件，则可分代数的扭曲张量积仍是可分代数。
• 在保持弗罗贝尼乌斯结构的相同条件下，特殊弗罗贝尼乌斯代数的扭曲张量积仍是特殊弗罗贝尼乌斯代数。