[论文解读] Geometric construction of quotients $G/H$ in supersymmetry

Akira Masuoka, Yuta Takahashi|arXiv (Cornell University)|Aug 17, 2018

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

一句话总结

本文为特征不为2的域上的仿射代数超群 $\mathbb{G}$ 与闭子超群 $\mathbb{H}$ 提供了商超概形 $\mathbb{G}/\mathbb{H}$ 的直接几何构造，明确定义了 $\mathbb{G}/\mathbb{H}$ 的结构层，并证明其满足所有理想的几何与函子性质，包括局部可分解性及与相应商概形 $G/H$ 的相容性。该构造首次在一般情形下实现了布伦丹所期望的全部性质，从而填补了超群商理论中长期存在的空白。

ABSTRACT

It was proved by the first-named author and Zubkov [13] that given an affine algebraic supergroup $\mathbb{G}$ and a closed sub-supergroup $\mathbb{H}$ over an arbitrary field of characteristic $ e 2$, the faisceau $\mathbb{G} ilde{/} \mathbb{H}$ (in the fppf topology) is a superscheme, and is, therefore, the quotient superscheme $\mathbb{G}/\mathbb{H}$, which has desirable properties, in fact. We reprove this, by constructing directly the latter superscheme $\mathbb{G}/\mathbb{H}$. Our proof describes explicitly the structure sheaf of $\mathbb{G}/\mathbb{H}$, and reveals some new geometric features of the quotient, that include one which was desired by Brundan [2], and is shown in general, here for the first time.

研究动机与目标

• 为仿射代数超群 $\mathbb{G}$ 与闭子超群 $\mathbb{H}$ 提供商超概形 $\mathbb{G}/\mathbb{H}$ 的直接几何构造，绕过 [13] 中的间接方法。
• 明确定义 $\mathbb{G}/\mathbb{H}$ 的结构层，揭示其新的几何特征，如局部可分解性。
• 证明商 $\mathbb{G}/\mathbb{H}$ 满足布伦丹列出的全部六个性质 (Q1)–(Q6)，特别是此前在一般情形下尚未证明的 (Q5) 局部可分解性。
• 确立布伦丹通过 $\mathbb{G}/\mathbb{H}$ 对 $Q(n)$ 表示理论的结果现在可推广至更广泛的仿射代数超群类。

提出的方法

• 作者通过利用霍普夫超代数 $\mathcal{O}(\mathbb{H})$ 在 $\mathcal{O}(\mathbb{G})$ 上的典范余作用，直接明确定义了商超概形 $\mathbb{G}/\mathbb{H}$ 的结构层。
• 他们利用 $\mathcal{O}(\mathbb{G})$ 上的典范 $\mathbb{D}$-余作用，并计算余不变量 $\mathcal{O}(\mathbb{G})^{co\mathbb{D}}$，通过同构 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}(U) \simeq \mathcal{O}_{\mathbb{G}}(\pi^{-1}(U))^{co\mathbb{D}}$ 识别出其与结构层 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}$ 的关系。
• 该构造依赖于通过比较定理建立的超概形与函子性超概形之间的等价关系，从而可使用 fppf 群层方法。
• 关键的技术工具是使用斯维德勒记号以及在霍普夫超代数 $D = \mathcal{O}(\mathbb{H})$ 上的 $\square_D$-张量积，以建模相对余不变量。
• 作者证明了 $\mathcal{O}_{\mathbb{G}/\mathbb{H}} \simeq \wedge_B(A \square_D \mathsf{Z})$，其中 $\mathsf{Z}$ 是自由 $B$-模，从而确立了商作为局部可分解超概形的结构。
• 他们验证了商 $\mathbb{G}/\mathbb{H}$ 是诺特的、仿射的、在 $\mathbb{G}$ 上忠实平坦的，且其底概形同构于 $G/H$。

实验结果

研究问题

• RQ1 是否存在对商超概形 $\mathbb{G}/\mathbb{H}$ 的直接几何构造，明确定义其结构层？
• RQ2 商 $\mathbb{G}/\mathbb{H}$ 是否如布伦丹所猜想的那样在一般情形下是局部可分解的？
• RQ3 布伦丹列出的 $\mathbb{G}/\mathbb{H}$ 的全部六个期望性质 (Q1)–(Q6) 是否能在一般情形下被证明成立？
• RQ4 商 $\mathbb{G}/\mathbb{H}$ 的结构层是否自然同构于 $\mathcal{O}(\mathbb{H})$ 在 $\mathcal{O}(\mathbb{G})$ 上的余作用的余不变量？
• RQ5 商 $\mathbb{G}/\mathbb{H}$ 是否表示 fppf 群层 $\mathbb{G}\tilde{/}\mathbb{H}$，从而确认其普遍性质？

主要发现

• 商超概形 $\mathbb{G}/\mathbb{H}$ 被明确构造为一个超概形，其结构层满足 $\mathcal{O}_{\mathbb{G}/\mathbb{H}}(U) \simeq \mathcal{O}_{\mathbb{G}}(\pi^{-1}(U))^{co\mathbb{D}}$，确认了其几何实现。
• 商 $\mathbb{G}/\mathbb{H}$ 是局部可分解的，即在每一点的邻域内均可分解，从而解决了布伦丹工作中一个关键的开放问题。
• 商 $\mathbb{G}/\mathbb{H}$ 满足布伦丹列出的全部六个性质 (Q1)–(Q6)，包括商态射的忠实平坦性与诺特性。
• 商 $\mathbb{G}/\mathbb{H}$ 的结构层同构于 $\wedge_B(A \square_D \mathsf{Z})$，其中 $A = \mathcal{O}(\mathbb{G})$，$D = \mathcal{O}(\mathbb{H})$，且 $\mathsf{Z}$ 是自由 $B$-模，从而提供了其代数结构的明确描述。
• 商 $\mathbb{G}/\mathbb{H}$ 表示 fppf 群层 $\mathbb{G}\tilde{/}\mathbb{H}$，从而确认其作为范畴商的普遍性质。
• 该结果将布伦丹关于 $Q(n)$ 的表示论结果推广至更广泛的仿射代数超群类，只要 $G/H$ 是射影的。