[論文レビュー] Set-theoretical solutions of simplex equations

V. Bardakov, B. Chuzinov+4 more|arXiv (Cornell University)|Jun 17, 2022

Advanced Topics in Algebra被引用数 6

ひとこと要約

この論文は、Yang-Baxter方程式の高次元一般化である$n$-単体方程式（n-SE）の集合論的解を構成する一般的手法を開発する。解を小さな解から合成するための操作を導入し、群の拡大が解を保存することを証明し、自由群およびアーベル群上の語的解を分類し、行列および群論的構成を用いて3-SEおよび4-SE解の明示的公式を提供する。

ABSTRACT

The $n$-simplex equation ($n$-SE) was introduced by A. B. Zamolodchikov as a generalization of the Yang--Baxter equation, which is the $2$-simplex equation in these terms. In the present paper we suggest some general approaches to constructing solutions of $n$-simplex equations, describe some types of solutions, introduce an operation which under some conditions allows us to construct a solution of $(n+m+k)$-SE from solution of $(n+k)$-SE and $(m+k)$-SE. We consider the tropicalization of rational solutions and discuss a way to generalize it. We prove that if a group $G$ is an extension of a group $H$ by a group $K$, then we can find a solution of the $n$-SE on $G$ from solutions of this equation on $H$ and on $K$. Also, we find solutions of the parametric Yang-Baxter equation on $H$ with parameters in $K$. For studying solutions of the 3-simplex equations we introduce algebraic systems with ternary operations and give examples of these systems which gives solutions of the $3$-SE. We find all elementary verbal solutions of the $3$-SE on free groups.

研究の動機と目的

• Yang-Baxter方程式に関する既知の結果を拡張し、$n$-単体方程式の解を構成する一般的な代数的および群論的手法を開発すること。
• 特定の条件下で、$(n+k)$-SEおよび$(m+k)$-SEの解から$(n+m+k)$-SEの解を生成する合成操作を確立すること。
• 群$G$上の解が、正規部分群および商群上の解を用いた群の拡大によってどのように構成できるかを調査すること。
• 自由群およびアーベル群上での3-SEおよび4-SEの基本的および語的解を分類し、明示的なパラメトリック公式を提供すること。
• 有理関数解のトロピカル化を探索し、三項演算を備えた代数的系へのこのプロセスの一般化を試みること。

提案手法

• $k$-アーマラム構成を用いて、より小さい方程式からの解を組み合わせることで$n$-SEの解に対する合成操作を導入する。
• 群$G$を$H$による$K$の拡大とするとき、$H$および$K$上の$n$-SEの解を$G$上に持ち上げられることを証明する。このとき適切な条件下で解が存在することを示す。
• 3-テノイドおよび3-三項代数的系を定義し、3-単体方程式の解をモデル化する。これにより、三項演算から解を構成するための枠組みを提供する。
• 代数的変形および行列変換を用いて、線形解から有理関数解を構成する。
• 有理関数解にトロピカル化を適用し、代数的系への形式的トロピカル化を導入し、漸近的挙動を分析する。
• 行列表現および転置操作を用いて、既存の解から新しい解を生成する。これは命題10.10および10.11で形式化されている。

実験結果

リサーチクエスチョン

• RQ1 すべての普遍的語的解が、すべての群のクラスにおいて分類可能か？
• RQ2 $n$-単体方程式の文脈において、ブレード群を一般化する群は何か？
• RQ3 $n$-単体方程式に対して、braidedカテゴリを一般化するカテゴリー的構造は何か？
• RQ4 仮想 knot 理論で用いられるマルチスイッチは、Yang-Baxter方程式のパラメトリック解を構成するために適応可能か？

主な発見

• 指定された条件下で、$k$-アーマラム操作を用いて、$(n+k)$-SEおよび$(m+k)$-SEの解から$(n+m+k)$-SEの解を構成可能である。
• 群$G$が$H$による$K$の拡大であるならば、$H$および$K$上の$n$-SEの解を$G$上の解に持ち上げることができる。
• 自由群上での3-SEのすべての基本的語的解は、三項演算を用いて明示的に分類され、構成されている。
• アーベル群では、3-SEのすべての語的解は、整数パラメータ$\alpha, \beta, \gamma$を含む5つの明示的写像によって与えられ、共役および転置の変種を含む。
• アーベル群上での4-SEのすべての語的解は、低次の解の$k$-アーマラムまたは4つの変数と整数指数を含む10の特定のパラメトリック写像から導出される。
• 線形解を定義する行列の転置は、解の性質を保つことが命題10.10で示されており、既知の解から新しい解を生成可能である。