[논문 리뷰] On twisted $A$-harmonic sums and Carlitz finite zeta values

Federico Pellarin, Rudolph Perkins|arXiv (Cornell University)|2015. 12. 18.

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

한 줄 요약

이 논문은 양의 특성에서의 비틀린 $A$-조화합을 조사하며, $n=1$ 이고 $s \equiv 1 \pmod{q-1}$일 때 다항식으로의 보간을 증명하고, 칼리츠 모듈러 프레임워크 내에서 비영 finite 제타 값이 존재함을 보여준다. 핵심 결과는 $F_d(1;s)$에 대한 다항식 보간 공식을 $Y = \theta^{q^{d-m}}$에서 평가된 유리함수 $\mathbb{H}_s$를 통해 제공하며, $s = 1 + m(q-1)$일 때 $\mathbb{H}_s$의 명시적 차수 및 구조적 성질을 규명한다.

ABSTRACT

In this paper, we study various twisted A-harmonic sums, named following the seminal log-algebraicity papers of G. Anderson. These objects are partial sums of new types of special zeta values introduced by the first author and linked to certain rank one Drinfeld modules over Tate algebras in positive characteristic by Angl\\`es, Tavares Ribeiro and the first author. We prove, by using techniques introduced by the second author, that various infinite families of such sums may be interpolated by polynomials, and we deduce, among several other results, properties of analogues of finite zeta values but inside the framework of the Carlitz module. In the theory of finite multi-zeta values in characteristic zero, finite zeta values are all zero. In the Carlitzian setting, there exist non-vanishing finite zeta values, and we study some of their properties in the present paper.

연구 동기 및 목표

• 양의 특성에서 타이트 대수 위의 드리프린드 모듈러에 대한 비틀린 $A$-조화합 $F_d(n;s)$의 구조를 이해한다.
• 특성 0에서 비영 유한 제타 값이 존재하지 않는 문제를 해결하기 위해 칼리츠 모듈러 설정에서 유사체를 구성한다.
• 특히 $n=1$ 이고 $s \equiv 1 \pmod{q-1}$일 때, 비틀린 조화합의 무한한 가족에 대한 다항식 보간을 확립한다.
• $F_d(1;s)$를 보간하는 유리함수 $\mathbb{H}_s$의 특성과 각 $t_i$에 대한 차수를 규명한다.
• 칼리츠 프레임워크 내에서 비영 유한 제타 값의 증거를 제시하며, 특성 0에서의 영 값과 대비한다.
• 유한 다중 제타 값과 칸에코-자지어 추측의 베르누이-칼리츠 수와의 유사성을 탐색한다.

제안 방법

• 비틀린 $A$-조화합을 $F_d(n;s) = \sum_{i=0}^{d-1} S_i(n;s)$로 정의하며, 여기서 $S_i(n;s)$는 $A = \mathbb{F}_q[\theta]$의 모닉 다항식 위의 거듭제곱 합이다.
• 퍼킨스의 이전 연구에서 유도된 보간 프레임워크를 활용하여, $d \geq m$일 때 $F_d(1;s)$가 $\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$로 표현됨을 보인다.
• 보조 다항식 $b_i(Y) = \prod_{j=0}^{i-1} (Y - \theta^{q^j})$와 정규화 인자 $\Pi_{s,d} = \frac{b_{d-m}(t_1) \cdots b_{d-m}(t_s)}{l_{d-1}}$를 도입한다.
• 유리함수 $\mathbb{H}_s$가 $K(Y, \underline{t}_s)$에 속하며, $s = 1 + m(q-1)$일 때는 $Y$와 각 $t_i$에 대해 제어된 차수를 가진 다항식임을 증명한다.
• 차수의 경계를 확립한다: $\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$ 이고 $\deg_{t_i}(\mathbb{H}_s) = m - 1$ 이다.
• 앤더슨-탁류 함수 $\omega(t)$와 칼리츠 지수함수를 활용하여, 타이트 대수 내의 제타 값과 고전적 제타 함수와의 유사성을 규명한다.

실험 결과

연구 질문

• RQ1 특성 0에서의 영 값과 대비하여, $s \equiv 1 \pmod{q-1}$일 때 비틀린 $A$-조화합 $F_d(1;s)$의 구조는 어떻게 되며, 다항식으로 보간 가능한가?
• RQ2 칼리츠 모듈러 프레임워크 내에서의 유한 제타 값은 특성 0의 경우와 어떻게 다를까, 특히 비영성 측면에서?
• RQ3 $F_d(1;s)$를 보간하는 함수 $\mathbb{H}_s$의 명시적 형태와 차수 구조는 무엇이며, $s$와 $m$에 어떻게 의존하는가?
• RQ4 칼리츠 설정에서 비영 유한 제타 값을 구성할 수 있는가, 그리고 베르누이-칼리츠 수와의 관계는 어떠한가?
• RQ5 칼리츠 유한 제타 값의 맥락에서 칸에코-자지어 추측의 의미 있는 유사체가 존재하는가?

주요 결과

• 정리 1은 $s \equiv 1 \pmod{q-1}$일 때, 합 $F_d(1;s)$가 $\Pi_{s,d} \cdot \mathbb{H}_s|_{Y=\theta^{q^{d-m}}}$로 주어지며, 여기서 $\mathbb{H}_s$는 $K(Y, \underline{t}_s)$에 속하는 유리함수임을 증명한다.
• 특히 $s = 1$일 때, 보간 함수는 명시적으로 $\mathbb{H}_1 = \frac{1}{t_1 - \theta}$로 주어지며, $t_1 = \theta$에서 단순극을 가진다.
• 만일 $s = 1 + m(q-1)$이면, $\mathbb{H}_s$는 $A[Y, \underline{t}_s]$에 속하는 다항식이며, 각 $i$에 대해 $\deg_{t_i}(\mathbb{H}_s) = m - 1$ 이다.
• 변수 $Y$에 대한 차수는 $\deg_Y(\mathbb{H}_s) = \frac{q^m - 1}{q - 1} - m$ 이며, 이 다항식은 이러한 차수 제약 조건에 의해 유일하게 결정된다.
• 칼리츠 설정 내에서의 유한 제타 값 $\zeta_A(1;s)$는 $s \equiv 1 \pmod{q-1}$일 때 비영임을 보이며, 특성 0에서의 영 값과 대비된다.
• 앙글레, 노 다크, 타바레스 리베이로는 $\left(\operatorname{BC}_{|P|-s} \pmod{P}\right)_P$ 가 $\mathcal{A}_0^\times$ 내에서 단위임을 증명하였으며, 이는 추측을 확인하고 칼리츠 설정에서 칸에코-자지어 추측과 깊은 유사성을 보여준다.