[논문 리뷰] Semigroups of I-type

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

Algebraic structures and combinatorial models참고 문헌 4인용 수 92

한 줄 요약

이 논문은 자유 교환(semigroup)과 특정 호환 조건을 만족하는 비가환 semigroup 사이의 전단사 사상으로 정의되는 I-형 semigroup가 양-바크스 방정식의 체계적 해법, 비버바흐 군, 그리고 왜곡된 이항 다항식 환과 깊이 연결되어 있음을 입증한다. 주요 기여는 이러한 semigroup가 유한한 전반적 차원을 가지며, Koszul이며, Noetherian이며, Auslander 조건을 만족하고, 코ycle에 의해 왜곡될 경우 코hen-맥컬레이 성질을 갖는다는 것을 증명하는 것이다. 뿌리의 단위근이 포함될 경우 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.

연구 동기 및 목표

• 특정 이차 관계를 만족하는 semigroup의 대수적 및 조합적 구조를 명확히 하며, 특히 스크리아닌 대수와 비가환 그뢰브너 기초 이론에서 유래된 사례를 다루는 것.
• I-형 semigroup와 양-바크스 방정식의 체계적 해법 사이에 정확한 대응 관계를 설정하는 것.
• I-형 semigroup가 유한한 전반적 차원과 Auslander 조건을 만족하는 강력한 호몰로지적 및 유한성 성질을 갖는 왜곡된 군 대수를 유도함을 보여주는 것.
• I-형 조건이 유클리드 변환에 의한 격자 위의 군 작용과 동치임을 보이고, 이는 기본 영역과 작용의 자유성에 대한 통찰을 제공한다.

제안 방법

• n개의 생성자를 갖는 자유 교환 semigroup $ \mathcal{U} $와 비가환 semigroup $ S $ 사이의 전단사 사상 $ v: \mathcal{U} \to S $를 통해 I-형 semigroup를 정의하며, 모든 $ a \in \mathcal{U} $에 대해 $ \{v(u_1 a), \dots, v(u_n a)\} = \{x_1 v(a), \dots, x_n v(a)\} $ 를 만족시키는 조건을 부여한다.
• 이러한 semigroup의 정의 관계로부터 $ r: X^2 \to X^2 $ 를 구성하고, 이가 체계적 양-바크스 방정식을 만족하고, 인벌루션임을 증명한다.
• 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 성질을 포함한 호몰로지적 유한성 성질을 상속받음을 보여준다.
• 유한 체 위에서의 환원과 스토우드와 셰이드의 결과를 활용하여 일반적인 경우로의 유한성 성질을 확장하며, 뿌리의 단위근이 존재할 경우 PI-성질까지 포함한다.

실험 결과

연구 질문

• RQ1 I-형 semigroup는 체계적 양-바크스 방정식 해법과 어떻게 관련되어 있는가?
• RQ2 왜곡된 군 대수의 호몰로지적 및 유한 생성 성질 측면에서 I-형 조건의 대수적 의미는 무엇인가?
• RQ3 I-형 조건은 군 작용을 통해 격자 위에 기술될 수 있는가? 이는 semigroup의 구조에 대해 어떤 함의를 갖는가?
• RQ4 왜곡된 대수 $ k_c S $가 어떤 조건에서 추상환 위에서 유한한가? 그리고 언제 PI-대수인가?
• RQ5 몫군 $ \overline{S} $와 확장된 사상 $ \overline{v} $의 존재는 I-형 semigroup의 더 깊은 구조 대칭성에 대해 어떤 통찰을 제공하는가?

주요 결과

• 조건 (*1, *2, *3)을 만족하는 semigroup는 I-형이며, 이에 대응하는 양-바크스 방정식의 해 $ r $ 는 인벌루션이고 브레이드 관계를 만족한다.
• 관계로부터 정의된 사상 $ r $ 은 체계적 양-바크스 방정식의 해이며, 정리 1.2의 조건을 만족하는 모든 체계적 해는 I-형 semigroup에서 유도된다.
• I-형 semigroup $ S $에 대한 왜곡 대수 $ k_c S $ 는 유한한 전반적 차원을 가지며, Koszul이며, Noetherian이며, Auslander 조건을 만족하고, 코헨-맥컬레이 성질을 갖는다.
• 코ycle $ c $ 가 자명할 경우 $ k_c S $ 는 중심에 대해 유한하며, $ c $ 의 값이 단위근일 경우 $ k_c S $ 는 PI-대수이다.
• 몫군 $ \overline{S} $ 는 $ \mathbb{Z}^n $ 에 대해 유클리드 변환에 의한 자유 작용을 하며, 기본 영역으로 $[0,1)^n$ 을 갖는다. 이 작용은 확장된 I-형 구조 $ \overline{v} $ 와 사상 $ \tilde{\phi} $ 에 의해 유도된다.
• 사상 $ \phi $ 의 핵에 $ u_i^{n!} $ 가 포함되어 있음을 통해 $ \phi $ 의 상이 $ \mathrm{Sym}_n $ 의 유한부분군임을 알 수 있으며, 이는 환원 시 잘 정의된 행동을 함을 의미한다.