[論文レビュー] Non-unitary set-theoretical solutions to the Quantum Yang-Baxter Equation

Alexandre Soloviev|ArXiv.org|Mar 28, 2000

Advanced Topics in Algebra被引用数 22

ひとこと要約

この論文は、Etingof, Schedler, Solovievの先行研究を一般化して、非ユニタリで非退化な量子ヤン・バクスター方程式（QYBE）の集合論的解の包括的な理論を構築する。解に対して構造群と導来群を定義し、非退化解の群論的特徴づけ（定理2.7）を確立し、単射解のための組合せ論的基準（定理2.9）を提示する。主な貢献は、可換でない代数の表現を用いた単射アフィン解の分類であり、その代数は可逆元が二次関係を満たすように生成される。

ABSTRACT

We develop a theory of non-unitary set-theoretical solutions to the Quantum Yang-Baxter equation. Our results generalize those obtained by Etingof, Schedler and the author. We remark that some of our constructions are similar to constructions obtained by Lu, Yan and Zhu.

研究の動機と目的

• QYBEの非退化な集合論的解の理論をユニタリな場合を超えて一般化すること。
• 非退化解の群論的特徴づけにおけるユニタリティ条件を除去すること。
• 単射解を、特にアフィン解の一般化として導入し、それらを研究すること。
• アーベル群上の単射アフィン解を代数的構造を用いて分類すること。

提案手法

• 双射写像 $ S: X \times X \to X \times X $ から、$ S(x,y) = (g_x(y), f_y(x)) $ に由来する関係を用いて、構造群 $ G_X $ と導来構造群 $ A_X $ を定義する。
• $ g_x $ と $ f_y $ の全単射性により非退化性を定義し、導来解に関する組合せ論的条件により単射解を定義する。
• ねじれバターン群作用を用いて、ブレード集合を特徴づけ、条件 $ S_{1}S_{2}S_{1} = S_{2}S_{1}S_{2} $ を通じてQYBEと関連付ける。
• アフィン解を $ S(x,y) = (ax + by + z, cx + dy + t) $ として構成し、QYBEを満たすための係数の条件を導出する。
• 線形部 $ S^* $ とシフトパラメータ $ k $ を用いて単射アフィン解を特徴づけ、単射性が成り立つのは $ k = 0 $ かつ $ S^* $ が単射であるときに限ることを示す。
• 単射アフィン解を、可逆元 $ p, q, z $ によって生成される代数の表現として実現することにより、分類する。ここで $ pq = qp $ かつ $ z^2 - z(p+q) + pq = 0 $ を満たす。

実験結果

リサーチクエスチョン

• RQ1 非退化な集合論的解の群論的特徴づけにおけるユニタリティ条件を除去することは可能か？
• RQ2 一般の非退化な集合論的解の群論的構造は何か？ユニタリの場合とはどのように異なるか？
• RQ3 非退化な単射解のための組合せ論的基準は何か？
• RQ4 アーベル群上の単射アフィン解は、どのような代数的構造で分類できるか？
• RQ5 有限非退化解の構造群における有限指数アーベル部分群のランクは何か？最大となるのはいつか？

主な発見

• 有限非退化解の構造群には常に有限指数アーベル部分群を含み、そのランクは $ N $ 以下であり、等号が成り立つのは解がユニタリである場合に限る（定理2.10）。
• 単射非退化解は、導来解に関連する組合せ論的基準により特徴づけられる（定理2.9）。これは、自己反復的（involutive）な場合の一般化である。
• アーベル群上の単射アフィン解は、可逆元 $ p, q, z $ を持つ代数の表現とちょうど一致する。ここで $ pq = qp $ かつ $ z^2 - z(p+q) + pq = 0 $ を満たし、$ z $ は二次方程式の根として作用する。
• 与えられた単射線形解 $ S^* $ に対して、単射アフィン解は $ z \in X $ の要素と一対一に対応し、平行移動パラメータ $ t $ は $ t = -c(1-a)^{-1}z $ によって定まる。
• アフィン解 $ S $ の導来解がその線形部 $ S^* $ の導来解と一致するのは、シフトパラメータ $ k = 0 $ のときに限る。これは単射性の必要十分条件である。
• アフィン解が単射であるのは、その線形部が単射であり、かつシフトパラメータ $ k = 0 $ であるときに限る。これは定理3.3(ii)で示されている。