Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals

DOI10.1016/J.AIM.2018.03.018MaRDI QIDQ725281zbMATH OpenOpenAlexFDO

Authors Imma Gálvez-Carrillo, Joachim Kock, Andrew Tonks

Publication date 1 August 2018

Published in Advances in Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1512.07580, http://hdl.handle.net/2117/125325

zbMATH Keywords

2-Segal spaceCULF functordecomposition spaceMöbius intervalMöbius inversion

Mathematics Subject Classification ID

Algebraic aspects of posets (06A11) Hopf algebras and their applications (16T05) Bialgebras (16T10) Simplicial sets, simplicial objects (18N50) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: Decomposition spaces are simplicial $infty$-groupoids subject to a certain exactness condition, needed to induce a coalgebra structure on the space of arrows. Conservative ULF functors (CULF) between decomposition spaces induce coalgebra homomorphisms. Suitable added finiteness conditions define the notion of M"obius decomposition space, a far-reaching generalisation of the notion of M"obius category of Leroux. In this paper, we show that the Lawvere-Menni Hopf algebra of M"obius intervals, which contains the universal M"obius function (but is not induced by a M"obius category), can be realised as the homotopy cardinality of a M"obius decomposition space $U$ of all M"obius intervals, and that in a certain sense $U$ is universal for M"obius decomposition spaces and CULF functors.

Review text

The paper under review is the third part of a trilogy devoted to the investigation of decomposition spaces and their incidence algebras. The first part [ibid. 331, 952--1015 (2018; Zbl 1403.00023)] introduced the notion of decomposition space as a general framework for incidence algebras and Möbius inversion, discovered independently in a different guise by \textit{T. Dyckerhoff} and \textit{M. Kapranov} [``Higher Segal spaces. I, Lect. Notes Math. 2244. Cham: Springer (2019; Zbl 1459.18001), see also \url{arXiv:1212.3563}] who were motivated by geometry, representation theory and homological algebra. The second part [ibid. 333, 1242--1292 (2018; Zbl 1403.18016)], by imposing suitable finiteness conditions on decomposition spaces, arrived at Möbius decomposition spaces as a far-reaching generalization of the notion of Möbius category in [\textit{P. Leroux}, Cah. Topologie Géom. Différ. Catégoriques 16, 280--282 (1976; Zbl 0364.18001)]. This third part, subsuming discoveries of \textit{F. W. Lawvere} and \textit{M. Menni} [Theory Appl. Categ. 24, 221--265 (2010; Zbl 1236.18001)], introduces the Möbius decomposition space of Möbius intervals, which is shown to be a universal Möbius decomposition space in a precise sense, though its proof is highly fastidious.

Recommendations

• Polynomial hull of a torus fibered over the circle
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Notions of Möbius inversion

Cites work

• A spectrum-level Hodge filtration on topological Hochschild homology
• Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
• Coalgebras and Bialgebras in Combinatorics
• Combinatorial problems of commutation and rearrangements
• Complexe cotangent et déformations. II
• Configuration-spaces and iterated loop-spaces
• Decomposition spaces and restriction species
• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Higher Topos Theory (AM-170)
• Homotopy linear algebra
• scientific article; zbMATH DE number 2125667 (Why is no real title available?)
• scientific article; zbMATH DE number 3989612 (Why is no real title available?)
• scientific article; zbMATH DE number 3567030 (Why is no real title available?)
• scientific article; zbMATH DE number 5934750 (Why is no real title available?)
• scientific article; zbMATH DE number 5256216 (Why is no real title available?)
• scientific article; zbMATH DE number 3264101 (Why is no real title available?)
• Introduction to extensive and distributive categories
• Monads with arities and their associated theories
• On the foundations of combinatorial theory I. Theory of M�bius Functions
• Quasi-categories and Kan complexes

Cited in

(23)

• Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
• Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• 2-Segal spaces as invertible infinity-operads
• Higher Segal spaces via higher excision
• Homotopy linear algebra
• Polynomial hull of a torus fibered over the circle
• Decomposition-space slices are toposes
• Twisted arrow categories, operads and Segal conditions
• Antipodes of monoidal decomposition spaces
• (WEAK) INCIDENCE BIALGEBRAS OF MONOIDAL CATEGORIES
• The edgewise subdivision criterion for 2-Segal objects
• Lawvere intervals and the Möbius function of a Möbius category
• Decomposition spaces and restriction species
• Matrix operations in random permutation set
• The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
• Culf maps and edgewise subdivision
• Semisimple field theories detect stable diffeomorphism
• Free decomposition spaces
• The decomposition space perspective
• Decomposition spaces in combinatorics
• On orthogonal factorization systems and double categories
• Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness

This page was built for publication: Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q725281)