[論文レビュー] Five interpretations of Fa\`a di Bruno's formula

Alessandra Frabetti, Dominique Manchon|arXiv (Cornell University)|Feb 22, 2014

Advanced Topics in Algebra参考文献 44被引用数 3

ひとこと要約

本稿は、2つの関数の合成のn階微分に対するファウ・ディ・ブルーノの公式の、5つの異なる数学的解釈を提示する：群およびプロ代数的群、ホップ代数（ファウ・ディ・ブルーノおよび根付き木ホップ代数を含む）、リー代数（ウィット代数およびバイラソロ代数に関連）、組合せ論（インシデントおよび組合せ的ホップ代数）、およびオペラッド（結合的オペラッドに関連）。主な貢献は、古典的な公式を現代の代数的構造に統一することで、量子場の理論における正規化および非可換代数的幾何学への深い関係を明らかにすることにある。

ABSTRACT

In these lectures we present five interpretations of the Fa' di Bruno formula which computes the n-th derivative of the composition of two functions of one variable: in terms of groups, Lie algebras and Hopf algebras, in combinatorics and within operads.

研究の動機と目的

• ファウ・ディ・ブルーノの公式を複数の高度な数学的枠組みに統一し、より深い構造的関係を明らかにすること。
• ファウ・ディ・ブルーノのホップ代数が正規化理論において果たす役割とその非可換な上昇（lift）の理解を明確にすること。
• 形式的微分同相の合成法則のリー代数的およびオペラッド的起源を探索すること。
• インシデント代数および組合せ的ホップ代数を通じて、公式の組合せ論的性質を調査すること。
• 公式がオペラッド理論、特に結合的オペラッドにおいて果たす基礎的役割を確立すること。

提案手法

• 形式的微分同相の群の法則として公式を解釈し、形式的冪級数の合成を用いる。
• 形式的微分同相の群の座標環としてファウ・ディ・ブルーノのホップ代数を構成し、コプロダクトを公式によって定義する。
• カルティエ＝ミルナー＝ムーザーの定理を適用して、包絡代数の双対として群のリー代数を導出する。
• インシデント代数の技法を用いて、ファウ・ディ・ブルーノのホップ代数が集合分割のposet上のインシデントホップ代数であることを示す。
• オペラッド形式的体系を適用して、公式が結合的オペラッドにおけるオペラッド的合成から生じることを示す。
• ホップ代数の非可換な上昇を導入し、非可換代数上でのプロ代数的群の表現に失敗することを分析する。

実験結果

リサーチクエスチョン

• RQ1 ファウ・ディ・ブルーノの公式は、形式的微分同相のプロ代数的群の文脈でどのように自然に生じるか？
• RQ2 形式的冪級数の合成の背後にあるホップ代数的構造は何か？そして、正規化とどのように関係するか？
• RQ3 公式は、形式的ベクトル場のリー代数を通じてウィット代数およびバイラソロ代数とどのように関係するか？
• RQ4 インシデント代数および組合せ的ホップ代数を通じて、公式をどのように組合せ論的に解釈できるか？
• RQ5 公式のオペラッド的起源は何か？そして、結合的オペラッドおよびその関連群とどのように関係するか？

主な発見

• ファウ・ディ・ブルーノのホップ代数は、集合分割のposet上のインシデント代数と同型であり、組合せ論的解釈が得られる。
• 公式は、ファウ・ディ・ブルーノのホップ代数におけるコプロダクトを定義し、これは量子場の理論における正規化において中心的役割を果たす。
• 形式的微分同相のリー代数はウィット代数の部分代数として実現され、公式は交換子を介してリー括弧を符号化する。
• 非可換なファウ・ディ・ブルーノのホップ代数は、非可換代数上ではプロ代数的群を表現しない。これは根本的な構造的差を示している。
• オペラッド的解釈により、形式的微分同相の群が結合的オペラッドに関連する群として特定され、合成がオペラッド的合成によって支配される。
• 量子電磁力学におけるQED荷電ホップ代数は、平面二分木上のホップ代数の商として得られ、公式が物理的正規化と結びつく。