[논문 리뷰] On linear relations among totally odd multiple zeta values related to period polynomials

Koji Tasaka|arXiv (Cornell University)|2014. 02. 14.

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

한 줄 요약

이 논문은 브라운의 모티브적 작용과 관련된 행렬 구성에 기반하여, 완전히 홀수인 다중 리만 제타 함수값(MZVs)과 모듈라 형식의 주기 다항식 사이의 연결 고리를 설정한다. 행렬 $ C_{N,4} $의 왼쪽 영공간이 제한된 짝수 주기 다항식과 대응됨을 증명함으로써, $ C_{N,4} $의 질량에 대한 새로운 상한을 도출하며, 깊이 4에서 모티브적 브라운허스트-크레이머 추측의 비대칭 부분을 지지한다.

ABSTRACT

We show that there is a relationship between modular forms and totally odd multiple zeta values, by relating the matrix $E_{N,r}$, whose entries are given by the polynomial representations of the Ihara action, with even period polynomials. We also consider the matrix $C_{N,r}$ defined by Brown and give a new upper bound of the rank of $C_{N,4}$. This result gives support to the uneven part of the motivic Broadhurst-Kreimer conjecture of depth 4.

연구 동기 및 목표

• 완전히 홀수인 다중 리만 제타 함수값(MZVs)과 모듈라 형식의 주기 다항식 사이의 관계를 조사하는 것.
• 브라운가 정의한 행렬 $ C_{N,r} $를 분석하는 것. 이는 무게 $ N $과 깊이 $ r $를 가진 완전히 홀수인 MZVs 간의 $ \mathbb{Q} $-선형 관계를 암호화한다.
• 행렬 $ C_{N,4} $의 질량에 대한 새로운 상한을 제시하여, 깊이 4에서 모티브적 브라운허스트-크레이머 추측의 비대칭 부분을 지지하는 것.
• 제한된 짝수 주기 다항식과 행렬 $ E_{N,r} $의 왼쪽 영공간 사이의 대응 관계를 설정하는 것. 여기서 $ E_{N,r} $는 $ C_{N,r} $의 인수이다.

제안 방법

• 브라운의 작용소 $ D_m $를 사용하여 행렬 $ C_{N,r} $를 정의한다. 이 작용소는 모티브적 MZVs의 깊이 필터링을 유지한다.
• 행렬 $ E_{N,r} $를 $ C_{N,r} $의 우측 인수로 도입하며, 그 성분은 이하라 작용의 다항식 표현에서 유도된다.
• 일반화된 아이히러-슈미어 관계를 만족하는 짝수이자 동차인 다항식의 공간 $ \mathbf{W}_{N,r} $를 구성한다.
• $ \mathbf{W}_{N,r} $에서 $ E_{N,r} $의 왼쪽 영공간으로의 단사 사상 수립. 이는 모듈라 형식 이론과 MZV 관계 사이의 연결 고리를 형성한다.
• $ \mathbf{W}_{N,r} $의 차원을 이용하여 $ \dim_\mathbb{Q} \ker E_{N,r} $의 하한을 도출하고, 이를 통해 $ \operatorname{rank} C_{N,r} $의 상한을 유도한다.
• 리드니어드 워드와 셔플 곱의 이론을 적용하여 특정 MZV 기저의 선형 독립성을 검증함으로써, 질량 상한의 타당성을 확인한다.

실험 결과

연구 질문

• RQ1 완전히 홀수인 다중 리만 제타 함수값은 어떻게 모듈라 형식의 주기 다항식과 관련이 있는가?
• RQ2 $ C_{N,4} $의 질량은 모듈라 형식 이론을 사용하여, 완전히 홀수인 MZVs 간의 $ \mathbb{Q} $-선형 관계를 암호화하는 데 사용될 수 있는가?
• RQ3 깊이 $ r \geq 2 $에 대해, $ C_{N,r} $의 왼쪽 영공간과 제한된 짝수 주기 다항식 사이에 구조적 대응 관계가 존재하는가?
• RQ4 차수 $ N-2 $의 제한된 짝수 주기 다항식 공간의 차원이 $ \Gamma_1 $의 측두형식 공간의 차원과 일치하는가?
• RQ5 셔플 대수 내 특정 리드니어드 기저 원소들의 선형 독립성을 확립함으로써, $ C_{N,4} $의 질량 상한을 확인할 수 있는가?

주요 결과

• $ \mathbf{W}_{N,2} $, 즉 차수 $ N-2 $의 제한된 짝수 주기 다항식 공간의 차원은 아이히러-슈미어-마닌 대응을 통해 $ \Gamma_1 $의 측두형식 공간의 차원과 같다.
• $ \mathbf{W}_{N,2} $와 $ E_{N,2} = C_{N,2} $의 왼쪽 영공간 사이에 일대일 대응이 존재하여, 깊이 2의 기초적인 연결 고리를 확립한다.
• $ r \geq 3 $일 경우, $ \mathbf{W}_{N,r} $에서 $ E_{N,r} $의 왼쪽 영공간으로의 단사 사상이 존재하여, 깊이 2의 결과를 일반화한다.
• $ \mathbf{W}_{N,4} $의 차원은 $ \dim_\mathbb{Q} \ker E_{N,4} $의 하한을 제공하며, 이는 $ \operatorname{rank} C_{N,4} $의 상한을 이끌어낸다.
• $ \Pi_N \cup \bigcup_{(N_1,N_2) \in S_{N,2}} \Pi_{N_1,N_2}^{(1)} \cup \bigcup_{(N_1,N_2) \in L_N^*} \Pi_{N_1,N_2}^{(2)} $의 집합은 $ \mathbb{Q} $ 위에서 선형 독립이며, 이는 기저 구성에서 셔플 곱의 겹침이 없음을 확인한다.
• $ \dim \mathbf{W}_{N,4} $로부터 유도된 $ \operatorname{rank} C_{N,4} $의 상한은 깊이 4에서 모티브적 브라운허스트-크레이머 추측의 비대칭 부분을 지지한다.