[論文レビュー] Semigroups of I-type

Tatiana Gateva-Ivanova, Michel Van den Bergh|ArXiv.org|Aug 8, 2003

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

ひとこと要約

本稿では、自由可換半群と特定の適合性条件を満たす非可換半群との間の全単射によって定義されるI型半群が、集合論的Yang-Baxter方程式の解、Bieberbach群、および歪双一次多項式環と深く関係していることを確立する。主な貢献は、このような半群が有限グローバル次元を持ち、Koszul的かつネーター的であり、コycleによるねじれを施した場合にAuslander条件を満たし、Cohen-Macaulay的であることを証明することである。また、単位根が関与する場合にはPI代数の性質にも影響を及ける。

ABSTRACT

Assume that $S$ is a semigroup generated by $\{x_1,...,x_n\}$, and let $\Uscr$ be the multiplicative free commutative semigroup generated by $\{u_1,...,u_n\}$. We say that $S$ is of \emph{$I$-typ}e if there is a bijection $v:\Uscr S$ such that for all $a\in\Uscr$, $\{v(u_1a),... v(u_na)\}=\{x_1v(a),...,x_nv(a)\}$. This condition appeared naturally in the work on Sklyanin algebras by John Tate and the second author. In this paper we show that the condition for a semigroup to be of $I$-type is related to various other mathematical notions found in the literature. In particular we show that semigroups of $I$-type appear in the study of the settheoretic solutions of the Yang-Baxter equation, in the theory of Bieberbach groups and in the study of certain skew binomial polynomial rings which were introduced by the first author.

研究の動機と目的

• 特定の二次関係を満たす半群の代数的および組合せ的構造を解明すること、特にSklyanin代数と非可換Gröbner基底理論から生じるものを対象とする。
• I型半群と集合論的Yang-Baxter方程式の解との間の明確な対応関係を確立すること。
• I型半群が有限グローバル次元およびAuslander条件を満たす強いホモロジー的・有限性性質を有するねじれた群代数を生じることを示すこと。
• I型条件がユークリッド変換による格子上の群作用に同値であることを示し、基本領域の存在と作用の自由性を導くこと。

提案手法

• n個の生成元からなる自由可換半群 $ \mathcal{U} $ と半群 $ S $ の間の全単射 $ v: \mathcal{U} \to S $ を用いてI型半群を定義し、任意の $ a \in \mathcal{U} $ に対して $ \{v(u_1 a), \dots, v(u_n a)\} = \{x_1 v(a), \dots, x_n v(a)\} $ を満たすようにする。
• このような半群の定義関係から $ r: X^2 \to X^2 $ を構成し、これが集合論的Yang-Baxter方程式を満たし、かつ対合であることを証明する。
• I構造 $ v $ と準同型 $ \phi $ を商群 $ \overline{S} $ に拡張し、これにより $ \mathbb{Z}^n $ 上への置換と平行移動による群作用を定義する。
• $ \overline{S} $ による $ \mathbb{Z}^n $ 上の作用が自由であり、$[0,1)^n$ が基本領域であることを、$ \phi $-写像とI型条件の構造を用いて証明する。
• コycle $ c: S^2 \to k^* $ に対するねじれた代数 $ k_c S $ を分析し、有限グローバル次元やKoszul性といったホモロジー的有限性性質が保たれることを示す。
• 有限体での還元とStaffordとZhangの結果を用いて、一般の場合への有限性性質の拡張を図り、単位根が関与する場合にはPI性を含む。

実験結果

リサーチクエスチョン

• RQ1 I型半群は集合論的Yang-Baxter方程式の解とどのように関係しているか？
• RQ2 ねじれた群代数のホモロジー的および有限生成性質の観点から、I型条件の代数的意義は何か？
• RQ3 I型条件は格子上の群作用として特徴付けられるか？ その場合、半群の構造にどのような含意があるか？
• RQ4 ねじれた代数 $ k_c S $ が可換環上で有限となる条件は何か？ また、いつPI代数となるか？
• RQ5 商群 $ \overline{S} $ と拡張写像 $ \overline{v} $ の存在が、I型半群に内在するより深い構造的対称性をどのように明らかにするか？

主な発見

• 条件 (*1, *2, *3) を満たす半群はI型であり、それに関連するYang-Baxter方程式の解 $ r $ は対合であり、ブレード関係も満たす。
• 関係式から定義される写像 $ r $ は集合論的Yang-Baxter方程式の解であり、定理1.2の条件を満たす任意の解はI型半群から生じる。
• I型半群 $ S $ に対するねじれた代数 $ k_c S $ は有限グローバル次元を持ち、Koszul的かつネーター的であり、Auslander条件を満たし、Cohen-Macaulay的である。
• コycle $ c $ が自明であれば、$ k_c S $ はその中心上で有限であり、$ c $ の値が単位根であれば、$ k_c S $ はPI代数である。
• 商群 $ \overline{S} $ はユークリッド変換を用いて $ \mathbb{Z}^n $ 上に自由に作用し、$[0,1)^n$ が基本領域である。この作用は拡張されたI構造 $ \overline{v} $ と写像 $ \tilde{\phi} $ によって誘導される。
• 写像 $ \phi $ の核にはすべての $ i $ に対して $ u_i^{n!} $ が含まれるため、$ \phi $ の像は $ \mathrm{Sym}_n $ の有限部分群であり、これにより還元においても作用が良好に振る舞う。