Incidence bicomodules, Möbius inversion and a Rota formula for infinity adjunctions

Carlier, Louis¹

¹Departament de Matemàtiques, Universitat Autònoma de Barcelona, Bellaterra, Spain

Algebraic and Geometric Topology, Tome 20 (2020) no. 1, pp. 169-213

Résumé

In the same way decomposition spaces, also known as unital 2–Segal spaces, have incidence (co)algebras, and certain relative decomposition spaces have incidence (co)modules, we identify the structures that have incidence bi(co)modules: they are certain augmented double Segal spaces subject to some exactness conditions. We establish a Möbius inversion principle for (co)modules and a Rota formula for certain more involved structures called Möbius bicomodule configurations. The most important instance of the latter notion arises as mapping cylinders of infinity adjunctions, or more generally of adjunctions between Möbius decomposition spaces, in the spirit of Rota’s original formula.

Détail

DOI : 10.2140/agt.2020.20.169

Classification : 18D05, 18G30, 55U10, 06A07, 06A15, 06A75, 16D20, 16T15
Keywords: 2–Segal spaces, decomposition spaces, bisimplicial infinity-groupoids, bicomodules, infinity-adjunctions, Möbius inversion

Bibliographie

[1] M Aguiar, N Bergeron, F Sottile, Combinatorial Hopf algebras and generalized Dehn–Sommerville relations, Compos. Math. 142 (2006) 1 | DOI

[2] M Aguiar, W Ferrer Santos, Galois connections for incidence Hopf algebras of partially ordered sets, Adv. Math. 151 (2000) 71 | DOI

[3] M Aigner, Combinatorial theory, 234, Springer (1979) | DOI

[4] D Ayala, J Francis, Fibrations of ∞–categories, preprint (2017)

[5] J C Baez, J Dolan, From finite sets to Feynman diagrams, from: "Mathematics unlimited: 2001 and beyond" (editors B Engquist, W Schmid), Springer (2001) 29 | DOI

[6] J E Bergner, A M Osorno, V Ozornova, M Rovelli, C I Scheimbauer, 2–Segal sets and the Waldhausen construction, Topology Appl. 235 (2018) 445 | DOI

[7] L Carlier, Möbius functions of directed restriction species and free operads, via the generalised Rota formula, preprint (2018)

[8] P Cartier, D Foata, Problèmes combinatoires de commutation et réarrangements, 85, Springer (1969) | DOI

[9] M Content, F Lemay, P Leroux, Catégories de Möbius et fonctorialités : un cadre général pour l’inversion de Möbius, J. Combin. Theory Ser. A 28 (1980) 169 | DOI

[10] T Dyckerhoff, M Kapranov, Higher Segal spaces, I, 2244, Springer (2019) | DOI

[11] I Gálvez-Carrillo, J Kock, A Tonks, Decomposition spaces in combinatorics, preprint (2016)

[12] I Gálvez-Carrillo, J Kock, A Tonks, Decomposition spaces and restriction species, Int. Math. Res. Not. (2018) | DOI

[13] I Gálvez-Carrillo, J Kock, A Tonks, Decomposition spaces, incidence algebras and Möbius inversion, I : Basic theory, Adv. Math. 331 (2018) 952 | DOI

[14] I Gálvez-Carrillo, J Kock, A Tonks, Decomposition spaces, incidence algebras and Möbius inversion, II : Completeness, length filtration, and finiteness, Adv. Math. 333 (2018) 1242 | DOI

[15] I Gálvez-Carrillo, J Kock, A Tonks, Homotopy linear algebra, Proc. Roy. Soc. Edinburgh Sect. A 148 (2018) 293 | DOI

[16] D Gepner, R Haugseng, J Kock, ∞–Operads as analytic monads, preprint (2017)

[17] L Illusie, Complexe cotangent et déformations, II, 283, Springer (1972) | DOI

[18] A Joyal, Quasi-categories and Kan complexes, J. Pure Appl. Algebra 175 (2002) 207 | DOI

[19] A Joyal, The theory of quasi-categories and its applications, II, lecture notes (2008)

[20] A Joyal, Distributors and barrels, preprint (2012)

[21] P Leroux, Les catégories de Möbius, Cahiers Topologie Géom. Différentielle 16 (1975) 280

[22] J Lurie, Higher topos theory, 170, Princeton Univ. Press (2009) | DOI

[23] J Lurie, Higher algebra, book project (2017)

[24] M D Penney, Simplicial spaces, lax algebras and the 2–Segal condition, preprint (2017)

[25] G C Rota, On the foundations of combinatorial theory, I : Theory of Möbius functions, Z. Wahrscheinlichkeitstheorie und Verw. Gebiete 2 (1964) 340 | DOI

[26] R P Stanley, Enumerative combinatorics, I, Wadsworth Brooks/Cole (1986) | DOI

[27] T Walde, Hall monoidal categories and categorical modules, preprint (2016)

[28] M B Young, Relative 2–Segal spaces, Algebr. Geom. Topol. 18 (2018) 975 | DOI