[论文解读] The universal pre-Lie-Rinehart algebras of aromatic trees

Gunnar Fløystad, Dominique Manchon+1 more|arXiv (Cornell University)|Feb 13, 2020

Advanced Topics in Algebra参考文献 12被引用 5

一句话总结

本文从带色芳香树构造了一个普遍的预李-里纳特代数，并赋予其自然的迹映射，证明了其在具有迹的预李-里纳特代数中具有自由性。关键贡献在于建立了芳香B级数的代数基础，表明光滑的、仿射等变映射在张量丛之间可通过普遍性质展开为这些级数。

ABSTRACT

We organize colored aromatic trees into a pre-Lie-Rinehart algebra (i.e. a flat torsion-free Lie-Rinehart algebra) endowed with a natural trace map, and show the freeness of this object among pre-Lie-Rinehart algebras with trace. This yields the algebraic foundations of aromatic B-series.

研究动机与目标

• 为微分方程与几何积分中的芳香B级数发展一个普遍的代数框架。
• 将带色芳香树的结构形式化为一个带有自然迹映射的预李-里纳特代数。
• 证明该代数在所有具有迹的预李-里纳特代数中是自由的，从而为级数展开提供一个普遍模型。
• 将代数结构与R^d上向量场和联络的几何与微分性质联系起来。
• 建立仿射等变性与光滑局部映射存在芳香B级数展开之间的等价性。

提出的方法

• 作者在由带色芳香树张成的向量空间上定义了预李-里纳特代数结构，使用树的嫁接作为预李乘积。
• 他们在该代数上引入了一个迹映射，与预李和李-里纳特结构相容，以模拟微分同胚下的不变量。
• 该构造利用了由根树生成的自由预李代数的普遍性质，并将其扩展到带色芳香树的情形。
• 他们定义了带标记的芳香树和初等自同态，以建模进入自同态丛和标量函数的映射。
• 通过迹保持同态的提升性质，证明该代数在所有具有迹的预李-里纳特代数中是普遍的。
• 利用仿射微分同胚下的等变性来刻画芳香B级数展开存在的条件。

实验结果

研究问题

• RQ1 能否在带色芳香树的空间上赋予一个支持自然迹映射的预李-里纳特代数结构？
• RQ2 芳香树的预李-里纳特代数是否在所有具有迹的此类代数中都是普遍的？
• RQ3 光滑局部映射在张量丛之间存在芳香B级数展开的代数条件是什么？
• RQ4 仿射等变性与此类级数展开的存在性之间有何关系？
• RQ5 迹映射在刻画代数结构不变量方面起什么作用？

主要发现

• 带色芳香树的预李-里纳特代数在所有具有迹映射的预李-里纳特代数中是普遍的。
• 迹映射自然地定义在芳香树代数上，并与预李和李-里纳特运算相容。
• 任何光滑的、仿射等变映射 Φ: L → L 都能在普遍预李-里纳特代数的分次完备化中展开为芳香B级数。
• 该普遍性同样适用于映射到 End_R(L,L) 和 R 的情形，对应地在初等自同态代数和标量值级数代数中成立。
• 仿射等变性是光滑局部映射存在芳香B级数表示的必要且充分条件。
• 该结果通过芳香树的普遍代数结构，将经典B级数理论扩展到了几何对象。