[논문 리뷰] A note on multiple zeta values in Tate algebras

Federico Pellarin|arXiv (Cornell University)|2016. 01. 27.

Advanced Mathematical Identities인용 수 11

한 줄 요약

이 논문은 양의 특성에서의 함수체 설정에서 Thakur의 다중 리만 제타값을 일반화하며, Tate 대수와 준특성(character)을 사용하는 프레임워크를 도입한다. 이러한 값들에 대해 셔플 곱셈 유사 공식을 수립하고, Carlitz 제타값과 로그함수와 연결하며, $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$와 같은 명시적 항등식을 유도함으로써 다중 제타값의 $K$-대수에서 새로운 대수적 관계를 제공한다.

ABSTRACT

In this note, we shall discuss a generalization of Thakur's multiple zeta values and allied objects, in the framework of function fields of positive characteristic and more precisely, of periods in Tate algebras.

연구 동기 및 목표

• Tate 대수를 사용한 양의 특성에서의 함수체 설정으로 Thakur의 다중 제타값을 일반화한다.
• 준특성과 거듭제곱 합을 이용하여 일반화된 다중 제타값 간의 대수적 관계를 조사한다.
• Carlitz 모듈러스와 Tate 대수의 맥락에서 다중 제타값에 대한 셔플 곱셈 유형 항등식을 수립한다.
• 특히 Tate 대수에서의 평가 사상에 의해 유도되는 다중 제타값에 의해 생성된 $K$-대수의 구조를 탐구한다.
• 다중 제타값, Carlitz 제타값, Carlitz 로그함수 간의 명시적 공식을 제공하며, $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$와 같은 항등식을 포함한다.

제안 방법

• 준특성 $\nu: A^+ \to \mathbb{F}_q[t]$를 사용하여 Tate 대수 $\mathbb{T}$ 내에서 $\zeta_C(s; \nu)$를 정의함으로써 다중 제타값의 일반화를 도입한다.
• 거듭제곱 합 $S_d(n; \nu)$와 그 생성함수 $\mathfrak{S}_d(n; \nu)$를 정의하며, 이들은 Tate 대수 $\mathbb{T}$의 원소이며 $K_\infty$에서의 수렴성을 연구한다.
• Tate 대수 $\mathbb{T}$에서의 평가 사상 $f \mapsto f(1)$을 적용하여 형식적 항등식을 $K_\infty$ 내의 구체적 값, 특히 $t=1$에서의 값과 연결한다.
• Thakur가 확립한 함수체 설정에서의 다중 제타값의 셔플 곱셈 구조를 활용하여 $\zeta_C^\star$와 $\zeta_C$를 포함하는 항등식을 도출한다.
• 특정 조건에서 $\widetilde{\pi}$와 $\zeta_C(n)$의 대수적 독립성에 관한 알려진 결과를 활용하며, $\log_C(z) = \sum_{i \geq 0} l_i^{-1} z^{q^i}$를 통해 $\zeta_C(1)^q$를 표현한다.
• 예를 들어 $\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$와 같은 명시적 항등식을 유도하며, 이는 $\zeta_C(1)\zeta_C(q-1) = \zeta_C(q) + \zeta_C(q-1,1) + \zeta_C(1,q-1)$를 통해 셔플 곱셈과 연결된다.

실험 결과

연구 질문

• RQ1 Tate 대수에서 준특성을 사용하여 함수체 설정의 다중 제타값을 일반화함으로써 새로운 대수적 항등식을 도출할 수 있는가?
• RQ2 양의 특성에서 다중 제타값에 의해 생성된 $K$-대수의 구조는 어떠한가? 그리고 셔플 곱셈 공식은 이 맥락에서 어떻게 나타나는가?
• RQ3 Tate 대수에서 생성함수의 평가가 다중 제타값과 Carlitz 제타값 간의 명시적 관계를 어떻게 도출하는가?
• RQ4 Carlitz 로그함수는 특히 $\zeta_C(1)^q$와 같은 제타값의 곱을 표현하는 데 어떤 역할을 하는가?
• RQ5 Todd의 수치 계산 결과에서 암시되는 바와 같이, 함수체 설정에서 다중 제타값 간에 보편적인 관계가 존재하는가?

주요 결과

• 논문은 $\zeta_C^\star(q-1,1) = \zeta_C(1)\zeta_C(q-1) - \zeta_C(1,q-1)$를 증명하며, 다중 제타값의 $K$-대수에서 새로운 대수적 항등식을 제공한다.
• 또한 $\zeta_C^\star(q-1,1) = \zeta_C(q-1,1) + \zeta_C(1)^q$임을 증명하며, 여기서 $\zeta_C(1)^q = \log_C(1)^q$는 Carlitz 로그함수를 통해 표현 가능하다.
• 생성함수 $\sum_{d=0}^\infty \mathfrak{S}_d(q;1)(1)$의 평가가 $\zeta_C^\star(q-1,1)$을 유도함으로써, Tate 대수 내의 형식적 멱급수와 구체적 제타값 간의 연결을 확립한다.
• 명시적 공식 $\zeta_C^\star(q-1,1) = \zeta_C(1)\left(\zeta_C(q-1) - \frac{\zeta_C(1)^{q-1}}{\theta - \theta^q}\right)$을 도출하였으며, 이는 Thakur의 기존 항등식 $\zeta_C(m,m(q-1)) = \frac{\zeta_C(mq)}{(\theta - \theta^q)^m}$를 활용한다.
• 비-디리클레 유형 준특성, 예를 들어 $\nu(a) = t^{\deg_\theta(a)}$와 같은 경우에도 Tate 대수 내에서 유효한 셔플 유사 항등식을 도출할 수 있으며, 예를 들어 $\zeta_C(1;\nu)\zeta_C(1;\boldsymbol{1}) = \zeta_C(2;\nu) + \zeta_C\left(\begin{smallmatrix}\nu&\boldsymbol{1}\\1&1\end{smallmatrix}\right) + \zeta_C\left(\begin{smallmatrix}\boldsymbol{1}&\nu\\1&1\end{smallmatrix}\right)$와 같은 항등식이 성립한다.
• 다음과 같은 수렴성: $\sum_{d=0}^\infty \sum_{a \in A^+(d)} a^{-q^n} C_a(1)$가 $K_\infty$에서 수렴하며, 이는 $\sum_{d=0}^\infty \mathfrak{S}_d(q^n;1)(1) = \zeta_C^\star(\underbrace{q^{n-1}(q-1), \dots, 1}_{n \text{ terms}})$라는 항등식을 이끈다.