[论文解读] Minimal reduction type in classical cases

Bin Wang, Xueqing Wen+1 more|arXiv (Cornell University)|Jan 11, 2026

Advanced Algebra and Geometry被引用 0

一句话总结

论文证明云的最小约简猜想对于所有经典群成立，表明对任意拓扑上零 værd 正则半单元 γ，RT_min(γ) 是一个单一的零冪轨道，并给出一个明确的程序来确定它。

ABSTRACT

We prove Yun's minimal reduction conjecture for all classical groups. More precisely, for any topologically nilpotent regular semisimple element $γ$, we show that the associated minimal reduction set $\mathrm{RT}_{\mathrm{min}}(γ)$ consists of a single nilpotent orbit. This result confirms and extends Yun's earlier work in types A and C, and resolves the remaining cases in types B and D. Moreover, we provide an explicit and effective procedure for determining $\mathrm{RT}_{\mathrm{min}}(γ)$.

研究动机与目标

• 为经典群（类型 A、B、C、D）动机并解决云的最小约简猜想。
• 将先前的结果扩展到剩余类型并提供明确的构造性程序。
• 将最小约简与 Kazhdan–Lusztig 映射和仿射 Springer 含义联系起来，以实现更清晰的几何理解。

提出的方法

• 使用 Kazhdan–Lusztig 映射和最小约简映射框架来分析 RT_min(γ)。
• 通过牛顿多边形分解特征多项式，并将 m-平衡分区与因子联系起来。
• 在类型 A 和 C 中，证明 RT_min(γ) 与 A 型最小约简一致，并处理自对偶因子。
• 在类型 B 和 D 中，引入可允许分区并证明存在唯一的主导于 A-最小约简的最小分区。
• 提供一个从 χ(γ) 和牛顿多边形显式构造以确定 RT_min(γ) 的方法。
• 使用关于中心化、共轭和配对的若干引理群组以确保在各类型中的正确性。

实验结果

研究问题

• RQ1 RT_min(γ) 是否对所有 γ 在 L^♯g 中的每一个经典类型都由一个单一的零冪轨道组成？
• RQ2 如何从特征多项式 χ(γ) 及其牛顿多边形显式确定 RT_min(γ)？
• RQ3 为类型 B 与 D 需要哪些修改以确保 RT_min(γ) 的唯一性并识别正确的零冪轨道？
• RQ4 仿射 Springer 纤维、Kazhdan–Lusztig 映射，以及 Lusztig 与 Yun 的构造在经典情形中如何对齐？
• RQ5 对于所有经典群，是否可以通过牛顿多边形和平衡分区以构造性方式构建最小约简？

主要发现

• RT_min(γ) 对经典 G 以及任意 γ 在 L^♥g 中由单一的零冪轨道组成。
• RT_min(γ) 可以从特征多项式 χ(γ) 显式确定。
• 在类型 A 和 C 中，RT_min(γ) 与 χ(γ) 关联的 m-平衡分区相一致。
• 在类型 B 和 D 中，在主导于 A-最小约简的可允许分区中，存在唯一的最小分区等于 γ 的约简。
• 提供一个使用牛顿多边形分析和分区连通性来识别 RT_min(γ) 的显式构造程序。
• 该结果证实对所有经典群的云猜想，并将先前的 A 和 C 结果扩展到 B 和 D。