[论文解读] Super Distributions, Analytic and Algebraic Super Harish-Chandra pairs

Claudio Carmeli, R. Fioresi|arXiv (Cornell University)|Jun 6, 2011

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

一句话总结

本文将超李超代数对的理论推广至解析与代数超群，建立了在特征零域上，此类超群范畴与其相应超李超代数对范畴之间的等价性。本文引入了超群的分布代数，并证明了超群在超流形上的作用恰好对应于其关联的超李超代数对的作用，从而推广了科斯塔nt在微分情形下的框架。

ABSTRACT

The purpose of this paper is to extend the theory of Super Harish-Chandra pairs, originally developed by Koszul for Lie supergroups, to analytic and algebraic supergroups, in order to obtain information also about their representations. We also define the distribution superalgebra for algebraic and analytic supergroups and study its relation with the universal enveloping superalgebra

研究动机与目标

• 将超李超代数对的理论从微分情形推广至解析与代数超群。
• 为代数与解析超群定义分布超代数，并将其与普遍包络超代数联系起来。
• 在适当条件下，建立解析或代数超李超代数对范畴与解析或仿射代数超群范畴之间的等价性。
• 通过超李超代数对提供研究超群作用的等价方法，推广科斯塔nt的框架。
• 通过提供解析与代数范畴中超群表示的完整、自包含的处理，填补文献中的空白。

提出的方法

• 将解析超流形与代数超概形上的分布定义为从局部环模其极大理想幂次到基域的态射。
• 通过在所有 $ k $-点处有限阶分布的并集构造分布超代数 $ D(X) $。
• 通过哈里什-钱德拉对结构，在分布超代数与普遍包络超代数之间建立对偶性。
• 使用点态函子与层论方法，统一处理解析与代数超群。
• 证明超群在超流形上的作用等价于其关联 SHCP 的唯一作用，对应关系由涉及 $ \rho(X) $ 与上拉 $ \underline{a}^* $ 的超代数同态给出。
• 证明 SHCP 在超流形上的作用通过一个涉及 $ \mathrm{Hom}_{\mathcal{U}(\mathfrak{g}_0)}(\mathcal{U}(\mathfrak{g}), \mathcal{O}_{G_0} \hat{\otimes} \mathcal{O}_M) $ 的典范同构，完全决定了整个超群作用。

实验结果

研究问题

• RQ1 如何将超李超代数对的理论从微分范畴推广至解析与代数超群？
• RQ2 代数与解析超群的分布超代数结构是什么？它与普遍包络超代数有何关系？
• RQ3 在特征零域上，解析/代数超李超代数对范畴与解析/仿射代数超群范畴之间是否存在范畴等价？
• RQ4 超群在超流形上的作用能否通过其关联的 SHCP 等价描述？如果是，这种对应关系如何构建？
• RQ5 在代数与解析设定下，超群的无穷小作用与约化作用如何与全局作用相关联？

主要发现

• 在超群 $ X $ 上的分布超代数 $ D(X) $ 同构于每一点处局部环的完备化的对偶，且 $ D_1(X,x) $ 自然识别为 $ x $ 处的切空间。
• 对于仿射代数超群，有理点 $ x $ 处的分布对应于 $ \mathcal{O}(X)/m_x^n $ 上的线性泛函，从而恢复代数几何中的标准定义。
• 当 $ G $ 是李超代数为 $ \mathfrak{g} $ 的超群时，分布超代数 $ D(G) $ 同构于普遍包络超代数 $ \mathcal{U}(\mathfrak{g}) $，推广了科斯塔nt在微分情形下的对偶性。
• 在特征零域上，解析或代数超李超代数对范畴与解析或仿射代数超群范畴之间存在典范等价。
• 超群 $ G $ 在超流形 $ M $ 上的作用等价于其关联 SHCP $ (G_0, \mathfrak{g}) $ 的作用，对应关系由超代数同态 $ a_\rho^* $ 给出，其将 $ f \in \mathcal{O}_M(U) $ 映射为通过 $ X \mapsto (-1)^{|X|}(1 \otimes \rho(X))\underline{a}^*(f) $ 构造的 $ \mathcal{U}(\mathfrak{g}_0) $-线性映射。
• 超群作用的唯一性由 $ (\mathrm{ev}_e \otimes 1)a_\rho^*(f) = f $ 保证，确保对应关系完全由 SHCP 作用决定。