[论文解读] On associated variety for Lie superalgebras

Michel Duflo, Vera Serganova|ArXiv.org|Jul 11, 2005

Algebraic structures and combinatorial models参考文献 11被引用 56

一句话总结

本文引入了有限维李超代数 $\mathfrak{g}$ 上模 $M$ 的关联概形 $X_M$，定义为满足 $M_x = \ker x / xM \neq 0$ 的自交换奇元 $x \in \mathfrak{g}_1$ 的集合。对于典型度为 $k$ 的不可约有限维模，证明了 $X_M$ 位于自交换奇元锥 $X$ 中所有 $G_0$-轨道（秩为 $k$）的闭包之内；对于 $\mathfrak{gl}(m|n)$，$X_M$ 恰好等于该闭包，从而提供了表示论性质的几何刻画。

ABSTRACT

We define the associated variety $ X_{M} $ of a module $ M $ over a finite-dimensional superalgebra $ {\mathfrak g} $, and show how to extract information about $ M $ from these geometric data. $ X_{M} $ is a subvariety of the cone $ X $ of self-commuting odd elements. For finite-dimensional $ M $, $ X_{M} $ is invariant under the action of the underlying Lie group $ G_{0} $. For simple superalgebra with invariant symmetric form, $ X $ has finitely many $ G_{0} $-orbits; we associate a number (rank) to each such orbit. One can also associate a number (degree of atypicality) to an irreducible finite-dimensional representation. We prove that if $ M $ is an irreducible $ {\mathfrak g} $-module of degree of atypicality $ k $, then $ X_{M} $ lies in the closure of all orbits on $ X $ of rank $ k $. If $ {\mathfrak g}={\mathfrak g}{\mathfrak l}(m|n) $ we prove that $ X_{M} $ coincides with this closure.

研究动机与目标

• 为有限维李超代数 $\mathfrak{g}$ 上的模 $M$ 定义并研究其关联概形 $X_M$，将经典关联概形的概念推广至超代数情形。
• 利用 $G_0$ 在自交换奇元锥 $X$ 上的作用，为有限维表示构造几何不变量。
• 将不可约表示的典型度与其中关联概形 $X_M$ 的 $G_0$-轨道结构联系起来。
• 证明对于 $\mathfrak{gl}(m|n)$，关联概形 $X_M$ 恰好是所有秩等于 $M$ 的典型度的 $G_0$-轨道的闭包。

提出的方法

• 定义 $X_M = \{x \in X \mid M_x \not= 0\}$，其中 $X = \{x \in \mathfrak{g}_1 \mid [x,x] = 0\}$ 为自交换奇元的锥。
• 利用李代数 $\mathfrak{g}_0$ 的单连通李群 $G_0$ 的作用，证明当 $M$ 有限维时，$X_M$ 是 $G_0$-不变且关于泽里斯基拓扑闭的。
• 通过微分 $\partial(\varphi)(x) = x\varphi(x)$ 构造 $X$ 上的凝聚层 $\mathcal{M}$，其上同调给出关联概形的截面层。
• 对于具有不变对称形式的对偶简单李超代数，分类 $X$ 上的 $G_0$-轨道，并为每个轨道分配一个秩。
• 将不可约表示的典型度定义为其最高权中相互正交的迷向根的个数。
• 证明 $X_M$ 位于所有秩等于 $M$ 的典型度的 $G_0$-轨道的闭包之内，且对 $\mathfrak{gl}(m|n)$ 成立等号。

实验结果

研究问题

• RQ1 如何几何地定义李超代数模的关联概形？它编码了哪些不变量？
• RQ2 锥 $X$ 上的 $G_0$-轨道结构与有限维模的表示论性质之间有何关系？
• RQ3 不可约表示的典型度如何与 $X_M$ 中 $G_0$-轨道闭包相关联？
• RQ4 对于 $\mathfrak{gl}(m|n)$，关联概形 $X_M$ 是否恰好是所有秩等于典型度的 $G_0$-轨道的闭包？
• RQ5 关联概形能否用于分析有限维模的上同调群与超特征标？

主要发现

• 对任意有限维 $\mathfrak{g}$-模 $M$，关联概形 $X_M$ 是自交换奇元锥 $X$ 的 $G_0$-不变且泽里斯基闭的子概形。
• 关联概形满足 $X_{M \oplus N} = X_M \cup X_N$，$X_{M \otimes N} = X_M \cap X_N$，且对有限维 $M$ 有 $X_{M^*} = X_M$。
• 对 $\mathfrak{gl}(m|n)$，不可约有限维模 $M$ 的关联概形 $X_M$（典型度为 $k$）恰好是 $X$ 中所有秩为 $k$ 的 $G_0$-轨道的闭包。
• 若 $M$ 是典型度为 $k$ 的不可约模，则 $X_M$ 位于所有秩为 $k$ 的 $G_0$-轨道的闭包之内，且对 $\mathfrak{gl}(m|n)$ 该包含关系为等式。
• 上同调 $H^i(\mathfrak{g}(-1); M)$ 由层 $\mathcal{H}_M$ 的支集控制，其支集为 $\overline{X_k} \cap \mathfrak{g}(-1)$，其中 $X_k$ 为所有秩为 $k$ 的 $G_0$-轨道的并集。
• 对典型模（典型度为 0），$\mathcal{H}_M$ 仅在原点处有支集，且 $\mathcal{H}_M(0) = H^0(\mathfrak{g}(-1), M)$，反映出其在 $\mathfrak{g}(-1)$ 上的自由性。