[논문 리뷰] Unramified Euler sums and Hoffman $\star$ basis

Claire Glanois|arXiv (Cornell University)|2016. 03. 16.

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

한 줄 요약

이 논문은 비분할 모티빅 오일러 합(알터너레이팅한 홀수 및 짝수 인자)을 사용하여 모티빅 다중 제타 값(MMZV)의 새로운 기저를 제안하며, 분석적 추측 하에 모티빅 호프만 스타 기저가 공간 $\mathcal{H}^1$ 에 대해 타당한 기저임을 증명한다. 이는 공액동작(coaction)과 모티빅 갈루아 강하(Galois descent)를 통해 모티빅 오일러 합과 MMZV 간의 연결을 수립하며, 특정 오일러 합이 프로베니우스 불변이며 $\mathcal{H}^1$ 에 속함을 보이며, 깊이 필터링과 공액동작 호환성에 기반한 명시적 기저를 구성한다.

ABSTRACT

When looking at how periods of $π_{1}^{\mathfrak{m}}(\mathbb{P}^{1}\diagdown \lbrace 0, 1, \infty brace )$, i.e. multiple zeta values, embeds into periods of $π_{1}^{\mathfrak{m}}(\mathbb{P}^{1}\diagdown \lbrace 0, \pm 1, \infty brace )$, i.e. Euler sums, an explicit criteria via the coaction $Δ$ acting on their motivic versions comes out. In this paper, adopting this Galois descent approach, we present a new basis for the space $\mathcal{H}^{1}$ of motivic multiple zeta values via motivic Euler sums. Up to an analytic conjecture, we also prove that the motivic Hoffman star basis $ζ^{\star, \mathfrak{m}} (2^{a_{1}},3,\cdots,3, 2^{a_{p}}, 3, 2^{b})$ is a basis of $\mathcal{H}^{1}$. Under a general motivic identity that we conjecture, these bases are identical. Other examples of unramified ES with alternating patterns of even and odds are also provided.

연구 동기 및 목표

• 비분할 모티빅 오일러 합을 사용하여 모티빅 다중 제타 값의 공간 $\mathcal{H}^1$ 에 대한 새로운 기저를 구성한다.
• 모티빅 공액동작과 갈루아 강하를 통해 모티빅 오일러 합과 모티빅 다중 제타 값 간의 연결을 수립한다.
• 분석적 추측 하에 모티빅 호프만 스타 기저 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 가 $\mathcal{H}^1$ 의 기저임을 증명한다. 이 추측은 호프만 기저에 대해 자그의 추측과 유사하다.
• 홀수 양수 및 짝수 음수 인자를 가진 비분할 오일러 합의 명시적 예를 제시하고, 기존의 모티빅 항등식과 연관시킨다.

제안 방법

• 모티빅 공액동작 $\Delta$ 를 사용하여 모티빅 오일러 합의 구조를 분석하고, 모티빅 다중 제타 값과의 관계를 규명한다.
• 모티빅 갈루아 군 $\mathcal{G}$ 를 통한 갈루아 강하를 적용하여 $\mathcal{H}^1$ 내 프로베니우스 불변 주기들을 식별한다.
• 모티빅 결과를 실 오일러 합에 대한 추측적 결과로 변환하기 위해 주기 사상 $\mathbf{per}: \mathcal{H}^2 \to \mathcal{Z}^2$ 를 사용한다.
• 다양한 기저를 통합하는 데 핵심적인 역할을 하는 추측적 항등식으로서 모티빅 라인바거–조아 항등식을 활용한다.
• 깊이 필터링과 공액동작 호환성을 적용하여 홀수 양수 및 짝수 음수 인자를 가진 비분할 오일러 합으로부터 $\mathcal{H}^1$ 의 계급 기저를 구성한다.
• $\zeta^{\sharp\sharp,\mathfrak{l}}$ 와 Shift, Cut 등의 연산을 포함하는 재귀 항등식을 사용하여 모티빅 합 간의 관계를 증명한다.

실험 결과

연구 질문

• RQ1 홀수 양수 및 짝수 음수 인자를 가진 비분할 모티빅 오일러 합은 $\mathbb{Q}$-선형 조합으로서 모티빅 다중 제타 값으로 표현될 수 있는가?
• RQ2 분석적 추측 하에 모티빅 호프만 스타 기저 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 는 $\mathcal{H}^1$ 의 타당한 기저인가?
• RQ3 모티빅 공액동작과 갈루아 강하의 구조는 특정 오일러 합의 비분할 성질과 어떻게 관련되는가?
• RQ4 모티빅 라인바거–조아 항등식은 $\mathcal{H}^1$ 의 다양한 기저를 통합하는 데 어떤 역할을 하는가?
• RQ5 모티빅 항등식 추측 하에 $\zeta^{\sharp,\mathfrak{m}}(2a_0+1,2a_1+3,\dots,\overline{2a_p+2})$ 와 모티빅 호프만 스타 기저는 동치인가?

주요 결과

• $\mathcal{H}^1$ 의 모티빅 다중 제타 값 공간은 깊이 필터링과 공액동작을 통해 $\zeta^{\sharp,\mathfrak{m}}(2a_0+1,2a_1+3,\dots,\overline{2a_p+2})$ ($a_i \geq 0$) 로 주어지는 계급 기저를 갖는다.
• 분석적 추측 하에 모티빅 호프만 스타 기저 $\zeta^{\star,\mathfrak{m}}(2^{a_1},3,\dots,3,2^{a_p},3,2^b)$ 는 $\mathcal{H}^1$ 의 기저임을 증명하였다. 이 추측은 호프만 기저에 대해 자그의 추측과 유사하다.
• 홀수 양수 및 짝수 음수 인자를 가진 비분할 모티빅 오일러 합은 프로베니우스 불변이며 $\mathcal{H}^1$ 에 속함을 확인하여 기하학적 모티빅 기원을 뒷받침한다.
• 모티빅 라인바거–조아 항등식의 추측적 형태는 $\zeta^{\sharp,\mathfrak{m}}$ 기저와 모티빅 호프만 스타 기저가 동일함을 시사한다.
• 무게 9까지의 계수 $\widetilde{D}_n$ 과 $\widetilde{D}^{k,n-k-1}$ 의 명시적 표를 계산하였으며, 분모는 $2^{2n-1}-1$ 과 베르누이 수 $B_{2n}$ 를 포함하지만 분자는 아직 설명되지 않았다.
• $\zeta^{\sharp\sharp,\mathfrak{l}}$ 와 Shift, Cut 등의 연산을 포함하는 재귀 항등식을 사용하여 모티빅 합 표현 간의 동치성을 증명하였으며, 이는 기저 구조의 타당성을 확인한다.