[논문 리뷰] The syntomic regulator for $K_4$ of curves

Amnon Besser, Rob de Jeu|arXiv (Cornell University)|2012. 08. 02.

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

한 줄 요약

이 논문은 양호한 감소를 가진 $p$-진 필드 위의 곡선 $C$에 대해 $K_4^{(3)}(C)$의 심토픽 리지스터를 계산하며, 결과를 $p$-진 다중로그 함수와 콜레먼 적분을 통해 표현한다. 주요 기여는 de Rham 코hom올로지 클래스와의 리지스터 쌍대화에 대한 공식을 삼중선형 사상('삼중 지수')과 점에서의 국소 지수를 사용하여 기술하는 것으로, 고전적 리지스터를 $p$-진 설정으로 일반화한다.

ABSTRACT

Let $C$ be a curve defined over a discrete valuation field of characteristic zero where the residue field has positive characteristic. Assuming that $C$ has good reduction over the residue field, we compute the syntomic regulator on a certain part of $K_4^[(3)}(C)$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration. We also compute the syntomic regulator on a certain part of $K_4^[(3)}(F)$ for the function field $F$ of $C$. The result can be expressed in terms of $p$-adic polylogarithms and Coleman integration, or by using a trilinear map ("triple index") on certain functions.

연구 동기 및 목표

• 양호한 감소를 가진 $p$-진 필드 위의 매끄럽고 완비이며 기하학적으로 기약인 곡선 $C$에 대해 $K_4^{(3)}(C)$의 심토픽 리지스터를 계산한다.
• de Rham 코hom올로지 클래스와의 리지스터 쌍대화를 $p$-진 다중로그 함수와 콜레먼 적분을 통해 표현한다.
• $F = K(C)$인 $K_4^{(3)}(F)$의 원소에 대해 유효한 삼중선형 사상('삼중 지수')을 사용하여 리지스터의 명시적 공식을 제공한다.
• de Rham 코hom올로지에 대한 $p$-진 유사체를 제공하며, 국소 지수와 $H^1_{\text{dR}}(C/K)$로의 사영을 사용하여 복소 해석적 리지스터 공식의 $p$-진 유사체를 수립한다.

제안 방법

• 곡선의 특수 섬유 위에서 일반적으로 정의된 함수의 국소 환 $\mathcal{O}$ 위에 정의된 모티브 복합체 $\mathcal{M}_{(3)}(\mathcal{O})$를 사용한다.
• 심토픽 리지스터를 $H^2(\mathcal{M}_{(3)}(\mathcal{O}))$의 원소에 적용하여, de Rham 코hom올로지 동형을 통해 $H^1_{\text{rig}}(\mathscr{C}_\kappa/K)$로 매핑한다.
• 콜레먼 적분과 $p$-진 다중로그 함수를 사용하여 de Rham 1-형식 $\omega$와의 리지스터 쌍대화를 표현하며, 공식 $\operatorname{reg}_p(\alpha) \cup \omega \in K$를 사용한다.
• 삼중선형 사상 $I(f,g,h)$와 그 순열에 대한 교환합을 사용하여 리지스터를 정의하며, 항등식 $\sum_i (1-g_i) \wedge g_i \wedge f_i = 0$을 활용한다.
• 특이점에서의 국소 지수 $c_z$를 적용하고, 모든 점(무한대 포함)의 기여를 접합 공식을 통해 결합한다.
• 특히 강체와 de Rham 코호몰로지 사이의 비교를 포함한 $p$-진 적분 이론과 $p$-진 호지 이론에 기반한다.

실험 결과

연구 질문

• RQ1 양호한 감소를 가진 $p$-진 필드 위의 곡선에 대해 $K_4^{(3)}(C)$의 심토픽 리지스터는 어떻게 명시적으로 계산할 수 있는가?
• RQ2 곡선의 $K_4$-류에 대해 복소 해석적 리지스터 공식의 $p$-진 유사체는 무엇인가?
• RQ3 de Rham 코호몰로지와의 리지스터 쌍대화는 $p$-진 다중로그 함수와 콜레먼 적분을 통해 표현될 수 있는가?
• RQ4 함수에 대한 삼중선형 사상('삼중 지수')은 $p$-진 설정에서 리지스터와 어떻게 관련이 있는가?
• RQ5 국소 지수와 상수항 보정은 리지스터의 최종 공식에서 어떤 역할을 하는가?

주요 결과

• 심토픽 리지스터 $K_4^{(3)}(C)$는 $p$-진 다중로그 함수와 콜레먼 적분을 통해 명시적으로 계산되며, 국소 지수와 삼중선형 사상의 공식을 포함한다.
• $\alpha \in K_4^{(3)}(C)$ 및 $\omega \in H^1_{\text{dR}}(C/K)$에 대해 리지스터 쌍대화 $\operatorname{reg}_p(\alpha) \cup \omega$는 $\operatorname{ord}_y(f_i)$, $c_z(\int \log(\cdot) F_\omega \, d\!\log(\cdot))$, 삼중선형 항의 점별 기여의 합으로 표현된다.
• 공식은 $\sum_{\sigma} \operatorname{sgn}(\sigma) I(f_i, g_i, 1-g_i)^\sigma$ 형태의 삼중 지수 표현의 합과 동치이며, 항등식 $\sum_i (1-g_i) \wedge g_i \wedge f_i = 0$에 의해 0이 되므로 일관성이 보장된다.
• 최종 표현은 $\operatorname{ord}_y(g_i)$ 및 $\operatorname{ord}_y(1-g_i)$, $\log(f_i)$의 $F_\omega \, d\!\log(g_i)$ 및 $F_\omega \, d\!\log(1-g_i)$에 대한 적분을 포함하는 항들의 조합으로 단순화된다.
• 결과는 콜레먼과 드 샤리에의 알려진 $p$-진 리지스터 공식과 일치하며, $d\textup{L}_{\textup{mod},2}(g)$의 비해선형성으로 인해 단순한 히어리스틱과는 4배의 요인 차이가 난다.
• 무한대에서의 상수항 보정이 정확한 전역 공식을 복원하는 데 필수적이며, 최종 표현은 $H^1_{\text{dR}}(C/K)$로의 접합과 사영을 통해 평가했을 때 기대되는 리지스터와 일치한다.