[論文レビュー] Systems of Dyson-Schwinger equations

Loïc Foissy|arXiv (Cornell University)|Sep 2, 2009

Advanced Topics in Algebra参考文献 21被引用数 4

ひとこと要約

本稿は、コンネス＝クライマーの装飾付き根付き木のホップ代数の部分代数として生成されるホップ代数が、自身もホップ部分代数となるような組合せ的ダイソン＝シュヴィンガー方程式系（SDSE）を特徴づける。変数変換、拡大、拡張といった操作を導入し、このようなホップSDSEが、基本的または巡回的系をこれらの操作で合成することで得られることを証明する。関連するリー代数構造は、パスリー代数、ファーディ・ブルーノ代数、またはアーベルリー代数の反復拡張として分類される。

ABSTRACT

We consider systems of combinatorial Dyson-Schwinger equations (briefly, SDSE) X_1=B^+_1(F_1(X_1,...,X_N))...X_N=B^+_N(F_N(X_1,...,X_N)) in the Connes-Kreimer Hopf algebra H_I of rooted trees decorated by I={1,...,N},where B^+_i is the operator of grafting on a root decorated by i, and F_1...,F_N are non-constant formal series.The unique solution X=(X_1,...,X_N) of this equation generates a graded subalgebra H_S of H_I. We characterize here all the families of formal series (F_1,...,F_N) such that H_S is a Hopf subalgebra. More precisely, we define three operations on SDSE (change of variables, dilatation and extension) and give two families of SDSE (cyclic and fundamental systems), and prove that any SDSE (S) such that H_S is Hopf is the concatenation of several fundamental or cyclic systems after the application of a change of variables, a dilatation and iterated extensions. We also describe the Hopf algebra H_S as the dual of the enveloping algebra of a Lie algebra g_S of one of the following types: 1. g_S is a Lie algebra of paths associated to a certain oriented graph. 2. g_S is an iterated extension of the Faà di Bruno Lie algebra. 3. g_S is an iterated extension of an abelian Lie algebra.

研究の動機と目的

• ダイソン＝シュヴィンガー方程式系の解が生成する部分代数が、コンネス＝クライマーのホップ代数のホップ部分代数となるような形式的級数のすべての族を特定すること。
• そのような系によって生成されるホップ代数の双対リー代数の構造を分類すること。
• 変数変換、拡大、拡張などの操作を用いて、ホップSDSEの構造的分解を確立すること。
• ホップ代数が、三種類の特定のタイプのリー代数の一つであるパスリー代数、ファーディ・ブルーノ代数の反復拡張、またはアーベルリー代数の反復拡張の包絡代数の双対として記述されることを述べること。

提案手法

• ホップ代数 $ \mathcal{H}_I $ の中で、$ X_i = B^+_i(F_i(X_1,\dots,X_N)) $ として定義されるダイソン＝シュヴィンガー方程式系（SDSE）を、$ I = \{1,\dots,N\} $ で装飾された根付き木のホップ代数上で考える。ここで $ B^+_i $ はタイプ $ i $ の根を付加する操作である。
• 各SDSEに対して、関数的依存関係を示す辺を持つ有向グラフ $ G_{(S)} $ を関連付け、グラフの連結性によって接続性を定義する。
• 三つの操作を導入する：変数変換（変数のスケーリング）、拡大（頂点を複数のコピーに置き換える）、拡張（独立な方程式を持つ新たな変数を追加する）。
• 木構造における頂点のレベル分析を通じて、解の代数 $ \mathcal{H}_{(S)} $ の構造を特徴づける。レベルは依存関係の深さに基づいて区別する。
• 双対空間 $ \mathcal{H}_{(S)}^* $ を用いて前リー代数構造を定義し、これによりリー代数 $ \mathfrak{g}_{(S)} $ を導出する。$ \mathfrak{g}_{(S)} $ を三つのタイプのいずれかに分類する：パスリー代数、ファーディ・ブルーノ代数の反復拡張、またはアーベルリー代数の反復拡張。
• 任意のホップSDSEが、変数変換、拡大、反復的拡張を施した後、基本的または巡回的系の連結として得られることを証明する。

実験結果

リサーチクエスチョン

• RQ1 どの形式的級数の族 $ (F_1,\dots,F_N) $ が、コンネス＝クライマーのホップ代数 $ \mathcal{H}_I $ のホップ部分代数 $ \mathcal{H}_{(S)} $ を生成する解 $ (X_1,\dots,X_N) $ を与えるか？
• RQ2 ホップ代数 $ \mathcal{H}_{(S)} $ の双対となるリー代数 $ \mathfrak{g}_{(S)} $ の構造は、既知のリー代数タイプの観点からどのように分類できるか？
• RQ3 変数変換、拡大、拡張といった操作を用いて、すべてのホップSDSEを基本的または巡回的系から生成できるか？
• RQ4 SDSEによって生成される木構造における頂点のレベルは、どのような役割を果たし、代数的性質 $ \mathcal{H}_{(S)} $ とどのように関係するか？
• RQ5 $ \mathcal{H}_{(S)}^* $ 上の前リー代数構造とリー代数 $ \mathfrak{g}_{(S)} $ の構造の関係は何か？これにより、$ \mathcal{H}_{(S)} $ 上のキャラクター群にどのような意味が生じるか？

主な発見

• ダイソン＝シュヴィンガー方程式系がホップ部分代数 $ \mathcal{H}_{(S)} $ を生成するのは、変数変換、拡大、反復的拡張を施した後、基本的または巡回的系の連結に同倣可能な場合に限る。
• 双対リー代数 $ \mathfrak{g}_{(S)} $ は、三つのタイプのいずれかに同型である：有向グラフに付随するパスリー代数、ファーディ・ブルーノリー代数の反復拡張、またはアーベルリー代数の反復拡張。
• $ \mathcal{H}_{(S)}^* $ 上の前リー代数構造が $ \mathfrak{g}_{(S)} $ のリー括弧を誘導し、このような前リー積とリー代数の拡大の間には自然な全単射が存在する。
• $ \mathcal{H}_{(S)} $ 上のキャラクター群は、リー代数 $ \mathfrak{g}_{(S)} $ に関連する群と同型であり、その群構造は $ \mathfrak{g}_{(S)} $ のタイプに依存する。
• 木構造における頂点のレベルは、その依存関係グラフにおける深さに対応し、レベル0、1、および2以上は代数的分解において異なる構造的役割を果たす。
• 任意のSDSEの解 $ (X_1,\dots,X_N) $ は一意に存在し、$ \mathcal{H}_{(S)} $ を生成する。この部分代数は、グレーディングを備えており、三つの操作とリー代数タイプの分類から導かれる構造的条件を満たす場合に限りホップ部分代数となる。