[논문 리뷰] Motivic correlators, cluster varieties and Zagier's conjecture on zeta(F,4)

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

Algebraic Geometry and Number Theory참고 문헌 29인용 수 12

한 줄 요약

이 논문은 수체 F에 대한 Dedekind zeta 함수 ζ_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)를 포함하는 표준적인 정확열 시퀀스에 들어간다는 것을 보여주며, 이는 자유성 추측에 대한 증거를 제공한다.
• L₄(z)를 통한 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ의 합성 사상이 Borel의 조건자에 대한 ℚ×-배수임을 보여주며, 모티브적 조건자와 고전적 조건자 사이의 연결고리를 확립한다.

제안 방법

• i=1,…,4에 대해 K_{8−i}(F)에서 무게 4 다중로그 모티브 복합체 B•(F,4)의 i번째 코homology로 가는 사상을 구성한다.
• K₂-다양체의 구조와 클러스터 변환을 사용하여 구성 공간 Conf_n(V₂)에서 클러스터 다중로그 함수 사상을 정의함으로써, 다중로그 함수의 함수방정식을 코딩한다.
• 모티브적 상관관계를 사용하여 모티브 복합체의 코homology와 Deligne 코hom로의 조건자 사상 사이의 관계를 규명하고, Beilinson의 조건자와의 호환성을 보여준다.
• 무게 4 모티브 복합체에서 ℝ로 가는 표준적인 실주기 사상(실주기 준동형사상)을 확립하며, 이는 단일값 4-로그 함수 L₄(z)를 통해 인수화된다.
• 기호 Bloch 군, 이중그라스만 복합체, 그리고 모티브적 리 코알제브라를 포함하는 핵심 다이어그램의 교환성을 증명함으로써, L₄(F)의 구조를 검증한다.
• Borel의 정리와 Borel의 조건자와 Borel–Bloch 조건자 간의 알려진 관계를 적용하여, 조건자 계산을 통해 추측을 도출한다.

실험 결과

연구 질문

• RQ1 Zagier의 추측이 참인가? 즉, ζ_F(4)가 F의 특정 원소에서 평가된 L₄값들의 행렬식에 비례하는가?
• RQ2 4-로그 함수의 함수방정식은 클러스터 다양체의 기하학, 특히 Conf_n(V₂)에서의 클러스터 다중로그 함수 사상에 의해 표현될 수 있는가?
• RQ3 F의 무게 4 모티브적 리 코알제브라 부분이 자유성 추측이 예측한 바와 같이 0 → B₄(F) → L₄(F) → Λ²B₂(F) → 0의 표준 정확열 시퀀스에 들어가는가?
• RQ4 K₇(ℂ) → H¹(B•(ℂ,4)) → ℝ의 합성 사상이 Borel의 조건자에 대한 유리수 배수인가? 이는 Zagier의 추측을 도출하기 위해 필수적이다.

주요 결과

• 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에서의 자유성 추측에 대한 증거를 제공한다.