[論文レビュー] The Hopf algebras of type B quasisymmetric functions and peak functions

Samuel K. Hsiao, T. Kyle Petersen|ArXiv.org|Oct 31, 2006

Algebraic structures and combinatorial models参考文献 8被引用数 5

ひとこと要約

この論文は、自然なコプロダクトに関して、型Bの準対称関数がホップ代数をなすことを確立し、型Bピーク関数と呼ばれる新しい基底を導入し、それがホップ部分代数をなすことを示している。主な貢献は、型Bの準対称関数から型Bピーク関数への写像 Θ_B がホップ代数準同型であることを証明したことにより、全射性とホップ代数の作用との整合性によって部分代数構造が裏付けられることである。

ABSTRACT

We show that with the appropriate choice of coproduct, the type B quasisymmetric functions form a Hopf algebra, and the recently introduced type B peak functions form a Hopf subalgebra.

研究の動機と目的

• 適切なコプロダクトを備えた型Bの準対称関数にホップ代数構造を確立すること。
• 型Bピーク関数を、型Bの準対称関数内での新しい基底として定義し、その性質を調べること。
• 写像 Θ_B がホップ代数準同型であることを示すことで、型Bピーク関数がホップ部分代数をなすことを証明すること。
• 型Aの準対称関数に関する既知の結果を型Bの設定に拡張し、特にスタームブリッジのピーク代数を一般化すること。

提案手法

• 擬順序組み合わせと修正された単項式基底 M_β を用いて型Bの準対称関数を定義し、細分化規則を適用する。
• α の細分化 β に関する和をとることで型Bピーク関数 K_α を定義し、重みとして 2^{l(β)−1} を用いる。
• 写像 Θ_B: BQsym → Π_B を、F_α が ̂_α に写されるように定義する。ここで ̂_α は α から導かれるピーク順序組み合わせである。
• シャッフル積の恒等式を用いて、乗法構造を保つことを確認することで、Θ_B が階数付き環準同型であることを示す。
• BQsym ≅ ℤ[M_1] ⊗ Qsym という同型を用い、コプロダクトと可換であることを示すことで、Θ_B がホップ代数準同型であることを証明する。
• e（ℤ[M_1] 上の単位元）と Θ（スタームブリッジの写像）が両方ともホップ準同型であることを利用し、それらのテンソル積 Θ_B もホップ準同型であることを導く。

実験結果

リサーチクエスチョン

• RQ1 型Bの準対称関数の代数は、明確に定義されたコプロダクトを備えた自然なホップ代数構造を有するか？
• RQ2 最近導入された型Bピーク関数は、型Bの準対称関数のホップ部分代数をなすと示せるか？
• RQ3 基本型B準対称関数から型Bピーク関数へ写す写像 Θ_B は、ホップ代数の作用とどのように作用するか？
• RQ4 型Bの準対称関数におけるホップ代数構造は、型Aの準対称関数で観察されるシャッフル積則と整合性を持つか？
• RQ5 型Bピーク関数と符号付き置換のピーク代数の間にはどのような関係があるか？

主な発見

• 型Bの準対称関数は、コプロダクト Δ(M_α) = ∑_{βγ=α} M_β ⊗ M_γ によりホップ代数をなす。ここで βγ は連結を表す。
• 型Bピーク関数 K_α は、全射的ホップ代数準同型 Θ_B の像として得られるため、型Bの準対称関数のホップ部分代数をなす。
• 写像 Θ_B: BQsym → Π_B は階数付き全射的環準同型であり、乗法構造とコプロダクト構造の両方を保つ。
• Θ_B の型Aの準対称関数への制限は、スタームブリッジの元の写像 Θ を回復するため、既知の結果と整合性が確認される。
• 階数成分 Π_B,n の次元は f_{n+1} であり、f_n は n 番目のフィボナッチ数を表す。これはフィボナッチ数に結びつく組合せ的構造を示唆する。
• BQsym 上のコプロダクトは X+Y の法則と整合する：Q(X+Y) = ∑ R(X)⊗S(Y) であるから、Δ(Q) = ∑ R⊗S が成り立ち、バイアルゲブラ条件によりホップ代数の公理が確認される。