[论文解读] On the Milnor monodromy of the irreducible complex reflection arrangements

Alexandru Dimca|arXiv (Cornell University)|Jun 13, 2016

Advanced Combinatorial Mathematics参考文献 31被引用 5

一句话总结

本论文确定了除例外情况 $ G_{31} $ 外，不可约复反射排列的 Milnor 纤维的一阶上同调群上的单值群作用。通过细化关于单值算子特征值的早期结果，并应用局部亚历山大多项式技术，证明了所有特征值均为单位根的立方根，且单值算子的行列式显式依赖于群类型和参数。

ABSTRACT

Using recent results by A. Macinic, S. Papadima and R. Popescu, and a refinement of an older construction of ours, we determine the monodromy action on $H^1(F(G),C)$, where $F(G)$ denotes the Milnor fiber of a hyperplane arrangement associated to an irreducible complex reflection group $G$.

研究动机与目标

• 完全确定不可约复反射群 $ G \neq G_{31} $ 的 $ H^1(F(G), ℂ) $ 上的单值群作用。
• 扩展并细化 Măcinic、Papadima 和 Popescu 最近关于 $ p^s $ 阶单值特征值的结果。
• 解决单式排列 $ \mathcal{A}(m,m,n) $、$ \mathcal{A}(m,1,n) $ 以及例外群 $ G_j $（$ j \neq 31 $）的单值结构。
• 解释为何该方法在 $ G_{31} $ 上失效，从而为后续论文中采用独立计算方法提供依据。

提出的方法

• 利用 Măcinic、Papadima 和 Popescu 关于单值算子特征值的最新结果，特别关注 $ p^s $ 阶特征值。
• 应用局部亚历山大多项式技术，分析与排列相关的射影曲线的奇点。
• 使用公式 $ a(g_i, k) = m - 1 - k_1 $，该公式源自例 4.7，用于多重性为 $ m $ 的奇点。
• 应用定理 5.3，通过检查涉及 $ d $、$ k $ 和 $ a(g_i, k) $ 的不等式，验证不存在阶大于 3 的特征值。
• 考虑一般三维截面，将问题约化为平面曲线奇点，并通过局部不变量分析单值群作用。
• 比较 $ \mathcal{A}(m,m,n) $ 和 $ \mathcal{A}(m,1,n) $ 中奇点的次数与重数，并计算 $ \gamma(m', d) $，即 $ m' $ 与 $ d $ 的最大公约数，以约束特征值阶数。

实验结果

研究问题

• RQ1 对于不可约复反射群 $ G \neq G_{31} $，单值算子 $ h^1 $ 在 $ H^1(F(G), \mathbb{C}) $ 上的特征值是什么？
• RQ2 在单值作用中，哪些素数 $ p $ 和整数 $ s $ 会出现阶为 $ p^s $ 的特征值？
• RQ3 为何标准方法在例外群 $ G_{31} $ 上失效？其单值结构的根本不同之处何在？
• RQ4 在单式排列 $ \mathcal{A}(m,m,n) $ 和 $ \mathcal{A}(m,1,n) $ 中，单值特征值如何依赖于参数 $ m $、$ n $ 和群类型？
• RQ5 某些例外群的单值算子是否可能为平凡算子？若可能，其条件是什么？

主要发现

• 对于 $ \mathcal{A}(m,m,3) $，单值算子 $ h^1 $ 的特征值仅为单位根的立方根，且当 $ 3 \mid m $ 时，$ \Delta_V(t) = (t-1)^{3m-1}(t^2 + t + 1)^2 $，否则为 $ (t-1)^{3m-1}(t^2 + t + 1) $。
• 当 $ n > 3 $ 时，$ F(m,m,n) $ 上的 $ h^1 $ 的特征值仅为单位根的立方根；若 $ n = 4 $，则 $ \det(t \cdot \text{Id} - h^1) = (t-1)^{qm-1}(t^2 + t + 1) $，若 $ n > 4 $，则 $ h^1 = \text{Id} $，其中 $ q = \binom{n}{2} $。
• 对于 $ \mathcal{A}(m,1,n) $，单值特征值同样仅为单位根的立方根；若 $ n = 3 $ 且 $ m \equiv 1 \pmod{3} $，则 $ \det(t \cdot \text{Id} - h^1) = (t-1)^{qm+n-1}(t^2 + t + 1) $，否则 $ h^1 = \text{Id} $。
• 对于例外群 $ G_j $（$ j \neq 31 $），单值算子除 $ G_{25} $ 外均为平凡算子，其中 $ \det(t \cdot \text{Id} - h^1) = (t-1)^9(t^4 - 1)^2 $。
• 该方法在 $ G_{31} $ 上失效，因为定理 5.3 中的不等式对阶为 6 的特征值不成立，因此需要采用不同的计算方法。
• 除 $ G_{25} $ 外，所有情况下特征值的阶均整除 3；而 $ G_{25} $ 由于 $ (t^4 - 1)^2 $ 因子，包含阶为 4 的特征值。