[論文レビュー] Infinitesimal and $B\_\infty$-algebras, finite spaces, and quasi-symmetric functions

Loïc Foissy, Claudia Malvenuto+1 more|arXiv (Cornell University)|Mar 28, 2014

Advanced Combinatorial Mathematics参考文献 20被引用数 4

ひとこと要約

本稿では、有限位相空間の線形スパンが $B_{u}$-代数をなしており、擬対称関数の代数へ全射なホップ代数準同型写像を備えていることを確立する。組合せ的ホップ代数の手法を用いて、有限空間と無限小バイアルゲブラを結びつけ、可換代数における剛性を記述するためのシュール＝ウェイル圏を導入する。これにより、局所的位相的不変量の背後にあるグローバルな代数的構造が明らかになる。

ABSTRACT

Finite topological spaces are in bijective correspondence with preorders on finite sets. We undertake their study using combinatorial tools that have been developed to investigate general discrete structures. A particular emphasis will be put on recent topological and combinatorial Hopf algebra techniques. We will show that the linear span of finite spaces carries generalized Hopf algebraic structures that are closely connected with familiar constructions and structures in topology (such as the one of cogroups in the category of associative algebras that has appeared e.g. in the study of loop spaces of suspensions). The most striking results that we obtain are certainly that the linear span of finite spaces carries the structure of the enveloping algebra of a $B\_\infty$--algebra, and that there are natural (Hopf algebraic) morphisms between finite spaces and quasi-symmetric functions. In the process, we introduce the notion of Schur-Weyl categories in order to describe rigidity theorems for cogroups in the category of associative algebras and related structures, as well as to account for the existence of natural operations (graded permutations) on them.

研究の動機と目的

• 現代の組合せ的およびホップ代数的道具を用いて有限位相空間を調査すること。
• 有限空間の線形スパンに、具体的には $B_{\infty}$-代数および無限小バイアルゲブラ構造を含むグローバルな代数的構造を明らかにすること。
• 有限空間から擬対称関数の代数への自然なホップ代数準同型写像を確立すること。
• 可換代数におけるココミュタティブなコグループおよび関連するバイアルゲブラの剛性定理を形式化するためにシュール＝ウェイル圏を導入すること。
• 局所的構成（例えばカップ積）と有限空間の線形スパン上のグローバル代数的作用の間の相互作用を明確にすること。

提案手法

• 有限位相空間と有限集合上の前順序の間の一対一対応を用いて、空間を代数的にモデル化する。
• 開部分集合の抽出を介して、有限空間の線形スパンにコプロダクトを定義し、無限小バイアルゲブラ構造を形成する。
• 擬対称関数に於いて $\succ_q$-積を導入し、有限空間の線形スパンから $\mathbf{QSym}$ への準同型写像 $\phi_q$ を構成する。
• 標準的順序付け $Lin_{\text{Std}}(\mathcal{T})$ を用いて位相的データを符号化し、ラベリングに関する重み付き和を介して写像 $\phi_q$ を定義する。
• シュール＝ウェイル圏の概念を用いて、可換代数の圏におけるココミュタティブなコグループの剛性を記述する。
• 操作 $F_<$ および $F_=$ を用いて、ラベリング上に作用する演算を定義し、これにより $\succ_q$-積構造を保存および反映する。

実験結果

リサーチクエスチョン

• RQ1 有限位相空間の線形スパンにどのように $B_{\infty}$-代数構造を導入できるか？
• RQ2 有限空間の線形スパンから擬対称関数の代数へのホップ代数準同型写像の性質は何か？
• RQ3 有限空間上のグローバル代数的作用と、カップ積のような局所的位相的不変量との関係は何か？
• RQ4 シュール＝ウェイル圏は、可換代数におけるコグループ構造の剛性を特徴付ける上で果たす役割は何か？
• RQ5 どのような条件下で、二つの有限空間が準同型写像 $\phi_q$ で同じ像をもたらすか？

主な発見

• 有限空間の線形スパン $\mathcal{F}$ は、定理19で示されるように、$B_{\infty}$-代数の包絡代数の構造を有する。
• 定理21で確立されたように、$\mathcal{F} \to \mathbf{QSym}$ への全射的かつ構造を保全するホップ代数準同型写像 $\phi_q$ が存在する。
• 写像 $\phi_q$ は $\succ_q$-積を尊重し、$\phi_q(\overline{\mathcal{T}}_1 \succ \overline{\mathcal{T}}_2) = \phi_q(\overline{\mathcal{T}}_1) \succ_q \phi_q(\overline{\mathcal{T}}_2)$ を満たす。これにより、代数的作用との整合性が確認される。
• $\mathcal{F}$ 上の特徴関数 $\zeta_q = \zeta_{\mathbf{QSym}} \circ \phi_q$ は $q^{\alpha((n))} = q^{\text{number of pairs } (i,j) \text{ with } i <_{\mathcal{T}} j}$ に等しく、位相的データと $q$-変形を結びつける。
• 写像 $\phi_q$ は単射でない。定理19の反例により、204項からなる反例で示されるように、異なる有限空間 $\overline{\mathcal{T}}$ と $\overline{\mathcal{T}}'$ が同じ $\mathbf{QSym}$ 要素へ写像されることがある。
• 同じ集合上の二つの位相 $\mathcal{T}$ と $\mathcal{T}'$ が等しいための必要十分条件は $Lin(\mathcal{T}) = Lin(\mathcal{T}')$ であることであり、これは位相的同型の組合せ的基準を提供する。