[논문 리뷰] Explicit regulator maps on polylogarithmic motivic complexes

A. B. Goncharov|ArXiv.org|2000. 03. 15.

Algebraic Geometry and Number Theory참고 문헌 7인용 수 8

한 줄 요약

이 논문은 복소수 다양체 위에서 다항대수적 모티브 복합체에서 딜리뉴 코hom로지 복합체로의 명시적 리지우어 맵을 구성한다. 이는 베르누이 수를 계수로 포함하는 고전적 다중로그 함수를 사용한다. 주요 기여는 베일린슨의 리지우어와의 호환성을 확인하고, 자그리어의 추측을 일반화하는 특수 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함수의 특수값에 대한 정확한 추측을 도출한다. 이는 자그리어의 추측을 일반화한다.
• 다항대수적 복합체에서의 리지우어 맵의 상이 베일린슨의 리지우어 맵의 상을 포함함을 확인하여, 핵심 케이스에서의 전성(_surjectivity_)을 증명한다.

제안 방법

• 리지우어 맵은 고전적 다중로그 함수와 베르누이 수로부터 유도된 계수를 사용한 명시적 공식을 통해 구성된다.
• 구성은 미분형식의 직접 계산과 그 복합체 내 미분 작용에 대한 행동을 통해 검증된다.
• 이 방법은 유리 함수 f 가 복합체의 다양한 항들에 기여하는 방식을 추적하며, log|f|, dlog|f|, diarg f 성분을 구분한다.
• 증명은 항들을 A-부분과 B-부분으로 분해하며, A-부분이 가환성 검증에서 지배적 역할을 한다.
• 다항대수적 형식 dℒ_n(f) 의 미분을 전개하고, 이를 딜리뉴 복합체의 구성 요소와 일치시켜 항별로 매칭한다.
• 잔여 조건과의 호환성은, 복합체가 고차원 수의 서하위다양체에서의 구조를 리지우어 맵이 유지함을 검증함으로써 확보된다.

실험 결과

연구 질문

• RQ1 다항대수적 모티브 복합체에서 복소대수다양체 위의 딜리뉴 복합체로의 명시적 리지우어 맵을 구성할 수 있는가?
• RQ2 구성된 리지우어 맵이 곡선이나 낮은 무게의 경우와 같이 알려진 사례에서 베일린슨의 리지우어 맵과 일치하는가?
• RQ3 리지우어 맵의 정확한 대수적 구조는 다중로그 함수와 베르누이 수 계수의 관점에서 어떻게 기술될 수 있는가?
• RQ4 리지우어 맵은 잔여 조건에서 어떻게 행동하며, 다양체 전체에 걸쳐 전역적으로 확장될 수 있는가?
• RQ5 리지우어 맵의 상이 베일린슨의 리지우어 맵의 상을 포함하는가? 이는 모티브 설정에서의 전성(_surjectivity_)을 증명하는가?

주요 결과

• 다항대수적 복합체에서 딜리뉴 복합체로의 리지우어 맵은 베르누이 수를 계수로 포함하는 고전적 다중로그 함수를 사용하여 명시적으로 구성된다.
• 직접 계산을 통해 구성이 검증되었으며, 리지우어 맵의 미분이 두 복합체의 미분과 가환함을 보였다.
• 잔여 조건과의 호환성이 확보되어, 일반적인 조건 하에서 일반점에서 전체 다양체로의 확장이 가능하다.
• 차원 ≤3 또는 체 위의 다양체의 경우, 리지우어 맵은 조건 없이 정의되며 알려진 사례에서 베일린슨의 리지우어 맵과 일치한다.
• 다항대수적 복합체에서 리지우어 맵의 상은 베일린슨의 리지우어 맵의 상을 포함하며, 연구된 케이스에서 전성(_surjectivity_)이 증명된다.
• 이 구성은 수체 위의 모티브에 대한 L함수의 특수값에 대한 정확한 추측을 이끌어내며, 자그리어의 추측을 일반화한다.