[论文解读] On the middle convolution of local systems. With an Appendix by M. Dettweiler and S. Reiter

Michael Dettweiler|ArXiv.org|Oct 18, 2008

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

一句话总结

本文为平展étale层与平展奇异层的中间卷积提供了动机解释，应用于étale上同调，证明了ℓ无关性结果，并将其应用于在ℚ(t)上实现特殊线性群作为伽罗瓦群。附录中，通过在ℤ[ζ₃, 1/3]上的Kummer层与特征层上迭代中间卷积和张量运算，构造了一个新的动机局部系统，其单值群在例外群G₂中稠密。

ABSTRACT

We study the middle convolution of local systems and realize special linear groups as Galois groups over the rationals. In the Appendix to this paper, written jointly with Stefan Reiter, we prove the existence of a new motivic local system with $G_2$-monodromy.

研究动机与目标

• 在étale上同调设定下，为中间卷积提供动机解释，扩展Katz的理论，以构造几何伽罗瓦表示。
• 证明中间卷积行列式关于ℓ的无关性结果，以支持算术应用。
• 通过卷积运算构造具有指定单值群的新型动机局部系统，特别是单值群在G₂中稠密的系统。
• 通过初等层的中间卷积，实现特殊线性群作为ℚ(t)上的伽罗瓦群。
• 通过刚性性与上同调准则，建立在例外群G₂中具有Zariski稠密单值群的动机局部系统存在的证明。

提出的方法

• 通过A¹ × A¹上的上同调上紧支射与标准层运算，定义平展étale层的中间卷积。
• 利用中间扩张j_!；*，将中间卷积定义为从!-卷积映射到*-卷积映射的像。
• 利用Künneth公式与中间卷积的动机解释（定理2.6.1），在ℤ[ζ₃, 1/3]上构造动机局部系统。
• 对与单位根相关的Kummer层与特征层，应用迭代中间卷积与张量运算。
• 使用MAGMA计算验证，单值矩阵在第三外幂中稳定一个1维子空间，从而确认G₂-单值性。
• 应用物理刚性性的数值准则（Katz，定理1.1.2）与双反射群分类（Springer, 1974），确认Zariski闭包为G₂。

实验结果

研究问题

• RQ1 在ℓ-进上同调背景下，平展étale层的中间卷积能否获得动机解释？
• RQ2 中间卷积的行列式是否满足ℓ无关性？这对伽罗瓦表示有何含义？
• RQ3 中间卷积能否用于构造单值群在例外代数群（如G₂）中稠密的动机局部系统？
• RQ4 是否可以通过初等层的中间卷积，在ℚ(t)上实现SL(n)作为伽罗瓦群？
• RQ5 何种条件可确保中间卷积局部系统的单值群在如G₂这样的半单代数群中Zariski稠密？

主要发现

• 通过Künneth公式与定理2.6.1，平展étale层的中间卷积在ℤ[ζ₃, 1/3]上具有动机解释。
• 建立了中间卷积行列式关于ℓ的无关性结果，支持该构造的算术性质。
• 在X(ℂ)上构造了一个新的动机局部系统，其单值表示的Zariski闭包等于G₂(ℚ̄_ℓ)。
• 证明了所构造局部系统的单值组在ℚ̄_ℓ⁷的第三外幂中稳定一个1维子空间，从而确认其具有G₂结构。
• 根据Katz准则，该局部系统非物理刚性，但为上同调非刚性，表明其具有非平凡形变空间。
• 通过Kummer层与特征层的迭代卷积，实现了对n ≥ 2的SL(n)作为ℚ(t)上伽罗瓦群的构造。