[論文レビュー] Decomposition spaces in Combinatorics

Imma Gálvez-Carrillo, Joachim Kock+1 more|arXiv (Cornell University)|Dec 29, 2016

Advanced Topics in Algebra参考文献 89被引用数 18

ひとこと要約

本稿は、セガール条件の代わりに分解条件を用いることで、順序型集合や圏の一般化としての分解空間を、組合せ論におけるインシデント（余）代数を統一的に扱う枠組みとして導入する。これにより、古典的な組合せ論的構造—例えば二項順序型集合、Faà di Bruno および Butcher-Connes-Kreimer のホップ代数—が、畳み込み代数と基数を介して直接的に関係づけられ、モビウス逆転と母関数におけるキャンセレーションが、対象レベルでは見えないが、背後にあるホモトピー的構造に起因することを明らかにする。

ABSTRACT

A decomposition space (also called 2-Segal space) is a simplicial object satisfying an exactness condition weaker than the Segal condition: just as the Segal condition expresses composition, the new condition expresses decomposition. It is a general framework for incidence (co)algebras. In this contribution, after establishing a formula for the section coefficients, we survey a large supply of examples, emphasising the notion's firm roots in classical combinatorics. The first batch of examples, similar to binomial posets, serves to illustrate 2 key points: (1) the incidence algebra in question is realised directly from a decomposition space, without a reduction step, and reductions are often given by CULF functors; (2) at the objective level, the convolution algebra is a monoidal structure of species. We encounter the usual Cauchy product of species, the shuffle product of L-species, the Dirichlet product of arithmetic species, the Joyal-Street external product of q-species and the Morrison `Cauchy' product of q-species. In each case a power series representation results from taking cardinality. The external product of q-species exemplifies the fact that Waldhausen's S-construction on an abelian category is a decomposition space, yielding Hall algebras. The next class of examples includes Schmitt's chromatic Hopf algebra, the Faà di Bruno bialgebra, the Butcher-Connes-Kreimer Hopf algebra of trees and variations from operad theory. Similar structures on posets and directed graphs exemplify a general construction of decomposition spaces from directed restriction species. An appetiser on decomposition spaces of symmetric functions is included. We finish by computing the Möbius function in a few cases, and commenting on certain cancellations that occur in the process of taking cardinality, substantiating that these cancellations are not possible at the objective level.

研究の動機と目的

• 組合せ論におけるインシデント（余）代数を統一的に扱う枠組みとして分解空間を確立し、古典的な順序型集合や圏を越えて一般化すること。
• 畳み込み代数が還元ステップを必要とせず、自然に分解空間から生じることを示すこと。
• CULF ファンクターが分解空間を関連づけ、余代数準同型を誘導する役割を明確にすること。
• 母関数におけるキャンセレーション（例：モビウス逆転）が対象レベルでは不可能であり、代わりにホモトピー的構造から生じることを示すこと。
• 種、ホップ代数、およびワルドハイムの S-構成といった古典的な組合せ論的例を、分解空間形式において包括的に調査すること。

提案手法

• 本稿は、組合せ論的対象の対称性を群ガロア構造で符号化するため、単体的群ガロアを自然な一般性のレベルとして用いる。
• 分解空間は、合成ではなく分解を符号化するユニタリ2-セガール条件を満たす単体的群ガロアとして導入される。
• 分解空間の係数は、インシデント代数構造を一般化する公式により計算される。
• CULF ファンクターは分解空間を関連づけ、特に種と双代数の文脈で代数準同型を誘導する。
• 矢印の自由ベクトル空間上の畳み込み代数構造は、コマルティプリケーション Δ(f) = ∑_{ab=f} a⊗b により定義され、インシデント余代数を一般化する。
• 基数がホモトピー的構造を形式的べき級数に変換するのを助け、カウチ積、シャッフル積、ディリクレ積といった古典的積を回復する。

実験結果

リサーチクエスチョン

• RQ1 分解空間はどのように組合せ論におけるインシデント（余）代数を統一的に扱う枠組みとして機能するか？
• RQ2 CULF ファンクターは分解空間間の余代数準同型を構成するためにどのように機能するか？
• RQ3 なぜモビウス逆転や母関数におけるキャンセレーションは対象レベルでは発生しないが、ホモトピー的構造から生じるのか？
• RQ4 アーベル圏上のワルドハイム S•-構成はどのように分解空間を導出し、それによってホール代数を生じさせるか？
• RQ5 太いネスター（fat nerve）は、対称性を持つ圏から分解空間を実現するために果たす役割は何か？

主な発見

• 分解空間のインシデント余代数は還元を経ずに直接的に実現され、コマルティプリケーション Δ([x,y]) = ∑_{x≤m≤y} [x,m]⊗[m,y] が古典的な順序型集合の場合を一般化する。
• 分解空間の畳み込み代数は、種の種類に応じて、カウチ積、シャッフル積、ディリクレ積といったモノイド的構造を生じさせる。
• q-種の外部積は、アーベル圏上のワルドハイム S•-構成から生じる分解空間から得られ、ホール代数をもたらす。
• Faà di Bruno 双代数、Butcher-Connes-Kreimer ホップ代数、およびシュミットの彩色ホップ代数は、すべて分解空間のインシデント双代数として生じる。
• 対象レベルで計算されたモビウス関数は、母関数で観察されるキャンセレーションを説明できないが、それらは背後にある群ガロアでは見えないが、ホモトピー的構造に起因する。
• 本稿は、ゼータ関数およびモビウス関数における項のキャンセレーションが、分解空間自体のレベルでは不可能であり、基数を取った後でのみ可能であることを示している。