[논문 리뷰] Pro-unipotent harmonic actions and a computation of $p$-adic cyclotomic multiple zeta values

David Jarossay|arXiv (Cornell University)|2015. 01. 20.

Advanced Mathematical Identities참고 문헌 26인용 수 11

한 줄 요약

이 논문은 프로-유니포텐트 조화 작용의 새로운 프레임워크를 사용하여 $p$-진 순환 다중 제타 값(pMZV)에 대한 명시적 공식을 수립한다. 이는 $p$-진 적분과 조화 프로베니우스 사상을 통한 급수 간의 연결을 가능하게 하며, 아카기, 히로세, 야수다의 유한 MZV에 대한 추측을 증명하고, 모든 $p$-진 완비화에서 적분 및 급수 표현 간의 완전한 딜레마를 제공한다.

ABSTRACT

We obtain formulas relating $p$-adic cyclotomic multiple zeta values and cyclotomic multiple harmonic sums. In particular, we obtain a series formula for $p$-adic cyclotomic multiple zeta values, and conversely a formula for certain cyclotomic multiple harmonic sums in terms of $p$-adic cyclotomic multiple zeta values. Our formulas are related to the motivic framework via a new notion which we call pro-unipotent harmonic actions, which are ad hoc $p$-adic byproducts of the Ihara action. As an application, we prove a conjecture of Akagi, Hirose and Yasuda on the relation between $p$-adic multiple zeta values and multiple harmonic sums, and we generalize it to the cyclotomic case. We also deduce bounds on the dimension of the spaces of finite cyclotomic multiple zeta values.

연구 동기 및 목표

• 명시적 공식을 사용하여 $p$-진 순환 다중 제타 값(pMZV)의 기초 이론을 수립하는 것.
• 프로-유니포텐트 조화 작용의 개념을 도입하여 $p$-진 적분과 조화 급수 간의 다리 역할을 하는 것.
• $p$-진 순환 다중 제타 값을 가중 다중 조화 합의 형태로 명시적 표현을 통해 계산하는 오랜 열린 문제를 해결하는 것.
• $p$-진 적분 및 급수 표현 간의 딜레마를 수립하여 모티빅 갈루아 작용과 호환되게 하는 것.
• 아카기, 히로세, 야수다의 유한 다중 제타 값에 대한 추측을 증명하여 이를 $p$-진 순환 다중 제타 값과 연결하는 것.

제안 방법

• KZ 연결의 프로베니우스 구조를 통해 정의된 프로-유니포텐트 조화 작용을 새로운 구조로 도입하여 $p$-진 적분과 급수 간의 관계를 설정하는 것.
• 조화 프로베니우스 사상으로 인해 대수 $K\langle\langle e_{0\cup\mu_N}\rangle\rangle_{\text{har}}^{\int} = K\langle\langle e_{0\cup\mu_N}\rangle\rangle_{\text{har}}^{\Sigma}$의 표준적 동치를 통해 콜레먼 적분 값과 가중 다중 조화 합을 연결하는 것.
• [J I-1]의 주요 결과를 적용하여 $p$-진 순환 다중 제타 값을 순환 다중 조화 합의 형태로 표현하는 명시적 공식을 유도하는 것.
• 모든 $p$-진 완비화에서의 해석적 계속성과 계수 제어를 가능하게 하는, $p^\alpha m + r$에서의 조화 합의 분할 및 이동 공식을 수립하는 것.
• 모든 $p$-진 완비화의 곱을 취하여 아델릭 프레임워크를 구성하고, 순환체 $C_N$를 $\prod_{(p,\alpha)} K_p$에 대각선으로 통합하는 것.
• 전역 대상 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\int}$ 및 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\Sigma}$를 정의하고, 그들이 동일함을 증명하여 적분 및 급수 표현을 통합하는 것.

실험 결과

연구 질문

• RQ1 Can $p$-adic cyclotomic multiple zeta values be computed via explicit formulas in terms of harmonic sums?
• RQ2 How can the motivic Galois action be encoded in a $p$-adic setting using harmonic structures?
• RQ3 What is the precise relationship between $p$-adic integrals and $p$-adic series representations of cyclotomic MZVs?
• RQ4 Does the conjecture by Akagi, Hirose, and Yasuda on finite MZVs hold in the $p$-adic setting?
• RQ5 Can a global, adelic framework unify $p$-adic cyclotomic MZVs across all primes $p$ not dividing $N$?

주요 결과

• 논문은 $p$-진 순환 다중 제타 값을 순환 다중 조화 합의 형태로 표현하는 명시적 공식을 제공하여 오랜 열린 문제를 해결한다.
• 조화 프로베니우스 사상이 적분과 급수의 경우에 대해 표준적으로 동치임을 증명하여, 모든 $p$-진 완비화에서 유일한 '조화 프로베니우스'를 정의할 수 있음을 보여준다.
• 아카기, 히로세, 야수다의 유한 MZV에 대한 추측은 $p$-진 적분과 급수 간의 딜레마를 통해 확인되며, 이는 조화 프로베니우스 구조와 연결된다.
• 전역 아델릭 대상 $\widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\int} = \widehat{\mathcal{Z}}_{\mathcal{P}_N^{\mathbb{N}^*},d}^{\Sigma}$를 구성하여, 아델릭 설정에서 적분 및 급수 표현이 동치임을 보여준다.
• 분할 및 이동 공식을 통해 $\operatorname{har}_{p^\alpha m + r}$를 $\operatorname{har}_{p^\alpha m}$과 $p^\alpha m$의 해석적 함수의 다항식으로 표현할 수 있으며, 계수는 $\operatorname{har}_r$로 표현된다.
• 이 프레임워크는 조화 급수 전개의 모든 계수들이 필요한 $p$-진 유계 조건을 만족함을 보장하여, $p$-진 체의 아델릭 곱 위에서 전역적으로 잘 정의된 구조를 보장한다.