はじめに
この記事では, [3] で導入された refined 対称多重ゼータ値 と [1] で導入された -value について基本的な性質を取り扱い, これらが一致することを示します. 内容はほとんどこれらの論文に基づきます. 双方の文献で index の向きが違うのを読みやすくするための個人的な覚書ですので, 原論文とは若干記号の用法が異なります. 調和代数の性質など, いくつか証明を省略しているところがありますが, 適宜参考文献をご参照いただければと思います. 不明点・ご意見・文句などあれば私の
Twitter
もしくは
Instagram
までお願いいたします.
調和代数
非負整数 に対し, の元を 深さ の index と呼ぶ. とくに, 深さ の index はただ一つ存在するものと考え, これを と書く. 深さを問わない index 全体の集合を と書き, , とおく. さらに, 正整数 に対し, 上の 線型写像 を によって定める (要は右端の成分として を付け足す操作である. 今後も index に括弧を付ける付けないは文脈から想像できるものとして曖昧に扱う).
調和積
次の規則によって 上の 双線型写像 を定める:
は 調和積 と呼ばれ, は可換かつ結合的な 代数になる ([5, Theorem 2.1]).
代数的正規化
の部分集合 を
と定め, これの元を admissible index と呼ぶ. とおく. 調和積の定義より, が の部分 代数になっていることがわかる.
[6, Corrollary 5]
次の性質を満たす 線型写像 が一意に存在する:
と非負整数 に対し, における等式
が成り立つ. ここで とは に を 回適用してできる index である.
この命題から が 代数の準同型 を定めていることもわかる.
対称化写像
index に対し
と定める. のときは と考える. これを延長してできる 線型写像 を 対称化写像 と呼ぶ (名称としての初出は [7] でしょうか?).
いかなる index も で写すと常に admissible index の線型和になる: 即ち である.
次節以降の結果を用いるが, index が admissible であることと が に依らないことは同値である. したがって が定数であることを示せばよいが, これは補題 18 からわかる.
多重ゼータ値と調和正規化
多重ゼータ値
admissible index に対し
とおき, 多重ゼータ値 と呼ぶ. なら とおく. 多重ゼータ値の張る空間を と書く.
対応 を 線型に延長することで が定まるが, 次が知られている.
調和関係式と命題 1 より, 代数の準同型 であって, を に送り, また 上に制限すると に一致するようなものが一意に存在する. これを と書き, 調和正規化多項式 と呼ぶ. 命題 1 より, の多項式としての次数は の末尾に並ぶ の個数に等しい (とくに が admissible であることと が定数であることは同値である).
いかなる index に対してもある正の定数 が存在して
が成り立つ. ここで
は Euler 定数である.
対称多重ゼータ値
命題 2 により, 任意の index に対し が意味を持つ. この値の における射影を と書き, 対称多重ゼータ値 と呼ぶ.
調和正規化多項式が 代数準同型 を与えていたことから
と書くこともできる (命題 2 より右辺は に依らない).
反復積分
以後, と書いたら の有限部分集合のこととする.
接基点とpath
の点 と の元 () の組を 接基点 と呼び, 単に と書く. 接基点 , が与えられているとき, 区分的に滑らかな連続写像 が
をすべて満たし, かつ ならば となるとき, を から への 上の path と呼ぶ.
接基点 が与えられているとき, から への path のホモトピー類 (これの定義は [2, §3.8.3] 参照) 全体の集合を と書く. このとき path どうしの合成
および ( は接基点), path の逆向きを与える写像
が定まる.
シャッフル積
の元で添字付けられた形式的変数による 上の非可換多項式環を と書く. このとき 双線型写像 を
というルールによって帰納的に定める. は可換かつ結合的な 代数になる.
とくに, , とおくと, に対し は 代数となる. 一方, 簡単にわかるように, index に対し とおくと は全単射 を与え, また に制限すると への全単射を与える. この対応を通じて, index , に対し とおいて 双線型に延長することで および に ( とは異なる積 によって) 代数の構造が入る.
正規化反復積分
, を接基点, とする. このとき, 任意の に対し, ある非負整数 および が存在して
となる. これを用いて
とおき, とくに を代入してできる写像 (つまりいまの記号なら ) を 線型に延長して を定める.
が成り立つように定義したかったため, 既存の文献で採用されている反復積分の正規化多項式の記号 (たとえば [4, §5] の冒頭) とは の符号が違います.
定義中に現れた に関する漸近展開において, もし かつ であれば, そもそも左辺の積分が で収束するため となって の値が に依らないことがわかる.
反復積分の基本性質
を接基点, , とし, , を の元としたとき, 次が成り立つ.
- (シャッフル積公式) .
- (反転公式) .
- (path分解公式) .
以後, () から定まる の元を と書く.
admissible index に対し
が成り立つ.
命題 6 より, 写像
は に制限したとき に一致する. これを と書くことにし, とくに を代入して得られる値を などと書く.
あとに述べるように, と は同じではないものの互いに深く関係している. たとえば次が成り立つ:
[6, Corollary 5]
次の性質を満たす 線型写像 が一意に存在する:
と非負整数 に対し, における等式
が成り立つ.
admissible index と非負整数 に対し
が成り立つ.
の深さを と書く. 命題 7 の両辺に を適用することで での等式だと思い, を適用することで, シャッフル積公式 (命題 5 (1)) より
となる. の像は常に に入ることから, 多重ゼータ値の反復積分表示 (命題 6) より
となる. また
であるから となり, したがって
を得る. 両辺で とすることで となるから目的の主張を得る.
対称多重ゼータ値が に依らない値
の 上の射影として定義できたことを思い出し,
と定めておく (あとで に依らないことを示す).
Refined対称多重ゼータ値
[3, Definition 2]
複素平面上で の周囲を反時計回りに一周する path のホモトピー類を と書き, とおく. index に対し
とおき, refined 対称多重ゼータ値 と呼ぶ.
と書き, と書く. まず であったから, path 分解公式と反転公式 (それぞれ命題 5 の (3), (2)) より
であるが, 右辺の和における の部分は, path 分解公式をもう一度使うことによって
となる. また の定義より
であるから, 結局
と書ける. さらに右辺は反転公式と の定義により
と計算できる.
任意の index に対し であり, で に一致する.
-多重調和和
正整数 に対し とおく.
-多重調和和
を正整数, とする. このとき index に対し
とおく. ここで正整数 に対し
である.
が の深さ以下になるときは だと思うことにして, としておく.
index に対し, 補助的な和
を定める (両者の違いは和の上限と指数部分の符号のみである). なら両者とも と思っておく.
index に対し
が成り立つ. ここで上付きのバーは複素共役を表す.
奇数の場合は と の定義において和の範囲に違いがないためすぐにわかる. が偶数のときは の定義に現れる和を分割することで
となる.
に対し
であるから
が成り立つ. 右辺の和の範囲において, がどこに位置しているかに注目することで
という分割ができるが, 残った後ろの和で () という変換を施すことで
が得られる.
任意の admissible index に対し正整数 が存在して
が成り立つ.
のときは明らかである. 実数 と正整数 に対し
とおくと
であるから
と分割できる. 右辺の第一項, 第二項をそれぞれ , と書くことにし, まず を評価する: で が解析的であることより
と書けて, このことより なら なる正の定数 が存在する. この評価と
を組み合わせれば
と評価できる. さらに より であるから, 正定数 を用いて
とできる. という仮定により, 多重調和和の漸近展開 (命題 4) によって, ある定数 を用いて () とできる. また, 定義より
であり, が admissible である (したがって である) から, 命題 4 によって () なる定数 があることもわかる.
定義より
と書ける ( は が偶数なら , 奇数なら ). 実数 に対し とおくと, これは区間 上で非負かつ単調増加であることから
と評価できる. ここで とおくと であるから両側の積分は
と評価できる. これと先ほどの不等式から
という風にできるが, 古典的な評価
より補題が従う.
任意の index に対し, 正整数 が存在して
が成り立つ.
に関する主張のみ示せばよい ( の漸近展開はそれと補題 9 より従う). admissible index と非負整数 を用いて と書いておいて, の帰納法で証明を行う. のときは補題 11 そのものである. 適当な でできているとすれば, 正整数 () に対して成り立つ等式
を用いることで
と計算できる. 右辺の第一項以外には帰納法の仮定が適用できるため,
と書くことにすれば, 正整数 , が存在して
となる (命題 1 と調和正規化多項式の定義により, は の多項式であったことに注意. 二つ目の等号はそれを用いて の掛かった項を シンボルの中に吸収し, 残った部分を調和積の定義から計算するとわかる). 一方で, これの左辺にも帰納法の仮定を適用できる: 補題 12 によって が成り立つから, ある正整数 があって
となる. これと今までの結果を合わせると, 正整数 を用いて
という評価が得られるが, が調和積に関する準同型であったことから となって目的の結果が得られる.
の表示 (補題 10) と の漸近展開 (命題 13) から, 正整数 を用いて
と書けるが, 補題 18 より右辺にある有限和は示したい等式の右辺に等しい.
母関数の計算
を可換環とする. 写像 が与えられているとき, index に対し
とおく. このとき, に対し
とおくと
が成り立つ. ここで index に対し と書いており, は () から定まる 上の反準同型である.
および が与えられているとき, における の係数を と書く. であるから であり, したがって示すべきことは ということになる. この等式は, と書くと
のようにしていえる.
に対し, 前節までで定義した量 の母関数を
として定める.
冪級数 を
で定める. 通常のガンマ関数とは という関係がある.
正規化定理 ([6, Theorem 1])
線型写像 を
によって定めると, 任意の index に対し が成り立つ.
の定義および命題 1 より, なら
とできる. の場合でも命題 7 およびその系を用いれば同じ結果が示せる.
を係数ごとの作用で に延長すると, 正規化定理より である. これと補題 17 を使うと, の定義より
を得る.
index と に対し, 値
の母関数は
と書けて, とくに に依らない.
補題 15 より
と書けるが, これの左辺は補題 17 により
となる.
まず
とおくと, 補題 18 および定理 14 より
がわかる. 一方で, index を逆向きにしたものを と書くことにし, とおけば, 命題 8 より
となり, 補題 17 の系から
がわかる. ガンマ関数と の関係および相反公式を用いれば
であるから, の定義より
が得られた.
[1]
J. I. Burgos Gil and J. Fresán, Multiple zeta values: From numbers to motives, to appear in Clay Mathematics Proceedings
[2]
M. Hirose and N. Sato, The motivic Galois group of mixed Tate motives over $\mathbb{Z}[1/2]$ and its action on the fundamental group of $\mathbb{P}^{1}\setminus\{0,\pm 1,\infty\}$, preprint, arXiv:2007.04288, 2020
[3]
K. Ihara, M. Kaneko and D. Zagier, Derivation and double shuffle relations for multiple zeta values, Compos. Math., 2006, pp. 307-338
[4]
H. Bachmann, Y. Takeyama and K. Tasaka, Cyclotomic analogues of finite multiple zeta values, Compos. Math., 2018, pp. 2701-2721
[5]
M. Hirose, Double shuffle relations for refined symmetric multiple zeta values, Doc. Math., 2020, pp. 365-380
[6]
M. Ono, $t$-adic symmetrization map on the harmonic algebra, J. Algebra, 2022, pp. 654-669
[7]
M. E. Hoffman, The algebra of multiple harmonic series, J. Algebra, 1997, pp. 477-495