[논문 리뷰] Linear relations among double zeta values in positive characteristic

Chieh-Yu Chang|arXiv (Cornell University)|2015. 10. 22.

Advanced Mathematical Identities참고 문헌 21인용 수 4

한 줄 요약

이 논문은 양의 특성 함수체에서 무게 $n$의 이중 제타 값이 생성하는 $\mathbb{F}_q(\theta)$-벡터 공간의 차원을 계산하는 효과적인 기준을 확립한다. 모든 선형 관계가 칼리츠 모듈의 $n$제곱 텐서 곱에서 특수 점들 사이의 $\mathbb{F}_q[t]$-선형 관계로부터 유도됨을 보이며, 시겔의 보조정리 원리를 적용하여 차원을 명시적으로 계산한다.

ABSTRACT

The study of this paper is inspired by the conjecture of Zagier on the explicit dimension formula for the space of the same weight double zeta values in terms of the dimension of cusp forms for SL_{2}(Z). Our main result is to devise an effective criterion for computing the dimension of the same weight double zeta values over a rational function field F_{q}(theta) in positive characteristic. Contrary to the Zagier's conjecture, the analogue of Zagier's conjectural dimension provides a lower bound for the dimension of the double zeta values when the weight is $A$-even.

연구 동기 및 목표

• 양의 특성 함수체 설정에서 무게 $n$의 이중 제타 값이 생성하는 $\mathbb{F}_q(\theta)$-벡터 공간의 차원을 결정하는 것.
• 이중 제타 값 간의 선형 관계와 칼리츠 모듈의 $n$제곱 텐서 곱에서 특수 점들 사이의 $\mathbb{F}_q[t]$-선형 관계 간의 연결 고리를 설정하는 것.
• 시겔의 보조정리 원리를 통해 이중 제타 값의 무게 $n$ 공간의 차원을 계산하는 효과적인 기준을 개발하는 것.
• 함수체 맥락에서 제타의 추측에 대한 이중 제타 값 차원에 대한 대응 추측을 제공하는 것.
• 다중 제타 값 이론을 $t$-모티브와 칼리츠-테이트 모티브의 주기와 연결하여 양의 특성에서 확장하는 것.

제안 방법

• 이중 제타 값 간의 선형 관계를 암호화하는 칼리츠 모듈의 $n$제곱 텐서 곱에서 특수 점들을 구성하는 것.
• 이 특수 점들의 $\mathbb{F}_q[t]$-선형 구조를 이용하여 무게 $n$의 이중 제타 값 간의 모든 $\mathbb{F}_q(\theta)$-선형 관계를 모델링하는 것.
• 이 특수 점들 사이의 $\mathbb{F}_q[t]$-선형 관계의 해공간 차원을 계산하기 위해 시겔의 보조정리 원리를 적용하는 것.
• 다중 제타 값의 $t$-모티브적 해석을 혼합 칼리츠-테이트 $t$-모티브의 주기로 해석하는 것.
• 다중 제타 값의 $k$-대수에 대해 그레이드 대수적 구조를 설정하여 고천로프의 추측에 유사하게 만드는 것.
• 구체적인 계산과 재귀 공식을 사용하여 작은 무게와 특정 $q$에 대해 차원을 결정하는 것.

실험 결과

연구 질문

• RQ1 양의 특성에서 무게 $n$의 이중 제타 값이 생성하는 $\mathbb{F}_q(\theta)$-벡터 공간의 차원은 무엇인가?
• RQ2 무게 $n$의 이중 제타 값 간의 $\mathbb{F}_q(\theta)$-선형 관계는 어떻게 생성되는가?
• RQ3 특수 점들 사이의 $\mathbb{F}_q[t]$-선형 관계를 사용하여 이중 제타 값의 무게 $n$ 공간의 차원을 계산하는 기준을 설정할 수 있는가?
• RQ4 양의 특성에서 이중 제타 값 간의 선형 관계는 고전적 수체 맥락에서의 관계와 어느 정도 유사한가?
• RQ5 칼리츠 모듈의 $n$제곱 텐서 곱의 구조는 어떻게 무게 $n$의 다중 제타 값 간의 선형 관계를 제어하는가?

주요 결과

• 무게 $n$의 이중 제타 값 간의 모든 $\mathbb{F}_q(\theta)$-선형 관계는 칼리츠 모듈의 $n$제곱 텐서 곱에서 특수 점들 사이의 $\mathbb{F}_q[t]$-선형 관계로부터 유도된다.
• 시겔의 보조정리 원리를 통해 이중 제타 값의 무게 $n$ 공간의 차원을 계산하는 효과적인 기준이 확립된다.
• 모든 $q=2$에 대해 $n \leq 120$ 범위에서 무게 $n$의 이중 제타 값 공간의 차원은 $n-1$이며, $3 \leq n \leq 120$ 범위에서 $\mathbb{F}_p$-선형 관계는 존재하지 않는다.
• 모든 $q=3$에 대해 차원은 $n$이 증가함에 따라 증가하며, $n=150$까지의 명시적 값이 계산되었으며, $n=3$일 때 차원은 $3$, $n=4$일 때 $4$, $n=15$일 때 $13$이다.
• 무게 $n$의 이중 제타 값 간의 $\mathbb{F}_p$-선형 관계의 수는 $n$이 증가함에 따라 증가한다. 예를 들어 $n=17$일 때 $2$개, $n=32$일 때 $4$개, $n=67$일 때 $9$개이다.
• 제타 유사 성질(즉, 칼리츠 주기의 $n$제곱의 유리수 배인 성질)은 드물다: $q=3$일 때 $n=3$에서만 $1$개 존재하며, $n=4$부터 $n=15$까지는 존재하지 않는다.