[论文解读] On the Milnor Monodromy of the Exceptional Reflection Arrangement of Type $G_{31}$

Alexandru Dimca, Gabriel Sticlaru|arXiv (Cornell University)|Jan 1, 2018

Algebraic structures and combinatorial models被引用 6

一句话总结

本文通过谱序列方法结合SINGULAR中的计算机代数计算，确定了例外复反射群 $G_{31}$ 的Milnor纤维的一阶上同调上的单值群作用。关键结果是 $H^1(F(G_{31}), \mathbb{C})$ 上的单值算子为恒等算子，这意味着第一贝蒂数为59，从而完成了对所有不可约复反射群的单值算子分类。

ABSTRACT

Combining recent results by A. M\u acinic, S. Papadima and R. Popescu with a spectral sequence and computer aided computations, we determine the monodromy action on $H^1(F,\C)$, where $F$ denotes the Milnor fiber of the hyperplane arrangement associated to the exceptional irreducible complex reflection group $G_{31}$. This completes the description given by the first author of such monodromy operators for all the other irreducible complex reflection groups.

研究动机与目标

• 通过解决此前方法难以处理的 $G_{31}$ 情况，完成对所有不可约复反射群的Milnor纤维一阶上同调上单值算子的分类。
• 计算例外复反射群 $G_{31}$ 的 $H^1(F(G_{31}), \mathbb{C})$ 上的单值群作用，其定义多项式次数为60，且在 $\mathbb{C}^4$ 中有60个超平面。
• 通过新颖的谱序列与计算代数方法，证明单值算子为恒等算子，从而得出第一贝蒂数 $b_1(F(G_{31})) = 59$。
• 为高维奇点中经典方法失效的非自由排列提供单值群计算的计算框架，特别是针对非自由排列。
• 展示将谱序列与基于SINGULAR的计算相结合，在奇点理论与超平面排列的复杂上同调问题求解中的有效性。

提出的方法

• 利用与定义 $G_{31}$ 排列的60次多项式 $f$ 的偏导数的Koszul复形相关的谱序列 $E^{s,t}_1(f)^k$。
• 应用极点阶过滤与单值特征子空间分解，将 $E^{1,0}_2(f)^k$ 与 $H^1(F, \mathbb{C})$ 上的单值群作用联系起来。
• 应用定理2.1中的判别准则：当且仅当 $E^{1,0}_2(f)^k = 0$ 且 $E^{1,0}_2(f)^{d-k} = 0$ 时，有 $H^1(F, \mathbb{C})_\lambda = 0$（$\lambda \neq 1$），从而将问题简化为验证 $E^{1,0}_2(f)^{50}$ 的消失性。
• 通过雅可比关系的系统理论分析满足 $df \wedge \omega = 0$ 与 $d\omega = 0$ 的50次2-形式 $\omega$ 的空间。
• 通过SINGULAR中的符号计算，将 $d\omega = 0$ 导出的19,600个线性方程组（含1,424个变量，即 $A'_1, A'_2, A'_3$ 的系数）约化。
• 使用SINGULAR验证，满足 $d\omega = 0$ 的系统仅有零解，从而证明 $E^{1,0}_2(f)^{50} = 0$。

实验结果

研究问题

• RQ1 例外复反射群 $G_{31}$ 的 $H^1(F(G_{31}), \mathbb{C})$ 上的单值算子是什么？
• RQ2 为何标准单值群计算方法在 $G_{31}$ 情况下失效？应采用何种替代方法？
• RQ3 能否通过谱序列与计算机代数方法，确定非自由、高维排列的Milnor纤维一阶上同调上的单值群作用？
• RQ4 $G_{31}$ 的Milnor纤维的第一贝蒂数 $b_1(F(G_{31}))$ 是多少？
• RQ5 在 $G_{31}$ 情况下，由闭性条件 $d\omega = 0$ 导出的线性方程组是否仅存在零解（针对50次2-形式）？

主要发现

• 通过证明 $E^{1,0}_2(f)^{50} = 0$，得出 $H^1(F(G_{31}), \mathbb{C})$ 上的单值算子为恒等算子。
• Milnor纤维 $F(G_{31})$ 的第一贝蒂数为 $b_1(F(G_{31})) = 59$，其值等于 $H^1(F(G_{31}), \mathbb{C})$ 的维数。
• 满足 $df \wedge \omega = 0$ 的50次2-形式 $\omega$ 的空间维数为1,424，由齐次多项式 $A'_1 \in S_{18}, A'_2 \in S_2, A'_3 \in S_6$ 参数化。
• 由 $d\omega = 0$ 导出的19,600个线性方程组（特别是方程(E4)）仅有零解，经SINGULAR验证。
• 单值群作用为平凡并非由于对称性，而是由于雅可比系统关系的特定结构以及相关谱序列项的消失。
• 该结果完成了对所有不可约复反射群在 $H^1$ 上单值算子的分类，此前仅 $G_{31}$ 未被解决。