[논문 리뷰] Quantum spaces associated to multipermutation solutions of level two

Tatiana Gateva-Ivanova, Shahn Majid|ArXiv.org|2008. 06. 18.

Advanced Topics in Algebra참고 문헌 11인용 수 6

한 줄 요약

이 논문은 복소수체 ℂ 위에서 유한한 제곱-free 다중치환 해가 수준 2인 양-버텍스 방정식을 만족할 때, 군 특성의 푸리에 이론을 통해 R-행렬이 대각화된 형태를 취함을 증명하며, 이는 루트 오브 유니티로 규정되는 q-교환관계를 갖는 양자 대수로 이어진다. 주요 기여는 유한 아벨 군 작용의 맥락에서 비틀림된 다중치환 해를 일반화하는 캐논리컬 드린펠트 코-tw리스트와 브레이드-역행렬 곱의 구조를 제공하는 것이다.

ABSTRACT

We study finite set-theoretic solutions $(X,r)$ of the Yang-Baxter equation of square-free multipermutation type. We show that each such solution over $\C$ with multipermutation level two can be put in diagonal form with the associated Yang-Baxter algebra $\Acal(\C,X,r)$ having a $q$-commutation form of relations determined by complex phase factors. These complex factors are roots of unity and all roots of a prescribed form appear as determined by the representation theory of finite abelian group $\Gcal$ of left actions on $X$. We study the structure of $\Acal(\C,X,r)$ and show that they have a $\bullet$-product form `quantizing' the commutative algebra of polynomials in $|X|$ variables. We obtain the $\bullet$-product both as a Drinfeld cotwist for a certain canonical 2-cocycle and as a braided-opposite product for a certain crossed $\Gcal$-module (over any field $k$). We provide first steps in the noncommutative differential geometry of $\Acal(k,X,r)$ arising from these results. As a byproduct of our work we find that every such level 2 solution $(X,r)$ factorises as $r=f\circτ\circ f^{-1}$ where $τ$ is the flip map and $(X,f)$ is another solution coming from $X$ as a crossed $\Gcal$-set.

연구 동기 및 목표

• 수준 2의 제곱-free 다중치환 유형인 양-버텍스 방정식의 유한 집합론적 해를 특성화하기 위해.
• 이러한 해가 복소수체 위에서 유한 아벨 군의 푸리에 이론을 사용하여 R-행렬이 대각화된 형태를 갖는다는 것을 보여주기 위해.
• 다항식 대수의 변형으로서 q-교환관계를 갖는 양자 대수 A(ℂ,X,r)를 구성하기 위해.
• 모든 체 k에 대해 양자 대수 A(k,X,r)를 드린펠트 코-tw리스트와 브레이드-역행렬 곱의 형태로 보편적으로 구성하기 위해.
• 이러한 양자 대수를 위한 비가환 미분기하학의 발전을 시작하기 위해.

제안 방법

• 유한 아벨 군 G_i의 푸리에 이론을 사용하여, X의 궤도에 제한된 치환군 G의 R-행렬을 대각화하기 위해.
• G_i의 특성으로 표기된 새로운 기저 Y = {y^i_η}를 구성하여, R-행렬이 복소수 위상 인자로 대각화되도록 하기 위해.
• q-교환관계 y^i_η y^j_ζ = q_{i,η,j,ζ} y^j_ζ y^i_η의 유도, 여기서 q_{i,η,j,ζ} = χ_ζ(σ^i_j)/χ_η(σ^j_i) 이고 σ^i_j는 고정된 치환이다.
• H* × H 위의 캐논리컬 2-코호몰로지에 대해 H = ∏ G_i 이며, 양자 대수 A(k,X,r)를 드린펠트 코-tw리스트로 실현하기 위해.
• 브레이드 카테고리의 H-모듈에서의 브레이드-역행렬 곱으로서의 양자 곱의 제시를 위해.
• 해 r를 f ∘ τ ∘ f⁻¹로 인수분해하기 위해, f(x,y) = ({}^x y, x) 라는 캐논리컬 맵을 사용하여 군 작용의 구조와 연결하기 위해.

실험 결과

연구 질문

• RQ1 모든 복소수체 ℂ 위에서 유한한 제곱-free 다중치환 해의 수준 2 해는 궤도별 치환군 G_i의 특성에 의해 인덱싱된 기저의 변화를 통해 대각화될 수 있는가?
• RQ2 이러한 해에 대해 양-버텍스 대수 A(ℂ,X,r)의 대수적 구조는 무엇이며, q-변형과의 관계는 어떠한가?
• RQ3 양자군 기법을 사용하여 모든 체 k에 대해 양자 대수 A(k,X,r)를 어떻게 보편적으로 구성할 수 있는가?
• RQ4 치환군 G(X,r)은 A(k,X,r)의 비가환 기하학을 결정하는 데 어떤 역할을 하는가?
• RQ5 해 r는 집합론적 해 (X,f)에 대해 f ∘ τ ∘ f⁻¹로 분해될 수 있는가, 그리고 이는 기저 군 작용에 대해 무엇을 시사하는가?

주요 결과

• 모든 복소수체 ℂ 위에서 유한한 제곱-free 다중치환 해의 수준 2 해는 궤도별 치환군 G_i의 특성으로 인덱싱된 기저에서 대각 R-행렬을 갖는다.
• 양자 대수 A(ℂ,X,r)는 복소수 위상 인자 q_{i,η,j,ζ} = χ_ζ(σ^i_j)/χ_η(σ^j_i)를 갖는 q-교환관계를 가지며, 이 q-인자는 군 특성에 의해 결정되는 단위근이다.
• 대수 A(k,X,r)는 H = ∏ G_i 이며, H* × H 위의 캐논리컬 2-코호몰로지에 대해 드린펠트 코-tw리스트로서 보편적인 양자화 구조를 갖는다.
• 양자 대수 A(k,X,r)의 양자 곱은 H-모듈의 브레이드 카테고리에서의 대칭 대수 k[V]의 브레이드-역행렬 곱과 동형이다.
• 해 r는 r = f ∘ τ ∘ f⁻¹로 분해되며, f(x,y) = ({}^x y, x) 이고, (X,f)는 비퇴화된 이차 집합이며, 이는 새로운 구조적 분해를 제공한다.
• 이 구성은 A(k,X,r)에 대해 비가환 미분기하학의 프레임워크를 제공하며, 양자 곱은 변형 양자화의 Moyal 곱을 일반화한다.