[논문 리뷰] Decomposition spaces, incidence algebras and Möbius inversion

Maria Immaculada Gálvez Carrillo, Joachim Kock외 1명|arXiv (Cornell University)|2014. 04. 11.

Homotopy and Cohomology in Algebraic Topology참고 문헌 49인용 수 15

한 줄 요약

이 논문은 약화된 Segal 조건을 갖춘 단체형 무한군의 구조인 분해 공간( decomposition spaces)을 도입하여, 고전적 이론과 호모토피 이론적 방법을 통합하는 인cidense 대수와 모비우스 역행의 일반적 프레임워크를 제시한다. 이는 모비우스 간격이 분해 공간을 이룬다는 것을 보여주며, 보편적인 호프 대수를 제공함으로써 고전적 설정을 넘어서 모비우스 범주 이론을 확장한다.

ABSTRACT

We introduce the notion of decomposition space as a general framework for incidence algebras and Mobius inversion: it is a simplicial infinity-groupoid satisfying an exactness condition weaker than the Segal condition, which expresses decomposition. We work on the objective level of homotopy linear algebra with coefficients in infinity-groupoids, developed along the way. To any (complete) decomposition space there is associated an incidence (co)algebra (with coefficients in infinity-groupoids), shown to satisfy a sign-free version of the Mobius inversion principle. Examples of decomposition spaces beyond Segal spaces are given by the Waldhausen S-construction and by Schmitt restriction species. Imposing certain homotopy finiteness conditions yields the notion of Mobius decomposition space, an extension of the notion of Mobius category of Leroux. We take a functorial viewpoint throughout, emphasising conservative ULF functors, and show that most reduction procedures in the classical theory are examples of this notion, and in particular that many are examples of decalage of decomposition spaces. Our main theorem concerns the Lawvere-Menni Hopf algebra of Mobius intervals, which contains the universal Mobius function (but does not come from a Mobius category): we establish that Mobius intervals form a decomposition space, which is in some sense universal. NOTE: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call it unital 2-Segal space. Our theory is quite orthogonal to theirs.

연구 동기 및 목표

• 고전적 부분순서집합을 초월하여 고차 범주론적 구조를 통해 인cidense 대수와 모비우스 역행을 일반화하는 것.
• 무한군의 구조를 계수로 하는 인cidense (코)대수 이론을 개발하여 부호 없는 모비우스 역행을 가능하게 하는 것.
• 호모토피 유한성 조건을 통해 분해 공간을 이용해 모비우스 범주 개념을 확장하고, 모비우스 분해 공간을 정의하는 것.
• 인cidense 이론의 고전적 단순화 절차가 분해 공간의 디칼라주 연산으로 자연스럽게 유도됨을 보여주는 것.
• 모비우스 간격의 라벨-멘니 호프 대수가 보편적 분해 공간에서 유래됨을 확립하는 것.

제안 방법

• 약화된 정확성 조건을 만족하는 단체형 무한군의 구조인 분해 공간을 도입하여, 세갈 공간의 일반화로 삼는 것.
• 무한군의 계수를 갖는 호모토피 선형대수를 사용하여 분해 공간으로부터 인cidense (코)대수를 구성하는 것.
• 레로우의 모비우스 범주를 확장하기 위해 호모토피 유한성 조건을 통해 모비우스 분해 공간을 정의하는 것.
• 유한성 조건을 갖는 ULF 함자를 활용하여 인cidense 이론의 단순화 절차를 분해 공간 위의 디칼라주 연산으로 형식화하는 것.
• 모비우스 간격의 범주가 분해 공간을 이룬다는 것을 그 보편 성질을 이용해 증명하는 것.
• 이 분해 공간의 인cidense 대수로서 실현된 라벨-멘니 호프 대수를 통해 보편 모비우스 함수를 확립하는 것.

실험 결과

연구 질문

• RQ1 고차 범주론적 구조를 통해 인cidense 대수와 모비우스 역행을 부분순서집합을 초월해 일반화할 수 있는가?
• RQ2 인cidense 이론의 고전적 단순화 절차는 디칼라주와 같은 범주론적 구성과 어떻게 관련되는가?
• RQ3 라벨-멘니 호프 대수의 보편적 분해 공간이 존재하는가?
• RQ4 분해 공간을 통해 모비우스 범주의 개념을 호모토피 이론적 맥락으로 확장할 수 있는가?
• RQ5 유한성 조건을 갖는 ULF 함자는 인cidense 이론적 구성들을 통합하는 데 어떤 역할을 하는가?

주요 결과

• 모비우스 간격의 범주가 분해 공간을 이룬다. 이는 모비우스 역행의 보편적 프레임워크를 제공한다.
• 라벨-멘니 호프 대수는 이 보편적 분해 공간의 인cidense 대수로서 유도되며, 보편 모비우스 함수를 포함한다.
• 분해 공간은 세갈 공간을 일반화하며, 무한군의 계수를 갖는 인cidense (코)대수를 지지한다.
• 인cidense 이론의 고전적 단순화 절차는 분해 공간의 디칼라주 사례로 나타남을 보였다.
• 모비우스 분해 공간은 호모토피 유한성 조건을 통해 정의되며, 레로우의 모비우스 범주를 호모토피 맥락으로 확장한다.
• 이 이론은 호모토피 선형대수의 프레임워크 내에서 부호 없는 모비우스 역행 원리의 버전을 달성한다.