[논문 리뷰] The Grassmannian complex and Goncharov's motivic complex in weight 4

Herbert Gangl|arXiv (Cornell University)|2018. 01. 24.

Algebraic structures and combinatorial models참고 문헌 2인용 수 5

한 줄 요약

이 논문은 $ℚ^3$에서 여덟 점의 그라스만이안 복합체와 무게 4에서 고천로프의 모티빅 복합체 사이의 부분형사상을 구축하며, 복합체 내 네 맵 중 세 개를 정의하고 가장 왼쪽 맵의 적분 가능성 조건을 검증한다. 구성된 $f_7(4) \circ d$의 합성은 $B_3(F) \otimes F^\times$에 값을 갖는다. 이때 $\bigwedge^2 B_2(F)$ 성분은 0이며, 이는 적분 가능성 조건을 만족함을 의미한다. 따라서 이는 무게 4의 초대수로그함수로 표현 가능하며, 전체 형사상에 대한 명시적 공식은 아직 열려 있다.

ABSTRACT

For a field $F$ and a given integer $n>1$, Goncharov has given a complex $Γ_F(n)$ which he calls motivic and which he expects to rationally compute the weight $n$ motivic cohomology of $ ext{Spec }F$, and hence its algebraic $K$-groups in Adams weight $n$, and he was also led to---conjecturally quasiisomorphic---`thickened' complexes thereof. These complexes involve tensor products of higher Bloch groups, the latter having been linked to the geometry of certain configurations in Goncharov's proof of Zagier's Polylogarithm Conjecture for weight 3, and an analogous picture has long been envisioned by Goncharov for higher weight as well. We provide a partial morphism in weight 4 by giving three out of four maps for configurations in general position.

연구 동기 및 목표

• 무게 4에서 $C_8(4)$와 고천로프의 모티빅 복합체 $\Gamma_F(4)$ 사이의 형사상 수립.
• 복합체 다이어그램 내 네 맵 중 세 개를 정의하여, 해당 사각형의 교차성 보장.
• $f_7(4) \circ d$의 합성이 $C_8(4)$를 $B_3(F) \otimes F^\times$로 보내며, $\bigwedge^2 B_2(F)$ 성분이 0임을 확인.
• $f_7(4) \circ d$의 합성이 적분 가능성 조건을 만족함을 검증하여, 이를 무게 4의 초대수로그함수로 표현 가능하게 함.
• 모티빅 코homology를 통한 L-값에 대한 쟈지어의 추측을 증명하기 위한 전초를 마련함.

제안 방법

• $\mathrm{PGL}_4(F)$-작용에 대해 정의된 $\mathbb{P}^3(F)$ 내 여덟 점의 구성(configuration)을 사용하여, 교대 미분 $d$를 갖는 그라스만이안 복합체 $C_N(4)$를 정의.
• 고천로프의 표기법을 활용하여 교차비, 삼중비, 점 구성의 $4\times4$ 행렬식을 정의하고, 복합체 간 맵을 설정.
• 함수방정식과 행렬식의 대칭성을 활용하여 FE 2, FE 3, FE 4와 같은 관계를 검증하여 복합체의 일관성 확보.
• 다이로그함수의 오성관계식 및 그 일반화를 활용하여 $B_2(F)$와 $B_3(F)$ 내의 관계 분석, 특히 교대 및 대칭 연산에 대한 고려.
• 단 [2]의 결과를 적용하여 무게 4의 초대수로그함수를 $Li_{3,1}$과 $Li_4$의 조합으로 환원하고, 최근 연구 [5]를 활용하여 $I_{3,1}$ 항을 $Li_4$로만 환원.
• $f_7(4) \circ d$의 적분 가능성은 $\bigwedge^2 B_2(F)$ 성분이 0임을 보여 이를 잘 정의된 코homology 클래스에서 유도됨을 증명함.

실험 결과

연구 질문

• RQ1 무게 4에서 그라스만이안 복합체 $C_8(4)$에서 고천로프의 모티빅 복합체 $\Gamma_F(4)$로의 형사상이 구축될 수 있는가?
• RQ2 복합체 다이어그램 내 네 맵 중 세 개가 서로 교차하며, 교차비와 행렬식을 사용해 명시적으로 정의될 수 있는가?
• RQ3 $f_7(4) \circ d$의 합성이 $C_8(4)$를 $B_3(F) \otimes F^\times$로 보내며, $\bigwedge^2 B_2(F)$ 성분이 0인가?
• RQ4 $f_7(4) \circ d$의 맵이 적분 가능성을 만족하여, 이를 무게 4의 초대수로그함수로 표현할 수 있는가?
• RQ5 남아 있는 네 번째 맵이 정의되어 전체 다이어그램이 교차하도록 만들 수 있으며, 특히 일반적인 구성에 대해 성립하는가?

주요 결과

• $f_7(4) \circ d$는 $C_8(4)$를 $B_3(F) \otimes F^\times$로 보내며, $\bigwedge^2 B_2(F)$ 성분은 0이다.
• $f_7(4) \circ d$의 맵은 적분 가능성 조건을 만족하며, 이는 잘 정의된 코homology 클래스에서 유도되며, 이를 무게 4의 초대수로그함수로 표현할 수 있음을 의미한다.
• 적분 가능성 조건을 통해 $C_8(4)$의 각 원소에 대해 무게 4의 초대수로그함수의 조합을 부여할 수 있으며, 그러나 명시적 공식은 아직 알려져 있지 않다.
• 논문은 복합체 다이어그램 내 네 맵 중 세 개가 잘 정의되어 있으며, 해당 사각형의 교차성이 보장됨을 검증하였다.
• FE 3과 FE 4는 오성관계식과 대칭성 논증을 통해 증명되었으며, 복합체의 일관성 구조가 확인됨.
• 남아 있는 맵, 즉 전체 형사상을 완성하고 무게 3에서 고천로프의 삼중비와 유사한 4중비를 유도할 수 있는 맵는 아직 일반적인 구성에 대해 완전히 구축되지 않았다.