Decomposition spaces, incidence algebras and Möbius inversion. I: Basic theory
From MaRDI portal
(Redirected from Publication:1647403)
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 -groupoids. A decomposition space is a simplicial -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 -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.
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
Cites work
- scientific article; zbMATH DE number 1686998 (Why is no real title available?)
- scientific article; zbMATH DE number 2125667 (Why is no real title available?)
- scientific article; zbMATH DE number 3927168 (Why is no real title available?)
- scientific article; zbMATH DE number 3989612 (Why is no real title available?)
- scientific article; zbMATH DE number 4057746 (Why is no real title available?)
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3567030 (Why is no real title available?)
- scientific article; zbMATH DE number 1216133 (Why is no real title available?)
- scientific article; zbMATH DE number 1243159 (Why is no real title available?)
- scientific article; zbMATH DE number 922680 (Why is no real title available?)
- scientific article; zbMATH DE number 5934750 (Why is no real title available?)
- scientific article; zbMATH DE number 5219541 (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?)
- scientific article; zbMATH DE number 3420754 (Why is no real title available?)
- A Course in Mathematical Logic for Mathematicians
- A Survey of (∞, 1)-Categories
- A cellular nerve for higher categories
- A model for the homotopy theory of homotopy theory
- An Algebraic Theory of Integration Methods
- Categories de Möbius et fonctorialites: un cadre général pour l'inversion de Möbius
- Categorification of Hopf algebras of rooted trees.
- Coalgebras and Bialgebras in Combinatorics
- Cohomology of small categories
- Combinatorial models for coalgebraic structures
- Combinatorial problems of commutation and rearrangements
- Complexe cotangent et déformations. II
- Crossed simplicial groups and structured surfaces
- Data types with symmetries and polynomial functors over groupoids
- 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
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
- Derived Hall algebras
- Faà di Bruno for operads and internal algebras
- Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract)
- Finiteness obstructions and Euler characteristics of categories
- Graphs, hypergraphs, and properads
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Hall algebras and quantum groups
- Higher Topos Theory (AM-170)
- Higher categorical aspects of Hall algebras
- Higher dimensional algebra. VII: Groupoidification
- Homotopy linear algebra
- Homotopy type theory. Univalent foundations of mathematics
- Hopf Algebras of Combinatorial Structures
- Hopf algebras, renormalization and noncommutative geometry
- Incidence Hopf algebras
- Introduction to extensive and distributive categories
- Lectures on Hall algebras
- Monads with arities and their associated theories
- Monoidal functors, species and Hopf algebras
- Notions of Möbius inversion
- On bialgebras and Hopf algebras of oriented graphs.
- On the Hopf algebra strucutre of perturbative quantum field theories
- On the Möbius Algebra and the Grothendieck Ring of a Finite Category
- On the foundations of combinatorial theory I. Theory of M�bius Functions
- Perturbative renormalisation for not-quite-connected bialgebras
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Polynomial functors and trees
- Quasi-categories and Kan complexes
- The category of representations of the general linear groups over a finite field
- The isomorphism problem for incidence algebras of Möbius categories
- Transformation groups and algebraic \(K\)-theory
- Triangulated surfaces in triangulated categories
- Une théorie combinatoire des séries formelles
Cited in
(44)- Frobenius and commutative pseudomonoids in the bicategory of spans
- Weak Cartesian properties of simplicial sets
- Moment categories and operads
- Higher Segal spaces via higher excision
- Yoneda lemma for simplicial spaces
- Operads of (noncrossing) partitions, interacting bialgebras, and moment-cumulant relations
- The edgewise subdivision criterion for 2-Segal objects
- Comparison of Waldhausen constructions
- Twisted arrow categories, operads and Segal conditions
- Operadic categories and décalage
- 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
- Matrix operations in random permutation set
- Decomposition spaces, incidence algebras and Möbius inversion. III: The decomposition space of Möbius intervals
- Homotopy theory. Abstracts from the workshop held August 6--11, 2023
- Polynomial functors and combinatorial Dyson-Schwinger equations
- Every 2-Segal space is unital
- Incidence algebras and coalgebras of decomposition structures
- Plethysms and operads
- The G\'alvez-Kock-Tonks conjecture for locally discrete decomposition spaces
- 2-Segal objects and the Waldhausen construction
- scientific article; zbMATH DE number 7692241 (Why is no real title available?)
- Corrigendum to: ``Decomposition spaces, incidence algebras and Möbius inversion. II: Completeness, length filtration, and finiteness
- Frobenius objects in the category of spans
- The incidence comodule bialgebra of the Baez-Dolan construction
- Perturbative renormalisation for not-quite-connected bialgebras
- A simplicial groupoid for plethysm
- Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions
- Decomposition-space slices are toposes
- Homotopy linear algebra
- Quasi-2-Segal sets
- Faà di Bruno for operads and internal algebras
- Decomposition spaces and restriction species
- Möbius functions of directed restriction species and free operads, via the generalised Rota formula
- Groupoids and Faà di Bruno formulae for Green functions in bialgebras of trees.
- Antipodes of monoidal decomposition spaces
- 2-Segal spaces as invertible infinity-operads
- Tracelet Hopf algebras and decomposition spaces (extended abstract)
- Spaces of smooth embeddings and configuration categories
- Polynomial hull of a torus fibered over the circle
- Whole-grain Petri nets and processes
- 2-Segal objects and algebras in spans
- Proto-exact categories of matroids, Hall algebras, and \(K\)-theory
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)