[论文解读] Singular loci of reflection arrangements and the containment problem

Ben Drabkin, Alexandra Seceleanu|arXiv (Cornell University)|Feb 13, 2020

Commutative Algebra and Its Applications参考文献 34被引用 5

一句话总结

本文研究了由复反射群导出的反射排列的奇异点集的符号幂与普通幂。通过利用不变量理论与系统结构，本文对符号幂包含关系 $J^{(3)} \not\subseteq J^2$ 失效的情形进行了完整分类，表明其仅在 $G_{24}, G_{27}, G_{29}, G_{33}, G_{34}$ 以及 $G(m,m,n)$（其中 $m,n\geq3$）时发生；同时证明在秩为三的情形下，对所有 $r\geq3$，更高阶的包含关系 $J^{(2r-1)} \subseteq J^r$ 成立。

ABSTRACT

This paper provides insights into the role of symmetry in studying polynomial functions vanishing to high order on an algebraic variety. The varieties we study are singular loci of hyperplane arrangements in projective space, with emphasis on arrangements arising from complex reflection groups. We provide minimal sets of equations for the radical ideals defining these singular loci and study containments between the ordinary and symbolic powers of these ideals.

研究动机与目标

• 对哪些反射排列的奇异点集不满足包含关系 $J^{(3)} \subseteq J^2$ 进行分类。
• 在复反射群的背景下，对先前关于符号幂包含关系的研究结果进行推广与统一。
• 研究哈勃恩猜想的包含关系 $J^{(2r-1)} \subseteq J^r$ 在余维数为二的理想中对 $r \gg 0$ 是否成立。
• 刻画线性系统关系在决定 $J^{(3)} \subseteq J^2$ 失效中的作用。
• 证明所有可归纳自由、递归自由及超可化反射排列均满足包含关系 $J^{(3)} \subseteq J^2$。

提出的方法

• 利用谢泼德-托德对不可约复反射群 $G(m,p,n)$ 及 $G_4$ 到 $G_{37}$ 的分类，分析奇异点集。
• 应用卡维尔-谢泼德-托德定理，刻画反射群的多项式不变量与基本导子。
• 通过基本导子导出的矩阵的极大子式，确定根理想 $J(\mathcal{A})$ 的最小生成集。
• 使用如下判别准则：$J^{(3)} \subseteq J^2$ 成立当且仅当 $J(\mathcal{A})$ 的最小生成元之间存在线性系统关系。
• 应用 $\alpha$-不变量与正则性技术，验证更高阶符号幂包含关系，特别是对 $r \geq 3$ 的 $J^{(2r-1)} \subseteq J^r$。
• 借助文献 [16]、[24]、[25] 和 [27] 的结果，验证特定情形（如 $A_3$、$B_3$、$D_3$ 和 $G(3,1,3)$）中的包含关系。

实验结果

研究问题

• RQ1 在哪些复反射群中，包含关系 $J^{(3)} \subseteq J^2$ 失效？
• RQ2 线性系统关系的存在性与 $J^{(3)} \subseteq J^2$ 失效之间的精确关系为何？
• RQ3 在秩为三的反射排列中，改进后的包含关系 $J^{(2r-1)} \subseteq J^r$ 是否对所有 $r \geq 3$ 成立？
• RQ4 哪些类别的排列——可归纳自由、递归自由或超可化——满足 $J^{(3)} \subseteq J^2$？
• RQ5 能否验证反射排列奇异点集的哈勃恩包含关系的稳定版本 $J^{(2r-1)} \subseteq J^r$（$r \gg 0$）？

主要发现

• 包含关系 $J^{(3)} \subseteq J^2$ 失效当且仅当群 $G$ 具有一个不可约因子同构于 $G_{24}, G_{27}, G_{29}, G_{33}, G_{34}$，或 $G(m,m,n)$（其中 $m,n \geq 3$）。
• 在 $J(\mathcal{A})$ 的最小生成元之间存在线性系统关系，等价于包含关系 $J^{(3)} \subseteq J^2$ 成立。
• 对所有秩为三的不可约反射群，对所有整数 $r \geq 3$，包含关系 $J^{(2r-1)} \subseteq J^r$ 成立。
• 所有可归纳自由、递归自由及超可化反射排列均满足 $J^{(3)} \subseteq J^2$。
• $\alpha$-不变量论证确认了对 $G = G(3,1,3)$ 和 $G_{25}$，有 $J^{(5)} \subseteq J^3$；在 $A_3$ 中，对所有 $r \geq 3$，有 $J^{(r)} \subseteq J^{r-2}$。
• 通过正则性与 $\alpha$-不变量的界，证明了在所有秩为三的反射排列中，对 $r \geq 3$，包含关系 $J^{(2r-1)} \subseteq J^r$ 成立。