Para acceder a los documentos con el texto completo, por favor, siga el siguiente enlace: http://hdl.handle.net/2117/125233
dc.contributor | Universitat Politècnica de Catalunya. Departament de Matemàtiques |
---|---|
dc.contributor | Universitat Politècnica de Catalunya. GEOMVAP - Geometria de Varietats i Aplicacions |
dc.contributor.author | Gálvez Carrillo, Maria Immaculada |
dc.contributor.author | Kock, Joachim |
dc.contributor.author | Tonks, Andrew |
dc.date | 2018-06-20 |
dc.identifier.citation | Galvez, M., Kock, J., Tonks, A. Decomposition spaces, incidence algebras and Möbius inversion I: basic theory. "Advances in mathematics", 20 Juny 2018, vol. 331, p. 952-1015. |
dc.identifier.citation | 0001-8708 |
dc.identifier.citation | 10.1016/j.aim.2018.03.016 |
dc.identifier.uri | http://hdl.handle.net/2117/125233 |
dc.description.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öbius inversion, where algebraic identities are realised by taking homotopy cardinality of equivalences of 8-groupoids. A decomposition space is a simplicial 8-groupoid satisfying an exactness condition, weaker than the Segal condition, expressed in terms of active and inert maps in Image 1. Just as the Segal condition expresses composition, the new exactness 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 8-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 -construction of an abelian (or stable infinity) category is shown to be a decomposition space. In the second paper in this series we impose further conditions on decomposition spaces, to obtain a general Möbius inversion principle, and to ensure that the various constructions and results admit a homotopy cardinality. In the third paper we show that the Lawvere–Menni Hopf algebra of Möbius intervals is the homotopy cardinality of a certain universal decomposition space. Two further sequel papers deal with numerous examples from combinatorics. |
dc.description.abstract | Peer Reviewed |
dc.language.iso | eng |
dc.relation | https://www.sciencedirect.com/science/article/pii/S0001870818301038 |
dc.relation | info:eu-repo/grantAgreement/ES/6PN/MTM2012-38122-C03-01 |
dc.relation | info:eu-repo/grantAgreement/AGAUR/PRI2010-2013/2014SGR634 |
dc.relation | info:eu-repo/grantAgreement/ES/1PE/ MTM2015-69135-P |
dc.rights | Attribution-NonCommercial-NoDerivs 3.0 Spain |
dc.rights | info:eu-repo/semantics/openAccess |
dc.rights | http://creativecommons.org/licenses/by-nc-nd/3.0/es/ |
dc.subject | Àrees temàtiques de la UPC::Matemàtiques i estadística::Topologia::Topologia algebraica |
dc.subject | Algebraic topology |
dc.subject | Combinatorial topology |
dc.subject | decomposition space |
dc.subject | Segal space |
dc.subject | 2-Segal space |
dc.subject | CULF functor |
dc.subject | incidence algebra |
dc.subject | Hall algebra |
dc.subject | Topologia algebraica |
dc.subject | Topologia combinatòria |
dc.subject | Classificació AMS::18 Category theory; homological algebra::18G Homological algebra |
dc.subject | Classificació AMS::06 Order, lattices, ordered algebraic structures::06A Ordered sets |
dc.subject | Classificació AMS::55 Algebraic topology::55P Homotopy theory |
dc.title | Decomposition spaces, incidence algebras and Möbius inversion I: basic theory |
dc.type | info:eu-repo/semantics/submittedVersion |
dc.type | info:eu-repo/semantics/article |