$\mathfrak{so}_n(\mathbb{C})$-modules which are free over an abelian nilradical

技术摘要：关于在交换幂零根上自由的 $\mathfrak{so}_n(\mathbb{C})$-模的分类

问题陈述
本文研究了正交李代数 $\mathfrak{so}_n(\mathbb{C})$（具体为 $B_l$ 型和 $D_l$ 型）的模的分类，这些模在极大抛物子代数的交换幂零根 $\mathfrak{n}$ 的通用包络代数 $U(\mathfrak{n})$ 上是秩为 1 的自由模。虽然之前的研究（如 [3], [9], [1]）已经确立了 $A$ 型、$C$ 型以及 $B$ 型特定情形下此类模的存在性与结构，但本文致力于完成对 $B_l$ 型和 $D_l$ 型的分类。一个核心挑战在于，这些模架起了权重模（特别是 BGG 范畴 $\mathcal{O}$ 中的模）与非权重模之间的桥梁，这需要对它们的单纯性和子模结构进行详细分析。

研究方法
作者采用了一种基于在多项式代数 $U(\mathfrak{n}) \cong \mathbb{C}[\mathfrak{n}]$ 上实现李代数作用的构造性方法。

1. 代数设置： 本文通过矩阵表示定义了正交李代数 $\mathfrak{so}_{2l+1}(\mathbb{C})$（$B_l$ 型）和 $\mathfrak{so}_{2l}(\mathbb{C})$（$D_l$ 型），并确定了具有交换幂零根的极大抛物子代数。
2. 作用确定： 对于 $B_l$ 型，作者通过求解由李括号结构导出的交换关系和微分方程，确定了切瓦莱生成元（Chevalley generators）在 $U(\mathfrak{n})$ 上的作用。这导致了由复常数 $C$ 和多项式 $\Phi \in \mathbb{C}[\mathfrak{n}]$ 参数化的模族 $M_n(C, \Phi)$ 的定义。
3. 约化与扩展： 对于 $D_l$ 型，作者利用了 $\mathfrak{so}_{2l}(\mathbb{C})$ 是 $\mathfrak{so}_{2l+1}(\mathbb{C})$ 子代数的这一事实。他们分析了两个不同的非同构交换幂零根 $\mathfrak{n}_1$ 和 $\mathfrak{n}_l$，它们对应于不同的单根。$\mathfrak{n}_1$ 的模结构是从 $B_l$ 型的结果导出的，而 $\mathfrak{n}_l$ 则需要涉及 Pfaffian（普法夫行列式）的单独构造。
4. 单纯性分析： 作者通过研究奇异向量（被正根向量湮灭的向量）的存在性来确定单纯性。这涉及求解偏微分方程组，以寻找使得特定生成元的动作为零的多项式 $f$。

主要贡献与结果

• $B_l$ 型 ($\mathfrak{so}_{2l+1}(\mathbb{C})$) 的分类：

  • 作者定义了模 $M_n(C, \Phi)$，并建立了同构判据：$M_n(C_1, \Phi_1) \cong M_n(C_2, \Phi_2)$ 当且仅当 $C_1 = C_2$ 且 $\Phi_1 - \Phi_2 \in \mathbb{C}$。
  • 单纯性判据： 模 $M_n(C, \Phi)$ 是单纯的，当且仅当 $C \notin -\mathbb{N}$。
  • 子模结构： 若 $C \in -\mathbb{N}$，则存在由 $X_{1,2}^{1-C}$ 生成的唯一真子模。

• $D_l$ 型 ($\mathfrak{so}_{2l}(\mathbb{C})$) 的分类：

  • 情况 $\mathfrak{n}_1$： 模 $M_{n_1}(C, \Phi)$ 是单纯的，当且仅当 $C \notin l - 2 - \mathbb{N}$。对于 $C \in l - 2 - \mathbb{N}$（具体为 $0 < C \in l - 2 - \mathbb{N}$），存在唯一的真子模。对于 $C \in -\mathbb{N}$，本文提供了涉及生成元 $X_{1,2}^{1-C}$ 和 $(\sum X_{1,i}Y_{1,i})^{l-1-C}$ 的显式合成序列。
  • 情况 $\mathfrak{n}_l$： 模 $M_{n_l}(C, \Psi)$ 使用矩阵变量的 Pfaffian $P_r$ 进行构造。
  • 单纯性判据： 该模是单纯的，当且仅当 $C \notin -\lfloor l/2 \rfloor + 1/2 + (1/2)\mathbb{Z}_+$。
  • 子模结构： 当 $C$ 处于非单纯范围内时，子模由 Pfaffian 的幂次 $P_r^{2r-1+2C}$ 生成。

意义与主张
本文声称提供了正交李代数 $B$ 型和 $D$ 型中秩为 1 的 $U(\mathfrak{n})$-自由模的完整分类。作者强调，这些模展现出“权重模与非权重模之间的某种联系”。具体而言，当参数 $\Phi$ 为常数时，所得模属于 BGG 范畴中的最低权重模。

这项工作扩展了对 $A$ 型和 $C$ 型之外的李代数多项式模的理解。作者指出，$B$ 型模的结构相对于 $C$ 型较为简单，而 $D$ 型由于存在两个非同构的交换幂零根，呈现出独特的复杂性。论文最后指出，所推导的单纯性判据和产生合成序列的算法同样适用于其他类型，尽管作者将任意秩模的分类留作后续论文讨论。