[论文解读] Some singular curves and surfaces arising from invariants of complex reflection groups

Cédric Bonnafé|arXiv (Cornell University)|Jul 3, 2018

Algebraic Geometry and Number Theory参考文献 18被引用 4

一句话总结

该论文利用 GL₃(ℂ) 和 GL₄(ℂ) 中原始复反射子群的不变量，构建了高度奇异的射影曲线与曲面。通过在 Shephard-Todd 群上使用 Magma 计算，该研究获得了新的最大奇点数下界：具体包括一条14次曲线含42个尖点（A₂），一条18次曲线含36个 E₆ 奇点，以及8次、12次和24次曲面分别含48个、160个和1,440个 D₄ 奇点。这些结果显著改进了先前的下界，并接近 Sakai 和 Miyaoka 建立的理论上界。

ABSTRACT

We construct highly singular projective curves and surfaces defined by invariants of primitive complex reflection groups.

研究动机与目标

• 系统研究由 GL₃(ℂ) 和 GL₄(ℂ) 中有限复反射子群不变量构造的奇异曲线与曲面。
• 改进已知的特定类型奇点（A₂、E₆、D₄）在给定次数的曲线与曲面上最大奇点数的下界。
• 探究此类构造是否能产生接近 Sakai 和 Miyaoka 建立的理论上界的例子。
• 证明 Miyaoka 对 D₄ 奇点的上界在非 A 型奇点情形下也是紧的（sharp）。
• 提供可复现与验证结果的显式 Magma 代码与多项式。

提出的方法

• 利用 Shephard-Todd 对复反射群的分类，选取 G₂₄、G₂₆、G₂₈、G₂₉ 和 G₃₂ 进行分析。
• 计算群作用的齐次不变量 f₁,…,fₙ，以生成定义曲线与曲面的多项式方程。
• 通过不变量的线性组合构造曲线与曲面的线性系，再利用代数几何工具分析其奇点。
• 使用 Magma 计算奇点的类型与重数，包括 Milnor 数与商奇点分类。
• 应用 Sakai（针对 A₂ 奇点）和 Miyaoka（针对 D₄ 奇点）的已知上界，与构造所得的下界进行比较。
• 通过显式多项式构造验证结果，并引用先前工作，包括预印本与计算档案。

实验结果

研究问题

• RQ1 能否利用 GL₃(ℂ) 和 GL₄(ℂ) 中复反射群的不变量，构造出比以往已知更多奇点的曲线与曲面？
• RQ2 在给定次数的曲线或曲面上，利用此类不变量最多可实现多少个 A₂、E₆ 或 D₄ 奇点？
• RQ3 所构造的例子在多大程度上接近 Miyaoka 为 D₄ 奇点建立的理论上界？
• RQ4 此类构造是否会产生具有大自同构群或此前未记录的奇异配置的代数簇？
• RQ5 能否通过群论与计算方法证明 Sarti 十二次曲面及其他已知例子可在 ℚ 上定义？

主要发现

• 利用复反射群 G₂₄ 构造出一条14次曲线，含42个尖点（A₂ 奇点），改进了已知下界，并接近理论上的界55。
• 利用 G₂₆ 构造出一条18次曲线，含36个 E₆ 奇点，这是该次数与奇点类型下此前未记录的新例子。
• 对于8次、12次和24次曲面，论文分别建立了48个、160个和1,440个 D₄ 奇点的新下界，显著优于先前结果。
• μ_D₄(24) ≥ 1,440 被证明是紧的，因其接近 Miyaoka 的上界1,736，表明 Miyaoka 的上界即使对非 A 型奇点也近乎最优。
• 8次曲面含48个 D₄ 奇点的构造确认所有奇点均为有理奇点，且通过自同构群理论证明 Sarti 十二次曲面可在 ℚ 上定义。
• 论文提供了用于验证的显式 Magma 代码与多项式，特别是针对 G₃₂ 及其他群，支持结果的可复现性与进一步研究。