[论文解读] Motivic correlators, cluster varieties and Zagier's conjecture on zeta(F,4)

A. B. Goncharov, Daniil Rudenko|arXiv (Cornell University)|Mar 22, 2018

Algebraic Geometry and Number Theory参考文献 29被引用 12

一句话总结

本文证明了关于数域 F 的 Dedekind zeta 函数 ζ_F(4) 的 Zagier 猜想，表明其与在特定元素 yⱼ ∈ F 的嵌入处计算的单值 4-对数函数 L₄(σᵢ(yⱼ)) 的行列式成正比。证明利用了 motivic 关联器和簇多 polylogarithm 映射，建立了簇簇与高阶 polylogarithm 之间的联系，并通过 K-群上的余(regulators)和 Beilinson 的余映射确认了该猜想。

ABSTRACT

We prove Zagier's conjecture on the value at s=4 of the Dedekind zeta-function of a number field F. For any field F, we define a map from the appropriate pieces of algebraic K-theory of F to the cohomology of the weight 4 polylogarithmic motivic complex. When F is the function field of a complex variety, composing this map with the regulator map on the polylogarithmic complex to the Deligne cohomology, we get a rational multiple of Beilinson's regulator. This plus Borel's theorem implies Zagier's conjecture. Another application is a formula expressing the value at s=4 of the L-function of an elliptic curve E over Q via generalized Eisenstein-Kronecker series. We get a strong evidence for the part of Freeness Conjecture describing the weight four part of the motivic Lie coalgebra of F via higher Bloch groups. Our main tools are motivic correlators and a new link of cluster varieties to polylogarithms.

研究动机与目标

• 证明关于数域 F 的特殊值 ζ_F(4) 的 Zagier 猜想，该猜想预测一个涉及单值 4-对数 L₄ 的行列式公式。
• 在簇簇与 polylogarithmic 函数之间建立新联系，特别是通过配置空间 Conf_n(V₂) 上的簇 polylogarithm 映射。
• 证明 F 的权 4 motivic 李余代数可嵌入一个包含高阶 Bloch 群和 Λ²B₂(F) 的典范正合序列，为 Freeness 猜想提供证据。
• 证明复合映射 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ 通过 L₄(z) 是 Borel 余映射的 ℚ×-倍数，从而将 motivic 余映射与经典余映射联系起来。

提出的方法

• 从 K-群 K_{8−i}(F) 构造到权 4 polylogarithmic motivic 复形 B•(F,4) 的第 i 个上同调的映射，其中 i=1,…,4。
• 利用 K₂-簇结构和簇变换，在配置空间 Conf_n(V₂) 上定义簇 polylogarithm 映射，编码 polylogarithm 的函数方程。
• 使用 motivic 关联器将 motivic 复形的上同调与 Deligne 上同调中的余映射联系起来，证明其与 Beilinson 的余映射相容。
• 建立从权 4 motivic 复形到 ℝ 的典范实周期同态，该同态通过单值 4-对数 L₄(z) 因子化。
• 证明涉及符号 Bloch 群、双分次 Grassmann 复形和 motivic 李余代数的关键图表的交换性，以验证 L₄(F) 的结构。
• 应用 Borel 的余映射定理以及 Borel 与 Borel–Bloch 余映射之间的已知关系，从余映射计算推导出猜想。

实验结果

研究问题

• RQ1 Zagier 关于 ζ_F(4) 的猜想是否成立，即 ζ_F(4) 是否与 F 中特定元素处 L₄ 值的行列式成正比？
• RQ2 4-对数的函数方程能否通过簇簇的几何结构，特别是通过簇 polylogarithm 映射来编码？
• RQ3 F 的 motivic 李余代数的权 4 部分是否接受一个典范正合序列 0 → B₄(F) → L₄(F) → Λ²B₂(F) → 0，如 Freeness 猜想所预测？
• RQ4 复合映射 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ 是否等于 Borel 余映射的有理倍数，从而满足推导 Zagier 猜想的要求？

主要发现

• 证明了 Zagier 猜想：ζ_F(4) = π^{4(r₁+r₂)} |d_F|^{-1/2} · det(L₄(σᵢ(yⱼ)))，其中 1 ≤ i,j ≤ r₂，至多相差一个有理因子。
• 证明了映射 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ 是 Borel 余映射的 ℚ×-倍数，确认了与经典余映射的关键联系。
• 权 4 motivic 复形 Γ(X;4) 允许一个典范实周期同态，其到 ℝ 的余映射通过单值 4-对数 L₄(z) 计算得出。
• 在 Conf_n(V₂) 上的簇 polylogarithm 映射通过簇变换和 K₂-同态实现了 4-对数的函数方程。
• 显式计算了符号映射 δ: Λ²B₂(2,7) → B₂(2,7)⊗Λ²B₁(2,7) 的版本，其核与五项关系一致，确认了与 motivic 李余代数结构的一致性。
• 作为主要结果的强推论，建立了正合序列 0 → B₄(F) → L₄(F) → Λ²B₂(F) → 0，为权 4 情形下的 Freeness 猜想提供了证据。