[論文レビュー] An integral form of the quantized enveloping algebra of sl_2 and its completions

Kazuo Habiro|ArXiv.org|May 11, 2006

Algebraic structures and combinatorial models参考文献 8被引用数 6

ひとこと要約

本稿は、既知の形式 U_𝒜 および Ū の間の新たな整形式 𝒰 を導入し、これにより quasi-R-行列 が 𝒰⊗𝒰 の完成内に存在することを保証する。本稿では 𝒰 の完成形 — 特に ŝ𝒰、̂𝒰、𝒯𝒰 — を研究し、それらの中心を特定することで、カラフル・ジョーンズ多項式や Witten-Reshetikhin-Turaev 不変量といった量子不変量の整数性を理解するための枠組みを提供する。

ABSTRACT

We introduce an integral form U of the quantized enveloping algebra of sl_2. The algebra U is just large enough so that the quasi-R-matrix is contained in a completion of U\otimes U. We study several completions of the algebra U, and determine their centers. This study is motivated by a study of integrality properties of the quantum sl_2 invariants of links and integral homology spheres.

研究の動機と目的

• U_v(sl₂) の新たな整形式 𝒰 を定義し、その完成内に quasi-R-行列 が存在するようにすること。
• filtration として e の冪と v−v⁻¹ を含むイデアルを用いた、𝒰 の完成形 — 特に ŝ𝒰、̂𝒰、𝒯𝒰 — を研究すること。
• これらの完成形の中心を特定し、特に量子リンク不変量および 3-多様体不変量の文脈での意義を明らかにすること。
• completed tensor product の完成形の内部に quasi-R-行列 が存在することを確立し、位相的不変量への応用を可能にすること。
• ℤ[v,v⁻¹] 上の代数的構造を通じて、カラフル・ジョーンズ多項式および Witten-Reshetikhin-Turaev 不変量の整数性を説明する枠組みを提供すること。

提案手法

• 𝒰 を U_v(sl₂) の ℤ[v,v⁻¹]-部分代数として、K、K⁻¹、e=(v−v⁻¹)E、および n≥1 の F⁽ⁿ⁾ で生成されるものとして定義する。
• 両側イデアル 𝒰ⁿᵉ = 𝒰eⁿ𝒰 を用いたフィルトレーションを導入し、完成形 ŝ𝒰 = lim← 𝒰/𝒰ⁿᵉ を定義する。
• 代替的な完成形 ̂𝒰 および 𝒯𝒰 を、それぞれ {H+m}ᵢeⁿ⁻ⁱ を含むイデアル 𝒰ₙ および (𝒰₁)ⁿ を用いて構成する。
• v-次数を用いて代数を偶数部と奇数部に分解し、ホップ代数構造と整合性を持つようにする。
• completed tensor product として ŝ𝒰 ⊗̂ ŝ𝒰 や ̂𝒰 ⊗̂ ̂𝒰 を定義し、quasi-R-行列 Θ を埋め込む。
• 完成形 𝒯𝒰_q の中心が lim← 𝒜_q[vC]/(σₙ) に同型であり、中心の次数 0 部分が lim← 𝒜_q[C²]/(σₙ) に同型であることを証明する。

実験結果

リサーチクエスチョン

• RQ1 quasi-R-行列 がその完成テンソル積に存在するような U_v(sl₂) の整形式をどのように構成できるか？
• RQ2 完成形 ŝ𝒰 = lim← 𝒰/𝒰eⁿ𝒰 の構造的性質は何か？ また、これにより 𝒰 から完全なホップ代数構造がどのように引き継がれるか？
• RQ3 完成形 ̂𝒰、𝒯𝒰 及びそれらの q-変形の中心は、量子不変量とどのように関係するか？
• RQ4 カラフル・ジョーンズ多項式および WRT 不変量の整数性は、𝒰 及びその完成形上の代数的構造によって説明可能か？
• RQ5 v-次数は、これらの完成形の代数的および位相的構造を整理する上で果たす役割は何か？

主な発見

• quasi-R-行列 Θ = ∑ₙ≥₀ (−1)ⁿv⁻½ⁿ⁽ⁿ⁻¹⁾F⁽ⁿ⁾⊗eⁿ は完成テンソル積 ŝ𝒰 ⊗̂ ŝ𝒰 内に存在する。
• 完成形 ŝ𝒰 は 𝒰 から引き継いだ完全なホップ代数構造を ℤ[v,v⁻¹] 上に持つ。
• 完成形 𝒯𝒰_q の中心は lim← 𝒜_q[vC]/(σₙ) に同型であり、ここで 𝒜_q = ℤ[q,q⁻¹] で σₙ は特定のイデアルである。
• 完成形 𝒯𝒰_q の次数 0 部分の中心は lim← 𝒜_q[C²]/(σₙ) に同型であり、これはフレーム付きリンクの不変量を反映している。
• 代数 𝒯𝒰_q は ŝ𝒰_q から ̂𝒰_q への自然な写像の像であり、ホップ代数構造を引き継ぐ。
• 中心の計算により、カラフル・ジョーンズ多項式などの量子不変量の整数性が直接的な代数的説明を得る。