[論文レビュー] Relating the Connes-Kreimer and Grossman-Larson Hopf algebras built on rooted trees

Florin Panaite|ArXiv.org|Mar 13, 2000

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

ひとこと要約

この論文は、根付き木の上のConnes-Kreimerホップ代数 $H_R$ とGrossman-Larsonホップ代数 $A$ の間の深い代数的関係を確立し、$A$ が根に子がちょうど一つある根付き木のなすリー代数 $\mathfrak{L}^1$ の普遍包あくり代数 $U(\mathfrak{L}^1)$ に同型であることを示す。この同型により、両代数間の構造的洞察の移行が可能となり、特に $N$（コデリバーション）と $M$（$H_R$ の $L$ に双対なデリバーション）という二つの主要な作用素の導入により、有限双対 $A^0$ 上でホッシャイド・コhomology 条件を満たす。主な結果は、$M^0$ と $L$ を intertwine する一意なホップ代数写像 $\rho: H_R \to A^0$ の存在であり、これにより両代数のコhomological 構造が統一される。

ABSTRACT

We find a relation between two Hopf algebras built on rooted trees. The first is the Connes-Kreimer Hopf algebra H_R which describes a certain type of renormalization in quantum field theory; the second is the Grossman-Larson Hopf algebra A introduced ten years ago by some "differential" and combinatorial reasons. Roughly, the relation is the following: there exists a duality between these two Hopf algebras. We study then two natural operators on A, inspired by similar ones introduced by Connes and Kreimer for H_R.

研究の動機と目的

• 根付き木の上に構成されたConnes-Kreimerホップ代数 $H_R$ とGrossman-Larsonホップ代数 $A$ の間の構造的関係を明確化すること。
• $A$ が根に子がちょうど一つある根付き木のなすリー代数 $\mathfrak{L}^1$ の普遍包あくり代数 $U(\mathfrak{L}^1)$ に同型であることを確立すること。
• $A$ 上の二つの自然な作用素 $N$（コデリバーション）と $M$（$H_R$ の $L$ に双対なデリバーション）を導入・分析し、それらがホッシャイド・コhomology と整合することを示すこと。
• $A^0$ が $M^0$ を通じてホッシャイド方程式の解を備え、$H_R$ から $A^0$ への普遍写像を可能にすることを示すこと。

提案手法

• $A$ と $U(\mathfrak{L}^1)$ 間の同型は、各原始的元 $t \in P(A)$（根に子がちょうど一つある根付き木）をその根を除いた木に写すことで構成され、リー代数同型が得られる。
• $A$ 上の成長作用素 $N$ は、すべての根付き木 $t$ に対して $N(t) = N(e) \cdot t$ を満たすコデリバーションとして定義される。ここで $N(e)$ は二つの頂点を持つ木である。
• $M$ は $M(e) = 0$ および $t \neq e$ のとき $M(t) = t \cdot N(e)$ として定義され、$M(ab) = aM(b) + M(a)\varepsilon(b)$ を満たすデリバーションであることが示される。
• 有限双対 $A^0$ を用いてコhomological 構造を移行する：$M^0 = M^*$ を $A^0$ に制限したとき、ホッシャイド方程式 $\Delta(M^0(f)) = M^0(f)\otimes\varepsilon + (id\otimes M^0)(\Delta(f))$ を満たすことが示される。
• $(H_R, L)$ の普遍性を応用して、$M^0 \circ \rho = \rho \circ L$ を満たす一意なホップ代数写像 $\rho: H_R \to A^0$ を構成し、両代数をコhomological 双対性によって結びつける。

実験結果

リサーチクエスチョン

• RQ1 Grossman-Larsonホップ代数 $A$ と、根に子がちょうど一つある根付き木のなすリー代数 $\mathfrak{L}^1$ の普遍包あくり代数 $U(\mathfrak{L}^1)$ の間に構造的同型が存在するか？
• RQ2 $A$ 上の作用素 $N$ はコデリバーションとして特徴づけられ、$k[X]$ に同型な可換かつ余可換なホップ代数部分代数を生成するか？
• RQ3 $A$ 上に $M(ab) = aM(b) + M(a)\varepsilon(b)$ を満たす双対作用素 $M$ が存在するか？ また、その転置 $M^0$ は $A^0$ 上でホッシャイド方程式を満たすか？
• RQ4 $A$ 上にこのような双対作用素 $M$ が存在するならば、$L$ と $M^0$ を intertwine する普遍ホップ代数写像 $H_R \to A^0$ が存在するか？
• RQ5 リー代数同型とコhomological 双対性を通じて、$H_R$ と $A$ の代数的構造を統一できるか？

主な発見

• Grossman-Larsonホップ代数 $A$ は、根に子がちょうど一つある根付き木のなすリー代数 $\mathfrak{L}^1$ の普遍包あくり代数 $U(\mathfrak{L}^1)$ に同型であり、各々の木をその根を除いたものに写す写像によって実現される。
• $A$ 上の作用素 $N$ はコデリバーションであり、すべての根付き木 $t$ に対して $N(t) = N(e) \cdot t$ を満たし、$k[X]$ に同型な可換かつ余可換なホップ代数部分代数を生成する。
• $x_0 = e$、$x_1 = N(e)$、$x_{m+1} = N(e) \cdot x_m$ で定義される要素 $\{x_k\}_{k \geq 0}$ は線形独立であり、標準的なコマルチプライケーションとアンチポードを備えた $k[X]$ に同型なホップ代数部分代数を生成する。
• $A$ 上の作用素 $M$ はデリバーションであり、$M(ab) = aM(b) + M(a)\varepsilon(b)$ を満たし、その転置 $M^0$ は有限双対 $A^0$ 上でホッシャイド方程式 $\Delta(M^0(f)) = M^0(f)\otimes\varepsilon + (id\otimes M^0)(\Delta(f))$ を満たす。
• $M^0 \circ \rho = \rho \circ L$ を満たす一意なホップ代数写像 $\rho: H_R \to A^0$ が存在し、これによりホッシャイド・コhomology を通じてConnes-Kreimer代数とGrossman-Larson代数の間の普遍的リンクが確立される。