[논문 리뷰] p-adic multiple zeta values I -- p-adic multiple polylogarithms and the p-adic KZ equation

Hidekazu Furusho|ArXiv.org|2003. 04. 07.

Advanced Mathematical Identities참고 문헌 16인용 수 75

한 줄 요약

이 논문은 콜먼의 p진 반복 적분 이론을 활용하여 p진 다중 리만 제타 함수(pMZVs)의 기초를 마련한다. p진 다중 다중로그함수는 단위 원판 외부로의 해석적 계속을 통해 정의되며, p진 KZ 방정식과 드린펠트 연관자(p-adic Drinfel’d associator)를 도입하고, pMZVs가 분지 선택과 무관하게 z=1에서 이 함수들의 극한으로 나타남을 보여준다. 핵심 기여는 pMZVs의 엄밀한, 분지에 의존하지 않는 정의와 p진 KZ 방정식에 의한 함수적 관계의 수립이다.

ABSTRACT

Our main aim in this paper is to give a foundation of the theory of $p$-adic multiple zeta values. We introduce (one variable) $p$-adic multiple polylogarithms by Coleman's $p$-adic iterated integration theory. We define $p$-adic multiple zeta values to be special values of $p$-adic multiple polylogarithms. We consider the (formal) $p$-adic KZ equation and introduce the $p$-adic Drinfel'd associator by using certain two fundamental solutions of the $p$-adic KZ equation. We show that our $p$-adic multiple polylogarithms appear as coefficients of a certain fundamental solution of the $p$-adic KZ equation and our $p$-adic multiple zeta values appear as coefficients of the $p$-adic Drinfel'd associator. We show various properties of $p$-adic multiple zeta values, which are sometimes analogous to the complex case and are sometimes peculiar to the $p$-adic case, via the $p$-adic KZ equation.

연구 동기 및 목표

• p진 다중 제타 함수(pMZVs)에 대한 엄밀한 기초를 제공한다. 이는 ℚₚ에서 직접적인 급수 정의가 없는 점을 감안할 때 중요하다.
• 콜먼의 p진 반복 적분 이론을 활용해 p진 다중 다중로그함수를 |z|_p < 1에서 ℂₚ \ {1}으로 확장한다.
• pMZVs를 해석적 계속된 p진 다중로그함수의 z=1에서의 극한으로 정의함으로써, ℂₚ에서 서로 떨어진 원판의 위상적 장애를 해결한다.
• p진 KZ 방정식과 p진 드린펠트 연관자를 pMZVs를 연구하는 중심 도구로 설정한다.
• p진 KZ 프레임워크를 통해 pMZVs가 셔플 곱 관계와 기타 함수적 방정식을 만족함을 증명한다.

제안 방법

• 콜먼의 p진 반복 적분을 사용하여 p진 다중 다중로그함수를 |z|_p < 1에서 ℂₚ \ {1}으로 해석적 계속한다.
• p진 설정에서 0과 1에서 정칙 특이점을 갖는 미분방정식으로서 p진 KZ 방정식을 도입한다.
• p진 KZ 방정식의 두 기본 해 G₀^a와 G₁^a를 구성하며, 이는 a ∈ ℂₚ에 의해 매개화된다.
• p진 드린펠트 연관자를 Φ_KZ^p = G₁^a(z)^{-1} G₀^a(z)로 정의하며, 이는 유도된 리 대수의 지수 함수에 속한다.
• p진 미분 갈루아 이론을 적용하여 연관자가 군-유사 구조임을 보이고, 오각형 방정식을 만족함을 증명한다.
• 코어액션 Δ를 사용하여 연관자가 Δ(Φ_KZ^p) = Φ_KZ^p ⊗ Φ_KZ^p를 만족함을 증명함으로써, 군-유사 구조가 올바르게 유지됨을 확인한다.

실험 결과

연구 질문

• RQ1 p진 수체 ℚₚ에서 표준 급수가 발산하므로, p진 다중 제타 함수는 의미 있게 정의될 수 있는가?
• RQ2 p진 다중로그함수는 ℂₚ에서 열린 단위원판을 초월하여 어떻게 확장할 수 있으며, 이를 통해 z=1에서의 평가가 가능해지는가?
• RQ3 해석적 계속된 p진 다중로그함수의 z=1에서의 극한은 분지 매개변수 a ∈ ℂₚ의 선택에 의존하는가?
• RQ4 p진 KZ 방정식은 pMZVs의 대수적·해석적 구조를 어떻게 조직화하는가?
• RQ5 pMZVs는 그 복소수 대응체와 유사한 셔플 곱 관계를 만족하는가?

주요 결과

• 해석적 계속된 p진 다중로그함수의 z=1에서의 극한은 분지 매개변수 a ∈ ℂₚ에 영향을 받지 않으며, 이는 p진 다중 제타 함수가 잘 정의됨을 보장한다.
• p진 다중 제타 함수는 ζ_p(k₁,…,kₘ) := lim'_{z→1} Li_{k₁,…,kₘ}^a(z)로 정의되며, 이 극한은 존재하며 a에 관계없이 일정하다.
• p진 드린펠트 연관자 Φ_KZ^p는 exp[𝕃^∧_{ℂₚ}, 𝕃^∧_{ℂₚ}]에 속함을 확인하여, 군-유사성과 리대수학적 구조를 확인한다.
• p진 KZ 방정식은 두 개의 기본 해 G₀^a와 G₁^a를 가지며, 이들의 비율이 연관자를 이룬다. 둘 다 0과 1에서 정칙 특이점을 갖는 동일한 미분방정식을 만족한다.
• 연관자는 오각형 방정식 Δ(Φ_KZ^p) = Φ_KZ^p ⊗ Φ_KZ^p를 만족함을 통해 갈루아 이론 프레임워크 내에서의 역할을 확인한다.
• 자유 대수의 모든 단어 W, W'에 대해 셔플 곱 공식 Z_p(W) · Z_p(W') = Z_p(W ∘ W')가 p진 KZ 방정식과 연관자 구조를 통해 증명된다.