[論文レビュー] Constructing Hopf braces

A. L. Agore|arXiv (Cornell University)|Jul 10, 2017

Algebraic structures and combinatorial models参考文献 6被引用数 4

ひとこと要約

本稿では、余代数的ホップ代数のマッチドペアを用いた方法と、極限や等化子を含む圏論的道具を用いた方法の2つの新しい手法を導入し、余可換ホップブラケットの構成を行う。主な貢献は、任意の余可換ホップ代数のマッチドペアが、それらのテンソル積余代数の上に余可換ホップブラケットを誘導することの証明であり、既知の構成を一般化し、ホップブラケットの圏の完全性を確立する。

ABSTRACT

We investigate Hopf braces, a concept recently introduced by Angiono, Galindo and Vendramin in connection to the quantum Yang-Baxter equation. More precisely, we propose two methods for constructing Hopf braces. The first one uses matched pairs of Hopf algebras while the second one relies on category theoretic tools.

研究の動機と目的

• 余可換ホップブラケットの新しい例を体系的に構成するための方法を開発すること。
• マッチドペアのような代数的構造を用いて、Yang-Baxter方程式の既存の解の構成を一般化すること。
• 極限と等化子を用いた圏論的道具によって、ホップブラケットの圏の完全性を確立すること。
• 群またはリー代数のマッチドペアが、それらの群代数または普遍包あくり代数の上にホップブラケットを誘導することを示すこと。
• 双射1-コサイクルの圏が完全であることを証明し、ホップブラケット理論における既知の同値関係を拡張すること。

提案手法

• 余可換ホップ代数のマッチドペアを用いて、テンソル積余代数上に新しい余可換ホップブラケットを構成する。
• 極限と等化子を含む圏論的道具を用いて、ホップブラケットの圏の完全性を証明する。
• 同じ基底余代数上に二つのホップ代数構造の整合性によってホップブラケット構造を定義する。
• スウィードラーの記法を用いて余乗法を記述し、構成におけるブレード方程式の整合性条件を適用する。
• 等化子の普遍性を用いて、ホップブラケット圏内の二つの準同型の等化子として、部分ホップブラケットを構成する。
• 既知の結果[3]を活用し、ホップブラケットの圏と双射1-コサイクルの圏との間の同値関係を確立する。

実験結果

リサーチクエスチョン

• RQ1 余可換ホップ代数のマッチドペアを用いて、新しい余可換ホップブラケットを体系的に構成できるか？
• RQ2 極限や等化子のような圏論的構成をどのようにしてホップブラケットの圏の完全性を証明するために応用できるか？
• RQ3 任意の群またはリー代数のマッチドペアが、それらの群代数または普遍包あくり代数のテンソル積上に余可換ホップブラケットを誘導するか？
• RQ4 双射1-コサイクルの圏は完全であるか？また、ホップブラケットの圏とはどのように関係しているか？
• RQ5 ホップブラケットの圏と双射1-コサイクルの圏の正確な関係は何か？

主な発見

• 任意の余可換ホップ代数のマッチドペア $A$ と $H$ は、テンソル積余代数 $A \bigotimes H$ 上に余可換ホップブラケットを誘導する。
• 余可換ホップブラケットの圏は完全であり、任意の小さな極限（積や等化子を含む）を備えている。
• 二つのホップブラケット準同型の等化子は、両方のホップ代数構造を備えた部分ホップ代数であり、部分ホップブラケットをなす。
• 双射1-コサイクルの圏は完全であり、定理3.4で定義された関手 $F$ を通じてホップブラケットの圏と同値である。
• ホップブラケットの圏と双射1-コサイクルの圏は同値であり、[3, 定理1.12]の結果を拡張する。
• 群やリー代数のマッチドペアから明示的な例が構成され、群代数や普遍包あくり代数上にホップブラケットが得られる。