[论文解读] Lie supergroups vs. super Harish-Chandra pairs: a new equivalence

Giovanna Fabio|arXiv (Cornell University)|Sep 9, 2016

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

一句话总结

本文通过引入两个新颖的函子 $\Psi^{\circ}$ 和 $\Psi^{e}$，采用函子式、格罗滕迪克风格的方法，利用魏尔李超代数，建立了李超群范畴与超哈里什-钱德拉对范畴之间的新等价关系。关键贡献在于提供了一种具体且替代性的构造方法，为从李超群到超哈里什-钱德拉对的标准函子 $\Phi$ 提供了拟逆函子，从而在超几何与表示理论中提供了新的视角。

ABSTRACT

It is known that there exists a natural functor $Φ$ from Lie supergroups to super Harish-Chandra pairs. A functor going backwards, that associates a Lie supergroup with each super Harish-Chandra pair, yielding an equivalence of categories, was found by Koszul [18]; this result was later extended by other authors, to different levels of generality, but always elaborating on Koszul's original idea. In this paper, I provide two new backwards equivalences, i.e. two different functors $Ψ^\circ$ and $Ψ^e$ that construct a Lie supergroup (thought of as a special group-valued functor) out of a given super Harish-Chandra pair, so that any Lie supergroup is recovered from its naturally associated super Harish-Chandra pair; more precisely, both $Ψ^\circ$ and $Ψ^e$ are quasi-inverse to the functor $Φ$.

研究动机与目标

• 建立李超群范畴与超哈里什-钱德拉对范畴之间的新等价关系，提供对经典科兹尔构造的替代方案。
• 解决一个基础性问题：能否以函子式且显式的方式，从其关联的超哈里什-钱德拉对重构李超群？
• 引入两个新函子 $\Psi^{\circ}$ 和 $\Psi^{e}$，它们作为将李超群映射到超哈里什-钱德拉对的标准函子 $\Phi$ 的拟逆函子。
• 通过点函子方法，特别是聚焦于魏尔李超代数，重新表述超几何，以直接从超哈里什-钱德拉对构造李超群。

提出的方法

• 本文采用函子式超几何方法，通过取值于魏尔李超代数的点函子来定义超流形与超群。
• 从给定的超哈里什-钱德拉对 $\mathcal{P} = (G_0, \mathfrak{g})$ 构造两个不同的超群函子 $G_{\mathcal{P}}^{\circ}$ 和 $G_{\mathcal{P}}^{e}$，利用 $G_0$-模 $V$ 的诱导表示 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$。
• 通过将超群作用在诱导模上，利用算子 $1 + \eta Y$ 和 $\exp(\mathcal{Y})$（其中 $\eta \in A_1$，$Y \in \mathfrak{g}_1$，$\mathcal{Y} \in A_1 \otimes \mathfrak{g}_1$）来定义函子 $\Psi^{\circ}$ 和 $\Psi^{e}$，并确保其与 $G_0$-作用相容。
• 该构造确保所得到的函子满足李超群的公理，并与 $G_0$ 对 $\bigwedge \mathfrak{g}_1$ 和 $\mathfrak{g}_1$ 的伴随作用相容，从而保证与超哈里什-钱德拉对结构的一致性。
• 证明函子 $\Psi^{\circ}$ 和 $\Psi^{e}$ 是标准函子 $\Phi$ 的拟逆函子，从而确立了范畴之间的新等价关系。
• 本文利用李超代数的 Poincaré–Birkhoff–Witt 定理，将 $U(\mathfrak{g}) \cong \bigwedge \mathfrak{g}_1 \otimes U(\mathfrak{g}_0)$ 分解，从而实现诱导模及其 $G_0$-作用的显式刻画。

实验结果

研究问题

• RQ1 能否以函子式且独立于科兹尔原始构造的方式，从其关联的超哈里什-钱德拉对重构李超群？
• RQ2 魏尔李超代数在通过其点函子定义李超群的过程中起什么作用？如何利用它来构造新的等价关系？
• RQ3 与经典科兹尔构造相比，两个新函子 $\Psi^{\circ}$ 和 $\Psi^{e}$ 在结构与表示理论相容性方面有何异同？
• RQ4 新函子在诱导过程中在多大程度上保持了表示的线性性与忠实性？
• RQ5 是否存在一种自然且具有几何意义的方式来定义从 $G_0$-模到 $G$-模的诱导，使其与新超群结构相容？

主要发现

• 本文从超哈里什-钱德拉对范畴到李超群范畴构造了两个新函子 $\Psi^{\circ}$ 和 $\Psi^{e}$，二者均为标准函子 $\Phi$ 的拟逆函子。
• 新函子通过取值于魏尔李超代数的点函子方法定义，提供了比以往方法更具体且几何直观的构造。
• 诱导表示 $\mathrm{Ind}_{\mathfrak{g}_0}^{\mathfrak{g}}(V)$ 被实现为 $\bigwedge \mathfrak{g}_1 \otimes V$，其上赋予的 $G_0$-作用由 $\bigwedge \mathfrak{g}_1$ 上的伴随作用与 $V$ 上原有的 $G_0$-作用共同诱导，确保与超哈里什-钱德拉对结构的相容性。
• $\Psi^{\circ}$ 和 $\Psi^{e}$ 函子在诱导模上诱导出李超群的良定义作用，通过算子 $1 + \eta Y$ 和 $\exp(\mathcal{Y})$ 扩展了 $G_0$-作用，且满足所需的超群关系。
• 该构造为诱导模赋予了唯一的 $G$-模结构，其限制到 $G_0$-作用与 $\mathfrak{g}$-作用与原始结构一致，从而证实诱导是限制的伴随函子。
• 若原始 $G_0$-模 $V$ 是忠实的，则诱导的 $G$-模 $\mathrm{Ind}_{G_0}^{G}(V)$ 也是忠实的，这意味着 $G_0$ 的线性性通过诱导可推出 $G$ 的线性性。