[論文レビュー] A note on derivation relations for multiple zeta values and finite multiple zeta values

Yasunobu Horikawa, Hideki Murahara+1 more|arXiv (Cornell University)|Sep 22, 2018

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

ひとこと要約

本稿では、多重ゼータ値（MZVs）および有限多重ゼータ値（FMZVs）の両者において、導出関係とオーノ型関係の同値性を確立し、両者の関係が構造的に同一であることを証明している。非可換多項式環および調和正則化を用いた代数的技法により、著者たちは導出関係を3通りの異なる方法で再証明しており、そのうちの1つはイハラの自己同型を用いた新規な手法であり、もう1つはφ-写像を用いた直接計算である。これにより、MZVsおよびFMZVsの理論における2大関係族が統合された。

ABSTRACT

The derivation relation is a well known relation among multiple zeta values, which was first obtained by Ihara, Kaneko and Zagier. The analogous formula for finite multiple zeta values, which we call the derivation relation for finite multiple zeta values, was conjectured by the third author and proved by the second author. In this paper, we show these two kinds of derivation relations are respectively equivalent to the Ohno type relations for multiple zeta values and finite multiple zeta values. We also reprove these derivation relations in several different ways.

研究の動機と目的

• 多重ゼータ値（MZVs）における導出関係とオーノ型関係の同値性を確立すること。
• この同値性を有限多重ゼータ値（FMZVs）へと拡張し、有限設定下での類似結果を証明すること。
• 異なる代数的技法を用いて、FMZVsにおける導出関係を複数の独立した証明法で再証明すること。
• MZVsおよびFMZVsの理論における2つの基本的関係族の構造的関係を明確にすること。
• 新しい代数的恒等式を用いて、FMZVsのφ-像と対称多重ゼータ値との間の予想的な同型写像を確認・再解釈すること。

提案手法

• 著者たちは非可換多項式環 $φ\left(\mathbb{Q}\langle x,y\rangle\right)$ を用い、φ-写像を定義して、MZVsおよびFMZVsをφ-像に属する要素と関連づけている。
• 彼らはφ-写像および$L_x$-同型を用いて、導出関係を非可換多項式のφ-像を含む恒等式に翻訳している。
• 同値性の証明は、$w \in \mathfrak{H}^1$ に対して $φ(L_x^{-1} δ_l L_x(w)) = 0$ という恒等式に依拠しており、これは導出関係がFMZV設定でも成立することを示している。
• 重要な技術的手段として、イハラの自己同型 $\Delta_u = \exp\left(\sum_{l=1}^\infty \frac{\partial_l}{l}(-u)^l\right)$ の使用があり、これにより導出関係が $\mathit{Z}_{\mathcal{F}}(L_x^{-1}(1 - \Delta_u)L_x(w)) = 0$ という消滅条件として再表現できる。
• 著者たちは調和正則化および $\tilde{S}$-写像を用いて、$\mathit{Z}_{\mathcal{F}}^\star$-値と $\mathit{Z}_{\mathcal{F}}$-値を関連づけ、$\tilde{S}\partial_l S(w)$ 恒等式を用いた第二の証明を導出している。
• 彼らはφ-写像および$\delta_l$-微分を用いて $\mathit{Z}_{\mathcal{F}}(L_x^{-1} \partial_l L_x(w)) = 0$ を示すことで、FMZVsにおける導出関係を検証し、オーノ型関係との同値性を確立している。

実験結果

リサーチクエスチョン

• RQ1 多重ゼータ値（MZVs）における導出関係とオーノ型関係は同値であるか？
• RQ2 有限多重ゼータ値（FMZVs）における導出関係は、有限設定下でオーノ型関係と同値であるか？
• RQ3 FMZVsにおける導出関係は、複数の独立した代数的技法を用いて再証明可能か？
• RQ4 φ-写像および$\tilde{S}$-写像は、導出関係およびオーノ型関係の文脈において、MZVsとFMZVsの間の翻訳をどのように支援するか？
• RQ5 イハラの自己同型 $\Delta_u$ は、有限設定下で導出関係を消滅恒等式として再解釈するために果たす役割は何か？

主な発見

• φ-写像および$L_x$-同型を用いた解析により、MZVsにおける導出関係とオーノ型関係が同値であることが示された。
• φ-写像および$\delta_l$-微分を用いた解析により、FMZVsにおける導出関係とオーノ型関係が同値であることが確認され、大嶋による予想が裏付けられた。
• 著者たちはFMZVsにおける導出関係を3通りの異なる証明法で提示した：1つはφ-写像および$\delta_l$-微分を用いたもの、1つは$\tilde{S}\partial_l S$-恒等式を用いたもの、もう1つはイハラの自己同型 $\Delta_u$ を用いたものである。
• $w \in \mathfrak{H}^1$ に対して恒等式 $\mathit{Z}_{\mathcal{F}}(L_x^{-1} \partial_l L_x(w)) = 0$ が成り立つことにより、FMZV設定下での導出関係が確認された。
• φ-写像はMZV設定における導出関係を、FMZV設定における対応する恒等式に写すことで、両理論の間の橋渡しを果たしている。
• $\mathit{Z}_{\mathcal{F}}(L_x^{-1}(1 - \Delta_u)L_x(w))$ の消滅がすべての $w \in \mathfrak{H}^1$ に対して成立することは、イハラの方法による導出関係の確認を示しており、新たな概念的証明を提供している。