2-Segal spaces as invertible -operads 1 Tashi Walde∗ Abstract We exhibit the simplex category ∆ and Segal’s category Γ as -categorical localizations 1 of the dendroidal categories Ωπ and Ω introduced by Moerdijk and Weiss. As an application we obtain an equivalence of -categories between invertible -operads and the 2-Segal 1 1 spaces of Dyckerhoff and Kapranov. Finally, we describe a cyclic version of the dendroidal category and explain how it -localizes to Connes’s cyclic category Λ. 1 Contents: 1 Introduction 1 2 The localization functors 5 2.1 The category Ωπ of plane rooted trees . .5 2.2 The localization functor Lπ :Ωπ ∆ .........................7 ! 2.3 Symmetric operads and Segal’s category Γ ......................9 3 The localization theorem 10 3.1 The general situation . 10 3.2 Proof of the key lemma . 11 4 Applications 13 4.1 2-Segal simplicial objects and Segal dendroidal objects . 14 4.2 Segal simplicial objects and covariantly fibrant dendroidal objects . 15 4.3 2-Segal simplicial sets and invertible operads . 15 4.4 2-Segal simplicial spaces and invertible -operads . 18 1 5 Variant: Cyclic operads and cyclic objects 21 References 23 arXiv:1709.09935v5 [math.AT] 1 Mar 2021 1 Introduction Higher category theory rests on the idea that one should replace strictly associative composition of arrows by composition laws which are only well-defined and associative up to a coherent system of higher homotopies. The importance of simplicial methods in higher category theory stems mainly from the key fact that the datum of an ordinary category can be faithfully repackaged in a simplicial set, called its nerve. It is well known that a simplicial set : ∆op Set is X ! isomorphic to the nerve of a category if and only if satisfies what are known as Rezk’s Segal conditions. The category corresponding to has as its set of objects and as its set of X X[0] X[1] morphisms; composition of morphisms is defined by the span =∼ µ: X ; (1.1) X[1] × [0] X[1] −−X[2] −! X[1] ∗Rheinische Friedrich-Wilhelms-Universität Bonn, https://www.math.uni-bonn.de/people/twalde/ 2/25 2-Segal spaces as invertible -operads 1 where the left pointing map is guaranteed to be a bijection by the first of the Segal conditions. It is Rezk’s fundamental insight [Rez01] that one can model ( ; 1)-category as simplicial spaces 1 which satisfy the correct homotopy coherent analog of the Segal conditions, obtained by replacing bijections of sets by weak equivalences of spaces and fiber products by their homotopy coherent counterparts; the contractible (homotopy) fibers of the left pointing map in (1.1) parameterize the choices of composition. Dyckerhoff and Kapranov [DK12] study the case where the first map in the span (1.1) is not an equivalence anymore. In this case one can still interpret µ as a “multi-valued composition law”, where the space of possible results of a composition is parameterized by the possibly non-contractible or even empty fibers of the first map in the span (1.1). This multi-valued composition law is unital and associative (up to coherent homotopies) precisely if the simplicial object satisfies the 2-Segal conditions1)—a weakening of Rezk’s Segal conditions. X The main source of examples of 2-Segal spaces—apart from all ordinary Segal spaces—is Waldhausen’s S-construction [Wal85], which assigns to a suitable ( -)category C a 2-Segal sim- 1 plicial space (C) (see Example 4.3.7). While Waldhausen was originally interested in the ho- S motopical meaning of the S-construction—the homotopy groups of (C) compute the algebraic S K-theory of C—, it turns out that the S-construction also carries interesting algebraic informa- tion: under suitable finiteness assumptions, one can turn the simplicial space (C) into the so S called Hall algebra of C by an appropriate linearization procedure. In this context, the 2-Segal property enjoyed by (C) can be seen to be directly responsible for the unitality and associativity S of the multiplication in the Hall algebra. Variants of Hall algebras, such as the cohomological Hall algebra of Kontsevich and Soibelmann [KS11] or the derived Hall algebra of Toën [Toë06], can be obtained by considering variants of this construction; see [Dyc18] for a survey on this perspective. Dyckerhoff and Kapranov also recover classical convolution algebras such as the Iwahori and Hecke algebra as linearizations of certain 2-Segal spaces. Hall and Hecke algebras play an important role in representation theory, for instance due to their close connection to quantum groups. When constructing (strictly) associative algebras out of 2-Segal spaces, one really only needs the 3-skeleton of these simplicial spaces and the corresponding truncated version of the 2-Segal conditions. It is thus natural to ask: What precisely is the higher algebraic structure encoded in a 2-Segal space? In this paper we establish the following theorem (see Corollary 4.4.2) which provides the first complete answer to this question. Theorem 1. There is a canonical equivalence between • the -category of 2-Segal spaces and 1 • the -category of invertible -operads2). 1 1 ♦ The theory of -operads, originally introduced in the setting of algebraic topology by 1 May [May72] and Boardman–Vogt [BV73] to study the algebraic structure of iterated loop spaces, has since become a fundamental organizational tool in the study of higher algebraic structures. Roughly speaking, an operad is a generalized category which admits not just mor- phisms x y from one object to another, but also “many-to-one” morphisms (x1; : : : ; xn) y, ! ! called operations, together with suitably associative composition laws (see Definition 2.1.1). An operad is called invertible (see Definition 4.3.1) if each operation can uniquely be de- composed into other operations, as long as the shape of this decomposition is specified in ad- vance; more precisely, we require that each 1-ary operation is the identity and that, after fixing 0 i j n, each n-ary operation (x1; : : : ; xn) z can be written uniquely as a composition of ≤ ≤ ≤ ! two operations (xi+1; : : : ; xj) y and (x1; : : : ; xi; y; xj+1; : : : ; xn) z. A trivial example of an ! ! invertible operad is the commutative operad which has a unique operation of each arity. More 1)2-Segal spaces were also introduced independently by Gálvez-Carrillo, Kock and Tonks [GCKT18a, GCKT18b, GCKT18c] under the name decomposition spaces. 2) colored, non-symmetric 3/25 2-Segal spaces as invertible -operads 1 interestingly, there is, for each abelian category A, an invertible operad S(A)—corresponding to the aforementioned Waldhausen S-construction under the equivalence of Theorem 1—whose colors and 1-ary operations are the objects of A and whose 2-ary operations are short exact sequences (see Example 4.3.7). The passage from operads to -operads is analogous to the passage from categories to 1 -categories and arises by replacing strict composition of operations by composition laws which 1 are only well-defined and associative up to a coherent system of higher homotopies. To study -operads we use the convenient framework of dendroidal spaces introduced by Moerdijk and 1 Weiss [MW07] and later developed further by Cisinski and Moerdijk [CM11, CM13]. In this framework the simplex category ∆ is replaced by a bigger category Ωπ of plane rooted trees whose definition we recall in Section 2.1. Generalizing Rezk’s ideas from the simplicial case, Cisinski and Moerdijk observe that operads are identified via a dendroidal version of the nerve op functor with dendroidal sets Ωπ Set satisfying the dendroidal analog of the Segal conditions ! (see Definition 4.1.1). More generally, they show that -operads are modeled by (complete3)) 1 Segal dendroidal spaces. The equivalence in Theorem 1 is constructed by pulling back along an explicit functor Lπ :Ωπ ∆ −! (see Section 2.2) of ordinary categories, which we prove to be an -categorical localization in the 1 following sense: There is an explicit class S of maps in Ωπ which are sent by Lπ to equivalences in ∆ and, moreover, Lπ is universal with this property among all functors of -categories. More 1 precisely, we have the following result (see Theorem 3.0.1). Theorem 2. Let C be an -category. The functor 1 ? L : Fun(∆; C) Fun(Ωπ; C) π −! induced by Lπ is fully faithful; the essential image is spanned by those functors Ωπ C which ! send all maps in S to equivalences in C. ♦ Theorem 1 follows from Theorem 2 (after passing to opposite categories) by observing that ? Lπ identifies 2-Segal simplicial objects in its domain with (complete) Segal dendroidal objects in its essential image. It is often worthwhile to enhance simplicial objects with “additional symmetries”. In this article we consider the following two main examples: (1) Segal’s special Γ-spaces [Seg74]—used to model the homotopy theory of connective spectra— can be seen as Segal simplicial spaces enhanced by compatible actions X Sn y n X of the symmetric groups. (2) Cyclic symmetries on : ∆op C are encoded by lifts of to Connes’ cyclic category X ! X Λ ∆ and described informally by a compatible system of actions ⊃ Cn+1 y n X by cyclic groups. 2-Segal cyclic objects play a central role in Dyckerhoff–Kapanov’s con- struction [DK18] of topological Fukaya categories of surfaces. One important feature of our proof of Theorem 1 is that it can be generalized to clarify how cyclic (resp. symmetric) enhancements of 2-Segal spaces correspond precisely to cyclic (resp. symmetric) structures on the corresponding invertible -operads. To do this we consider two 1 variants of the category Ωπ of plane rooted trees: 3)Completeness is an additional technical condition which will be vacuous in the cases we consider.