[论文解读] Representation rings of Lie superalgebras

Gregory D. Landweber|ArXiv.org|Mar 12, 2004

Algebraic structures and combinatorial models参考文献 13被引用 5

一句话总结

本文引入并研究了李超代数表示环的多种变体，包括基于偶部与奇部形式差构造的超表示环，并建立了表示环、其自对偶理想与超表示环之间关系的六项周期精确序列。主要贡献在于提出一个广义适用于复数与实数情形的周期精确序列，尤其在实数情形下揭示了令人惊讶的六项版本，展现出超表示理论中更深层次的代数与拓扑结构。

ABSTRACT

Given a Lie superalgebra \g, we introduce several variants of the representation ring, built as subrings and quotients of the ring R_{\Z_2}(\g) of virtual \g-supermodules (up to even isomorphisms). In particular, we consider the ideal R_{+}(\g) of virtual \g-supermodules isomorphic to their own parity reversals, as well as an equivariant K-theoretic super representation ring SR(\g) on which the parity reversal operator takes the class of a virtual \g-supermodule to its negative. We also construct representation groups built from ungraded \g-modules, as well as degree-shifted representation groups using Clifford modules. The full super representation ring SR^{*}(\g), including all degree shifts, is then a \Z_{2}-graded ring in the complex case and a \Z_{8}-graded ring in the real case. Our primary result is a six-term periodic exact sequence relating the rings R^{*}_{\Z_2}(\g), R^{*}_{+}(\g), and SR^{*}(\g). We first establish a version of it working over an arbitrary (not necessarily algebraically closed) field of characteristic 0. In the complex case, this six-term periodic long exact sequence splits into two three-term sequences, which gives us additional insight into the structure of the complex super representation ring SR^{*}(\g). In the real case, we obtain the expected 24-term version, as well as a surprising six-term version of this periodic exact sequence.

研究动机与目标

• 将格罗滕迪克风格的表示环与等变K-理论方法在超表示理论中统一起来。
• 定义并研究一种超表示环，使得宇称反转作用为取负，与K-理论指标构造保持一致。
• 建立标准表示环、其自对偶理想与超表示环之间的周期精确序列。
• 将这些结果推广至实数情形，揭示出包括六项序列在内的意外周期性。
• 阐明度移位与Clifford模在构造格拉斯表示群中的作用。

提出的方法

• 引入虚 $ \mathfrak{g} $-超模的环 $ R_{\mathbb{Z}_2}(\mathfrak{g}) $，并构造其子环与商环，包括 $ R_+(\mathfrak{g}) $ 与 $ SR^\bullet(\mathfrak{g}) $。
• 在复数情形下将超表示环 $ SR^\bullet(\mathfrak{g}) $ 定义为 $ \mathbb{Z}_2 $-分次环，在实数情形下为 $ \mathbb{Z}_8 $-分次环，且宇称反转作用为取负。
• 通过Clifford模实现度移位，构造 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $，从而实现周期性结果。
• 利用 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ 与 $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 之间的同构，关联 $ \mathfrak{g} $ 与其对偶代数 $ \bar{\mathfrak{g}} $。
• 在任意特征为零的域上构造六项周期精确序列，复数情形下可分解为两个三项序列。
• 利用对偶性与Clifford代数同构诱导的同构，建立24项周期精确序列，并提出实数情形下的新颖六项版本。

实验结果

研究问题

• RQ1 如何定义一种超表示环，使得宇称反转算符作用为取负，从而与等变K-理论对齐？
• RQ2 哪些周期精确序列控制着标准表示环、其自对偶理想与超表示环之间的关系？
• RQ3 当从复数情形过渡到实数情形时，表示环的结构如何变化？
• RQ4 通过Clifford模实现的度移位在构造李超代数表示理论中的周期结构中起什么作用？
• RQ5 实数情形下是否存在六项周期精确序列？若存在，其几何或代数起源为何？

主要发现

• 在任意特征为零的域上建立了六项周期精确序列，关联 $ R_{\mathbb{Z}_2}^\bullet(\mathfrak{g}) $、$ R_+^\bullet(\mathfrak{g}) $ 与 $ SR^\bullet(\mathfrak{g}) $，复数情形下可分解为两个三项序列。
• 在复数情形下，超表示环 $ SR^\bullet(\mathfrak{g}) $ 为 $ \mathbb{Z}_2 $-分次，周期性导致两个三项精确序列。
• 在实数情形下，表示环呈现 $ \mathbb{Z}_8 $-分次，周期精确序列扩展为24项版本。
• 在实数情形下发现了一个令人惊讶的六项周期精确序列，其源于对偶性与 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) $ 与 $ R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $ 之间的同构。
• 当 $ \mathfrak{g} = \mathbb{R} $ 时，自对偶理想 $ R_+^{-n}(\mathbb{R}) \cong \mathbb{Z} $，且超表示环实现点的 $ KO $-理论，证实该序列与 $ KO $-理论周期性一致。
• 显式构造了同构 $ R\mathbb{R}_{\mathbb{Z}_2}^n(\mathfrak{g}) \cong R\mathbb{R}_{\mathbb{Z}_2}^{-n}(\bar{\mathfrak{g}}) $，通过反转奇部元素的符号实现，该同构与限制映射和遗忘映射相容。