[论文解读] Conjectures sur les dérivées logarithmiques des fonctions L d'Artin aux entiers négatifs

Vincent Maillot, Damien Roessler|ArXiv.org|Jan 24, 2002

Algebraic Geometry and Number Theory被引用 21

一句话总结

本文提出了关于赫尔米特向量丛的算术度与阿廷L-函数在负整数处的对数导数之间联系的猜想，推广了科尔梅茨与格罗斯-德利涅的工作，并补充了贝林森对阿廷动机的猜想。文中宣布了部分结果，包括通过勒夫谢茨不动点公式与类域论验证了一个特例，尤其针对CM霍奇结构与阿贝尔扩张。

ABSTRACT

We formulate several variants of a conjecture relating the arithmetic degree of certain hermitian fibre bundles with the values of the logarithmic derivative of Artin's L-functions at negative integers. This generalizes conjectures by Colmez and Gross-Deligne and complements Beilinson's conjectures for the Artin motives. We announce several results in the direction of these statements.

研究动机与目标

• 将科尔梅茨与格罗斯-德利涅关于CM阿贝尔簇周期的猜想推广至包含阿廷动机的更广泛框架。
• 将贝林森关于L-函数特殊值的猜想扩展至包含非正整数处的对数导数。
• 在赫尔米特向量丛与阿廷L-函数的特殊值之间建立精确的算术-几何对应关系，其中向量丛具有对数奇点。
• 提出一个猜想性框架，统一算术楚环理论中算术度与L-函数特殊值的关系。
• 为通过L-函数导数更深入理解具有复乘法动机的算术性奠定基础。

提出的方法

• 提出猜想，将沿法向交叉除子具有对数奇点的赫尔米特向量丛的算术度，与阿廷L-函数在负整数处的对数导数联系起来。
• 使用具有对数奇点的算术楚环理论，将吉列特-苏莱与伯尔戈斯-克恩的工作推广至高维算术概形。
• 在阿莱克谢罗夫几何中应用勒夫谢茨不动点公式，将上同调上的迹与算术交数联系起来。
• 利用类域论将整体猜想约化为在分圆域上的基情形，尤其针对阿贝尔扩张。
• 利用德利涅上同调与算术楚群中陈类的理论，关联分析与代数不变量。
• 利用算术陈类与态射下推出运算的相容性，将结果在算术概形之间转移。

实验结果

研究问题

• RQ1 阿廷L-函数在负整数处的对数导数如何与赫尔米特向量丛的算术不变量相关联？
• RQ2 科尔梅茨与格罗斯-德利涅的周期猜想在通过算术度推广至高维阿廷动机时，其适用范围如何？
• RQ3 在L-函数算术猜想的赫尔米特向量丛构造中，对数奇点的精确作用是什么？
• RQ4 阿莱克谢罗夫几何中的勒夫谢茨不动点公式能否用于证明所提猜想的特例？
• RQ5 赫尔米特丛的算术度与阿廷L-函数对数导数的特殊值之间有何关系？

主要发现

• 当n=1时，猜想在与Q(χ, μ_q)张量后成立，这是算术曲面勒夫谢茨不动点公式的推论。
• 当n≥1且S为空集时，若K是Q的阿贝尔扩张且其导子f_K在R中可逆，则猜想在与Q(χ, μ_f_K)张量后被验证。
• 证明依赖于通过类域论将情形约化至K=Q(μ_f_K)，并应用不动点公式的变体。
• 猜想与CM霍奇结构的格罗斯-德利涅周期猜想的已知情形一致。
• 具有对数奇点的算术楚群为猜想的表述提供了自然框架。
• 算术陈类与德利涅上同调映射的相容性确保了几何与上同调不变量之间的一致性。