Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory

DOI10.1016/J.AIM.2018.03.016zbMATH Open1403.00023arXiv1512.07573OpenAlexW2295203194MaRDI QIDQ1647403FDOQ1647403

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

Publication date: 26 June 2018

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

Abstract: This is the first in a series of papers devoted to the theory of decomposition spaces, a general framework for incidence algebras and M"obius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of $infty$-groupoids. A decomposition space is a simplicial $infty$-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Delta. Just as the Segal condition expresses composition, the new condition expresses decomposition, and there is an abundance of examples in combinatorics. After establishing some basic properties of decomposition spaces, the main result of this first paper shows that to any decomposition space there is an associated incidence coalgebra, spanned by the space of 1-simplices, and with coefficients in $infty$-groupoids. We take a functorial viewpoint throughout, emphasising conservative ULF functors; these induce coalgebra homomorphisms. Reduction procedures in the classical theory of incidence coalgebras are examples of this notion, and many are examples of decalage of decomposition spaces. An interesting class of examples of decomposition spaces beyond Segal spaces is provided by Hall algebras: the Waldhausen S-construction of an abelian (or stable infinity) category is shown to be a decomposition space. Note: The notion of decomposition space was arrived at independently by Dyckerhoff and Kapranov (arXiv:1212.3563) who call them unital 2-Segal spaces. Our theory is quite orthogonal to theirs: the definitions are different in spirit and appearance, and the theories differ in terms of motivation, examples and directions.

Full work available at URL: https://arxiv.org/abs/1512.07573

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. III: The decomposition space of Möbius intervals
• Decomposition spaces and restriction species
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions

zbMATH Keywords

Hall algebraincidence algebradecomposition spaceSegal space2-Segal spaceCULF functor

Mathematics Subject Classification ID

Collections of articles of miscellaneous specific interest (00B15)

Cites Work

• Hall algebras and quantum groups
• Title not available (Why is that?)
• Title not available (Why is that?)
• On the foundations of combinatorial theory I. Theory of M�bius Functions
• Monoidal functors, species and Hopf algebras
• A Survey of (∞, 1)-Categories
• Monads with arities and their associated theories
• Higher Topos Theory (AM-170)
• Derived Hall algebras
• Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
• Title not available (Why is that?)
• Graphs, hypergraphs, and properads
• Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
• Polynomial functors and trees
• Title not available (Why is that?)
• Data types with symmetries and polynomial functors over groupoids
• Coalgebras and Bialgebras in Combinatorics
• Lectures on Hall algebras
• Title not available (Why is that?)
• A cellular nerve for higher categories
• Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
• Introduction to extensive and distributive categories
• Hopf algebras, renormalization and noncommutative geometry
• Incidence Hopf algebras
• Complexe cotangent et déformations. II
• Title not available (Why is that?)
• Title not available (Why is that?)
• Homotopy type theory. Univalent foundations of mathematics
• Title not available (Why is that?)
• An Algebraic Theory of Integration Methods
• Cohomology of small categories
• Combinatorial problems of commutation and rearrangements
• Quasi-categories and Kan complexes
• A model for the homotopy theory of homotopy theory
• Une théorie combinatoire des séries formelles
• Transformation groups and algebraic \(K\)-theory
• Title not available (Why is that?)
• On the Hopf algebra strucutre of perturbative quantum field theories
• On bialgebras and Hopf algebras of oriented graphs.
• Title not available (Why is that?)
• Title not available (Why is that?)
• Higher dimensional algebra. VII: Groupoidification
• The category of representations of the general linear groups over a finite field
• Hopf Algebras of Combinatorial Structures
• A Course in Mathematical Logic for Mathematicians
• Title not available (Why is that?)
• Finiteness obstructions and Euler characteristics of categories
• Crossed simplicial groups and structured surfaces
• Title not available (Why is that?)
• 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
• Homotopy linear algebra
• Decomposition spaces and restriction species
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Categorification of Hopf algebras of rooted trees.
• Perturbative renormalisation for not-quite-connected bialgebras
• Title not available (Why is that?)
• Triangulated surfaces in triangulated categories
• The isomorphism problem for incidence algebras of Möbius categories
• Combinatorial models for coalgebraic structures
• Notions of Möbius inversion
• Polynomial functors and combinatorial Dyson-Schwinger equations
• On the Möbius Algebra and the Grothendieck Ring of a Finite Category
• Title not available (Why is that?)
• Higher categorical aspects of Hall algebras
• Faà di Bruno for operads and internal algebras

Cited In (44)

• 2-Segal objects and the Waldhausen construction
• Spaces of smooth embeddings and configuration categories
• Quasi-2-Segal sets
• Whole-grain Petri nets and processes
• The edgewise subdivision criterion for 2-Segal objects
• Homotopy linear algebra
• Faà di Bruno for operads and internal algebras
• Plethysms and operads
• A simplicial groupoid for plethysm
• Weak Cartesian properties of simplicial sets
• Title not available (Why is that?)
• 2-Segal spaces as invertible infinity-operads
• Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
• The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
• Frobenius objects in the category of spans
• Operadic categories and décalage
• 2-Segal objects and algebras in spans
• Moment categories and operads
• Higher Segal spaces via higher excision
• The incidence comodule bialgebra of the Baez-Dolan construction
• Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
• Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
• 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
• Gabriel-Zisman cohomology and spectral sequences
• Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
• Möbius functions of directed restriction species and free operads, via the generalised Rota formula
• Polynomial functors and combinatorial Dyson-Schwinger equations
• Perturbative renormalisation for not-quite-connected bialgebras
• Comparison of Waldhausen constructions
• Decomposition spaces and restriction species
• Every 2-Segal space is unital
• Polynomial hull of a torus fibered over the circle
• Incidence algebras and coalgebras of decomposition structures
• Decomposition-space slices are toposes
• Frobenius and commutative pseudomonoids in the bicategory of spans
• Tracelet Hopf algebras and decomposition spaces (extended abstract)
• Matrix operations in random permutation set
• Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
• Twisted arrow categories, operads and Segal conditions
• Yoneda lemma for simplicial spaces
• Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
• Antipodes of monoidal decomposition spaces
• Homotopy theory. Abstracts from the workshop held August 6--11, 2023

This page was built for publication: Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory

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