[논문 리뷰] Decomposition spaces in Combinatorics

Imma Gálvez-Carrillo, Joachim Kock외 1명|arXiv (Cornell University)|2016. 12. 29.

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-구성—을 분해 공간 형식론 내에서 종합적으로 조망하는 것.

제안 방법

• 논문은 단순군oids를 자연스러운 일반성 수준으로 사용하여, 조합론적 대상의 대칭성을 군oids의 구조로 표현한다.
• 분해 공간은 단순군oids로서의 유니탈 2-세갈 조건을 만족하는 것으로 정의되며, 이는 조합의 조건이 아닌 분해를 표현한다.
• 분해 공간의 계수 계수는 삼중 대수의 구조를 일반화하는 공식을 통해 계산된다.
• CULF 함자는 분해 공간 간의 관계를 설명하고, 특히 종류와 이중대수의 맥락에서 대수 준동형사를 유도하는 데 사용된다.
• 화살표의 자유 벡터 공간 위에 정의된 콘볼루션 대수의 구조는 Δ(f) = ∑_{ab=f} a⊗b로 정의되며, 삼중 코대수를 일반화한다.
• 기수는 토폴로지적 구조를 멱급수로 변환하는 데 사용되며, 카우시, 셔플, 딜리클 제품과 같은 고전적 곱을 복원한다.

실험 결과

연구 질문

• RQ1 분해 공간은 조합론에서의 삼중 (코)대수를 어떻게 통합적 프레임워크로 활용할 수 있는가?
• RQ2 CULF 함자는 분해 공간 간의 코대수 준동형사를 어떻게 유도하는가?
• RQ3 왜 모비우스 역전과 생성함수 내의 상쇄 현상은 객관적 수준에서는 발생하지 않지만, 토폴로지적 구조에서 유래되는가?
• RQ4 아벨 범주에 대한 월드하우젠의 S•-구성은 어떻게 분해 공간을 만들어내며, 그로 인해 할 대수를 유도하는가?
• RQ5 지방 네비는 대칭성을 가진 범주로부터 분해 공간을 어떻게 실현하는가?

주요 결과

• 분해 공간의 삼중 코대수는 감소 없이 직접 실현되며, comultiplication Δ([x,y]) = ∑_{x≤m≤y} [x,m]⊗[m,y]는 고전적 순서집합의 경우를 일반화한다.
• 분해 공간의 콘볼루션 대수는 종류에 대한 모노이드 구조를 유도하며, 종류의 유형에 따라 카우시 곱, 셔플 곱, 딜리클 곱이 포함된다.
• q-종류의 외부 곱은 아벨 범주에 대한 월드하우젠의 S•-구성에서 유도되며, 이는 분해 공간이 되고 할 대수를 생성한다.
• Faà di Bruno 이중대수, Butcher-Connes-Kreimer 호프 대수, 슈미트의 색채 호프 대수 모두 분해 공간의 삼중 이중대수로 나타난다.
• 객관적 수준에서 계산된 모비우스 함수는 생성함수에서 관찰되는 상쇄 현상을 설명하지 못하며, 이는 기저 군oids에서 보이지 않는 토폴로지적 구조의 결과이다.
• 논문은 제타 함수와 모비우스 함수의 항 상쇄가 분해 공간 자체의 수준에서는 가능하지 않으며, 기수를 취한 후에야 가능하다는 것을 보여준다.