代数的定式化と複シャッフル関係式とは? わかりやすく解説

Weblio 辞書 > 辞書・百科事典 > ウィキペディア小見出し辞書 > 代数的定式化と複シャッフル関係式の意味・解説 

代数的定式化と複シャッフル関係式

出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2021/12/03 14:24 UTC 版)

多重ゼータ値」の記事における「代数的定式化と複シャッフル関係式」の解説

H = Q ⟨ x , y ⟩ {\displaystyle {\mathfrak {H}}=\mathbb {Q} \langle x,y\rangle } を有理係数非可換変数多項式環とし、 H 1 = Q + y H {\displaystyle {\mathfrak {H}}^{1}=\mathbb {Q} +y{\mathfrak {H}}} 、 H 0 = Q + y H x {\displaystyle {\mathfrak {H}}^{0}=\mathbb {Q} +y{\mathfrak {H}}x} をその部分代数とする。 H 1 {\displaystyle {\mathfrak {H}}^{1}} の (定数でない) 単項式正整数 k1, ... ,kr用いて yxk1-1 … yxkr-1 と書けるため、これらはインデックス一対一対応する ( H 0 {\displaystyle {\mathfrak {H}}^{0}} の単項式許容インデックス対応する。)。この対応関係線形拡張した写像を I : H 1 → R {\displaystyle I:{\mathfrak {H}}^{1}\to \mathbb {R} } と書く。また、 Z ( 1 ) = 1 {\displaystyle Z(1)=1} Z ( y x k 1 − 1 ⋯ y x k r − 1 ) = ζ ( k 1 , … , k r ) {\displaystyle Z(yx^{k_{1}-1}\cdots yx^{k_{r}-1})=\zeta (k_{1},\ldots ,k_{r})} を線形拡張してできる写像 Z : H 0 → R {\displaystyle Z:{\mathfrak {H}}^{0}\to \mathbb {R} } を evalutation map という。 次の規則で H 1 {\displaystyle {\mathfrak {H}}^{1}} 上に双線形な積 ∗ を導入する w ∈ H 1 {\displaystyle w\in {\mathfrak {H}}^{1}} に対し 1 ∗ w = w1 = w 正整数 k, l と w 1 , w 2 ∈ H 1 {\displaystyle w_{1},w_{2}\in {\mathfrak {H}}^{1}} に対し w1yxk-1 ∗ w2yxl-1 = (w1 ∗ w2yxl-1)yxk-1 + (w1yxk-1 ∗ w2)yxl-1 + (w1 ∗ w2)yxk+l-1 この積を調和積 (harmonic product) という。このとき evaluation map Z が調和積を入れて考えた代数 H 0 {\displaystyle {\mathfrak {H}}^{0}} から R への群準同型になっているという事実を調和関係式 (harmonic relation) という。 同様にして、 H {\displaystyle {\mathfrak {H}}} 上に双線形な積 ш を導入する: w ∈ H {\displaystyle w\in {\mathfrak {H}}} に対し 1 ш w = w ш 1 = w u 1 , u 2 ∈ { x , y } {\displaystyle u_{1},u_{2}\in \{x,y\}} と w 1 , w 2 ∈ H {\displaystyle w_{1},w_{2}\in {\mathfrak {H}}} に対し u1w1 ш u2w2 = u1(w1 ш u2w2) + u2(u1w1 ш w2) この積をシャッフル積 (shuffle product) という。このとき evaluation map Z がシャッフル積を入れて考えた代数 H 0 {\displaystyle {\mathfrak {H}}^{0}} から R への群準同型になっているという事実をシャッフル関係式 (shuffle relation) という。 二つ多重ゼータ値の積を調和関係式シャッフル関係式二つ用いて展開し比較することで多重ゼータ値線形関係式が得られる。これを有限シャッフル関係式 (finite double shuffle relation) という。 調和積とシャッフル積のいずれかを積として考えた代数において、 H 1 {\displaystyle {\mathfrak {H}}^{1}} が多項式環 H 0 [ y ] {\displaystyle {\mathfrak {H}}^{0}[y]} に同型であるという事実が証明されている。このことを用いて、 H 1 {\displaystyle {\mathfrak {H}}^{1}} の単項式を y の多項式として表示したときの定数項取り出す写像 (を線形拡張したもの) を、使う積の種類に応じてそれぞれ reg∗, regш と書く。このとき調和関係式シャッフル関係式において H 0 {\displaystyle {\mathfrak {H}}^{0}} を H 1 {\displaystyle {\mathfrak {H}}^{1}} に、 Z {\displaystyle Z} を Z ∘ r e g {\displaystyle Z\circ \mathrm {reg} } に置き換えて同様の事実成り立つ。そうして得られる関係式正規化シャッフル関係式 (regularized double shuffle relation) という。

※この「代数的定式化と複シャッフル関係式」の解説は、「多重ゼータ値」の解説の一部です。
「代数的定式化と複シャッフル関係式」を含む「多重ゼータ値」の記事については、「多重ゼータ値」の概要を参照ください。

ウィキペディア小見出し辞書の「代数的定式化と複シャッフル関係式」の項目はプログラムで機械的に意味や本文を生成しているため、不適切な項目が含まれていることもあります。ご了承くださいませ。 お問い合わせ



英和和英テキスト翻訳>> Weblio翻訳
英語⇒日本語日本語⇒英語
  

辞書ショートカット

すべての辞書の索引

「代数的定式化と複シャッフル関係式」の関連用語

1
多重ゼータ値 百科事典
14% |||||

代数的定式化と複シャッフル関係式のお隣キーワード
検索ランキング

   

英語⇒日本語
日本語⇒英語
   



代数的定式化と複シャッフル関係式のページの著作権
Weblio 辞書 情報提供元は 参加元一覧 にて確認できます。

   
ウィキペディアウィキペディア
Text is available under GNU Free Documentation License (GFDL).
Weblio辞書に掲載されている「ウィキペディア小見出し辞書」の記事は、Wikipediaの多重ゼータ値 (改訂履歴)の記事を複製、再配布したものにあたり、GNU Free Documentation Licenseというライセンスの下で提供されています。

©2025 GRAS Group, Inc.RSS