[論文レビュー] Hopf Algebras in Combinatorics

Darij Grinberg, Victor Reiner|arXiv (Cornell University)|Sep 30, 2014

Advanced Combinatorial Mathematics参考文献 132被引用数 124

ひとこと要約

この包括的な論文は、組合せ論におけるホップ代数を統一的な代数的枠組みとして導入し、分割、順列、グラフなどの組合せ的対象に対する演算がホップ代数構造に対応することを示している。対称関数が普遍的なPSH代数をなしており、ゼレヴィンスキーの構造論およびラドフォードの多項式自由性に関する定理を用いて、表現論および対称関数論における深い結果を導出している。

ABSTRACT

These notes -- originating from a one-semester class by their second author at the University of Minnesota -- survey some of the most important Hopf algebras appearing in combinatorics. After introducing coalgebras, bialgebras and Hopf algebras in general, we study the Hopf algebra of symmetric functions, including Zelevinsky's axiomatic characterization of it as a "positive self-adjoint Hopf algebra" and its application to the representation theory of symmetric and (briefly) finite general linear groups. The notes then continue with the quasisymmetric and the noncommutative symmetric functions, some Hopf algebras formed from graphs, posets and matroids, and the Malvenuto-Reutenauer Hopf algebra of permutations. Among the results surveyed are the Littlewood-Richardson rule and other symmetric function identities, Zelevinsky's structure theorem for PSHs, the antipode formula for P-partition enumerators, the Aguiar-Bergeron-Sottile universal property of QSym, the theory of Lyndon words, the Gessel-Reutenauer bijection, and Hazewinkel's polynomial freeness of QSym. The notes are written with a graduate student reader in mind, being mostly self-contained but requiring a good familiarity with multilinear algebra and -- for the representation-theory applications -- basic group representation theory.

研究の動機と目的

• ホップ代数の言語を用いて、組合せ的ホップ代数の体系的代数的枠組みを確立すること。
• 対称関数 Λ が一意に分解不能な正の自己双対ホップ代数（PSH）であることを示し、普遍的対象をなすこと。
• ホップ代数の公理を用いて、古典的な対称関数論および表現論の結果（例えば、フロベニウス対応）を統一的かつ再導出すること。
• リンドン語を用いてラドフォードの定理を応用し、キアスシンメトリック関数のホップ代数（QSym）の多項式自由性を証明すること。
• マルヴェヌート＝ルーテナウアー代数（順列のための）および他の組合せ的ホップ代数（例えば、グラフ、poset、マトロイドのための）が、普遍的性質をもつホップ代数として自然に生じることを示すこと。

提案手法

• テンソル積と双対性に注目しながら、代数、余代数、バイアリュエブ、および反対元の基礎的構造を通じてホップ代数を導入する。
• 対称関数（Λ）に理論を適用し、余乗法、反対元、および対合 ω が組合せ的演算に符号化されていることを示す。
• ゼレヴィンスキーのPSH理論を用いて、整数環上での正の自己双対ホップ代数が、Λのコピーのテンソル積に一致することを証明する。
• ラドフォードの定理を用いて、QSym がそのリンドン語要素によって多項式代数として自由生成されることを示す。
• ゲゼル＝ルーテナウアーの双対写像を用いて、対称関数と順列を関連させ、スケイル・ピエリ則の新しい証明を可能にする。
• 組合せ的ホップ代数の圏における終対象としてのQSymの普遍的性質を用い、彩色対称関数やposet不変量への応用を示す。

実験結果

リサーチクエスチョン

• RQ1 正の自己双対ホップ代数（PSH）の公理から、対称関数の構造を完全に捉え、その導出が可能か。
• RQ2 反対元が、対称関数上の ω 対合のような組合せ的双対性をどのように符号化するか。
• RQ3 組合せ的ホップ代数の圏におけるキアスシンメトリック関数の普遍的性質（終対象としての性質）が、古典的恒等式の新しい証明にどのように寄与するか。
• RQ4 リンドン語がホップ代数 QSym の最小生成集合をどのように提供するか、そしてシャッフル代数構造とどのように関係するか。
• RQ5 フロベニウス対応を通じて、対称群、ワープド積、GLn(Fq) の表現論が、ホップ代数の公理から体系的にどのように導出可能か。

主な発見

• 整数環上での一意に分解不能な正の自己双対ホップ代数としての対称関数のホップ代数 Λ は、PSH理論における普遍性を確立している。
• Λ における反対元は対合 ω に対応し、シュール関数への作用が双対基底を与えることから、自己双対性が証明される。
• ラムの証明を用いて、スケイル・ピエリ則がスキュー作用素とホップ代数構造を介して再導出された。
• リンドン語要素によってQSymが多項式代数として自由生成されること、これはラドフォードの定理によるシャッフル代数の結果に基づく。
• マルヴェヌート＝ルーテナウアーの順列ホップ代数はQSymの双対と同型であり、その構造は順列および標準表の組合せ論を符号化している。
• QSymの普遍的性質により、組合せ的対象（例えば、スターリングの彩色対称関数）の不変量がホップ代数準同型として構成可能である。