[論文レビュー] 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 ゼータ関数 ζ_F(4) の Zagier の予想を証明し、特定の元 yⱼ ∈ F の埋め込みにおける単値化 4 対数 L₄(σᵢ(yⱼ)) の値の行列式に比例することを示している。証明はモチーフ的相関関数とクラスター多様体のポリログスム・マップを用い、クラスター多様体と高次のポリログスムの間の関係を確立し、K-群上のレギュレーターと 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₄ の値の行列式を含む公式を予測する。
• 特に、配置空間 Conf_n(V₂) 上のクラスター・ポリログスム・マップを通じて、クラスター多様体とポリログスム関数の間の新しい関係を確立すること。
• F の重さ 4 のモチーフ的リー代数余代数が、高次の Bloch 群と Λ²B₂(F) を含む自然な完全列に含まれることを示し、Freeness Conjecture に対する証拠を提供すること。
• L₄(z) を通じる合成写像 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ が Borel のレギュレーターの ℚ× 倍に一致することを示し、モチーフ的レギュレーターと古典的レギュレーターを結びつけること。

提案手法

• i=1,…,4 に対して、K-群 K_{8−i}(F) から重さ 4 のポリログスム的モチーフ複体 B•(F,4) の i 階コホモロジーへの写像を構成する。
• K₂-多様体構造とクラスター変換を用いて、配置空間 Conf_n(V₂) 上にクラスター・ポリログスム・マップを定義し、ポリログスムの関数方程式を符号化する。
• モチーフ的相関関数を用いて、モチーフ的複体のコホモロジーとデリーニュコホモロジーへのレギュレーター写像との関係を確立し、Beilinson のレギュレーターと整合することを示す。
• 重さ 4 のモチーフ的複体から ℝ への自然な実周期写像を構成し、これが単値化 4 対数 L₄(z) を通じて因数分解されることを示す。
• 記号的 Bloch 群、バイグラスマン複体、モチーフ的リー代数余代数を含む主要な図式の可換性を証明し、L₄(F) の構造を検証する。
• Borel の定理と Borel と Borel–Bloch レギュレーターの既知の関係を適用し、レギュレーター計算から予想を導出する。

実験結果

リサーチクエスチョン

• RQ1 Zagier の予想は、ζ_F(4) が F の特定の元における L₄ 値の行列式に比例すると述べており、これは真か？
• RQ2 4 対数の関数方程式は、特にクラスター多様体の幾何学、特にクラスター・ポリログスム・マップを通じて符号化可能か？
• RQ3 F のモチーフ的リー代数余代数の重さ 4 部分は、予想された自然な完全列 0 → B₄(F) → L₄(F) → Λ²B₂(F) → 0 を持つか？
• RQ4 合成写像 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ は、Zagier の予想を導くために必要なように、Borel のレギュレーターの有理数倍に一致するか？

主な発見

• Zagier の予想 ζ_F(4) は証明された：ζ_F(4) = π^{4(r₁+r₂)} |d_F|^{-1/2} · det(L₄(σᵢ(yⱼ)))（1 ≤ i,j ≤ r₂）は有理数係数を除き成立する。
• K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ の写像が Borel のレギュレーターの ℚ× 倍に一致することが示され、古典的レギュレーターへの重要なリンクが確認された。
• 重さ 4 のモチーフ的複体 Γ(X;4) は自然な実周期写像を備え、そのレギュレーター写像は単値化 4 対数 L₄(z) を通じて計算可能である。
• Conf_n(V₂) 上のクラスター・ポリログスム・マップは、クラスター変換と K₂-準同型を通じて 4 対数の関数方程式を実現する。
• Λ²B₂(2,7) → B₂(2,7)⊗Λ²B₁(2,7) の記号的写像 δ が明示的に計算され、その核が 5 項関係と一致し、モチーフ的リー代数余代数構造と整合することが確認された。
• 完全列 0 → B₄(F) → L₄(F) → Λ²B₂(F) → 0 は、主結果の強力な帰結として確立され、重さ 4 における Freeness Conjecture に対する証拠を提供する。