[論文レビュー] Rational convex cones and cyclotomic multiple zeta values

Tomohide Terasoma|ArXiv.org|Oct 13, 2004

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

ひとこと要約

本稿では、cyclotomic multiple zeta values の一般化として、有理凸錐の zeta 値を導入し、それらが $\mathbb{Q}^{ab}$-線型結合として cyclotomic multiple zeta values に表現可能であることを証明する。この手法は、一変数関数 $I(y_n)$ の積分表現と微分方程式に依拠しており、これらは cyclotomic multiple polylogarithms と比較され、既知の特殊値を用いたこれらの zeta 値の明示的計算アルゴリズムが得られる。

ABSTRACT

In this paper, we introduce zeta values of rational convex cones, which is a generalization of cyclotomic multiple zeta values. These zeta values have integral expressions. The main theorem asserts that zeta values of cones can be expressed as linear combinations of cyclotomic multiple zeta values over some cyclotomic field.

研究の動機と目的

• 有理凸錐 $C \subset \mathbb{R}^m$ における zeta 値を定義することで、cyclotomic multiple zeta values の一般化を達成すること。
• 一変数関数 $I(y_n)$ を用いた積分表現を構築することで、これらの zeta 値を表現すること。
• $I(y_n)$ を cyclotomic multiple polylogarithms と比較し、zeta 値を既知の特殊関数と関連付けること。
• 有理凸錐の zeta 値を cyclotomic multiple zeta values の線型結合として表す明示的アルゴリズムを構築すること。
• これらの zeta 値が、$\mathcal{Z}_{\infty}$ に属すること、すなわち cyclotomic multiple zeta values の $\mathbb{Q}^{ab}$-線型包に属することを示すこと。

提案手法

• 有理凸錐 $C$ の zeta 値を $\zeta_C(l_1,\dots,l_n,\chi) = \sum_{x \in C^0 \cap \mathbb{Z}^m} \frac{\chi(x)}{l_1(x)\cdots l_n(x)}$ として定義する。ここで $l_i$ は正の有理係数線形形式、$\chi$ は有限位数の特徴である。
• 格子と特徴の誘導による帰納法を用いて、自由生成半群を持つ単体的錐への問題の還元を行う。
• 微分形式 $\frac{dx}{x}$ および $\frac{dx}{1 - e x}$ の反復積分を用いて、zeta 値の積分表現を構築する。
• 関数 $I(y_n)$ を導入し、その微分方程式を解析することで、cyclotomic multiple polylogarithms と関連付ける。
• [IKZ] および [R] の再帰的統合と正則化技術を用いて、$y=1$ における特異性を処理し、有限極限を抽出する。
• 得られた積分が $\mathcal{P}_k$ に属することを証明する。ここで $\mathcal{P}_k$ は重さ $\leq k$ の multiple polylogarithms の $\mathbb{Q}^{ab}$-線型結合の空間であり、これが主要な結果に至る。

実験結果

リサーチクエスチョン

• RQ1 有理凸錐の zeta 値は、$\mathbb{Q}^{ab}$-線型結合として cyclotomic multiple zeta values に表現可能か？
• RQ2 錐の zeta 値の積分表現は、対数的および有理型微分形式の反復積分とどのように関係するか？
• RQ3 補助関数 $I(y_n)$ が満たす微分方程式は何か？ それらは cyclotomic multiple polylogarithms のそれらとどのように比較できるか？
• RQ4 明示的なアルゴリズムを構築し、既知の特殊値を用いて錐の zeta 値を計算可能か？
• RQ5 混合テートコhomology が、ペアのtoric多様体と部分トーラスの間で、これらの zeta 値を周期積分として実現する役割を果たすか？

主な発見

• 有理凸錐 $C$ に対して、zeta 値 $\zeta_C(l_1,\dots,l_n,\chi)$ は $\mathcal{Z}_{\infty}$ の元である。ここで $\mathcal{Z}_{\infty}$ は cyclotomic multiple zeta values の $\mathbb{Q}^{ab}$-線型包である。
• $\zeta_C$ の積分表現は、形式 $\int_0^y \frac{dx}{x}^{k_1-1} \frac{dx}{1 - e_1 x} \cdots \frac{dx}{1 - e_m x}$ の反復積分を含み、重さ $k = k_1 + \cdots + k_m$ の multiple polylogarithms に相当する。
• 関数 $I(y_n)$ は、重さが低い multiple polylogarithm $g(y)$ を用いた $\frac{1}{(1 - e y)^\mu} g(y)$ の $\mathbb{Q}^{ab}$-線型結合として表現可能な微分方程式系を満たす。
• 反復積分 $f(y) = \int_0^y I(y_n) \frac{dy_n}{y_n}$ の極限 $\lim_{y \to 1} f(y)$ は存在し、$\mathcal{Z}_{\infty}$ に属する。その有限部分は $\frac{a_{e,m,0}}{(1 - e)^m}$ の $\mathbb{Q}^{ab}$-線型結合として表現可能である。
• 正則化プロセスにより、$y=1$ における対数的発散が消去され、結果として $\mathbb{Q}^{ab}$-線型結合としての cyclotomic multiple zeta values の有限結合が残る。
• 再帰的統合と係数抽出を用いた明示的アルゴリズムが構築され、$\zeta_C(l_1,\dots,l_n,\chi)$ が cyclotomic multiple zeta values の $\mathbb{Q}^{ab}$-線型結合として計算可能であることが保証される。