[论文解读] Explicit regulator maps on polylogarithmic motivic complexes

A. B. Goncharov|ArXiv.org|Mar 15, 2000

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

一句话总结

本文通过涉及伯努利数系数的经典多对数函数，从复代数簇上的多对数动机复形显式构造了到德利涅上同调复形的正规化映射。关键贡献在于一种直接且可计算验证的构造，证实了其与贝林森正规化映射的一致性，并提出了关于数域上动机L函数特殊值的精确猜想，推广了扎吉耶尔猜想。

ABSTRACT

We define a regulator map from the weight n polylogarithmic motivic complex to the weight n Deligne complex of an algebraic variety X. The regulator map is constructed explicitly via the classical polylogarithms with some funny combinations of Bernoulli numbers as coefficients. This leads to conjectures on special values of L-functions at s=n which reduce to Zagier's conjecture when X is of dimension zero over Q. The cone of this map, shifted by one, should be called the Arakelov motivic complex of X. Its last cohomology group is identified with a group of codimension n Arakelov cycles on X.

研究动机与目标

• 在复代数簇上，从多对数动机复形显式定义到德利涅复形的正规化映射。
• 建立这些映射与余因子条件的一致性，从而使其可延拓至整体代数簇。
• 通过计算验证正规化映射与微分形式及多对数项的交换性。
• 推导出数域上动机L函数特殊值的精确猜想，推广扎吉耶尔猜想。
• 确认多对数复形上正规化映射的像包含贝林森正规化映射的像，从而在关键情形下证明了满射性。

提出的方法

• 通过使用经典多对数函数及由伯努利数导出的系数，构造显式公式形式的正规化映射。
• 通过直接计算微分形式及其在复形微分作用下的行为，验证该构造。
• 该方法涉及追踪有理函数 f 对微分复形中各项的贡献，区分 log|f|、dlog|f| 和 diarg f 分量。
• 证明通过将各项分解为 A 部分与 B 部分实现，其中 A 部分主导了交换性验证。
• 将多对数形式的微分 dℒ_n(f) 展开，并逐项与德利涅复形中的分量匹配。
• 通过验证正规化映射在余维数为一的子簇上复形结构的保持性，确保其与余因子条件的一致性。

实验结果

研究问题

• RQ1 能否在复代数簇上，从多对数动机复形显式构造到德利涅复形的正规化映射？
• RQ2 所构造的正规化映射在已知情形（如曲线或低权情形）下是否与贝林森正规化映射一致？
• RQ3 从多对数函数与伯努利数系数的角度，该正规化映射的精确代数结构是什么？
• RQ4 正规化映射在余因子条件下的行为如何？是否可在整个代数簇上全局延拓？
• RQ5 正规化映射的像是否包含贝林森正规化映射的像，从而在动机设定下证明满射性？

主要发现

• 通过涉及伯努利数系数的经典多对数函数，显式构造了从多对数复形到德利涅复形的正规化映射。
• 通过直接计算验证了该构造，表明正规化映射的微分与两个复形中微分的交换性。
• 该映射与余因子条件一致，从而在已知条件下可从一般点延拓至整个代数簇。
• 对于维数 ≤3 或定义在域上的代数簇，该正规化映射无条件定义，并在已知情形下与贝林森正规化映射一致。
• 多对数复形上正规化映射的像包含贝林森正规化映射的像，从而在所研究情形下证明了满射性。
• 该构造导出了关于数域上动机L函数特殊值的精确猜想，推广了扎吉耶尔猜想。