[論文レビュー] Operads and the Hopf algebras of renormalisation

P. van der Laan|ArXiv.org|Nov 10, 2003

Advanced Topics in Algebra参考文献 10被引用数 8

ひとこと要約

本稿は、量子場の理論の正則化における代数的構造としてのオペラッドとホップ代数の間のファンクター的関係を確立し、正則化に現れるホップ代数的構造がオペラッド的構成によって分解可能であることを示している。ホップ代数の双対における字面の群と原始的元のリー代数が、双対オペラッドに作用する標準的ファンクターによって特徴づけられることを証明しており、さらにコンネス＝クライマーのフェルミオン図のホップ代数が、1粒子的非分解的図の部分オペラッドから生じることを示している。

ABSTRACT

Functors from (co)operads to bialgebras relate Hopf algebras that occur in renormalisation to operads, which simplifies the proof of the Hopf algebra axioms, and induces a characterisation of the corresponding group of characters and Lie algebra of primitives of the dual in terms of the operad. In addition, it is shown that the Wick rotation formula leads to canonical algebras for one of these operads.

研究の動機と目的

• 正則化におけるホップ代数の公理の検証を、基本的なオペラッド的演算へのコプロダクトの分解によって簡略化すること。
• 双対ホップ代数の字面の群と原始的元のリー代数を、オペラッドから群へのファンクターの観点で特徴づけること。
• コンネス＝クライマーの図のホップ代数が、1粒子的非分解的図の部分オペラッドから生じることを示すこと。
• ウィック回転の公式が、図に基づく構成を通じて対称コモジュール $S'^\prime V$ に自然な $\Gamma$-代数構造を誘導することを示すこと。

提案手法

• 1-還元されたコオペラッドから、連結完全ホップ代数へのファンクター $C \mapsto H_C$ および $C \mapsto \bar{H}_C$ を定義する。
• コオペラッド $C$ の双対オペラッドを用いて、字面の群 $\mathrm{Hom}_{\text{Alg}}(H_C, k)$ および $\mathrm{Hom}_{\text{Alg}}(\bar{H}_C, k)$ を、オペラッドから群への明示的なファンクターとして表現する。
• 標準的ファンクターをオペラッドからリー代数への写像として用い、双対ホップ代数における原始的元のリー代数を記述する。
• 1粒子的非分解的図の部分オペラッドが、コンネス＝クライマーの図のホップ代数を生成する図オペラッドを構成する。
• 各図 $\eta$ に対して、$V$ 上の二次形式 $b$ を用いた、縮約と対称化写像 $\tau^\eta$ を定義し、$S'^\prime V$ に $\Gamma$-代数構造を定義する。
• 写像 $\tau^\eta$ が図の合成と整合することを証明し、自己同型と図の写像の間の双対性により、$\Gamma$-代数構造が保証されることを示す。

実験結果

リサーチクエスチョン

• RQ1 正則化ホップ代数のホップ代数公理は、どのようにオペラッド的構造を用いて簡略化できるか？
• RQ2 双対ホップ代数の字面の群と原始的元のリー代数が、元のオペラッドとどのように関係しているか？
• RQ3 コンネス＝クライマーのフェルミオン図のホップ代数は、1粒子的非分解的図へのオペラッド的構成から導けるか？
• RQ4 量子場の理論におけるウィック回転の公式は、対称コモジュール上の代数的構造とどのように関係しているか？
• RQ5 図の自己同型と辺の縮約は、$S'^\prime V$ に定義される $\Gamma$-代数構造において果たす役割は何か？

主な発見

• 1-還元された型の有限型コオペラッド $C$ から構成されるホップ代数 $H_C$ の字面の群は、$C$ の双対オペラッドから群へのファンクターによって与えられる。
• 双対 $H_C$ における原始的元のリー代数は、オペラッドからリー代数への標準的ファンクターを $C$ の双対オペラッドに作用させた像と同型である。
• コンネス＝クライマーの図のホップ代数は、1粒子的非分解的図の部分オペラッド $C$ に対して $H_C$ として実現される。
• 対称コモジュール $S'^\prime V$ は、$\tau^\eta$ を通じて $\Gamma$-代数構造を有する。ここで $\tau^\eta$ は、辺の縮約のすべての順列の和として定義され、辺の順序に依存しない。
• 自己同型の和とグラフの接続写像 $b$ の和が等価であることから、$\tau^{\eta \circ_b \zeta} = \tau^\eta \circ_1 \tau^\zeta$ の整合性が保証される。
• $\tau^\eta$ の構成は、ウィック回転の公式を代数的・オペラッド的・ホップ代数的構造と結びつける自然な実現を提供する。