[论文解读] $p$-adic quantum hyperenveloping algebra for $\mathfrak{sl}_{2}$

Anton Lyubinin|arXiv (Cornell University)|Dec 16, 2013

Advanced Algebra and Geometry参考文献 6被引用 3

一句话总结

本文通过迭代的斜交换幂级数代数，在离散赋值域 $L$ 上构造了一个 $p$-进量子超包络代数 $\widehat{U}_q(\mathfrak{sl}_{2,L})$，该代数推广了 Tate 代数。关键贡献在于，将 $SL_q(2,L)$ 的 Banach Hopf 代数完备化构造为其 $U_q(\mathfrak{sl}_{2,L})$ 的连续对偶，配备一种范数拓扑，确保了共乘法和反积的有界性，从而得到一个非交换、非余交换的 $L$-Banach Hopf 代数，且为紧致型。

ABSTRACT

We construct an example of quantum hyperenveloping algebra over discretely valued field for the Lie algebra $\mathfrak{sl}_{2}$.

研究动机与目标

• 为离散赋值域 $L$ 上的 $\mathfrak{sl}_2$ 构建一个 $p$-进量子超包络代数的类比。
• 通过构造 $U_q(\mathfrak{sl}_{2,L})$ 及其对偶 $SL_q(2,L)$ 的赋范完备化，将量子群理论推广至非阿基米德设置。
• 利用赋范结构建立 $U_q(\mathfrak{sl}_{2,L})$ 与 $SL_q(2,L)$ 之间的拓扑对偶性，确保 Hopf 代数运算的连续性。
• 在 $p$-进设置下推广量子双代数构造，借助斜配对与完备化技术，确保共乘法与反积的有界性。
• 证明 $U_q(\mathfrak{sl}_{2,L})$ 完备化后的连续对偶构成一个紧致型的 Banach Hopf 代数，从而在非阿基米德量子群理论中实现应用。

提出的方法

• 构造使用迭代的斜交换幂级数代数，其性质与 Tate 代数相似，用于定义 $U_q(\mathfrak{sl}_{2,L})$ 的完备化。
• 通过参数 $R_E, R_F < 1$ 定义 $\widehat{U}_q(\mathfrak{sl}_{2,L})$ 上的范数 $\nu'_{R_E,R_F}$，确保与 $SL_q(2,L)$ 配对时矩阵系数的收敛性。
• 采用量子双代数构造以简化证明，并建立 $U_q(\mathfrak{b}_{L,+})$ 与 $U_q(\mathfrak{b}_{L,-})$ 之间的对偶性，该对偶性构成与 $SL_q(2,L)$ 配对的基础。
• 在范数 $\nu'_{R_E,R_F}$ 下取 $U_q(\mathfrak{sl}_{2,L})$ 完备化后的连续对偶，得到有界线性泛函的 Banach 空间。
• 将 $C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$ 定义为该对偶空间中 $SL_q(2,L)$ 的闭包，其元素为系数以速率 $R_E^{-k}R_F^{-m}$ 衰减的级数。
• 形成合取极限 $C^\omega(SL_q(2,L)) = \varinjlim C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$，得到一个局部凸的紧致型空间，并赋予其非交换、非余交换的 $L$-Hopf 代数结构。

实验结果

研究问题

• RQ1 如何在离散赋值域 $L$ 上为 $\mathfrak{sl}_2$ 构造一个 $p$-进量子超包络代数？
• RQ2 何种赋范拓扑可确保 $U_q(\mathfrak{sl}_{2,L})$ 对偶上的共乘法与反积有界且连续？
• RQ3 能否将量子双代数构造适配至 $p$-进设置，以简化对偶性证明并确保 Hopf 代数运算的有界性？
• RQ4 完备化后的 $U_q(\mathfrak{sl}_{2,L})$ 的连续对偶作为拓扑代数具有何种结构？
• RQ5 在 $p$-进设置下，$SL_q(2,L)$ 上的哈尔泛函在何种条件下保持有界？

主要发现

• 完备化代数 $C_{R_E,R_F}^{\text{an}}(SL_q(2,L))$ 关于加权范数 $R_E^{-k}R_F^{-m}$ 的上确界范数构成一个 Banach 代数，且在共乘法、单位元与反积下封闭。
• 对偶泛函 $\alpha \in SL_q(2,L)$ 的范数为 $\|\alpha\|_{\nu'_{R_E,R_F}}^* = \sup_{\nu'_{R_E,R_F}(x) \leq 1} |\langle x, \alpha \rangle|_L$，确保了有界性。
• 当 $|q|_L = 1$ 时，配对满足 $|\langle K^m E^n F^l, a^s c^r b^t \rangle|_L = \delta_{rn}\delta_{tl} |[n]_q!|_L |[l]_q!|_L$，且 $a^s c^r b^t$ 的对偶范数为 $R_E^{-r} R_F^{-t}$。
• 类似地，$d^s c^r b^t$ 的对偶范数亦为 $R_E^{-r} R_F^{-t}$，表明该范数在基底上具有一致性。
• 合取极限 $C^\omega(SL_q(2,L))$ 构成一个非交换、非余交换的 $L$-Hopf 代数，且为紧致型，类似于泛函分析中的非阿基米德解析函数空间。
• 当 $|q|_L < 1$ 时，$SL_q(2,L)$ 上的哈尔泛函保持有界，从而将对偶性推广至更广范围的参数。