[論文レビュー] 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

ひとこと要約

本稿は、双代数およびフォビニアス代数のねじれテンソル積に自然な余単位および余乗法構造を付与する図式的枠組みを導入する。双代数構造は、ねじれ写像が自明である場合にのみ継承されると示され、フォビニアス代数構造は、ねじれ積が余単位的でコassociativeなコモナドである限り常に継承される。これにより、非可換対称フォビニアス代数の体系的構成が可能となり、量子完全交差が対称フォビニアス代数として回復される。

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.

研究の動機と目的

• ねじれテンソル積が双代数構造をいつ継承するかを特定すること。
• ねじれテンソル積がフォビニアス代数構造をいつ継承するかを特徴づけること。
• 量子完全交差が対称フォビニアス代数であるという既知の結果を、統一的な枠組みの中で再現すること。
• 非自明なねじれ写像を用いて群代数から非可換対称フォビニアス代数の新規族を構成すること。
• 分離的および特別なフォビニアス代数への理論の拡張を行い、継承条件を同定すること。

提案手法

• 著者たちは、(braided)モノイダル圏において完全に図式的なアプローチを用いて、ねじれテンソル積上に自然な余単位および余乗法写像を定義する。
• 入力代数 A および B のコモナド構造から導かれる標準的な余乗法および余単位を導入する。
• 主な技術的道具は、ねじれ写像 τ、Δ、および ε を含む特定の図式的恒等式の可換性の検証である。
• コペアリング β 及びその対称性の性質を用いて、フォビニアス代数構造が保存される条件を同定する。
• この方法は一般のモノイダル圏に適用可能であり、ベクトル空間を超える広範な適用可能性を保証する。
• コアソシエイティビティおよび余単位性を保証するため、ねじれ写像 τ に関する群的元および双字跡的関係を用いて条件を検証する。

実験結果

リサーチクエスチョン

• RQ1 ねじれテンソル積が双代数構造をいつ継承するか。
• RQ2 ねじれテンソル積がフォビニアス代数構造をいつフォビニアス代数のまま保つのか。
• RQ3 この枠組みを用いて、量子完全交差が体系的に対称フォビニアス代数として示せるか。
• RQ4 ねじれ写像にどのような条件を課えると、群代数のねじれ積が対称フォビニアス代数になるか。
• RQ5 分離的または特別なフォビニアス代数がねじれテンソル積においていつ保存されるか。

主な発見

• 二つの双代数のねじれテンソル積が双代数であるための必要十分条件は、ねじれ写像 τ が自明であることである。
• 二つのフォビニアス代数のねじれテンソル積がフォビニアス代数であるための必要十分条件は、それが余単位的でコassociativeなコモナドであることである。
• 量子完全交差 Λq,m^n は、qij が gcd(mi−1,mj−1) で割り切れる位数の単位根であるか、m=(p,…,p) である正の特異的特徴を持つ場合、対称フォビニアス代数である。
• 特定の λ-関係を満たす非自明な強く階格付けされたねじれ写像を用いて、群代数 kG および kH から非可換対称フォビニアス代数を構成できる。
• ねじれ写像が適切な適合条件を満たす場合、分離的代数のねじれテンソル積は分離的である。
• フォビニアス構造を保存するのと同じ条件下で、特別なフォビニアス代数のねじれテンソル積は特別なフォビニアス代数である。