[論文レビュー] Polynomial realizations of some combinatorial Hopf algebras

Loïc Foissy, Jean-Christophe Novelli+1 more|arXiv (Cornell University)|Sep 10, 2010

Advanced Combinatorial Mathematics参考文献 26被引用数 8

ひとこと要約

この論文は、順序ではなく二項関係を用いた一般化された変数倍増構成を導入することで、根付き木、森、グラフに基づくいくつかの組合せ的ホップ代数、特にコンネス＝クライマー代数および終関数に基づく新しい非可換ホップ代数の明示的多項式実現を構築する。主な貢献は、組合せ的に定義された積と余積を備えた多項式代数を通じて、これらのホップ代数を統一的枠組みで実現するものである。

ABSTRACT

We construct explicit polynomial realizations of some combinatorial Hopf algebras based on various kind of trees or forests, and some more general classes of graphs, ranging from the Connes-Kreimer algebra to an algebra of labelled forests isomorphic to the Hopf algebra of parking functions, and to a new noncommutative algebra based on endofunctions admitting many interesting subalgebras and quotients.

研究の動機と目的

• 根付き木、森、グラフに基づく組合せ的ホップ代数の明示的多項式実現を提供すること。
• 従来、順序付きアルファベットに依存していた標準的な多項式実現法を、全順序ではなく二項関係を含む構造に拡張すること。
• 終関数に基づく新しい非可換ホップ代数を構成し、ラベル付き森を一般化し、サイクルを含むこと。
• この新規代数と既知のホップ代数（パークイング関数のホップ代数の双対やロダン＝ロンコ代数など）との同型関係を確立すること。
• 終関数代数内のホップ部分代数および商代数（非巡回的、非減少的、冪等的）を特定・特徴づけること。

提案手法

• 集合 [n] 上の終関数に新しいホップ代数構造を定義し、積は終関数の素性結合、余積は部分集合への制限の標準化により定義する。
• 固定点に基づく終関数の半順序を定義し、被覆関係は非固定点を固定点に変える操作により定義する。
• 半順序上でモビウス逆転を用いてシュール型基底 {R_f} を構成し、式 R_f = ∑_{g≤f} (−1)^{Fix(f)−Fix(g)} S^g を用いる。
• 非巡回的終関数 f に対して R_f を生成するイデアル I_o' を定義し、I_o' を法とする商代数がコンネス＝クライマーのホップ代数 H_o に同型であることを示す。
• F が順序付き森であるときの写像 f ↦ f_F を用いて、終関数と根付き森を関連付け、代数同型を確立する。
• 終関数代数における二つの基底元 R_{f'} と R_{f''} の積が、[n'+n''] 上のすべての終関数 f における和で与えられることを示す。ここで、I = [n'] かつ I^c = [n'+n'']∓[n'] とすると、std(f^I) = f' かつ std(f^{[n']'}) = f'' である。

実験結果

リサーチクエスチョン

• RQ1 従来、多項式実現を欠いていたコンネス＝クライマーのホップ代数は、一般化された変数倍増構成を用いて多項式代数に埋め込めるか？
• RQ2 順序付きアルファベットに基づく標準的な多項式実現法は、根付き木 や 終関数などの非順序構造にどのように拡張できるか？
• RQ3 終関数から生じる新しいホップ代数構造とは何か？ また、パークイング関数のホップ代数やロダン＝ロンコ代数といった既知の代数とどのような関係にあるか？
• RQ4 終関数ホップ代数のどの部分代数および商代数が自身でホップ代数をなすか？ それらはどのような組合せ的性質によって特徴づけられるか？
• RQ5 終関数ホップ代数にシュール型基底が存在し、積と余積構造を尊重し、他の既知のホップ代数との同型を可能にするか？

主な発見

• コンネス＝クライマーのホップ代数 H_o は、非巡回的終関数 f に対して R_f を生成するイデアル I_o' を法とする終関数ホップ代数の商代数と同型である。
• 順序付き森 F に対し、商代数における R_{f_F} の類を写像する写像が、H_o から I_o' を法とする終関数代数の商代数への代数同型を与える。
• 終関数代数における二つの基底元 R_{f'} と R_{f''} の積は、[n'+n''] 上のすべての終関数 f における和で与えられ、ここで I = [n'] かつ I^c = [n'+n'']∓[n'] とすると、f|_I の標準化が f' で、f|_{I^c} の標準化が f'' である。
• 非巡回的終関数のホップ代数は、H_o およびパークイング関数のホップ代数の双対 (PQSym*) と同型である。
• 非減少的終関数の部分代数は積と余積に関して閉じており、ホップ部分代数をなす。
• 冪等的終関数（f^2 = f を満たす）の部分代数も積と余積に関して閉じており、ホップ部分代数をなす。これはコリラ（高さ ≤1 の木）に対応する。