[论文解读] 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)$，其推广了小量子群 $\mathfrak{u}_\lambda(\mathfrak{sl}_2)$，形成一个过滤结构，其中每个代数都是前一个代数关于 $\mathfrak{u}_\lambda(\mathfrak{sl}_2)$ 的 cleft 扩张。关键结果是一个 Steinberg 类型的张量积分解：每个 $\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$-模的简单模都同构于一个 $\mathfrak{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$ 的分布代数的量子类比，该代数被过滤为有限维子代数，并具有 cleft 扩张结构。
• 证明 $\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$-模的简单模具有 Steinberg 类型的张量积分解，反映代数群的表示理论结构。

提出的方法

• 通过推广 $\mathrm{SL}_2$ 的分布代数的有限维子代数的生成元与关系，定义 $\mathcal{D}_{\lambda,N}(\mathfrak{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)$ 的 cleft 扩张，从而保证其具有 Hopf 代数结构。
• 利用 $\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$ 的分布代数进行量子变形，以得到具有 cleft 扩张结构的有限维代数的过滤？
• RQ3 此类量子代数的表示理论是否允许简单模具有 Steinberg 类型的张量积分解？
• RQ4 能否通过涉及小量子群 $\mathfrak{u}_\lambda(\mathfrak{sl}_2)$ 的递归张量积，显式构造并分类该代数的简单模？

主要发现

• 族 $\{\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)\}_{N \in \mathbb{N}_0}$ 构成一个有限维 $\mathbb{C}$-代数的嵌套过滤，且满足 $\mathcal{D}_{\lambda,0}(\mathfrak{sl}_2) \simeq \mathfrak{u}_\lambda(\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)$ 的 cleft 扩张，推广了分布代数的 Hopf 代数结构。
• 每个简单 $\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{L}_N(p) \simeq \mathcal{L}(p_N) \otimes \mathcal{L}_N(\widehat{p})$，作为 $\mathcal{D}_{\lambda,N}(\mathfrak{sl}_2)$-模。
• 平凡模 $\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$ 满足 $\epsilon(E^{[j]}) = \epsilon(F^{[j]}) = 0$，$\epsilon(K^{[j]}) = 1$，其中 $0 \leq j \leq N$。