[论文解读] Commuting varieties in bad characteristic

Vlad Roman|arXiv (Cornell University)|Feb 3, 2026

Algebraic Geometry and Number Theory被引用 0

一句话总结

在特征 2 下，作者证明对于 sp_{2n} 的交换簇以及交换零幂簇都是不可约的，维度分别为 dim(sp_{2n})+2n 和 dim(sp_{2n})+n-1。

ABSTRACT

Let $k$ be an algebraically closed field of characteristic $2$. We consider the commuting variety and the commuting nilpotent variety of the Lie algebra $\mathfrak{sp}_{2n}$, namely the sets $\mathcal{C}_2(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} imes \mathfrak{sp}_{2n} \mid [x,y]=0\}$ and $\mathcal{C}_2^{ ext{nil}}(\mathfrak{sp}_{2n})=\{ (x,y) \in \mathfrak{sp}_{2n} imes \mathfrak{sp}_{2n} \mid x,y ext{ nilpotent, } [x,y]=0\}$ and prove that they are both irreducible, of dimensions $\dim(\mathfrak{sp}_{2n}) + 2n$ and $\dim(\mathfrak{sp}_{2n}) + n-1$, respectively.

研究动机与目标

• 推动在不良特征下研究交换簇，并理解 sp_{2n} 的不可约性与维度。
• 在特征 2 下计算中心化子维度，以处理分解为不可约表示的问题。
• 建立一个将群和李代数中的中心化子联系起来以导出维度界的框架。
• 证明交换簇和交换零幂簇的不可约性并计算它们的精确维度。

提出的方法

• 将自然模 V 在 nilpotent x 下分解为不可分解的和分量，应用 Liebeck–Seitz 分类。
• 通过分析相对分解 V=U⊥W 的块形式并利用 Hom_x(W,U 的界限，计算 dim C_G(x) 与 dim C_{sp_{2n}}(x)。
• 使用不匹配不变量 Delta(x)=dim C_{sp_{2n}}(x)−dim C_{Sp_{2n}}(x) 并将其界定为 ≤ n，且等式仅在只有单个 Jordan 块时成立。
• 应用纤维维数与障碍分析，证明交换簇作为 2n 维 abelian 子代数 a 的 G·(a×a) 的闭包而可得不可约性。
• 通过考虑抛物子代数并采用 Baranovsky–Premet 框架扩展到零幂情形，以界定维度并证明零幂交换簇的不可约性。

实验结果

研究问题

• RQ1 在特征 2 下，交换簇 C_2(sp_{2n}) 的不可约分量结构是什么？
• RQ2 在特征 2 下，C_2(sp_{2n}) 及其零幂对应的 C_2^{nil}(sp_{2n}) 的精确维度分别是多少？
• RQ3 对于特征不良的零幂元素，群 Sp_{2n} 的中心化子与李代数 sp_{2n} 的中心化子有何差异？
• RQ4 是否可以描述 sp_{2n} 中对的通用中心化子，并利用它通过 G-轨道闭包方法推出不可约性？
• RQ5 在维度分析中，不可分解模 (V(t), W(t), W_ℓ(t)) 起到怎样的作用？

主要发现

• C_2(sp_{2n}) 是不可约的，维度为 dim(sp_{2n})+2n。
• C_2^{nil}(sp_{2n}) 是不可约的，维度为 dim(sp_{2n})+n-1。
• 李代数与群中心化子之间的差异 Delta(x) 满足 Delta(x) ≤ n，当且仅当所有不可分解模都是单个 Jordan 块时取等。
• C_2(sp_{2n}) 的一个致密不可约分量来自 G·(a×a) 的闭包，其中 a ≅ k^{2n}，是若干维 2 的对角子代数的直接和。
• 通过将 V 分解为 U⊥W 并分析 A∈sp(U)、D∈sp(W) 与 斜对角块 B、B^{*}，以及 Hom_x(W,U) 的贡献，得到对 sp_{2n} 中中心化子维度的界定。
• 在抛物子代数中的零幂交换簇，纤维维数分析表明对 (A1,A2) 的纤维的维数至少为 n(n+3)/2，从而为不可约性结论做出贡献。