[論文レビュー] Flows on rooted trees and the Narayana idempotents

Frédéric Chapoton|arXiv (Cornell University)|Mar 8, 2012

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

ひとこと要約

本稿では、Pre-Lie 構造のなかでの根付き木上の流れの生成関数を導入し、それらを特徴付ける組合せ的恒等式を証明する。これらの生成関数を Dendriform 構造にマップすることで、最近メヌー、ノヴェリ、ティボンによって導入されたナラヤナ型のイデムポテンツを回復・拡張し、自由 Pre-Lie 代数と Dendriform および Lie 代数の共通部分の間の予想される同型写像を通じて、それらを下降代数における Lie イデムポテンツに結びつける。

ABSTRACT

Several generating series for flows on rooted trees are introduced, as elements in the group of series associated with the Pre-Lie operad. By combinatorial arguments, one proves identities that characterise these series. One then gives a complete description of the image of these series in the group of series associated with the Dendriform operad. This allows to recover the Lie idempotents in the descent algebras recently introduced by Menous, Novelli and Thibon. Moreover, one defines new Lie idempotents and conjecture the existence of some others.

研究の動機と目的

• Pre-Lie 構造の文脈において、根付き木上の流れの生成関数を特徴付けること。
• これらの生成関数を Dendriform 構造にマップし、Dendriform と Lie 代数の共通部分におけるその像を研究すること。
• 対称群の下降代数において最近導入されたナラヤナ型の Lie イデムポテンツを回復・一般化すること。
• 根付き木上の組合せ的構造を通じて、新しい Lie イデムポテンツの存在を予想すること。

提案手法

• Pre-Lie 構造に関連する系列の群に属する要素として、根付き木上の流れの生成関数を導入する。
• 組合せ的議論を用いて、これらの生成関数を特徴付ける恒等式を証明する。
• これらの生成関数の Dendriform 構造における像を分析し、平面二分木の構造を活用する。
• 自由 Pre-Lie 代数と Dendriform および Lie 代数の共通部分の間の予想される同型写像を適用し、要素を下降代数のイデムポテンツに結びつける。
• D-構造と P-構造の間の双対性条件（仮説 $H_{ atural}$）を定式化し、分割、部分への P-構造、および補助的種 A, B, C, D を含むタプルとの間の全単射を導入し、合成的恒等式を導出する。
• モノイド積 $ullet$ と多項式係数を用いて余不変量へ射影し、重要な恒等式 $s_A owtie (s_B, s_C) = s_D$ を導出する。

実験結果

リサーチクエスチョン

• RQ1 根付き木上の流れの生成関数は、Pre-Lie 構造の枠組み内でどのように特徴付けられるか？
• RQ2 これらの生成関数の Dendriform 構造における像は何か？ そして、Lie イデムポテンツとどのように関係するか？
• RQ3 下降代数におけるナラヤナ型の Lie イデムポテンツは、予想される同型写像を通じて自由 Pre-Lie 代数へ上昇可能か？
• RQ4 これらのイデムポテンツの係数を特徴づける組合せ的構造は何か？ そして、木の部分構造に沿って因数分解可能か？
• RQ5 このような流れから新たな Lie イデムポテンツの族を構成可能か？

主な発見

• 根付き木上の流れの生成関数は、Pre-Lie 構造における組合せ的恒等式によって完全に特徴付けられる。
• これらの生成関数の Dendriform 構造における像は、Dendriform と Lie 代数の共通部分に正確に位置し、自由 Pre-Lie 代数との予想される同型写像を支持する。
• メヌー、ノヴェリ、ティボンによって最近導入されたナラヤナ型の Lie イデムポテンツは、Dendriform 代数への準同型写像を通じて、自由 Pre-Lie 代数の要素の像として回復される。
• Pre-Lie 代数における前像の係数が、$b$ に関する正の多項式であり、部分木に沿って因数分解可能であることが示された。
• 本稿では、木に基づく流れ構造を用いて、新しい Lie イデムポテンツの候補を構成し、それらがより広い族を形成しうることを示唆した。
• 仮説 $H_{ atural}(A,B,C,D)$ を通じて、一般化された組合せ的枠組みを確立し、生成関数に対して恒等式 $s_A owtie (s_B, s_C) = s_D$ を導出した。