[论文解读] On exceptional rigid local systems

Michael Dettweiler, Stefan Reiter|ArXiv.org|Sep 5, 2006

Algebraic Geometry and Number Theory参考文献 8被引用 3

一句话总结

本文通过构造一个四阶黎曼球面上的 $G_2$-刚性局部系统，证明了辛普森刚性猜想的新实例，该局部系统虽非 $\mathrm{GL}_7$-刚性，但却是动机性的。利用张量积、中间卷积和 Künneth 公式，作者证明该局部系统源于一个光滑态射的高阶直接像，从而确认其动机性，并将已知结果扩展至非 $\mathrm{GL}_n$-刚性的情形。

ABSTRACT

We prove new instances of Simpson's rigidity conjecture which states that quasi-unipotent rigid local systems should be motivic. We construct new relative motives over the fourfold punctured Riemann sphere which give rise to $G_2$-rigid local systems which are not rigid in the group $\GL_7.$

研究动机与目标

• 验证辛普森刚性猜想对非 $\mathrm{GL}_7$-刚性的 $G_2$-刚性局部系统的情形。
• 将已知的动机局部系统类扩展至超越 $\mathrm{GL}_n$-刚性框架的范围。
• 在 $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 上显式构造具有指定单值群若尔当代数型的 $G_2$-刚性局部系统。
• 证明 $G_2$-刚性并不蕴含 $\mathrm{GL}_7$-刚性，但刚性猜想依然成立。

提出的方法

• 从两个 $\mathrm{GL}_2(\mathbb{C})$-刚性局部系统出发，取其张量积，得到一个秩为 4 的 $\mathrm{SO}_4(\mathbb{C})$-刚性局部系统。
• 对张量积应用参数为 $\zeta_3^{-1}$ 的中间卷积，得到一个新的秩为 7 的局部系统。
• 通过第二次中间卷积及张量运算，构造出在 $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 上的 $G_2(\mathbb{C})$-刚性局部系统 ${\cal H}$。
• 验证 ${\cal H}$ 的单值群元组具有指定的若尔当代数型：$\mathrm{J}(2,2,1,1,1)$、$\mathrm{J}(2,2,1,1,1)$、$\mathrm{diag}(1,\zeta_3,\zeta_3,\zeta_3,\zeta_3^{-1},\zeta_3^{-1},\zeta_3^{-1})$ 和 $\mathrm{J}(3,3,1)$。
• 利用单值矩阵的结构和群论约束，确认其单值表示的扎里斯基闭包为 $G_2(\mathbb{C})$。
• 通过 Künneth 公式以及 Katz 工作中关于中间卷积的动机解释，确立其动机性。

实验结果

研究问题

• RQ1 非 $\mathrm{GL}_7$-刚性的 $G_2$-刚性局部系统是否仍可为动机性，如辛普森刚性猜想所预测？
• RQ2 此类 $G_2$-刚性局部系统在四阶黎曼球面上的单值结构为何？
• RQ3 中间卷积与张量运算是否可用于构建超越 $\mathrm{GL}_n$-刚性框架的新动机局部系统？
• RQ4 对于具有非平凡若尔当代数型和非不可约 $\mathrm{GL}_7$-共轭类的 $G_2$-刚性局部系统，是否存在动机解释？
• RQ5 此类局部系统的权重与霍奇结构与先前已知例子相比如何？

主要发现

• 在 $\mathbb{P}^1 \setminus \{x_1,x_2,x_3,\infty\}$ 上存在一个 $G_2(\mathbb{C})$-刚性局部系统 ${\cal H}$，其在四阶极点处的单值群若尔当代数型分别为 $\mathrm{J}(2,2,1,1,1)$、$\mathrm{J}(2,2,1,1,1)$、$\mathrm{diag}(1,\zeta_3,\zeta_3,\zeta_3,\zeta_3^{-1},\zeta_3^{-1},\zeta_3^{-1})$ 和 $\mathrm{J}(3,3,1)$。
• ${\cal H}$ 的单值表示的扎里斯基闭包恰好为 $G_2(\mathbb{C})$，从而确认其 $G_2$-刚性。
• ${\cal H}$ 是 $\mathrm{SO}_7(\mathbb{C})$-刚性但非 $\mathrm{GL}_7(\mathbb{C})$-刚性，表明 $G_2$-刚性不蕴含 $\mathrm{GL}_7$-刚性。
• 刚性猜想对 ${\cal H}$ 成立，因其作为高阶直接像 $R^i\pi_*(\mathbb{C})$ 的子因子出现，且基于中间卷积的动机解释。
• ${\cal H}$ 作为霍奇结构变体的权重为 4，与早期工作中 $G_2$-局部系统的权重 6 相比形成对比。
• 给出了显式的单值矩阵 $h_1, h_2, h_3 \in \mathrm{GL}_7(\mathbb{C})$，其中 $h_4 = (h_1 h_2 h_3)^{-1}$，且满足所需的若尔当代数型与群论约束。