[论文解读] Systems of Dyson-Schwinger equations

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

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

一句话总结

本文表征了组合Dyson-Schwinger方程系统（SDSE），其在Connes-Kreimer带装饰根树的Hopf代数中生成的子代数本身即为Hopf子代数。文章引入了变量替换、伸缩和扩张等操作，并证明任何此类Hopf SDSE均可通过基本或循环系统经由这些操作生成，其对应的李代数结构被分类为路径李代数、Faà di Bruno代数或阿贝尔李代数的迭代扩张。

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.

研究动机与目标

• 确定所有形式幂级数族，使得Dyson-Schwinger方程系统的解所生成的子代数是Connes-Kreimer Hopf代数的Hopf子代数。
• 对由此类系统生成的Hopf代数的对偶李代数结构进行分类。
• 利用变量替换、伸缩和扩张等操作，建立Hopf SDSE的结构分解。
• 描述该Hopf代数为以下三种特定类型之一的李代数的包络代数的对偶：路径李代数、Faà di Bruno代数的迭代扩张，或阿贝尔李代数的迭代扩张。

提出的方法

• 将Dyson-Schwinger方程系统（SDSE）定义为在根树代数 $ \mathcal{H}_I $ 中的方程 $ X_i = B^+_i(F_i(X_1,\dots,X_N)) $，其中 $ I = \{1,\dots,N\} $，且 $ B^+_i $ 表示在类型为 $ i $ 的根上嫁接。
• 为每个SDSE关联一个有向图 $ G_{(S)} $，边表示 $ F_i $ 之间的函数依赖关系，并通过图的连通性定义连通性。
• 引入三种操作：变量替换（缩放形式变量）、伸缩（用多个副本替换顶点）、扩展（添加具有独立方程的新变量）。
• 通过树结构中顶点的层级分析表征解代数 $ \mathcal{H}_{(S)} $ 的结构，根据依赖深度区分层级。
• 利用对偶空间 $ \mathcal{H}_{(S)}^* $ 定义预李代数结构，该结构诱导出李代数 $ \mathfrak{g}_{(S)} $，并将其分类为以下三种类型之一：路径李代数、Faà di Bruno代数的迭代扩张，或阿贝尔李代数的迭代扩张。
• 证明任何Hopf SDSE均可通过变量替换、伸缩和迭代扩展操作，从基本或循环系统经连接生成。

实验结果

研究问题

• RQ1 哪些形式幂级数族 $ (F_1,\dots,F_N) $ 会生成Dyson-Schwinger方程系统解 $ (X_1,\dots,X_N) $，使得所生成的子代数 $ \mathcal{H}_{(S)} $ 是Connes-Kreimer Hopf代数 $ \mathcal{H}_I $ 的Hopf子代数？
• RQ2 如何根据已知的李代数类型对与 $ \mathcal{H}_{(S)} $ 对偶的李代数 $ \mathfrak{g}_{(S)} $ 的结构进行分类？
• RQ3 哪些操作——变量替换、伸缩、扩展——可用于从基本或循环系统生成所有Hopf SDSE？
• RQ4 在SDSE生成的树结构中，顶点层级的作用是什么？它们与 $ \mathcal{H}_{(S)} $ 的代数性质有何关联？
• RQ5 在 $ \mathcal{H}_{(S)}^* $ 上的预李代数结构如何与 $ \mathfrak{g}_{(S)} $ 的李代数结构相关联？这对 $ \mathcal{H}_{(S)} $ 上的特征标群有何含义？

主要发现

• 一个Dyson-Schwinger方程系统生成Hopf子代数 $ \mathcal{H}_{(S)} $ 当且仅当它在变量替换、伸缩和迭代扩展下等价于基本或循环系统的连接。
• 与 $ \mathcal{H}_{(S)} $ 对偶的李代数 $ \mathfrak{g}_{(S)} $ 同构于以下三种类型之一：与有向图相关的路径李代数，Faà di Bruno李代数的迭代扩张，或阿贝尔李代数的迭代扩张。
• 在 $ \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)} $，该子代数恰好是Hopf子代数当且仅当系统满足由三种操作和李代数类型分类导出的结构性条件。