[論文レビュー] Rooted trees and an exponential-like series

Frédéric Chapoton|ArXiv.org|Sep 10, 2002

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

ひとこと要約

本稿では、任意の増分オペラッド $\mathcal{P}$ に関連する一般化されたべき級数の群 $\mathsf{G}_{\mathcal{P}}$ を導入し、特に $\operatorname{PreLie}$ オペラッドに注目する。前リー代数構造を用いたベクトル場上の流れ方程式の解として、$\mathsf{G}_{\operatorname{PreLie}}$ 内に特徴的な元 $\exp^*$ を構成する。この $\exp^*$ のアソシエイティブ・オペラッド $\operatorname{As}$ への射影写像による像は $\exp x - 1$ であり、コロラ・オペラッド $\operatorname{Mu}$ への像は $\frac{\exp x - 1}{x}$ である。これにより、指数関数的およびベルヌーイ数の母関数と関連づけられる。

ABSTRACT

This paper deals with a group of generalized power series associated to any augmented operad, focusing on the case of the PreLie operad. The solution of flow equations using the pre-Lie structure on vector fields on an affine space gives rise to an interesting element of this group, which deserves to be called the PreLie exponential.

研究の動機と目的

• 任意の増分オペラッド $\mathcal{P}$ に対して、完成化と余不変構造を用いて一般化されたべき級数の群 $\mathsf{G}_{\mathcal{P}}$ を定義すること。
• ルート付き木で添え字づけられた前リー代数的積を持つ群 $\mathsf{G}_{\operatorname{PreLie}}$ の構造を研究すること。
• $\exp^*$ のアソシエイティブ・オペラッド $\operatorname{As}$ およびコロラ・オペラッド $\operatorname{Mu}$ への商写像による像を分析し、古典的母関数との関係を明らかにすること。
• $\exp^*$ 及びその逆元 $\log^*$ のルート付き木基底における展開の最初の項を計算し、明示的な組合せ的係数を提供すること。

提案手法

• $\mathsf{G}_{\mathcal{P}}$ を完成化された余不変空間 $\widehat{\mathcal{P}}$ 内の可逆元の群と定義し、オペラッド合成から導かれる積 $\times$ を備える。
• オペラッドの等変性および結合則公理を用いて、積 $\times$ の結合性および $\mathbb{Q}$-線形性を確立する。
• $\mathsf{G}_{\operatorname{PreLie}}$ 内の形式的級数として解釈される、ベクトル場上の前リー積を用いた流れ方程式の解として $\exp^*$ を構成する。
• 函子性を用いて、群準同型 $\mathsf{G}_{\operatorname{PreLie}} \to \mathsf{G}_{\operatorname{As}}$ 及び $\mathsf{G}_{\operatorname{PreLie}} \to \mathsf{G}_{\operatorname{Mu}}$ を誘導する。ここで $\mathsf{G}_{\operatorname{As}}$ は形式的べき級数の合成積に対応する。
• $\mathsf{G}_{\operatorname{Mu}}$ が点ごとの乗法に関して、半直積 $\mathbb{Q}^* \ltimes (1 + x\mathbb{Q}[[x]])$ に同型であることを特徴づける。
• $\exp^*$ 及び $\log^*$ の係数を前リー積の公式を再帰的に用いて計算し、次数 5 まで明示的な展開を求める。

実験結果

リサーチクエスチョン

• RQ1 増分オペラッドから一貫した方法で一般化されたべき級数の群を構成するにはどうすればよいか？
• RQ2 $\mathsf{G}_{\operatorname{PreLie}}$ の代数的構造は何か？ そして、ルート付き木や前リー代数とどのように関係しているか？
• RQ3 流れに基づく元 $\exp^*$ のアソシエイティブ・オペラッド $\operatorname{As}$ 及びコロラ・オペラッド $\operatorname{Mu}$ への商群における像は何か？ そして、古典的母関数とどのように関連しているか？
• RQ4 $\exp^*$ 及びその逆元 $\log^*$ の係数をルート付き木基底で明示的に計算できるか？ また、どのような組合せ的パターンが現れるか？
• RQ5 前リー積は流れ方程式を解く際に果たす役割は何か？ そして、なぜ $\mathsf{G}_{\operatorname{PreLie}}$ 内の普遍的級数を導くのか？

主な発見

• $\mathcal{P}$ が増分オペラッドである限り、群 $\mathsf{G}_{\mathcal{P}}$ は適切に定義されており、積 $\times$ は結合的かつ左 $\mathbb{Q}$-線形であり、可逆元は第1成分が非ゼロであることで特徴づけられる。
• $\mathsf{G}_{\operatorname{PreLie}}$ 内の元 $\exp^*$ は、ベクトル場上の前リー積を用いた流れ方程式の解として生じ、この群内での普遍的対象である。
• $\exp^*$ のアソシエイティブ・オペラッド $\operatorname{As}$ への射影写像による像は $\exp x - 1$ であり、これは形式的べき級数の合成積に対応する。
• $\exp^*$ のコロラ・オペラッド $\operatorname{Mu}$ への射影写像による像は $\frac{\exp x - 1}{x}$ であり、これはコロラの係数の指数母関数である。
• $\exp^*$ のルート付き木基底における係数は、$n$ 個のノードを持つコロラに対して $1/n!$ に等しく、$\log^*$ の係数は母関数 $x/(\exp x - 1)$ を介してベルヌーイ数に関係している。
• $\exp^*$ 及び $\log^*$ の明示的展開を次数 5 まで計算した。$\exp^*$ の係数は木の複雑さが増すにつれて $1, \frac{1}{2}, \frac{1}{6}, \frac{1}{24}, \frac{1}{120}$ となり、木の対称性を反映する組合せ的重複度が現れる。