[論文レビュー] From quantum Ore extensions to quantum tori via noncommutative UFDs

K. R. Goodearl, Milen Yakimov|arXiv (Cornell University)|Aug 30, 2012

Algebraic structures and combinatorial models参考文献 17被引用数 21

ひとこと要約

本稿は、量子群から生じる反復斜多項式拡張であるCGL拡張の明示的埋め込みを、非可換一意因数分解整域理論と正規元を用いた一般化されたゲルファンド–ツェルミン手続きを用いて、量子トーラスへ構成する。主な結果は、2つの量子トーラス実現の間の自然な同型写像の確立である。1つはカウオンの導分の削除法によるもので、もう1つは新しい正規元に基づく構成によるものであり、カウオン要素によって生成される量子アフィン空間代数がCGL拡張に自然に埋め込まれることを示している。

ABSTRACT

All iterated skew polynomial extensions arising from quantized universal enveloping algebras of Kac-Moody algebras are special examples of a very large, axiomatically defined class of algebras, called CGL extensions. For the purposes of constructing initial clusters for quantum cluster algebra structures on an algebra R, and classification of the automorphisms of R, one needs embeddings of R into quantum tori T which have the property that R contains the corresponding quantum affine space algebra A. We explicitly construct such an embedding A \subseteq R \subset T for each CGL extension R using the methods of noncommutative noetherian unique factorization domains and running a Gelfand-Tsetlin type procedure with normal, instead of central elements. Along the way we classify the homogeneous prime elements of all CGL extensions and we prove that each CGL extension R has an associated maximal torus which covers the automorphisms of R corresponding to all normal elements. For symmetric CGL extensions, we describe the relationship between our quantum affine space algebra A and Cauchon's quantum affine space algebra generated by elements obtained via deleting derivations.

研究の動機と目的

• すべてのCGL拡張$R$に対して、$\mathcal{A} \subseteq R \subset \mathcal{T} \subset \mathrm{Fract}(R)$の形の埋め込みを構成すること。ここで$\mathcal{A}$は量子アフィン空間代数、$\mathcal{T}$は量子トーラスである。
• 非可換一意因数分解整域技術を用いてCGL拡張内の斉次素元を分類すること。
• 正規元から生じる自己同型を制御する、$R$における最大トーラスの存在を確立すること。
• カウオンの導分の削除法により構成された量子トーラスと、正規元を用いたゲルファンド–ツェルミン型手続きにより構成された量子トーラスとの関係を特定すること。
• 対称的CGL拡張の場合に、カウオンによって生成される量子アフィン空間代数と正規元に基づく量子アフィン空間代数が同型な量子トーラスを生成することを証明すること。

提案手法

• CGL拡張内の正規元および素元を分析するために、非可換ネーター的一意因数分解整域（UFD）理論を用いる。
• 中心元の代わりに正規元を用いた一般化されたゲルファンド–ツェルミン手続きを適用し、$R$における部分代数構造を構築する。
• スケール微分を指数化して得られる要素$\overline{x}'_k$を用いた修正された代数表示により、新しい量子トーラス$\mathcal{T}'_{\Lambda}$を構成する。
• $y_k = \overline{x}'_{p^{O_-(k)}(k)} \cdots \overline{x}'_k$を含む再帰的公式を用いて、カウオンに基づく量子トーラス$\mathcal{T}_{\mathbf{q}}$と正規元に基づくトーラス$\mathcal{T}'_{\Lambda}$との同型写像を確立する。
• 文献[4, Theorem II.6.4]における強い$\mathcal{H}$-有理性結果を用い、分数環内に中心化する要素がスカラーでなければならないことを示し、主要な同型写像を証明する。

実験結果

リサーチクエスチョン

• RQ1 量子アフィン空間代数$\mathcal{A}$は、$R$が量子トーラス$\mathcal{T}$に埋め込まれるようなCGL拡張$R$に埋め込まれるか？
• RQ2 カウオンの導分の削除法により構成された量子トーラスと、正規元を用いたゲルファンド–ツェルミン型手続きにより構成された量子トーラスとの関係は何か？
• RQ3 CGL拡張内の斉次素元の構造は何か。また、それらは明示的に記述可能か？
• RQ4 CGL拡張の最大トーラスは、正規元から生じるすべての自己同型を制御するか？
• RQ5 対称的CGL拡張の場合に、カウオン要素によって生成される量子アフィン空間代数は、新しい正規元に基づく生成元によって生成されるものと同型か？

主な発見

• 正規元に基づくゲルファンド–ツェルミン手続きにより構成された量子トーラス$\mathcal{T}'_{\Lambda}$は、カウオンに基づく量子トーラス$\mathcal{T}_{\mathbf{q}}$と同型であり、すなわち$\mathcal{T}'_{\Lambda} = \mathcal{T}_{\mathbf{q}}$である。
• 各$k \in [1,N]$に対して、カウオン量子トーラスの生成元$y_k$は$y_k = \overline{x}'_{p^{O_-(k)}(k)} \cdots \overline{x}'_k$を満たし、カウオン要素と新しい正規元に基づく生成元との明示的関係が得られる。
• すべてのCGL拡張の斉次素元は、正規元の構造とゲルファンド–ツェルミン手続きを用いて完全に分類される。
• CGL拡張$R$の最大トーラスは、正規元から生じる$R$のすべての自己同型を制御する。
• 対称的CGL拡張において、カウオン要素によって生成される量子アフィン空間代数は、正規元に基づく生成子によって生成されるものと同型であり、2つの構成法の間の自然な関係が確立される。