[論文レビュー] Quantum spaces associated to multipermutation solutions of level two

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

Advanced Topics in Algebra参考文献 11被引用数 6

ひとこと要約

本稿では、複素数体ℂ上でのYang-Baxter方程式の有限平方自由多重置換解（レベル2）が、群指標フーリエ理論を用いて対角化可能なR行列形をとることを確立し、その結果、単位根によって支配されるq-非可換関係をもつ量子代数が得られることを示している。主な貢献は、有限アーベル群作用の文脈における非可換幾何を一般化する、自然なDrinfeld余ねじれ構造およびbraided-反対積構造を有する、多項式代数の量子化である。

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の平方自由多重置換型の有限集合論的Yang-Baxter方程式の解を特徴づけること。
• このような解が、有限アーベル群上のフーリエ理論を用いて、ℂ上でのR行列を対角化可能であることを示すこと。
• q-非可換関係を用いた多項式代数の変形として、関連する量子代数A(ℂ,X,r)を構成すること。
• 任意の体k上で、量子代数A(k,X,r)を、Drinfeld余ねじれおよびbraided-反対積として普遍的に構成すること。
• これらの量子代数における非可換微分幾何の構築を開始すること。

提案手法

• 有限アーベール群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)をDrinfeld余ねじれとして実現すること。
• H-加群のbraided圏における、量子積をbraided-反対積として定式化すること。
• 標準写像f(x,y) = ({}^x y, x)を用いて、解rをf ∘ τ ∘ f⁻¹に因子分解し、群作用構造と関連付けること。

実験結果

リサーチクエスチョン

• RQ1 任意のℂ上での有限平方自由多重置換解（レベル2）は、軌道別置換群G_iの指標を用いた基底変換によって対角化可能か？
• RQ2 このような解に対して、Yang-Baxter代数A(ℂ,X,r)の代数的構造は何か？また、q-変形とどのように関係するか？
• RQ3 量子群技法を用いて、任意の体k上で量子代数A(k,X,r)をどのように普遍的に構成できるか？
• RQ4 置換群G(X,r)は、A(k,X,r)の非可換幾何にどのように寄与するか？
• RQ5 解rは、集合論的解(X,f)に対してf ∘ τ ∘ f⁻¹の形に因子分解可能か？このことは、背後にある群作用にどのような意味を持つのか？

主な発見

• ℂ上での有限平方自由多重置換解（レベル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次コサイクルに関するDrinfeld余ねじれとして、普遍的な量子化構造をもつ。
• A(k,X,r)上の量子積は、H-加群のbraided圏における対称代数k[V]のbraided-反対積と同型である。
• 解rは、f(x,y) = ({}^x y, x)として、r = f ∘ τ ∘ f⁻¹に因子分解可能であり、(X,f)は非退化な二次的集合をなしており、新たな構造的分解が得られる。
• この構成により、A(k,X,r)に対して非可換微分幾何の枠組みが得られ、量子積は変形量子化におけるMoyal積を一般化する。