[論文レビュー] A quantum version of the algebra of distributions of $\operatorname{SL}_2$

Iván Angiono|arXiv (Cornell University)|Jul 17, 2016

Algebraic structures and combinatorial models参考文献 10被引用数 3

ひとこと要約

この論文は、複素数体 $\mathbb{C}$ 上の有限次元代数の族 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ を導入し、小量子群 $\frak{u}⁡_\lambda(\mathfrak{sl}_2)$ を一般化する。この族は、各代数が直前の代数に対する $\frak{u}⁡_\lambda(\mathfrak{sl}_2)$-クリフト拡大であるフィルトレーションをなす。主な結果は、スタインバーグ型のテンソル積分解である：任意の単純 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$-加群は、単純 $\frak{u}⁡_\lambda(\mathfrak{sl}_2)$-加群と単純 $\mathcal{D}⁡_{\lambda,N-1}(\mathfrak{sl}_2)$-加群のテンソル積に同型である。

ABSTRACT

Let $λ$ be a primitive root of unity of order $\ell$. We introduce a family of finite-dimensional algebras $\{\mathcal{D}_{λ,N}(\mathfrak{sl}_2)\}_{N\in\mathbb{N}_0}$ over the complex numbers, such that $\mathcal{D}_{λ,N}(\mathfrak{sl}_2)$ is a subalgebra of $\mathcal{D}_{λ,M}(\mathfrak{sl}_2)$ if $N

研究の動機と目的

• 正標数の代数閉体上の一様な代数的群の表現理論に密接に類似する $\mathbb{C}$-代数を構成すること。
• 小量子群 $\mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$ を、$N \in \mathbb{N}_0$ をインデックスとする有限次元代数のネストされた族 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ に一般化すること。
• 代数 $\mathrm{SL}_2$ の分布代数の量子版を、有限次元部分代数のフィルトレーションとクリフト拡大構造を持つ形で構成すること。
• 単純 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$-加群に対して、スタインバーグ型のテンソル積分解を確立すること。これは代数的群の表現論的構造を反映する。

提案手法

• 有限次元部分代数の生成関係を一般化した生成元と関係式により $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ を定義する。これらは、$\mathrm{SL}_2$ の分布代数の部分代数の関係を一般化する。
• フィルトレーションを確立する：$\mathcal{D}⁡_{\lambda,0}(\mathfrak{sl}_2) \simeq \mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$ であり、$M < N$ に対して $\mathcal{D}⁡_{\lambda,M}(\mathfrak{sl}_2) \subset \mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ が成り立つ。
• $\mathcal{D}⁡_{\lambda,N-1}(\mathfrak{sl}_2) \subset \mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ が $\mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$-クリフト拡大であることを証明し、ホップ代数的構造を保証する。
• $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ の三角分解（正部分、零部分、負部分に分離）を用いて、単純加群が最高重量加群であることを示す。
• $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ に $\mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$-コモジュール代数構造を定義し、加群上のテンソル積作用を可能にする。
• コモジュール構造を活用して、各単純 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$-加群 $\mathcal{L}_N(p)$ が $\mathcal{L}(p_N) \otimes \mathcal{L}_N(\widehat{p})$ に同型であることを証明する。ここで $p = p_N \ell^N + \widehat{p}$、$0 \leq p_N < \ell$、$0 \leq \widehat{p} < \ell^N$ である。

実験結果

リサーチクエスチョン

• RQ1 正標数の代数閉体上の一様な代数的群の表現カテゴリに密接に類似する $\mathbb{C}$-代数を構成できるか？
• RQ2 代数 $\mathrm{SL}_2$ の分布代数を、クリフト拡大構造を持つ有限次元代数のフィルトレーションとして量子変形できるか？
• RQ3 このような量子代数の表現論は、単純加群に対してスタインバーグ型のテンソル積分解を有するか？
• RQ4 この代数の単純加群は、小量子群 $\mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$ を含む再帰的テンソル積を用いて明示的に構成・分類できるか？

主な発見

• $\{\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)\}_{N \in \mathbb{N}_0}$ は、$\mathcal{D}⁡_{\lambda,0}(\mathfrak{sl}_2) \simeq \mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$ を満たす、有限次元 $\mathbb{C}$-代数のネストフィルトレーションをなす。
• 各包含 $\mathcal{D}⁡_{\lambda,N-1}(\mathfrak{sl}_2) \subset \mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ は $\mathfrak{u}⁡_\lambda(\mathfrak{sl}_2)$-クリフト拡大であり、分布代数のホップ代数的構造を一般化する。
• 任意の単純 $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$-加群 $\mathcal{L}_N(p)$ は、最高重量加群であり、最高重量 $p = p_N \ell^N + \widehat{p}$ を持つ。ここで $0 \leq p_N < \ell$、$0 \leq \widehat{p} < \ell^N$ である。
• 単純加群 $\mathcal{L}_N(p)$ は、$\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$-加群として $\mathcal{L}_N(p) \simeq \mathcal{L}(p_N) \otimes \mathcal{L}_N(\widehat{p})$ とテンソル積に分解可能である。
• 自明加群 $\Bbbk$ は $\mathcal{L}_N(0)$ に同型であり、$p = p_N \ell^N$ のとき $\mathcal{L}_N(p) \simeq \mathcal{L}(p_N) \otimes \Bbb{k}$ である。
• $\mathcal{D}⁡_{\lambda,N}(\mathfrak{sl}_2)$ は、余単位 $\epsilon$ を持つ増加代数であり、$0 \leq j \leq N$ に対して $\epsilon(E^{[j]}) = \epsilon(F^{[j]}) = 0$、$\epsilon(K^{[j]}) = 1$ を満たす。