[論文レビュー] Unramified Euler sums and Hoffman $\star$ basis

Claire Glanois|arXiv (Cornell University)|Mar 16, 2016

Advanced Mathematical Identities参考文献 8被引用数 5

ひとこと要約

本稿は、交互に奇数および偶数の引数を持つ非分岐モチーフ的オイラー和を用いて、モチーフ的多重ゼータ値（MMZV）の新たな基底を導入し、解析的予想のもとでモチーフ的ホフマンスターベースが空間 $\mathcal{H}^1$ の有効な基底であることを証明する。コアクションとモチーフ的ガロア降下を介してモチーフ的オイラー和と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$ の次数付き基底を構成する。
• Shift および Cut などの操作を含む $\zeta^{\sharp\sharp,\mathfrak{l}}$ に関する再帰的恒等式を用いて、モチーフ的和の間の関係を証明する。

実験結果

リサーチクエスチョン

• 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$ のモチーフ的多重ゼータ値の空間は、$a_i \geq 0$ を満たす $\zeta^{\sharp,\mathfrak{m}}(2a_0+1,2a_1+3,\dots,\overline{2a_p+2})$ によって与えられる次数付き基底を持つ。これはコアクションと深さフィルトレーションを用いて構成される。
• 解析的予想のもとで、モチーフ的ホフマンスターベース $\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 までで、分母に $2^{2n-1}-1$ とベルヌーイ数 $B_{2n}$ を含む係数 $\widetilde{D}_n$ および $\widetilde{D}^{k,n-k-1}$ の明示的表が計算されたが、分子の解釈は未だ不明である。
• $\zeta^{\sharp\sharp,\mathfrak{l}}$ と Shift や Cut などの操作を含む再帰的恒等式を用いて、モチーフ的和の表現の同値性を証明し、基底構造が確認された。