Arxiv:2108.04557V1 [Math.CT] 10 Aug 2021

BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS

SOPHIE RAYNOR

Abstract. Circuit algebras, used in the study of ﬁnite-type knot invariants, are a symmetric analogue of Jones’s planar algebras. They are very closely related to circuit operads, which are a variation of modular operads admitting an extra monoidal product. This paper gives a description of circuit algebras in terms categories of Brauer diagrams. An abstract nerve theorem for circuit operads – and hence circuit algebras – is proved using an iterated distributive law, and an existing nerve theorem for modular operads.

1. Introduction

Circuit algebras are symmetric (or non-planar) versions of Jones’s planar algebras. They were introduced by Bar-Natan and Dansco [1] as a framework for working with virtual tangles in the study of ﬁnite type invariants of knotted objects. Recently, Dansco, Halacheva and Robertson have given an explicit proof that (directed) circuit algebras are equivalent to wheeled PROPs [8], and they have used this to give descriptions of the (graded) Kashiwara-Vergne groups KRV and KV , and the graded Grothendieck-Teichmüller group GRT , as automorphism groups of circuit algebras [9]. This work describes a general class of (coloured) circuit algebras in terms of categories of Brauer diagrams [5, 39, 24]. The main result is the proof of a nerve theorem for circuit algebras – closely related to the graphical nerve theorem for modular operads of [30] – which provides an explicit of the operadic combinatorics of circuit algebras.

Roughly speaking, circuit algebras are graded monoids (An)n∈N that are equipped with an additional contraction operation, according to certain compatibility axioms. It will be proved in Theorem 9.8 that circuit algebras in the category Set of sets are equivalent to associative graded monoids – called circuit operads – in the category MO of Set-valued modular operads. Indeed, circuit algebras deﬁned in an arbitrary symmetric monoidal category (V, ⊗,I) are enrichments of Set-valued circuit operads, with a set (or palette) of objects (colours), and a collection of V-objects encoding (multi-)morphisms between them, that together satisfy certain axioms. By contrast, circuit operads describe the same algebraic structures, internal to a category E with ﬁnite limits. Hence circuit operads are described by an object n object C ∈ E, and a graded (multi)-morphism object A = (An)n∈N together with E-morphisms An → C satisfying appropriate axioms.

arXiv:2108.04557v1 [math.CT] 10 Aug 2021 In [30], it was shown that modular operads are algebras for a monad on a certain combinatorial category GS whose objects are coloured collections called ‘graphical species’ [16], and – using the abstract nerve theory of [3] – a graphical category and corresponding nerve theorem for modular operads were obtained. This paper builds on that result and constructs circuit operads as algebras for a monad on the same category GS: Theorem 1.1 (Theorem 9.7). The category CO of circuit operads is isomorphic to the Eilenberg-Moore category of algebras for a monad O× on GS.

As in [30], this enables the proof of a corresponding nerve theorem. Circuit operads are characterised as functors from a full subcategory Ξ× ⊂ CO whose objects are graphs. Let psh(Ξ×) denote the category of presheaves – i.e. contravariant Set-valued functors – on Ξ×. Theorem 1.2 (Theorem 10.5). The nerve functor N : CO → psh(Ξ×) induced by the inclusion Ξ× ,→ CO is fully faithful. Moreover, there is a canonical restriction functor R∗ : psh(Ξ×) → GS, such that a

The author acknowledges the support of Australian Research Council grants DP160101519 and FT160100393. 1 2 SOPHIE RAYNOR presheaf P on Ξ× is equivalent to the nerve of a circuit operad if and only if it satisﬁes the so-called ‘Segal condition’, that P is completely described by R∗P .

Since circuit operads have an underlying modular operad structure (see Proposition 5.23), there exist the same obstructions to constructing the monad for circuit operads as for modular operads (this is the so- called ‘problem of loops’ [30, Section 6]). Fortunately, these obstructions also admit the same resolution, using distributive laws [2]. However, the modiﬁcation of the results of [30] to the circuit operad case is slightly subtle, and relies on the construction of a triple of iterable distributive laws.

Theorem 1.3 (Proposition 9.6 & Theorem 9.7). There is a triple of monads L, D and T on GS and distributive laws λDT, λLT, and λLD that describe an iterated distributive law [7] such that the composite LDT on GS is the desired monad whose EM category of algebras is isomorphic to CO.

Let GS∗ be the Eilenberg-Moore category of algebras for the monad D on GS. By the classical theory of distributive laws [2], there is a lifted monad LTe ∗ on GS∗ whose algebras are circuit operads, and Theorem 1.2 is then implied by the following:

Proposition 1.4. The lifted monad LTe ∗ on GS∗ satisﬁes the conditions of [3], and hence the induced nerve functor is fully faithful.

Before discussing the contents of the paper in more detail, let us consider a few reasons why such a result may be of interest. First, one may wish to weaken the axioms and consider (∞, 1) or up-to-homotopy circuit algebras. This is relevant, for example, to the ongoing work of Dansco, Halacheva and Robertson. In [9], they have used circuit algebras to obtain results relating the graded Grothendieck-Teichmüller and Kashiwara- Verne groups GRT and KRV . However, since circuit algebra operations are not preserved strictly under passage to a pro-unipotent completion of groups, it is necessary to adopt a suitably weakened definition to obtain a topological version of these results (see [9, Introduction, Remark 1.1]). Theorem 1.2 gives a description of (Set-valued) circuit algebras in terms of a strong Segal condition. So, it is natural to define (∞, 1)-circuit algebras as presheaves that satisfy a weakened Segal condition. Indeed, for modular operads, [14] and [30] have proved – via different methods and using different graphical categories – that weakening the corresponding Segal condition gives a notion of (∞, 1) or up-to-homotopy modular operads, that are precisely the fibrant objects in a model structure on the relevant category of graphical presheaves. Though neither model generalises immediately to circuit algebras, it is nonetheless possible to use the results of this paper to describe another model for (∞, 1)-circuit algebras in terms of a weak Segal condition [32]. Second, the description of circuit algebras in terms of categories of Brauer diagrams indicates a deep relationship between circuit algebras and (stable) representations of sequences of groups [35]. Versions of the diagram categories in this paper (Section 3) have been widely studied for nearly a century (e.g. [39, 22, 24]) since Brauer’s 1937 paper [5] extending Schur-Weyl duality to describe representations of the orthogonal and symplectic groups. In view of the results of [35], representations of the infinite orthogonal group O(∞) admit a description in terms of non-unital monochrome circuit algebras, and, similarly, representations of the infinite general linear group GL(∞) may be described in terms of non-unital two coloured (or oriented) circuit algebras. It is an ongoing project (with R. Street) to understand these relationships in the unital and general coloured cases. Finally, the construction given here is based on abstract methods and may be easily modified to obtain related results. For example, in [31], it forms the basis of an operadic nerve theorem for compact closed categories. Moreover, the category CA of circuit algebras in Set admits a suspension endofunctor, that enables the construction of higher or n-circuit algebras (n ≥ 1), whereby the colours of an (n + 1)-circuit algebra, themselves describe a n-circuit algebra. Such a construction is used in the notion of circuit algebras with skeleton described in [9], and (in a suitably weakened form) has a number of potential applications, for example to the study of extended conformal field theories.

1.1. Overview. The proof of Theorems 1.1 and 1.2 will rely on an iterated distributive law and the abstract nerve machinery of [3, 4]. Section 2 provides a relatively informal and accessible introduction to these notions, as well as establishing some of the categorical conventions and notations that will be used in the rest of the paper. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 3

A detailed discussion of the categories of (coloured) Brauer diagrams and their functors – with an emphasis on those features that will be most relevant to the discussion of circuit operads in Sections 5-10 – is given in Section 3. In Section 4, circuit algebras are defined in terms of categories of Brauer diagrams, and a number of examples are discussed. Circuit operads are introduced in Section 5 as presheaves over the category GS of graphical species [16]. A canonical functor from circuit algebras in Set to circuit operads is described, as well as a monadic adjunction between circuit operads and modular operads (as they are defined in [30]). The technical work of the paper starts at Section 6. This section is largely a review of basic graph constructions. As in [30] (and [13, 14]), this is based on the definition of graphs introduced in [16]. A monad T× for non-unital circuit operads is constructed in Section 7. This is very similar to the monad for non-unital modular operads in [30], and almost identical to the monad discussed by Kock in [21]. However it is not possible to obtain the monad for unital circuit operads directly from a distributive law involving T×. Instead, it is necessary to supplement the construction of [30] – which is reviewed in Section 8 – by observing that T× is, itself a composite monad. This happens in Section 9, in which an iterated distributive law is established and it is shown that the resulting composite LDT of three monads on GS is indeed the desired circuit operad monad. Moreover, it is proved that the forgetful functor from Set-valued circuit algebras to Set-valued circuit operads is, in fact, an equivalence of categories. Finally, Section 10 contains a description of the graphical category Ξ× for circuit operads. From there, the proof of the nerve theorem (Theorem 1.2) is straightforward.

2. Categorical background

The main result of this work is the construction of a monad for circuit algebras, and a graphical category and nerve theorem that give a complete description of their combinatorics. The method uses a composition of monads, via an iterated distributive law and applies this to obtain an abstract nerve theorem in the style of [3]. Since it is my hope that this work will be relevant to a wider audience than category theorists alone, the aim of this section is to provide an accessible explanation of the statement above. For a more detailed review of the general theory of monads and their Eilenberg-Moore (EM) categories of algebras, see for example [26, Chapter VI]. For now, recall that a monad M = (M, µM, ηM) on a category C is given by an endofunctor M : C → C together with natural transformations µM : M 2 ⇒ M (called the monadic multiplication), and ηM : idCat ⇒ M (called the monadic unit) that satisfy certain axioms making M into an associative monoid in the category of endofunctors on C. An algebra (x, θ) for M is an object x of C, together with a C-morphism θ : Mx → x that is suitably compatible with µM and ηM. Algebras are the objects of the EM category of algebras for M, whose morphisms (x, θ) → (y, ρ) are given by morphisms f ∈ C(x, y) such that ρ ◦ Mf = f ◦ θ.

2.1. Distributive laws. Informally, monads are gadgets that encode, via their algebras, (algebraic) structure on objects. The key idea underlying this work is that, by suitably ‘combining’ monads that describe different basic algebraic structures, we can build up a description of more complicated structures on the objects of some category: 0 0 In general, monads do not compose. But, given monads M = (M, µM, ηM) and M0 = (M 0, µM , ηM ), if a natural transformation λ: M 0M ⇒ M 0M satisfies certain axioms, then it provides a recipe for composition, and determines how the algebraic structures encoded by M and M0 separately, interact with each other to form the structure encoded by the composite MM0. To this end, distributive laws were introduced in [2], and characterised by four axioms that describe coherence of the natural transformation λ: M 0M ⇒ MM 0 with the monadic structure of M and M0. Definition 2.1. A distributive law for M and M0 is a natural transformation λ: M 0M ⇒ MM 0 such 0 0 0 that the triple (MM , µλ, ηMηM ) defines a monad MM on C. Example 2.2. Algebras for the category monad on the category of directed graphs (described as contravariant functors from the small category • ⇒ •) are small categories. 4 SOPHIE RAYNOR

This monad may be obtained as a composite of the semi-category monad, which governs associative composition, and the reﬂexive graph monad that adjoins a distinguished loop at each vertex of a graph. The corresponding distributive law encodes the property that the adjoined loops provide identities for the (semi-categorical) composition. Example 2.3. In [30] the monad for modular operads on the category GS of graphical species (see Deﬁni- tion 5.3) is obtained – as in Example 2.2 for categories – as a composite DT where the monad T governs the composition structure (multiplication and contraction) and the monad D adjoins distinguished elements. The distributive law ensures that the distinguished elements provide units for the multiplication (see also Section 8).

As usual, let CM denote the EM category of algebras for a monad M on C. By [2, Section 3], given monads M and M0 on C, and a distributive law λ: M 0M ⇒ MM 0, there is a commuting square of strict monadic adjunctions:

0 o 0 (2.4) CM O > / CMMO ` ` o C > / CM.

It follows that, given a n-tuple of monads M1,..., Mn on C, and a sequence of distributive laws λi : Mi(M1 ...Mi−1) ⇒ (M1 ...Mi−1)Mi (for 2 ≤ i ≤ n), there is, by deﬁnition, a n-fold composite monad M1 ... Mn on C, and hence a n-cube of adjunctions as in (2.5) for the case n = 3 (where only the left adjoints are marked):

CM3M2 CM3M2M1

CM3 CM3M1 (2.5)

CM2 CM2M1

C CM1

Moreover, [7], shows that the composite M1 ... Mn exists if there are pairwise distributive laws λi,j : MjMi ⇒ MiMj, for 1 ≤ i < j ≤ n such that for each triple 1 ≤ i < j < k ≤ n, the corresponding triple of monads and distributive laws, satisﬁes (Yang-Baxter) conditions described in (9.1).

2.2. Abstract nerve theory. Let Set be the category of sets and all set maps. Given an essentially small category C, the category of functors Cop → Set is denoted by psh(C).

A functor F : D → C induces a nerve functor ND : C → psh(D) by ND(c)(d) = C(F d, c) for all c ∈ C and d ∈ D. If ND is fully faithful, and F and D are suitably nice, then ND provides a useful tool for studying C. Example 2.6. The nerve of a small category C is described by the image of C under the nerve functor induced by the inclusion ∆ ,→ Cat, where Cat is the category of small categories, and ∆ is the (topological) simplex category of non-empty ﬁnite ordinals and order preserving morphisms.

Recall that every functor admits an (up to isomorphism) unique bo-ff factorisation as a bijective on objects functor followed by a fully faithful functor. For example, if M is a monad on a category C, and CM M M is the EM category of algebras for M, then the free functor C → C has bo-ff factorisation C → CM → C , where CM is the Kleisli category of free M-algebras (see e.g. [26, Section VI.5]). free Hence, for any subcategory D of C, the bo-ff factorisation of the canonical functor D ,→ C −−−→ CM factors through the full subcategory ΘM,D of CM with objects from D. There is an induced diagram of BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 5

functors

f.f. N ,D (2.7) Θ / CM M / psh(Θ ) MO ,D O M,D b.o. j free forget j∗ ND D / C / psh(D). f.f.

∗ where j is the pullback of the bijective on objects functor j : D → ΘM,D. The left square of (2.7) commutes by deﬁnition, and the right square commutes up to natural isomorphism. M By construction, the deﬁning functor ΘM,D → C is fully faithful. In [3], conditions on D and M are M described that ensure that the induced nerve NM,D : C → psh(ΘM,D) is also fully faithful. (If there is a subcategory D ⊂ C such that M and D satisfy these conditions, then M is called a monad with arities, and D provides arities for M.) Moreover, by [38, Section 4], if D and M satisfy these conditions, then, up to equivalence, objects in ∗ the image of NM,D in psh(ΘM,D) are precisely those that are projected, under j to the image of ND in psh(D). This is called the Segal condition for the nerve theorem. Of course, it may be the case that there is no subcategory D ⊂ C such that M and D satisfy the the conditions of [3, Sections 1 & 2]. However, it could still be possible to derive an abstract nerve theorem M for ΘM,D and C : n 1 Namely, if M = Mn ... M1 is a composite monad, then any path C → · · · → CM ...M = CM of left adjoints in the cube (2.5) describes a factorisation of the diagram (2.7) as

f.f. N ,D / M M / (2.8) ΘM,D C psh(ΘM,D)

f.f. N n... 1,D Θ / CMn...M1 M M / psh(Θ ) Mn...O M1,D O Mn...M1,D free forget j j∗ b.o. n n . . . .O O. .

f.f. N 1,D Θ / CM M / psh(Θ ) MO 1,D O M1,D forget ∗ b.o. j1 free j1 ND D / C / psh(D). f.f.

M Hence, to prove that the induced nerve NM,D = NMn...M1,D on C is fully faithful, it is suﬃcient to consider whether the conditions of [3] are satisﬁed, for any of the maps above D → C in (2.8) that induce a fully faithful nerve, together with their corresponding induced monad.

Example 2.9. In Section 9, the monad for circuit operads is described as a composite LDT of three monads deﬁned on the category GS of graphical species. On GS, the composite LDT does not satisfy the conditions of [3]. However, the induced lift LTe ∗ on the category GS∗ of D-algebras does. Hence there is a full subcategory Ξ× ⊂ CO of the category of circuit operads that induces a fully faithful nerve functor CO → psh(Ξ×).

2.3. Presheaves and slice categories. The nerve theorem for circuit operads (Theorem 10.5) is stated in terms of a composite monad LDT – where each monad governs a diﬀerent aspect of the circuit algebra structure – on a certain category GS of coloured collections. The proof of the nerve theorem, and the corresponding Segal condition for circuit operads Theorem 10.5, rest on the fact that GS is a presheaf category. This purpose of this brief section, and the next, is to review the deﬁnitions – and establishes the notational conventions – for presheaves, and other categorical concepts that will be used throughout the paper. 6 SOPHIE RAYNOR

Let E be a category (with ﬁnite limits), and let C be an essentially small category. A C-presheaf in E op is a functor S : C → E. I will write pshE(C) for the corresponding functor category. If E = Set, write def psh(C) = pshE(C), as in Section 2.2. For every n ∈ N, let n denote the n-element set {1, . . . , n}.. In particular, 0 is the empty set ∅. For n ∈ N, Σn is the group of permutations of n, and Σ is the symmetric groupoid with objects n ∈ N op and automorphism groups Σn. A presheaf S :Σ → E is often called a symmetric sequence in E, or sometimes a species in E (see Remark 5.1). When E = Set, the category elements of a presheaf P : Cop → Set is deﬁned as follows:

op Deﬁnition 2.10. Objects of the category elC(P ) of elements of a presheaf P : C → Set are pairs (c, x) – called elements of P – where c is an object of C and x ∈ P (c). Morphisms (c, x) → (d, y) in elC(P ) are given by morphisms f ∈ C(c, d) such that P (f)(y) = x.

op If a presheaf P : C → Set is of the form C(−, c), then elC(P ) is the slice category C/c whose objects are pairs (d, f) where f ∈ C(d, c), and morphisms (d, f) → (d0, f 0) are commuting triangles in C:

g d / d0

f 0 ~ f c.

In general, a functor ι: D → C induces a presheaf ι∗C(−, c), d 7→ C(ι(d), c) on D. For all c ∈ C, the def ∗ slice category of D over c is deﬁned by D/c = elD(ι C(−, c)). (This is also – more accurately – denoted by ι/c.) The slice category of c over D, denoted by c/D (or c/ι) is the category ιop/c whose objects are morphisms f ∈ C(c, ι(−)) and whose morphisms (d, f) → (d0, f) are given by g ∈ D(d, d0) such that ι(g) ◦ g = f 0 ∈ C(c, ι(d0)). Example 2.11. Let ι: D ,→ C be an inclusion of small categories. By [23, Proposition 5.1], the induced nerve N : C → psh(D) if fully faithful if and only if every object c ∈ C is canonically the colimit of the forgetful functor D/c → C, (f : ι(d) → c) 7→ ι(d). In this case, the inclusion ι: D ,→ C is called dense.

Observe, in particular, that the Yoneda embedding C → psh(C) induces a canonical isomorphism ∼ op elC(P ) = C/P for all presheaves P : C → Set. These categories will be identiﬁed in this work. For any category C, its core Core(C) ⊂ C is the maximal subgroupoid of C. In other words, Core(C) has the same objects as C and all its morphisms are isomorphisms.

2.4. Symmetric monoidal categories. For precise deﬁnitions of (symmetric) monoidal categories, see e.g. [10, Chapter 8]. Recall that a monoidal category is speciﬁed by a category V together with a monoidal product operation ⊗: V × V → V and monoidal unit object I ∈ V, and, for each triple x, y, z of objects of V a choice of ∼ − = associator isomorphisms αx,y,z :(x ⊗ y) ⊗ z x ⊗ (y ⊗ z): αx,y,z, and unitor isomorphisms ux : x ⊗ I −→ ∼ x ←−= 1 ⊗ x in V such that certain (sensible) diagrams commute. A monoidal category (V, ⊗, I, α, u) is called strict monoidal if the associator and unitor isomorphisms are the identity. A monoidal structure on V is symmetric if, further, for all objects x, y ∈ V, there are isomorphisms −1 σx,y : x ⊗ y y ⊗ x: σy,x that satisfy the familiar braid identities, and such that σy,x = σx,y. To avoid excessive adjectives, the term permutative category is used to describe symmetric strict monoidal categories. In what follows, I will ignore the associators, unitors and symmetry isomorphisms in the notation, and designate symmetric monoidal categories simply by (V, ⊗,I). Permutative categories will usually be designated by (C, ⊕, 0).

Morphisms Θ:(V1, ⊗1,I1) → (V2, ⊗2,I2) of monoidal categories are (lax) monoidal functors: These are functors Θ: V1 → V2 together with a natural transformation θ :Θ ⊗2 Θ ⇒ Θ(− ⊗1 −) such that all the expected structure diagrams commute. Likewise, a symmetric monoidal functor between symmetric monoidal categories is a (lax) monoidal functor that respects the symmetry isomorphisms strictly. The category of symmetric monoidal categories and symmetric monoidal functors is denoted by Sym.A BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 7

morphism Θ of (symmetric) monoidal categories is strong if θ is a natural isomorphism, and strict if θ is the identity natural transformation. Example 2.12. The symmetric groupoid Σ has a permutative structure induced by addition of natural numbers. For any symmetric monoidal category (V, ⊗,I) and any choice of object x ∈ V, there is a unique strict monoidal functor Σ → V with 0 7→ I and 1 7→ c.

3. Brauer diagrams

In Section 4, circuit algebras are deﬁned in terms of Brauer diagrams, which have long been studied in representation theory [5, 36].

3.1. Monochrome Brauer diagrams. Definition 3.1. A matching on a finite set X is a fixed point free involution τ : X → X.

In other words, τ is a partition of X into two-element subsets. A ﬁnite set X admits a matching if and only if its cardinality is even, and the empty set has a unique trivial matching ∅ by convention. Example 3.2. The boundary ∂M of a compact 1-manifold M has a canonical matching τ M induced by reversing orientation on M.

Let X,Y,Z be a triple of ﬁnite sets. Given matchings τ on X q Y and τ on Y q Z, there is a Zb Xb canonical matching (τ # τ ) on X q Y , deﬁned as follows: the matchings τ and τ generate an Xb Y Zb Zb Xb equivalence relation Rτ on X q Y q Z such that objects v, w are equivalent if and only if they are related by a zigzag of (alternating) applications of τ and τ (Figure 1(b)(i)-(iv)). Zb Xb

(a) X (b) Y Y Z (c) (i) (i)

Z (ii) (iv)

Figure 1. (a) Composition of matchings on X q Y (red) and Y q Z (blue); (b) diﬀerent equivalence classes of the relation Rτ ; (c) the resulting matching on X q Z, together with the single closed component formed in the composition.

For w ∈ X q Y q Z, its equivalence class [w] under Rτ contains either zero, or two (distinct) elements of X q Z. It is either described by a closed cycle (. . . , y1, . . . , y1,... ) in Y (Figure 1(b)(iv)) or an open chain (w, y1, . . . , yk, v) of distinct elements of X q Y q Z that begins and ends in elements w, v ∈ X q Z (Figure 1(b)(i)-(iii)). Hence (3.3) (τ # τ )(w) = v, for w, v ∈ X q Z such that [w] = [v] Xb Y Zb Rτ Rτ describes a matching on X q Z (c.f. the proof of [30, Proposition 4.23]). The classes of the form [w] with w ∈ X qZ are called open components of the composition (τ # τ ). Xb Y Zb The remaining classes [y] describe cycles entirely contained in Y (as illustrated in Figure 1(b)(iv)) and 8 SOPHIE RAYNOR are called closed components created by the composition (τ # τ ). The number of closed components Xb Y Zb created by the composition (τ # τ ) is denoted by k(τ , τ ) ∈ . Xb Y Zb Xb Zb N

For all ﬁnite sets X, there is a canonical identity matching τidX on X q X such that, given any other ﬁnite set Y , and matching τ on X q Y

τidX #X τ = τ = τ#X τidX . Deﬁnition 3.4. The category BD of (monochrome) Brauer diagrams has objects n ∈ N and morphisms f f f ∈ BD(m, n) are pairs (τf , k ) where τf is a perfect matching on n q m, and k ∈ N. def The composition gf of morphisms f ∈ BD(k, m), g ∈ BD(m, n) is given by τgf = (τg#m τf ) on n q k gf g f as described in (3.3), and k = k + k + k(τf , τg).

Disjoint union of matchings, together with permutations of ﬁnite sets gives BD the structure of a permutative category – indeed a PROP – (BD, ⊕, 0) with BD(0, 0) =∼ N. Let BD˚ ⊂ BD be the bijective on objects subcategory of open (monochrome) Brauer diagrams (or matchings) on morphisms of the form τ = (τ, 0) ∈ BD(m, n). For all m, n, BD(m, n) =∼ BD˚ (m, n) × N and each f = (τ, k) ∈ BD(m, n), decomposes as f = f˚⊕ κf into an open part f˚= (τ, 0) ∈ BD˚ (m, n), and a closed part κf = (∅, k) ∈ BD(0, 0) =∼ N. The canonical bijective on objects projection BD → BD˚ is a Grothendieck ﬁbration. Given a morphism f = (τ, k) ∈ BD(m, n), it will sometimes be convenient to use the notation S(f) = m and T(f) = n for the source and target sets of f. Motivated by Example 3.2 (and Example 3.14 below), the set ∂f def= T(f) q S(f) is called the boundary of f.

Deﬁnition 3.5. The subcategory BD↓ ⊂ BD of downward Brauer diagrams is the subcategory of open morphisms d = (τ ↓, 0) ∈ BD(m, n) such that τ ↓ is given by an injection n → m together with a matching ↓ ↓ on m \ im(n). In other words, d ∈ BD↓(m, n) if and only if τ satisﬁes τ (y) ∈ S(d) for all y ∈ T(d).

The category BD↑ ⊂ BD of upward Brauer diagrams is the opposite category of BD↓.

In particular, BD↓(m, n), and BD↑(n, m) are empty whenever n > m, and their intersection BD↓ ∧ BD↑ ⊂ BD is the symmetric groupoid Σ: for n ∈ N, and permutation σ ∈ Σn, σ = (τσ, 0) ∈ BD(n, n) is the matching on n q n given by x 7→ σx. Example 3.6. Since a two element set admits a unique matching, there are canonical isomorphisms N =∼ BD(2, 0) =∼ BD(1, 1) =∼ BD(0, 2) given by k 7→ (∗, k).

Then id1 = (∗, 0) ∈ BD(1, 1), and, for all n ≥ 1 idn = id1 ⊕ · · · ⊕ id1 has the form (τ, 0). Let ∪ def= (∗, 0) ∈ BD(2, 0) and ∩ def= (∗, 0) ∈ BD(0, 2). Then k(∪, ∩) = 1, and hence def = ∪ ◦ ∩ = (∅, 1) ∈ BD(0, 0).

Since (∪ ⊕ id1) ◦ (id1 ⊕ ∩) deﬁnes a matching on 1 q 1, the triangle identities

(3.7) (∪ ⊕ id1) ◦ (id1 ⊕ ∩) = id1 = (id1 ⊕ ∪) ◦ (∩ ⊕ id1). are satisﬁed (Figure 2).

(a) (b)

Figure 2. The triangle identities: (a) n = 1, (b) n = 3.

Remark 3.8. In this work, the direction of morphisms is depicted as top to bottom (source above target). Hence the designation of ∪ and ∩ may diﬀer from other (Feynman diagram) conventions. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 9

Ln Example 3.9. For all n ∈ N, idn = (τidn , 0) is given by the disjoint union idn = i=1 id1 ∈ BD(n, n).

The identity matching τidn on n q n induces matchings on 2n by the isomorphisms ∼= ∼= (11, . . . , n1, n2,..., 12) −→ (1,..., 2n) ←− (n1,..., 11, 12, . . . , n2)

def def and these describe open morphisms ∩n = (τidn , 0) ∈ BD(0, 2n) and ∪n = (τidn , 0) ∈ BD(2n, 0), that satisfy the n-fold triangle identities

(3.10) (∪n ⊕ idn) ◦ (idn ⊕ ∩n) = idn = (idn ⊕ ∪n) ◦ (∩n ⊕ idn).

If f = (τ, k) ∈ BD(m, n), then it follows immediately from Definition 3.4 that there is an evaluation morphism bfc = (τ, k) ∈ BD(m + n, 0), and a coevaluation morphism dfe = (τ, k) ∈ BD(0, n + m) corresponding to f. These satisfy dfe = (f ⊕ idm) ◦ ∩m, and bfc = ∪n ◦ (idn ⊕ f). Moreover, by definition, f defines a dual morphism f ∗ ∈ BD(n, m) described by ∗ (3.11) (idm ⊕ ∪n) ◦ (idm ⊕ f ⊕ idn) ◦ (∩m ⊕ idn) = f = (∪n ⊕ idn) ◦ (idn ⊕ f ⊕ idm) ◦ (idn ⊕ ∩m). Remark 3.12. By e.g. [24], the category BD, is generated under horizontal (monoidal) and vertical (categorical) composition, by the morphisms id1, ∪, ∩ and the unique non-identity permutation σ2 ∈ Σ2 ⊂ BD(2, 2). Viewing morphisms in BD as classes of tangles of 1-manifolds in 4 space, we see that the defining relations for BD are obtained from the the classical Reidemeister moves [33] by identifying the over and under crossings of undirected strands.

The category BD↓ of downward Brauer diagrams is generated by id1, σ2 and ∪ under horizontal and vertical composition. The morphisms id1, σ2 and ∩ generate the category BD↑ of upward Brauer diagrams under ⊕ and ◦.

Example 3.13. Let k be a field of characteristic 0, and let V : BD → Vectk be a symmetric monoidal functor. For all n, V(n) is equipped with a non-degenerate bilinear form, and is therefore finite dimensional. Moreover, if V is strict symmetric monoidal, then (3.7) implies that V( ) = k where k is the dimension of V(1) =∼ kk over k. More generally, let R be a commutative ring, and R-Mod its category of modules with monoidal ˚ product given by tensor product ⊗R over R. Let BDR (respectively BDR) be the free R-Mod-category ˚ ˚ on BD (respectively BD). Then BDR(m, n) is a finitely generated R-module, and BDR(m, n) is infinitely ∼ ˚ generated, for all m, n ∈ N. Moreover, there is a canonical isomorphism BDR(m, n) = BDR[t](m, n), where R[t] is the ring of polynomials in R. However, this does not extend to an isomorphism of categories, as is easily observed by considering the composition ∪ ◦ ∩ in BD. R Instead, let Brδ = Brδ be the R-Mod-enriched Brauer category [24] whose objects are natural numbers ˚ n ∈ N and for all m, n ∈ N, Brδ(m, n) = BDR(m, n) is the free R-module is generated by the open Brauer diagrams. Composition in Brδ, however, is defined by:

kgf τgτf = δ τgf ∈ Brδ(k, n) for all generators τf ∈ Brδ(k, m), τg ∈ Brδ(m, n). R[t] In particular, BDR and Brt are canonically isomorphic as R-Mod-categories.

The endomorphism algebras Brδ(n, n) of Brδ are the Brauer algebras, introduced in [5] to study the representation theory of the orthogonal and symplectic groups. For example, returning to the case that R = k, a ﬁeld of characteristic 0, Brauer proved that, if V is a k-dimensional vector space over k, then k ⊗n representations of Brk(n, n) in V are in one to one correspondence with degree n representations of O(k) on V ⊗n.

The downwards and upwards Brauer categories Br↓ and Br↑ are the subcategories of Brδ (for all δ), such that elements of BD↓(m, n) (BD↑(m, n)) generate Br↓(m, n) (Br↑(m, n)) as free (ﬁnite dimensional) R-modules. In particular, for all n ∈ N, Br↓(n, n) = Br↑(n, n) is a free Σn-module. It follows from the results of [35], that symmetric strict monoidal functors BD↓ → Vectk describe representations of the inﬁnite orthogonal group O(∞). Example 3.14. As in Example 3.2, let M be a compact 1-manifold with canonical matching τ M on ∼ 1 ∂M. Then M = no(I) q nc(S ) where I is homeomorphic to the interval [0, 1]. For all m, n ∈ N such that m + n = 2no, and all isomorphisms φ: n q m → ∂M, the pair (M, φ) describes a morphism −1 M (φ τ φ, nc) ∈ BD(m, n). 10 SOPHIE RAYNOR

Conversely, given a morphism f = (τ, k) ∈ BD(m, n), there is a (unique up to isomorphism) compact ∼ m+n 1 −1 Mf 1-manifold Mf = 2 (I) q k(S ), and an isomorphism φf : ∂f → ∂M such that φf τ φf = τ.

(m+n) For f = (τ, k) ∈ BD(m, n), the set π0(f) of components of f, with |π0(f)| = 2 + k, is the set of components of a compact manifold Mf as in Example 3.14. So a morphism f = (τ, k) ∈ BD(m, n) may also be written as a cospan of ﬁnite sets:

i 7→τ(i) j 7→τ(j) (3.15) m =∼ S(f) / / ∂f o o T(f) =∼ n

( v π0(f).

Remark 3.16. By (3.15), for composable morphisms f ∈ BD(k, m) and g ∈ BD(m, n), we may consider the pushout (pair) of cospans: (3.17) k = S(f) T(f) = m = S(g) T(g) = nn

τf τf τg τg ( ∂f u ) ∂g v

) u π0(f) P (gf) π0(g)

) u πP (gf).

In general, P (gf) =6∼ ∂(gf) and hence composition of morphisms in BD is not described by compositions (pushouts) of cospans as in (3.17). For example, the pushout (3.17) for the composition = ∪ ◦ ∩ ∈ BD(0, 0) leads to P ( ) =∼ 2. But ∈ BD(0, 0) so ∂( ) = ∅=∼ 6 2. (This is closely related to the problem of loops discussed in detail in [30], specifically in Section 6 thereof. See also Remark 7.3.) This is, in some sense, the only obstruction to defining composition in BD directly in terms of pushouts f g of cospans (3.15): Namely, if f = (τf , k ) ∈ BD(k, m) and g = (τg, k ) ∈ BD(m, n) are composable gf f g ∼ P ∼ morphisms such that k(f, g) = 0, so k = k + k , then P (gf) = ∂(gf), and π (gf) = π0(gf). f g In particular, if f is of the form f = f↑ ⊕ κ or g is of the form g = g↓ ⊕ κ – where f↑ ∈ BD↑(k, m) f g ∼ and g↓ ∈ BD↓(m, n) and κ , κ ∈ BD(0, 0) = N – then no closed components will be created in the composition g ◦ f. ∼= If (M, φ) describes f ∈ BD(m, n) as in Example 3.14, then there is an isomorphism π0(M) −→ π0(f), fixed by φ on open components of M. Hence, to represent general composition of all Brauer diagrams in BD in terms of pushouts of cospans, one can replace a cospan of the form (3.15) with a cospan of spaces:

φ◦τ φ◦τ (3.18) m = S(f) / ∂M inc / M o inc ∂M o T(f) = n.

f g Then, if (Mf , φf ) represents f = (τf , k ) ∈ BD(k, m), and (Mg, φg) represents g = (τg, k ) ∈ BD(m, n), the composition gf ∈ BD(k, n) is obtained from the pushout of cospans of spaces: (3.19) k = S(f) T(f) = m = S(g) T(g) = n

inc ◦φf ◦τf inc ◦φ ◦τ inc ◦φ ◦τ inc ◦φg ◦τg ( u f f g g ) v Mf Mg

) u Mf qT(f) Mg. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 11

Example 3.20. By deﬁnition, a (symmetric lax monoidal) functor A: BD → (V, ⊗,I) induces the structure of an associative graded monoid on the graded object (A(n))n∈N. The unit for the monoidal product so obtained is induced by the structure morphism I → A(0). Observe also that, for all n ≥ 2, and all 1 ≤ i < j < n, there is a canonical contraction morphism i‡j i,j i,j ζn : A(n) → A(n − 2) induced by the Brauer diagram (∪ ⊕ idn−2) ◦ ρn ∈ BD(n, n − 2), where ρn is the shuﬄe permutation on n = {1, . . . , n} given by i 7→ 1, j 7→ 2, whilst leaving the relative order of the remaining elements unchanged. Furthermore, given 1 ≤ k < m ≤ n such that i, j, k, m are all distinct,

k0‡m0 i‡j i0‡j0 k‡m (3.21) ζn−2 ◦ ζn = ζn−2 ◦ ζn : A(n) → A(n − 4).

0 0 0 i,j 0 i,j Here 1 ≤ k < m ≤ n − 2 are the obvious adjusted indices (k = ρn (k) − 2, m = ρn (m) − 2) of k and m in n =∼ {1, . . . , n − 2}, and the indices 1 ≤ k0 < m0 ≤ n − 2 are deﬁned similarly. ) i,jc Example 3.22. Let A: BD → (V, ⊗,I) be a functor as in Example 3.20. The contraction ζ described above induces a ‘multiplication’ operation (see Deﬁnition 5.19), by

i‡j i‡m+j (3.23) m,n = ζm+n ◦ m,n : A(m) ⊗ A(n) → A(m + n − 2), for all m, n ≥ 1 and all 1 ≤ i ≤ m, 1 ≤ j ≤ n. i‡i+1 Moreover, since ζn+2 (idi ⊕ ∩ ⊕ idn−i) = idn, it follows that

i‡1 ∼ ∼ 2‡i n,2 ◦ A(idn ⊕ ∩) = idA(n) = 2,n ◦ A(∩ ⊕ idn) are identiﬁed by shuﬄes in Σn, and hence the image of the cap morphism ∩ ∈ BD(0, 2) induces a two-sided unit A : I 7→ A(2) for the multiplication on A.

In particular, a symmetric functor BD↓ → (V, ⊗,I) from the category of downward Brauer diagrams induces contraction and multiplication operations on its image in V. However, since ∩ is not a morphism in BD↓, there is no unit for this multiplication (see also [30, 34]).

3.2. Coloured Brauer diagrams. Let C be a set. The set underlying the free associative monoid on m C – whose elements of listC are ﬁnite ordered sets c = (c1, . . . , cm) ∈ C (m ∈ N)– is denoted by listC. The concatenation product on listC is denoted by ⊕. Given lists c = (c1, . . . , cm) and d = (d1, . . . , dn) in def def listC, c ⊕ d = (c1, . . . , cm, d1, . . . , dn) ∈ listC will also be denoted by cd. The empty list ∅C = (−) ∈ listC is the unit for the concatenation product ⊕. In particular, (N, +, 0) is canonically isomorphic to the free associative monoid (list{∗}, ⊕,I{∗}) on a singleton. def The symmetric groupoid Σ acts on listC from the right by σ : c = (c1, . . . , cm) 7→ (cσ) = (cσ1, . . . , cσm) for all σ ∈ Σm.

Deﬁnition 3.24. A pair (C, ω) of a set C together with an involution ω : C → C is called an (involutive) palette. Elements c ∈ C are called colours in (C, ω). Objects of the category Pal are palettes (C, ω), and morphisms (C, ω) → (C0, ω0) are given by morphisms f ∈ Set(C, C0) such that f ◦ ω = ω0 ◦ f.

Example 3.25. A ﬁnite set X equipped with a matching τ describes a palette (X, τ).

←− def Given a palette (C, ω), and c = (c1, . . . , cm) ∈ listC, the operations c 7→ c = (cm, . . . , c1) and def ←− c 7→ ωc = (ωc1, . . . , ωcm) define involutions on listC. The involution ω is defined by their composite ←−ω (c) def= ω←−c = ω(←−c ). Let (C, ω) be any palette and let τ be a matching on a finite set X.

Deﬁnition 3.26. A (C, ω)-colouring of τ is a morphism λ∂ :(X, τ) → (C, ω) in Pal.

A ((C, ω)-) colouring λ of a Brauer diagram f = (τ, k) ∈ BD(m, n) is given by a pair λ = (λ∂ , λe) where λ∂ is a colouring of τ and λe is a map π0(f) → Ce such that the following diagram of sets commutes: 12 SOPHIE RAYNOR

λ (3.27) ∂f ∂ / C

τ ∼= ∼= ω λ ∂f ∂ / C

λe π0(f) / Ce.

2 The type of the colouring λ (or just the type of λ∂ ) is the pair (c, d) ∈ (listC) (of the input type c and output type d) given by

(3.28) d = (d1, . . . , dn) = λ∂ (n), and c = (c1, . . . , cm) = ω ◦ λ∂ (m).

Note the involution by ω in the definition of the input type c = ω ◦ λ∂ (m). This is necessary to define categorical composition of coloured Brauer diagrams in Definition 3.29. (C,ω) For each pair c = (c1, . . . , cm), d = (d1, . . . , dn) ∈ listC, objects of the set BD (c, d) are pairs (f, λ) where f = (τ, k) is a morphism in BD(m, n), and λ is a colouring of f of type (c, d). Let (f, λ) ∈ BD(C,ω)(b, c) and (g, γ) ∈ BD(C,ω)(c, d), and, as in the construction for composing matchings (3.3), let Rτ be the equivalence relation on T(g) q T(f) q S(f) generated by τf and τg. Then γ∂ (y) = ωλ∂ (y) for each y ∈ T(f) = S(f) by definition.

It follows that, for each x ∈ S(f), λ∂ (τgf )(x) = ωλ∂ (x) and likewise, for z ∈ T(g), γ∂ (τgf )(z) = ωγ∂ (z), whereby there is a well-deﬁned colouring (γλ)∂ of τgf that restricts to λ∂ on S(f) and to γ∂ on T(g).

Moreover, for each closed cycle [y] = (y, y1 = τf (y), y2 = τg(y1),... ) ⊂ T(f) created in the composition g ◦ f, there is a well-deﬁned element c˜ ∈ Ce given by the class of λe(yi) (yi ∈ [y]) in Ce, and therefore, the composition g ◦ f induces a well-deﬁned map γλf : π0(gf) → Ce (see Figure 3).

c ωc

ωc d ωd d ωd c c ωd d ωd d ωc

ωc c

Figure 3. Composing coloured matchings.

Deﬁnition 3.29. Objects of the category BD(C,ω) of (C, ω)-coloured Brauer diagrams are elements of listC. Morphisms in BD(C,ω)(c, d) are (C, ω)-coloured Brauer diagrams of type (c, d). Morphisms (f, λ) ∈ BD(C,ω)(b, c) and (g, γ) ∈ BD(C,ω)(c, d) compose to (gf, γλ) ∈ BD(C,ω)(b, d).

(C,ω) (C,ω) The category BD is permutative with monoidal structure ⊕ and unit O ∈ BD (∅C, ∅C), induced by concatenation of object lists and disjoint union of coloured Brauer diagrams. If f ∈ BD(m, n) is such that (f, λ) is a morphism in BD(C,ω)(c, d) then there is a corresponding

def (C,ω) ←− • evaluation morphism b(f, λ)c = (bfc, λ) ∈ BD ((ωd) ⊕ c, ∅C); def (C,ω) ←− • coevaluation morphism d(f, λ)e = (dfe, λ) ∈ BD (∅C, d ⊕ (ωc)); ←− • dual morphism (f, λ)∗ def= (f ∗, λ) ∈ BD(C,ω)((ωd), (ω←−c)).

Example 3.30. (See Figure 4(a).) Recall that id1 = (∗, 0) ∈ BD(1, 1), where ∗ denotes the unique matching on a two element set. For each c ∈ C, let λc : 2 → C be the colouring 1 7→ ωc, 2 7→ c. Then BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 13

c c (C,ω) c idc = (id1, λ ) = (∗, 0, λ ) ∈ BD . The triple (∗, 0, λ ) also deﬁnes the evaluation and coevaluation (C,ω) (C,ω) morphisms ∪c = bidcc ∈ BD ((ωc, c), ∅C) and ∩c = didce ∈ BD (∅C, (c, ωc)), and these satisfy

(3.31) (∪ωc ⊕ idc) ◦ (idc ⊕ ∩ωc) = idc = (idc ⊕ ∪c) ◦ (∩c ⊕ idc).

def (C,ω) ←−− More generally, if c = (c1, . . . , cn) ∈ listC, then we may deﬁne ∪c = bidcc ∈ BD ((ωc) ⊕ c, ∅C) and def (C,ω) ←−− ∩c = didce ∈ BD (∅C, c ⊕ (ωc)) (see Figure 4), and these satisfy (3.32) (∪←−− ⊕ id ) ◦ (id ⊕ ∩←−−) = id = (id ⊕ ∪ ) ◦ (∩ ⊕ id ). (ωc) c c (ωc) c c c c c

(a) (b)

= = =

Figure 4. (a) The coloured triangle identities; (b) some ways of forming the trace tr(idc).

Example 3.33. Let V : BD(C,ω) → (V, ⊗,I) be a strict monoidal functor. For each c ∈ listC, and each def endomorphism f of V(c) in V, we can form the trace tr(f) = ∪←−− ◦ (f ⊗ V(id )) ◦ ∩ ∈ V(I,I). The (ωc) c c image of V satisﬁes the axioms of a traced monoidal category [18]. (See also Figure 4(b).) Example 3.34. As in the monochrome case (Example 3.20), if (C, ω) is a palette, then a functor A: BD(C,ω) → (V, ⊗,I) induces a graded monoid structure on the listC-indexed object (A(c))c. The induced product has unit I 7→ A(∅C).

Let an n-tuple d = (d1, . . . , dn) ∈ listC be such that di = d = ωdj for 1 ≤ i < j ≤ n. Then, as in Example 3.20, the (i, j)-contraction of A(d) is the V-morphism

i‡j def i,j (3.35) ζ = A (∪d ⊕ idd ) ◦ ρ : A(d) → A(d ). d i,jd n i,jc It follows from the monochrome case that contractions commute wherever deﬁned: i0‡j0 k‡m k0‡m0 i‡j ζd ◦ ζd = ζd ◦ ζd : A(d) → A(d ). k,md i,jd i,j,k,m\

As in Example 3.22, the contraction ζ, together with the monoidal product on the image of A, induce a multiplication , with i‡j = ζi‡m+j : A(c) × A(d) → A(cd ) for all c = (c , . . . , c ), d = c,d cd i,jc 1 m (d1, . . . , dn) ∈ listC with m, n ≥ 1 and ci = ωdj ∈ C. (C,ω) Moreover, as in Example 3.22, ∩c ∈ BD (∅C, (c, ωc)) induces a distinguished morphism A(∩c): I → A(c, ωc) that acts as a two-sided unit for for all c ∈ C. Example 3.36. A monoidal category (C, ⊗,I) is compact closed if, for every object x of C, there is a dual ∗ C ∗ C ∗ object x of C, and morphisms ∩x : I → x ⊗ x , ∪x : x ⊗ x → I such that C C C C (∪x ⊗ idx) ◦ (idx ⊗ ∩x) = idx = (idx ⊗ ∪x∗ ) ◦ (∩x∗ ⊗ idx).

It follows that, given any small compact closed category with C with object monoid C0 and satisfying ∗∗ (C0,∗) x = x for all x ∈ C0, there is a canonical faithful symmetric monoidal functor BD → C. This functor is an inclusion if C is permutative. Conversely, if F : BD(C,ω) → (Set, ×, ∗) is a symmetric strong monoidal functor (i.e. the induced maps F (c) × F (d) → F (cd) are isomorphisms), then F describes a small compact closed category with object monoid indexed by listC, and dual given by ←−ω . Example 3.37. (See also Example 4.14.) Let C = {+, −} and let ω be the unique non-trivial involution on C. Then BD(+↔−) is the category of oriented Brauer diagrams. This is precisely the free symmetric monoidal category with duals on a single object. Morphisms in BD(+↔−) are represented, as in Figure 5, by diagrams of oriented intervals and unoriented circles. Recall Example 3.13, and once again, let k be a ﬁeld of characteristic 0. For δ ∈ k, the walled Brauer category W Brδ ⊂ Brδ – studied in the representation theory of general linear groups [39, 35] – 14 SOPHIE RAYNOR

2 is the subcategory of Brδ whose objects are given by pairs (m, n) ∈ N , and W Brδ((m1, n1), (m2, n2)) ⊂ ∼= Brδ(m1+n1, m2+n2)) is subspace spanned by matchings τ that are given by bijections m1qn2 −→ m2qn1. Every open morphism in BD(+↔−) is isomorphic, via shuﬄes in list{+, −}, to a generating diagram in W Brδ.

+ + − f : − + − − + − + + − + + − + − g : − + + − −

Figure 5. Composing directed Brauer diagrams f :(−, −, +) → (−, +, −, −, +, −, +) and g :(−, +, −, −, +, −, +) → (−, +, +, −, −). Up to a shuﬄe permutation, this is equivalent to a composition of walled Brauer diagrams, where horizontal arrows go from left to right (blue to red).

More generally, for any set D, if C = D × {+, −} with involution induced by + ↔ −, then BD(C,ω) is the free symmetric monoidal category with duals on the set D.

4. Circuit algebras

4.1. Operads preliminaries. This section summarises the basic theory of operads that will be used in the rest of the paper. See e.g. [25] for precise deﬁnitions of coloured operads (there called multicategories) and their algebras.

As in Section 3.2, let listC denote the set of ﬁnite lists d = (d1, . . . , dn) on a set D. Recall that a

(symmetric) D-coloured operad of sets O is given by a (listD × D)-graded set (O(c1, . . . , cm; d))(c1,...,cm;d) (equipped with the obvious symmetric action), and a family of composition morphisms m ! O i 1 m : O(c; d) ⊗ O(b ; ci) → O(b ... b ; d) i=1 m i deﬁned for all d ∈ D, c = (ci)i=1 ∈ listD, and all b ∈ listD, 1 ≤ i ≤ m. The composition is required to be associative and equivariant with respect to the Σ-action on O. Moreover, for all d ∈ D, there is an element νd ∈ O(d; d) that acts as a two-sided unit for the composition : for all c = (c1, . . . , cm) ∈ listD, and d ∈ D, the morphisms given by the composites

∼= (νd,id) O(c1, . . . , cm; d) −→ I ⊗ O(c1, . . . , cm; d) −−−−→O(d; d) ⊗ O(c1, . . . , cm; d) −→O(c1, . . . , cm; d), and

Nm m ! ∼= (id, i=1 νci ) O O(c1, . . . , cm; d) −→O(c1, . . . , cm; d)⊗I −−−−−−−−−→O(c1, . . . , cm; d)⊗ O(ci; ci) −→O(c1, . . . , cm; d), i=1 are the identity on O(c1, . . . , cm; d). Example 4.1. In particular, the restriction of a D-coloured operad O to (compositions of) the sets O(c; d) for c, d ∈ D describes a small category. Conversely, a small category C with object set C0 is equivalently a C0-coloured operad C such that C(x; y) = C(x, y) for all x, y ∈ C and C(x1, . . . , xk; y) = ∅ for k 6= 1.

Moreover:

Example 4.2. Underlying any (small) permutative category (C, ⊗, 0), with object set C0, is a C0-coloured (symmetric) operad OC, deﬁned by

C def O (x1, . . . , xn; y) = C(x1 ⊗ · · · ⊗ xn, y), BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 15

and with operadic composition in OC induced by composition in C: k ! C Y C C : O (x1, . . . , xn; y) × O (wi,1, . . . , wi,mi ; xi) → O (w1,1, . . . , wi,mi , . . . , wn,mn ; y), i=1 g, (f i)i 7→ (g ◦ (f1 ⊗ · · · ⊗ fn)) C C for all g ∈ O (x1, . . . , xn; y) described by g ∈ C(x1 ⊗· · ·⊗xn, y), and f i ∈ O (wi,1, . . . , wi,mi ; xi) described

by fi ∈ C(wi,1 ⊗ · · · ⊗ wi,mi , xi) (1 ≤ i ≤ n). (In fact, any monoidal category has an underlying operad [25, Example 2.1.3], but that is not needed here.)

i i i Objects of the category Op are (coloured) operads. Let (O , , ν ) be a Di-coloured operad for 1 1 1 2 2 2 i = 1, 2. A morphism γ :(O , , ν ) → (O , , ν ) is given by a map of sets γ0 : D1 → D2, and a (listD1 × D1)-indexed family of maps 1 2 γ(c1,...,cm;d) : O (c1, . . . , cm; d) → O (γ0(c1), . . . , γ0(cm); γ0(d)) that respect units and composition, and are equivariant with respect to the action of Σ. 1 2 If γ0 = idD (with D = D1 = D2), then γ : O → O is called colour-preserving. The category of D-coloured operads and colour-preserving morphisms is denoted by OpD. Let (V, ⊗,I) be a symmetric monoidal category.

Example 4.3. Given a set D and a D-indexed object A = (A(c))c∈D in V, the D-coloured endomorphism operad EndA in V has A End (c1, . . . , ck; d) = V (A(c1) ⊗ · · · ⊗ A(ck),A(d)) and the obvious composition and units induced by composition and identities in V. In particular, a D-coloured endomorphism operad EndA in V, underlies a small permutative category whose object monoid is listD.

Let (V, ⊗,I) be a symmetric monoidal category and O a D-coloured operad.

Deﬁnition 4.4. An V-algebra for O is a D-indexed object (A(c))c in V, together with a morphism α: O → EndA of D-coloured operads.

The category AlgV(O) of V-algebras for O is the full subcategory of the slice category O/Op whose objects are of the form (A, α) with A = (A(c))c a D-graded object in V. When V = Set, AlgV(O) is denoted by Alg(O). Remark 4.5. Definition 4.4 differs slightly from standard definitions since algebras for a Set-valued operad may be defined in an arbitrary symmetric monoidal category (V, ⊗,I).

If O = OC is the operad underlying a small permutative category C, then a V-algebra for O describes a functor C → (V, ⊗,I). In fact, it is straightforward to show the following (see [25, Chapters 2-3], particularly Theorem 3.3.4(b)): C C Proposition 4.6. The category AlgV(O ) of V-algebras for the operad O underlying a small permutative category (C, ⊕, 0) is canonically isomorphic to the category of symmetric lax monoidal functors A:(C, ⊕, 0) → (V, ⊗,I).

4.2. Wiring diagrams and circuit algebras. Operads of wiring diagrams are deﬁned as operads underlying the categories BD(C,ω). Deﬁnition 4.7. For a given palette (C, ω), the listC-coloured operad of (C, ω)-wiring diagrams is the (C,ω) operad WD(C,ω) def= OBD underlying BD(C,ω) (Example 4.2). 2 For each (c1,..., ck; d) ∈ list C, elements of the set (C,ω) def (C,ω) WD (c1,..., ck; d) = BD (c1 ⊕ · · · ⊕ ck; d) are called wiring diagrams of type (c1,..., ck; d). C def When C is the singleton set, the N-coloured operad WD( ,ω) = OBD is denoted by WD, and called the operad of (monochrome) wiring diagrams. 16 SOPHIE RAYNOR

Figure 6. Composition in WD(C,ω). (See also Figure 7.)

Let (V, ⊗,I) be a symmetric monoidal category. Deﬁnition 4.8. A (C, ω)-coloured circuit algebra in V is a V-valued algebra for the operad WD(C,ω) of (C, ω)-coloured wiring diagrams. The full subcategory of V-valued circuit algebras in Alg(WD(C,ω)) is (C,ω) (C,ω) (C,ω) denoted by CAV . When V = Set, CAV is denoted simply by CA . When C = {∗} is a singleton, mono def (C,ω) CAV = CAV denotes the category of monochrome circuit algebras in V. In particular, by Proposition 4.6: Corollary 4.9. A (C, ω)-coloured circuit algebra (A, α) in V, is equivalently deﬁned by a symmetric lax monoidal functors A: BD(C,ω) → (V, ⊗,I).

The same notation A will be used to denote both a circuit algebra (A, α) and the corresponding functor A: BD(C,ω) → (V, ⊗,I).

Therefore, a (C, ω)-coloured circuit algebra consists of a listC-indexed collection (A(c))c∈listC of V- 2 Nk objects and, for each (c1,..., ck; d) ∈ list C × listC, a set of V-morphisms A(f, λ): i=1 A(ci) → A(d) (C,ω) indexed by Brauer diagrams (f, λ) ∈ BD (c1 ⊕ · · · ⊕ ck, d). These satisfy:

• for all c ∈ listC, A(idc) = idA(c) ∈ V(A(c), A(c)); • the morphisms A(f, λ) are equivariant with respect to the Σ-action on listC and on WD(C,ω); (C,ω) i i • given wiring diagrams (f, λ) ∈ WD (c1,..., ck; d), and, for all 1 ≤ i ≤ k, (f , λ ) ∈ (C,ω) WD (bi,1,..., bi,ki ; ci), the diagram

Nk A(f i,λi) Nk Nki i=1 Nk (4.10) i=1 j=1 A(bi,j) / i=1 A(ci)

A(f,λ) i i A (f,λ) (f ,λ )i + A(d) commutes in V. Let A be a (C, ω)-coloured circuit algebra in (V, ⊗,I).

Proposition 4.11. The collection (A(c))c∈listC is equipped with the structure of a listC-graded monoid in V, and contraction maps ζi‡j : A(c) → A(c ) for all 1 ≤ i < j ≤ m and all c = (c , . . . , c ) ∈ listC c i,jc 1 m such that ci = ωcj. These satisfy:

(c1) the graded monoidal product on (A(c))c∈listC is associative; (c2) contractions commute: i0‡j0 k‡m k0‡m0 i‡j ζc ◦ ζc = ζc ◦ ζc : A(c) → A(c ) wherever deﬁned; k,md i,jd i,j,k,m\ (c3) contraction commutes with monoidal product: i‡j i‡j ζ ◦ c,d = c ⊕d ◦ (ζ ⊗ idA(d)): A(c) ⊗ A(d) → A(c d) cd i,jd c i,jc

for all d ∈ listC and c = (c1, . . . , cm) ∈ listC with ci = ωcj, 1 ≤ i < j ≤ m.

Moreover, for all c ∈ C, there is a distinguished morphism c ∈ V(I, A(c, ωc)) such that i‡2 (e1) c satisﬁes ζc⊕(c,ωc)(idc c) = idc for all c ∈ listC and all i such that ci = c. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 17

(C,ω) (C,ω) Proof. The maps idcd ∈ WD (c, d; cd) induced by the identity morphisms idcd ∈ BD (cd, cd) equip (A(c))c∈listC with the structure of an associative graded monoidal product on (A(c))c∈listC. The contraction morphisms ζi‡j : A(c) → A(c ) are deﬁned as in Example 3.34 and hence satisfy d i,jc (c2). Moreover, for all c = (c1, . . . , cm) with ci = ωcj, and all d = (d1, . . . , dn), i,j i,j (∪c ⊕ idc d) ◦ ρ = (∪c ⊕ idc ⊕d) ◦ (ρ ⊕ idd) i i,jd m+n i i,jd m in BD(C,ω)(cd, c d). Therefore and ζ satisfy (c3). i,jc By Proposition 4.6, A is described by a symmetric lax monoidal functor BD(C,ω) → (V, ⊗,I). For c ∈ C, the morphism c : I → A(c, ωc) is obtained by composing the induced distinguished morphism I → A(∅C) with A(∩c): A(∅C) → A(c, ωc). This satisﬁes (e1) by Example 3.22.

Let WD↓ ⊂ WD be the suboperad of (monochrome) downward wiring diagrams. This is the operad underlying the category BD↓ of downward Brauer diagrams.

Corollary 4.12. Algebras for WD↓ in V are graded monoids in V equipped with a contraction operation ζ, such that the monoid multiplication and ζ satisfy (c1)-(c3). Proof. By Examples 3.20 and 3.22, the graded monoid and contraction structures of a WD-algebra depend only on morphisms in BD↓, whence the corollary follows immediately.

Remark 4.13. By [35] and Example 3.13, Vectk-algebras for WD↓ are closely related to representations of the stable groups O(∞) and Sp(∞).

Since ∩ ∈ BD(0, 2) is not a morphism in BD↓, algebras for WD↓ do not, in general satisfy (e1), and therefore do not have a unit for the induced multiplication (Example 3.22). For this reason they will sometimes be referred to as non-unital (monochrome) circuit algebras. Example 4.14. As in Example 3.37, let ω be the unique non-trivial involution on the two element set C = {+, −}. Wheeled PROPs have been described in [28, 29] and have applications in geometry and deformation theory. In [8], it is proved that (C, ω)-coloured circuit algebras in (V, ⊗,I) are equivalent to wheeled PROPs in V. Remark 4.15. Wiring diagrams are often represented pictorially (for example in [8, 9]), by immersions of compact 1-manifolds in punctured 2-discs. From this point of view, the composition in Figure 6 is represented as in Figure 7. This visualisation of wiring diagrams illustrates the relationship between wiring diagrams (and hence circuit algebras) and planar diagrams and algebras [15]. It also clearly exhibits the operad WD as a suboperad of the operad of wiring diagrams deﬁned in [37]. In the context of the present work, the disc representation of wiring diagrams is highly suggestive of the graphical constructions that will follow in Section 6.

(C,ω) The assignment (C, ω) 7→ CAV deﬁnes a Cat-valued presheaf caV on the palette category Pal: a 0 0 morphism φ:(C, ω) → (C0, ω0) in Pal induces a strict symmetric monoidal functor BD(C,ω) → BD(C ,ω ), and hence any (C0, ω0) coloured circuit algebra A0 pulls back to a (C, ω)-coloured circuit algebra φ∗A0.

Deﬁnition 4.16. Let (V, ⊗,I) be a symmetric monoidal category. The category CAV of all circuit algebras op in V is deﬁned as the Grothendieck construction of the functor caA : Pal → Cat. When (V, ⊗,I) = def (Set, ×∗), this is denoted by CA = CASet.

So, objects of CAV are pairs ((C, ω), A) of a palette (C, ω) and a (C, ω)-coloured circuit algebra A in V. Morphisms ((C, ω), A) → ((C0, ω0), A0) are pairs (φ, γ) where φ: C → C0 satisﬁes φω = ω0φ and γ : φ∗A0 → A.

Example 4.17. Let S = (S(c))c∈listC be a collection of sets equipped with a Σ-action: for each c = ∼= (c1, . . . , cn) and σ ∈ Σn, there is an isomorphism S(c1, . . . , cn) −→ S(cσ1, . . . , cσn ). The collection (FS(c))c∈listC of (C, ω)-coloured wiring diagrams decorated by S is deﬁned by ` (C,ω) Qk FS(d) = (c ,...,c )∈list2C WD (c1,..., ck; d) × i=1 S(ci) 1 k . ` Qk = (C,ω) S(c ) ((c⊕···⊕ck),(f,λ)))∈BD /d i=1 i 18 SOPHIE RAYNOR

Figure 7. Disc representation of the composition in Figure 6.

The set FS underlies the free circuit algebra FS on S: (C,ω) For each (f, λ) ∈ WD (c1,..., ck; d), the morphism FS(f, λ): FS(c1) × · · · × FS(ck) → FS(d) is described by k i i Y i i mi i k i (f , λ ), (x ) 7→ (f, λ) (f , λ ) , (x )1≤j ≤m . ji ji=1 i=1 ji i i i=1 1≤i≤k In general, circuit algebras, like operads (see [11, Section 2.1]), admit presentations in terms of generators and relations (see [9, Remark 2.6]). Indeed, every circuit algebra A = (A, α) is obtained as a quotient of the free circuit algebra FA on its underlying coloured collection A. Except to state the following familiar example, presentations of circuit algebras are not discussed in this work, and the interested reader is referred to [9] for more details. Example 4.18. The circuit algebra VT of virtual tangles is a quotient the free circuit algebra FT on over and under crossings of two intervals embedded in R2 ×[0, 1]. In the monochrome case, since ∂(I qI) =∼ 4, these describe elements of a collection T = (T (n))n∈N with T (n) = ∅ for n 6= 4. The relations in VT are induced by the virtual Reidemeister identities (see [19]). More generally, we may consider circuit algebras of (C, ω)-coloured virtual tangles (as in [9] when C = {+, −}). This includes, for example, circuit algebras of embedded tangles of mixed dimensions. Example 4.19. Let A be a (C, ω)-coloured circuit algebra in Set. Then A deﬁnes a palette with underlying set [ ←−− {(c, φ)|φ ∈ A(c) or φ ∈ A((ωc)}, c∈listC and with the obvious involution induced by ←−ω . Hence, we may deﬁne 2-circuit algebras – circuit algebras whose palettes themselves form circuit algebras – and, by iteration, k-circuit algebras for all k ∈ N. An example of this construction is given by the circuit algebras with skeleton in [9]. Extended cobordisms provide another natural example.

5. Graphical species, circuit operads, and modular operads

By Proposition 4.11, a (C, ω)-coloured circuit algebra A in a symmetric monoidal category (V, ⊗,I) has the structure of a listC-graded monoid with contractions, and distinguished morphisms c ∈ V(I, A(c, ωc)) satisfying the conditions (c1)-(c3) and (e1) stated there.

In Section 9.2, it will be shown that the converse also holds. That is, a listC-graded object A = (A(c))c in V, together with morphisms c ∈ V(I, A(c, ωc)), has the structure of a (C, ω)-coloured V-valued circuit algebra if and only if it describes a graded monoid (A, ,I) in V, and is equipped with a family ζ of operations as in Examples 3.20 and 3.22, that satisfy the conditions of Proposition 4.11. It is the goal of this section to use (c1)-(c3) and (e1) of Proposition 4.11 to deﬁne a version of circuit algebras – called circuit operads – internal to an arbitrary category E with ﬁnite limits. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 19

5.1. Graphical species. A monochrome circuit algebra A in a symmetric monoidal category (V, ⊗,I) is described by a functor A:Σop → V (the restriction of A to Σ =∼ Σop ⊂ BD) together with a collection of operations

α(f): A(m1) ⊗ · · · ⊗ A(mk) → A(n), f ∈ WD(m1,..., mk; n)

indexed by WD(m1,..., mk; n) and (m1, . . . , mk; n) ∈ listN×N, and satisfying some associativity axioms.

When V = Set, it is possible, by enlarging Σ, to describe all coloured collections (A(c))c∈listC (for any palette (C, ω)) underlying circuit algebras in CA, as presheaves on the same category. This is the idea of graphical species, that were introduced in [16], and used in the definition of coloured Set-valued modular operads (compact closed categories) [16, 30, 13, 14]. This section provides a short discussion on graphical species in an arbitrary category E with finite limits. For more details, the reader is referred to [30], where graphical species in Set are discussed at length. It will be convenient to work with the groupoid B of finite sets and bijections, rather than its skeletal subcategory Σ. The full subcategory of finite sets in Set is denoted by Setf ⊃ B. Remark 5.1. (See also Section 2.3.) A presheaf P : Bop → E on B, also called a (monochrome or single- sorted) species in E [17], determines a presheaf on Σ by restriction.

Conversely, a Σ-presheaf Q may always be extended to a B-presheaf QB, by setting def (5.2) QB(X) = lim(n,f)∈Σ/X Q(n) for all n ∈ N.

Let the category B§ be obtained from B by adjoining a distinguished object § that satisfies • B§(§, §) = {id, τ} with τ 2 = id; § • for each finite set X and each element x ∈ X, there is a morphism chx ∈ B (§,X) that ‘chooses’ § x, and B (§,X) = {chx , chx ◦ τ}x∈X ; • for all finite sets X and Y , B§(X,Y ) = B(X,Y ), and morphisms are equivariant with respect to ∼ § = the action of B. That is, chf(x) = f ◦ chx ∈ B (§,Y ) for all x ∈ X and all bijections f : X −→ Y . Let E be a category with finite limits. op Definition 5.3. A graphical species S in E is a presheaf S : B§ → E. The category of graphical species def § def by GSE = pshE(B ). When E = Set, we write GS = GSSet.

Hence, a graphical species S is described by an E-valued species (SX )X∈B, and an involutive object (S§,Sτ ) in E, together with a family of projections S(chx): SX → S§, defined for each finite set X, and x ∈ X, and equivariant with respect to the action by B. Let ∗ denote the terminal object of E. This exists since E is assumed to have finite limits.

0 Deﬁnition 5.4. A morphism γ ∈ GSE(S, S ) is colour-preserving if its component at § is the identity on S§. A graphical species S ∈ GSE is called monochrome if S§ = ∗.

Example 5.5. The terminal graphical species KE is the constant graphical species that sends § and all ﬁnite sets X to the terminal object ∗ in E.

def The element category (Definition 2.10) of a graphical species S in Set is denoted by el(S) = elB§ (S). X Definition 5.6. Elements c ∈ S§ are colours of S. For each element c = (cx)x∈X ∈ S§ , the c-(coloured) X X arity Sc is the fibre above c ∈ S§ of the map (S(chx))x∈X : SX → S§ . Example 5.7. (Compare Example 3.37, 4.14.) For any palette (C, ω), the terminal (C, ω)-coloured graph- (C,ω) (C,ω) X ical species K in Set is given by Kc = {∗} for all c ∈ C (and all finite sets X). This is the (C,ω) terminal object of the category GSE of (C, ω)-coloured graphical species in Set, and palette-preserving morphisms. Let ω be the unique non-identity involution on the set C = {+, −} as in Examples 3.37 and 4.14. (C,ω) X For all finite sets X, KX = {+, −} is the set of partitions X = X+ q X− of X into input and (C,ω) (C,ω) ∼= output sets, and morphisms KX → KY are bijections X −→ Y that preserve the partitions. Hence, (C, ω)-coloured graphical species are monochrome ‘monochrome directed graphical species’. 20 SOPHIE RAYNOR

5.2. Circuit Operads. The monoidal and contraction structure on circuit algebras described in Propo- sition 4.11 may be modified for graphical species in a category E with finite limits. Definition 5.8. An external product on a graphical species S in E is given by a collection of B- equivariant morphisms X,Y : SX × SY → SXqY in E defined for all finite sets X and Y , and such that, for all elements x ∈ X, the following diagram commutes in E: XqY S(chx ) SX × SY /6 S§

S(chX ) x SX .

An external unit for the external product is a distinguished morphism : ∗ → S0 such that, for all X, the composite ∼ = id× SX / SX × ∗ / SX × S0 / S(Xq0) SX is the identity on SX . Remark 5.9. The monoidal unit for is suppressed in the discussion (and notation) since most of the constructions in Sections 5-10 of this paper carry through without it. Indeed, Sections 6 and 7 are very closely related to the paper [21], in which the external product is non-unital. Nonetheless, to agree with circuit algebra conventions, and since most examples of structures related to circuit operads do involve a unital external product, external products in this paper are unital. See also Remark 7.22, and [21, Paragraph 4.7].

x‡y Let S be a graphical species in E. For any ﬁnite set X with distinct elements x 6= y, let (SX ) denote the equaliser

S(chx) x‡y / / (5.10) SX SX / S§. S(chy ◦τ)

§ x‡y y‡x Since τ : § → § is an involution in B , SX = SX for all finite sets X and all pairs of distinct elements x and y in X. More generally, for any finite set Z with distinct elements x, y ∈ Z, and any morphism x‡y y‡x x‡y f : E → SZ in E, E = E denotes the pullback of f along the universal map SZ → SZ . In particular if is an external product on S, then, for all X,Y and distinct x, y ∈ X q Y , there is a x‡y well-defined object (SX SY ) in E.

In general, given distinct elements x1, y1, . . . , xk, yk of SZ , and a morphism f : E → Z in E, then def Ex1‡y1,...,xk‡yk = (Ex1‡y1,...,xk−1‡yk−1 )xk‡yk is the obvious limit.

x1‡y1,...,x ‡y Invariance of E k k under permutations (xi, yi) 7→ (xσi, yσi), σ ∈ Aut(k) follows from invariance of the deﬁning morphisms

x ‡y ,...,x ‡y x1‡y1,...,xk‡yk / 1 1 k k / E SZ SZ−{x1,y1,...xk,yk}.

x‡y x‡y Definition 5.11. A (graphical species) contraction ζ on S is a family of maps ζX : SX → SX\{x,y} defined for each finite set X and pair of distinct elements x, y ∈ X. ∼ The contraction ζ is equivariant with respect to the action of B§ on S: If σˆ : X \{x, y} −→= Z \{w, z} ∼ is the restriction of a bijection σ : X −→= Z with σ(x) = w and σ(y) = z. Then w‡z x‡y w‡z (5.12) S(ˆσ) ◦ ζZ = ζX ◦ S(σ): SZ → SX\{x,y}.

x‡y y‡x In particular, by (5.12), if ζ is a contraction on S, then ζX = ζX for all ﬁnite sets X and all pairs of distinct elements x, y ∈ X.

As usual, let σ2 denote the unique non-identity involution on 2.

Deﬁnition 5.13. A morphism ∈ E(S§,S2) is unit-like for S if

(5.14) ◦ ω = S(σ2) ◦ : S§ → S2, and S(ch1) ◦ = idS§ . BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 21

It follows immediately from the deﬁnition that if is unit-like for S, then is monomorphic.

Deﬁnition 5.15. A non-unital circuit operad in E is a graphical species S in E, equipped with an external product and a contraction ζ, and satisfying the following three axioms:

φ1 φ3 φ3 (C1) External product is associative. φ1 φ2 For all ﬁnite sets X,Y,Z, the following square φ2 commutes:

X,Y × idSZ SX × SY × SZ / SXqY × SZ .

idSX × Y,Z = (XqY ),Z

SX × SY qZ / SXqY qZ φ1 φ1 φ2 φ3 X,(Y qZ) φ2 φ3

(C2) Order of contraction does not matter. For all ﬁnite sets X with distinct elements w, x, y, z, the ζw,xφ following square commutes: φ

w‡x w‡x,y‡z ζ / y‡z SX SX\{w,x} .

ζy‡z = ζy‡z

w‡x S / S ζy,zζw,xφ X\{y,z} X\{w,x,y,z} ζ φ ζw‡x y,z

(C3)For all ﬁnite sets X and Y and distinct elements

φ1 φ2 ζcφ1 φ2 x1, x2 ∈ X, the following square commutes:

x1‡x2 x1‡x2 SX × SY / (SX × SY ) .

x1‡x2 x1‡x2 ζ × idSY = ζ

/ SX\{x1,x2} × SY SX\{x1,x2} × SY φ1 φ2 ζc(φ1 φ2)

Morphisms of non-unital circuit operads are morphisms of the underlying graphical species that preserve the external product and contraction. The category of non-unital circuit operads is denoted CO−. A (unital) circuit operad is given by a non-unital circuit operad (S, , ζ) together with a unit-like morphism : S§ → S2, such that for all ﬁnite sets X and all x ∈ X, the composite (5.16) (id×ch )◦∆ ζx‡2 x x‡2 id× x‡2 x‡2 Xq2 SX / (SX × S§) / (SX × S2) / (SX S2) / SX 22 SOPHIE RAYNOR is the identity on SX . (Here ∆: SX → SX × SX is the diagonal and the last map makes use of the canonical isomorphism (X q {1}) \{x} =∼ X.) Morphisms in the circuit operad category CO are morphisms in CO− that respect the unit. Example 5.17. Recall Examples 3.37, 4.14 and 5.7. By [8] and Example 4.14, wheeled PROPs (in Set) are equivalent to circuit algebras and hence, by Proposition 5.18, they describe circuit operads.

By the following proposition, that follows immediately from Deﬁnition 5.15 and Proposition 4.11, Set-valued circuit algebras describe circuit operads with the obvious product and contraction: Proposition 5.18. There is a canonical faithful functor CA → CO.

In Section 9.2, we shall see that the converse is also true, and there is an equivalence of categories CA ' CO.

5.3. Modular operads. This section generalises the definition of modular operads in Set from [30, Section 1.3], to define modular operads in any category E with finite limits. It is then shown that circuit operads in E canonically admit a modular operad structure. This will be used in Sections 6-9.2, to construct the composite monad for circuit operads, building on a generalisation of the monad for Set-valued modular operads in [30].

Let S be a graphical species in a category E with ﬁnite limits. For ﬁnite sets X and Y with elements x‡y x ∈ X and y ∈ Y , let (SX × SY ) → SX × SY denote the pullback

x‡y (SX × SY ) / SX

S(chx) SY / S§. S(chy ◦τ)

x1‡y1,...,x ‡y More generally, given distinct elements x1, . . . , xk ∈ X and y1, . . . , yk ∈ Y , let (SX × SY ) k k be

S(chxi ) S(chyi ◦τ) the limit of the collection SX −−−−−→ S§ ←−−−−−− SY , 1 ≤ i ≤ k of spans. Definition 5.19. A multiplication on S is a family of morphisms x‡y x‡y X,Y :(SX × SY ) → S(XqY )\{x,y}, in E, defined for all pairs of finite sets X and Y , with elements x ∈ X and y ∈ Y , and such that (1) the obvious diagram (S × S )x‡y X Y x‡y X,Y + ∼ = S(XqY )\{x,y} 3

y‡x y‡x Y,X (SY × SX ) commutes in E, ∼ ∼ (2) is equivariant with respect to the B§-action on S: if σˆ : X \{x} −→= W \{w} and ρˆ: Y \{y} −→= ∼ ∼ Z \{z} restrict bijections σ : X −→= W and ρ: Y −→= Z such that σ(x) = w and ρ(y) = z, then w‡z x‡y S(ˆσ t ρˆ) W,Z = X,Y S(σ t ρ), ∼ (where σ t ρ: X q Y −→= W q Z is the block-wise permutation).

A multiplication on S is unital if S there is a unit-like morphism ∈ E(S§,S2) such that, for all ﬁnite sets X and all x ∈ X, the composite

x‡2 (id×chx)◦∆ id× X,2 (5.20) SX / SX × S§ / SX × S2 / SX is the identity on SX . BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 23

By (5.20) and condition (1) of Definition 5.19, if a multiplication on S admits a unit , then it is unique. Definition 5.21. A modular operad (S, , ζ, ) is a graphical species equipped with unital multiplication (, ) and a contraction ζ such that the following four coherence axioms are satisfied.

(M1) Multiplication is associative. For all ﬁnite set X,Y,Z and elements x ∈ X, z ∈ Z, and φ1 φ3 φ3 φ1 c φ2 distinct y1, y2 ∈ Y , φ2

x‡y1 ×id X,Y SZ y ‡z x‡y1,y2‡z / 2 (SX × SY × SZ ) S(XqY )\{x,y1} × SZ

y ‡z 2 y2‡z idSX ×Y,Z =

φ1 φ1 φ2 φ3 φ2 d φ3 x‡y1 / SX × S(Y qZ)\{y2,z} S(XqY qZ)\{x,y1,y2,z}. x‡y1

(M2) Contraction satisﬁes (C2).

(M3) Multiplication and contraction commute. For ﬁnite sets X and Y , mutually distinct elements φ1 φ2 ζcφ1 φ2 x1, x2 and x3 in X, and y ∈ Y , the following diagram commutes:

x ‡x x ‡x ζ 1 2 ×id 1 2 x3‡y / x3‡y (SX × SY ) (SX\{x1,x2} × SY ))

x3‡y = x3‡y

x ‡x 1 2 / φ1 d φ2 ζc(φ1 d φ2) S(XqY )\{x ,y} S(XqY )\{x1,x2,x3,y}. 3 ζx1‡x2

(M4) ‘Parallel multiplication’ of pairs. φ1 c φ2 For ﬁnite sets X and Y , and distinct elements x1, x2 ∈ X φ1 φ2 and y1, y2 ∈ Y , the following digram commutes:

x1‡y1 x1‡y1,x2‡y2 x2‡y2 (SX × SY ) / S (XqY )\{x1,y1}

x ‡y x2‡y2 = ζ 2 2

x1‡y1 ζ(φ1 φ2) / φ1 d φ2 S(XqY )\{x ,y } S(XqY )\{x1,x2,y1,y2}. 2 2 ζx1‡y1

− The category of (non-unital) modular operads in E is denoted by (MOE ) MOE.

Circuit operads carry a canonical modular operad structure. For, given a circuit operad (S, , ζ, ) in E, the composition

ζx‡y x‡y x‡y / x‡y / (5.22) X,Y :(SX × SY ) (SX SY ) S(XqY )\{x,y} defines an equivariant multiplication defined, for all finite sets X and Y and all x ∈ X, and y ∈ Y . 24 SOPHIE RAYNOR

It follows immediately from the definition of and (C1)-(C3) for (S, , ζ), that (S, , ζ) satisfies the modular operad axioms (M1)-(M4). And, if is a unit for (S, , ζ), then satisfies (5.16) by construction, and hence is a unit for . In fact, we have the following proposition: Proposition 5.23. There are canonical monadic adjunctions o (5.24) CO− > CO EO / EO ` ` o MO− > MO E / E between the categories of (non-unital) modular and circuit operads in E.

Proof. The result will follow from Proposition 7.19 and Lemma 9.4, together with the classical theory of distributive laws [2].

− − The right adjoints of the pairs MOE COE (and MOE COE ) are induced by the forgetful functor (S, , ζ) 7→ (S, , ζ) where the multiplication is defined by suitable compositions ζ ◦ as in (5.22). (See also Example 3.22.) The left adjoint is induced by the free graded monoid monad. If S is a graphical species, then there is a graphical species LS defined by a −1 LSX = colim(Y,f)∈Core(X/Setf ) Sf (y) y∈Y where Core(X/Setf ) is the maximal subgroupoid of the slice category X/Setf whose objects are morphisms of finite sets f : X → Y , and whose morphisms (Y, f) → (Y 0, f 0) are isomorphisms g =∼ Y → Y 0 such that gf = f 0. The free monoid structure induces the external product on LS, and, if (S, , ζ) is a (non-unital) modular operad, then the modular operad axioms imply that the pair of operations ζ and , define a contraction on LS. (See Section 9.2.) In particular, since units for the modular operadic multiplication are unique: − Corollary 5.25. The canonical forgetful functor COE → COE is an inclusion of categories. Example 5.26. Recall from Example 5.17 that wheeled PROPs describe monochrome directed circuit algebras (see also 3.37, 4.14 and 5.7). The image of a wheeled PROP under the forgetful functor CO → MO is its underlying wheeled properad (see [12, 40]).

6. Background on graphs

In [30], the combinatorics of modular operads have been fully described in terms of a category Ξ of graphs [30, Section 8]. The remainder of the present paper is concerned with an analogous construction for circuit operads.

This section reviews the deﬁnition of the category Gret of graphs and étale morphisms – introduced in [16], and used in [21, 13, 14, 30] – and describes how the graphs in this category are related to wiring diagrams. The interested reader is referred to [30, Sections 3 & 4] for more details and explicit proofs related to the graphical formalism.

6.1. The étale category of graphs. Let (m1, . . . , mk; n) ∈ list(N)×N and let f ∈ WD(m1,..., mk; n) Pk be a monochrome wiring diagram with underlying (open) Brauer diagram f = (τf , 0) ∈ BD( i=1 mi, n) `k where τf is a perfect matching on the set ∂f = n q ( i=1 mi). Hence f is equivalently written as inc k p τf o ` / (6.1) ∂f; i=1 mi k `k where p: i=1 mi → k is the canonical projection.

By forgetting the orderings on k and each mi, 1 ≤ i ≤ k, we obtain the deﬁnition, originally due to Joyal and Kock [16], of a (Feynman) graph. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 25

Deﬁnition 6.2. A graph G is a diagram

s t τ o / (6.3) G = 8 E H V of ﬁnite sets such that s: H → E is injective and τ : E → E is an involution without ﬁxed points.

Elements of V are vertices of G and elements of E are called edges of G. In the terminology above, the set E˜ of τ-orbits in E, where e˜ ∈ E˜ is the orbit of an edge e ∈ E, is the set of connections in G. Elements h of the set H of half-edges of G will also be written as ordered pairs h = (s(h), t(h)) ∈ E × V . Remark 6.4. By the comparison with wiring diagrams and Example 3.14, a graph is a rule for gluing components of 1-dimensional manifolds together along their boundaries. So, a graph G may be realised geometrically by a one-dimensional space |G| obtained by taking the discrete space {∗v}v∈V , for each 1 1 e ∈ E, a copy [0, 2 ]e of the interval [0, 2 ] subject to the identiﬁcations

• 0s(h) ∼ ∗t(h) for h ∈ H, 1 1 • ( 2 )e ∼ ( 2 )τe for all e ∈ E.

Deﬁnition 6.5. An inner edge of G is an element e ∈ E such that {e, τe} ⊂ im(s). The set E• ⊂ E of inner edges of G is the maximal subset of im(s) ⊂ E that is closed under τ. The set of inner τ-orbits e˜ ∈ Ee with e ∈ E• is denoted by Ef•. Elements of the set E0 = E \ im(s) are ports of G. A stick component of a graph G is a pair {e, τe} of edges of G such that e and τe are both ports. A graph G that is obtained, as in (6.1), from a wiring diagram in WD is called ordered. Example 6.6. As in Example 3.6, let ∗ be the unique matching on a two element set. Recall that the pair (∗, 0) underlies Brauer diagrams id1 ∈ BD(1, 1), ∩ = did1e ∈ BD(0, 2) and ∪ = bid1c ∈ BD(2, 0), and hence also wiring diagrams id1 ∈ WD(1; 1), ∩ ∈ WD(−; 2) and ∪(2;0) ∈ WD2; 0) and ∪(1,1;0) ∈ WD(1, 1; 0). By (6.1), these describe the following graphs, each of which has one edge orbit:

• for id1 ∈ WD(1; 1), the corresponding graph is the ‘1-corolla’

def C1 = 9 2 o 1 / 1 with one vertex, no inner edges, and one port (see Figure 8(a)); • for ∩ ∈ WD(I{∗}; 2), the corresponding graph is the stick graph (p)

def (p) = 9 2 o 0 / 0 with no vertices, no inner edges and two ports (see Figure 8(b)); • for ∪(2;0) ∈ WD(2; 0), the corresponding graph is the wheel graph W

def id W = 9 2 o 2 / / 1 with one vertex, one inner edge and no ports (see Figure 8(c)); • the graph corresponding to ∪(1,1;0) ∈ WD(1, 1; 0) has one vertex, one inner edge and no ports (Figure 8(d)): id id 9 2 o 2 / 2 . The stick and wheel graphs (p) and W are particularly important in what follows.

(a) (b) (c) (d)

1 1

1† 2

Figure 8. (Realisations of) graphs with one edge orbit: (a) the 1-corolla C1; (b) the stick graph (p); (c) the wheel graph W consists of a single inner edge with one end vertex; (d) a single inner edge with distinct end vertices.

For any set X, let X† =∼ X denote its formal involution. 26 SOPHIE RAYNOR

Example 6.7. (See also Figure 8(d).) The X-corolla CX associated to a ﬁnite set X has the form

inc _ † CX : † ;X q X†o ? X / {∗}.

def Let G be a graph with vertex and edge sets V and E respectively. For each vertex v, deﬁne H/v = −1 def t (v) ⊂ H to be the ﬁbre of t at v, and let E/v = s(H/v) ⊂ E.

Deﬁnition 6.8. Edges in the set E/v are said to be incident on v.

def H The map | · |: V → N, v 7→ |v| = | /v|, deﬁnes the valency of v and Vn ⊂ V is the set of n-valent vertices of G. A vertex v is bivalent if |v| = 2. An isolated vertex of G is a vertex v ∈ V (G) such that |v| = 0.A bivalent graph is a graph G with V = V2. Bivalent and isolated vertices are particularly important in Section 8.3. Vertex valency also induces an N-grading on the edge set E (and half-edge set H) of G: For n ≥ 1, def −1 def ` deﬁne Hn = t (Vn) and En = s(Hn). Since s(H) = E \ E0 = n≥1 En, a E = En. n∈N Example 6.9. The stick graph (p) (Example 6.6) has E0(p) = E(p) = 2, and E•(p) = ∅. Conversely, the ∼ wheel graph W has E0(W) = ∅ and E•(W ) = E2(W) = E(W) = 2.

For all finite sets X, the X-corolla CX (see Example 6.7) with vertex ∗ has set of ports E0(CX ) = X E † ∼ and /∗ = X . If X = n for some n ∈ N, then | ∗ | = n, so V = Vn, and E = En q E0 with Ei = X for i = 0, n. Definition 6.10. An étale morphism f : G → G0 of graphs is a commuting diagram of finite sets (6.11) G E o τ / E o s H t / V

G0 E0 o / E0 o H0 / V 0 τ 0 s0 t0 such that the right-hand square is a pullback.

The category of graphs and étale morphisms is denoted by Gret. It is straightforward to verify that the right hand square in (6.11) is a pullback if and only if, for all 0 0 v ∈ V , the map E/v → E /f(v) induced by the restriction of the map V → V is bijective. So, as the name suggests, étale morphisms describe local isomorphisms. Example 6.12. For any graph G with edge set E, there is a canonical (up to unique isomorphism) bijection ∼ G Gret(p, G) = E. The morphism 1 7→ e ∈ E in Gret(p, G) that chooses e ∈ E is denoted che, or che .

Pointwise disjoint union deﬁnes a symmetric strict monoidal structure on Gret with unit given by the empty graph def= ∅o ∅ / ∅ . Deﬁnition 6.13. A graph is connected if it cannot be written as a disjoint union of non-empty graphs. A connected component H of G is a maximal connected subdiagram of G.

In particular, any graph G is the disjoint union of its connected components, and the inclusion H ,→ G of a connected component H of G describes a pointwise injective étale morphism. Disjoint union commutes with geometric realisation: for all graphs G and H, |G q H| = |G| q |H|, and a graph G is connected if and only if it’s geometric realisation |G| is a connected space. def Example 6.14. Let X and Y be ﬁnite sets. Write DX,Y = CX q CY for the disjoint union of X and Y -corollas: t † inc _ † X,Y † (: X q Y ) q (X q Y ) o ? (X q Y ) / {∗X , ∗Y } † † where the arrow tX,Y is the obvious projection X → ∗X , Y → ∗Y . This has ports X q Y = E0(CX ) q E0(CY ) and no internal edges. The canonical inclusions ιX : CX → DX,Y ← CY : ιY are étale. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 27

Example 6.15. Up to isomorphism, (p) is the only connected graph with no vertices. As in [30] (and following [20]) a shrub S is a disjoint union of stick graphs. Any commuting diagram of the form (6.11) where G = S is a shrub trivially satisﬁes the pullback condition, and hence deﬁnes a morphism in Gret.

Example 6.16. The pair of parallel morphisms id, τ :(p) ⇒ (p) given by the endomorphisms of (p) in Gret has coequaliser ∗ ← ∅ → ∅ in psh(D). Since this is not a graph, the morphisms id(p) and τ do not admit a coequaliser in Gret. This provided the key motivating example for [30].

The two endomorphisms idW , τW : W → W, viewed as morphisms of presheaves on D, have coequaliser ∗ ← ∗ → ∗ which is terminal in psh(D), and is not a graph. In particular, Gret does not have a terminal object and is therefore not closed under (ﬁnite) limits.

As Example 6.16 shows, Gret does not, in general, admit ﬁnite colimits. However, if G is a graph and e1‡e2 e1, e2 ∈ E0 are ports of G with e1 6= τe2, then the colimit G of the parallel morphisms

(6.17) che1 , che2 ◦ τ :(p) ⇒ G is the graph described by identifying e1 ∼ τe2 and e2 ∼ τe1 in the diagram (6.3) deﬁning G. e‡τe Example 6.18. The graph C2 obtained by identifying the ports of the 2-corolla is isomorphic to the wheel graph W. x‡y Example 6.19. More generally, for X a ﬁnite set with distinct elements x and y, the graph CX has ports in E0 = X \{x, y}, one inner τ-orbit {x, y} (bold-face in Figure 9), and one vertex v:

† s _ † t τ (: X \{x, y}) q X o ? X / {v}, † † † x‡y where τx = y and τz = z for z ∈ X \{x, y}. Graphs of the form CX encode formal contractions in graphical species.

Example 6.20. For ﬁnite sets X and Y , recall that DX,Y is the disjoint union CX q CY . Let x ∈ X, and x‡y def x‡y y ∈ Y . By identifying the edges x ∼ τy, y ∼ τx, we obtain a graph DX,Y = (CX q CY ) , that has two vertices and one inner edge orbit {x, y}, highlighted in bold-face in Figure 9.

† s _ † t τ 9 (X q Y ) \{x, y} q (X q Y ) o ? (X q Y ) / {vX , vY } with s the obvious inclusion and the involution τ described by z ↔ z† for z ∈ (X q Y ) \{x, y} and † † −1 † −1 † x ↔ y . The map t is described by t (vX ) = (X \{x}) q {y} and t (vY ) = (Y \{y}) q {x}. x‡y In the construction of modular operads, graphs of the form DX,Y are used to encode formal multipli- cations in graphical species.

x y x y

x‡y |DX,Y | x‡y |CX |

x‡y x‡y ∼ ∼ Figure 9. Realisations of DX,Y and CX for X = 4,Y = 3.

(p) (p) Example 6.21. Observe that, ch1 :(p) → (p), 1 7→ 1 is the identity on (p) and ch2 :(p) → (p), 1 7→ 2 is (p) 2 precisely τ. Hence ch2 ◦ τ = τ = idp, and therefore 1‡2 (p) = (p).

It follows that, if a pair of ports e1, e2 = τe1 ∈ E0(G) form a stick component of a graph G (Deﬁni- tion 6.5), then Ge1‡e2 =∼ G. 28 SOPHIE RAYNOR

It follows directly from [30, Proposition 4.8] that:

Lemma 6.22. A morphism f ∈ Gret(G, H) is a monomorphism if and only if it factors, up to unique e ‡e0 ,...,e †e0 isomorphism, as a colimit G → G 1 1 k k of pairs of parallel maps

ch , ch 0 ◦ τ :( ) → G, ei ei p

0 0 0 0 e1‡e1,...,ek†ek (where e1, e1, . . . , ek, ek are distinct ports of G), followed by an étale inclusion G ⊂ H. Example 6.23. For k ≥ 0, the line graph Lk is the connected bivalent graph (illustrated in Figure 10) with ports in E0 = {1Lk , 2Lk }, and

k 2k+1 • ordered set of edges E(L ) = (lj)j=0 where l0 = 1Lk ∈ E0 and l2k+1 = 2Lk ∈ E0, and the involution is given by τ(l2i) = l2i+1, for 0 ≤ i ≤ k, k k E • ordered set of k vertices V (L ) = (vi)i=1, such that /vi = {l2i−1, l2i } for 1 ≤ i ≤ k.

k So, L is described by a diagram of the form : 2 q 2(k) o 2(k) / k. k The line graphs (L )k∈N may be deﬁned inductively by gluing copies of C2: L0 = (p) 0 k+1 ∼ k eLk ‡eC L = (L q C2) 2 , k ≥ 0,

k 0 (where e k is a port of L and e is a port of C ). L C2 2 Example 6.24. For m ≥ 1, the wheel graph Wm (illustrated in Figure 10) is the connected bivalent graph m m obtained as the coequaliser in Grpshf (D) of the morphisms ch1Lm , ch2Lm ◦ τ :(p) ⇒ L . So W has no ports and

m 2m • 2m cyclically ordered edges E(W ) = (aj)j=1, such that the involution satisﬁes τ(a2i) = a2i+1 for 0 ≤ i ≤ m (where a0 = a2m), m m E • m cyclically ordered vertices V (W ) = (vi)i=1, that /vi = {a2i−1, a2i} for 1 ≤ i ≤ m.

m So W is described by a diagram of the form : 2(m) o 2(m) / m.

a8 a0

l0 l1 l9

L4 W4 W = W1

Figure 10. Line and wheel graphs.

By [30, Proposition 4.23], a connected bivalent graph is isomorphic to Lk or Wm for some k, m.

Since the monoidal structure on Gret is induced by the cocartesian monoidal structure on diagrams of ﬁnite sets, colimits in Gret, when they exist, commute with q. In particular, for any graphs G and H and distinct ports e1, e2 of G, (6.25) Ge1‡e2 q H = (G q H)e1‡e2 .

∼ § 6.2. The element category of a graph. Observe that Gret(p, p) = B (§, §) canonically, so the maps § § 7→ (p) and X 7→ CX describe a full inclusion of categories B ,→ Gret. The restriction of the Yoneda § embedding to the image of B in GS induces a functor Υ: Gret → GS, given by § (6.26) ΥG : C 7−→ Gret(C, G) for C ∈ B . Deﬁnition 6.27. The category of elements el(ΥG) =∼ B§/G is called the category of elements of G and denoted by el(G). BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 29

For every graph G, there is a maximal shrub S(E) that is a strong subgraph of G:

G E o τ / E o ∅ / ∅

f G E o / EHo 0 / V τ s t

Connected components of S(E) are indexed by the set of orbits E˜ of τ in E. For each such orbit ˜ e˜ ∈ E, let (pe˜) be the graph {e, τe} o ∅ / ∅. This is a strong connected subgraph of G under the canonical morphism ιe˜ :(pe˜) ,→ G at e˜ (for G) induced by the inclusion {e, τe} ,→ E. def −1 † Recall that, for each v ∈ V , E/v = s(t (v)) is the set of edges incident on v. Let v = (E/v) denote its formal involution. Then the corolla Cv is given by

E E † s H t Cv = 9 /v q ( /v) o /v / {v}.

E G The inclusion /v ,→ E induces a morphism ιv or ιv : Cv → G. Observe that, whenever there is an edge e such that e and τe are both incident on some vertex v, then ιv is not injective on edges. E If /v is empty – so Cv is an isolated vertex – then Cv ,→ G is a connected component of G. Deﬁnition 6.28. An (étale) neighbourhood of a vertex v ∈ V is an étale monomorphism u: H → G such that ιv : Cv → G factors through u. Deﬁnition 6.29. Let G be a graph. An essential morphism or essential subgraph of G is a morphism of the form ιe˜ :(pe˜) → G (e˜ ∈ Ee) or ιv : Cv → G (v ∈ V ). The essential category es(G) of G is the full subcategory of Gret/G on the essential subgraphs ˜ ιe˜ :(pe˜) G, e˜ ∈ E, and ιv : Cv G, v ∈ V.

Non-identity morphisms in es(G) are in canonical bijection with half-edges of G. If h = (e, v) ∈ H, then s(h) = e is the unique element in the intersection E(pe˜) ∩ E(Cv) ∩ E, and hence there is a unique morphism δh ∈ Gret(pe˜, Cv) above G that ﬁxes e. The following is proved in [30, Lemma 4.17 & Lemma 4.25]: Lemma 6.30. There is an equivalence of categories el(G) ' es(G), and

G = colim(C,b)∈es(G)C = colim(C,b)∈el(G)C,

canonically, for all graphs G. It follows that the embedding Υ: Gret ,→ GS of (6.26) is fully faithful.

In particular, if G has no stick components, then, for each e˜ ∈ Ef•, the canonical morphism ιe˜ :(pe˜) ,→ G ` factors in precisely two ways through the canonical morphism v∈V Cv → G,

(e,τe)7→(e,e†) / ` / (6.31) (pe˜) / v∈V Cv G. (e,τe)7→((τe)†,τe) ` ` Hence, there exist parallel morphisms ( e˜) Cv such that the diagram e˜∈Ef• p ⇒ v∈V ` / ` (6.32) ( e˜) Cv / G e˜∈Ef• p / v∈V

|Ef•| describes a coequaliser in Gret. Of course the parallel morphisms in (6.32) is not unique (there are 2 choices), but they are unique up to isomorphism.

§ 6.3. Evaluating graphical species on graphs. The fully faithful inclusion B ,→ Gret induces a fully faithful (by [27, Section VII.2]) inclusion of presheaves GSE ,→ pshE(Gret) (6.33) S 7−→ G 7→ lim(C,b)∈el(G)S(C) . Henceforth, the same notation will be used for graphical species viewed as presheaves on B§ and for their image as presheaves on Gret. 30 SOPHIE RAYNOR

When E = Set, GS is equivalent to the category of sheaves for the canonical étale topology on Gret. (See [30, Section 4.4].) So, for all graphical species S in Set, and all graphs G, there is a canonical isomorphism S(G) =∼ GS(ΥG,S). Example 6.34. If S is a graphical species in Set, an element α ∈ S(G) is called an S-structure on G. In this case, the category Gret(S) of S-structured graphs has objects given by pairs (G, α) with α ∈ S(G), 0 0 0 0 and morphisms in Gret(S)((G, α), (G , α )) are morphisms f ∈ Gret(G, G ) such that S(f)(α ) = α. Example 6.35. Let S be a graphical species in E. Then, for any graphs G and H, S(G) × S(H) = S(G q H) by (6.33). In particular, for ﬁnite sets X and Y ,

(6.36) SX × SY = S(CX ) × S(CY ) = S(CX q CY ).

x‡y Example 6.37. Let X be a ﬁnite set with distinct elements x and y. Recall from (5.10) that SX ∈ E x‡y is the equaliser of the morphisms S(chx),S(chy ◦ τ): SX → S§. Since the graph CX is deﬁned as the coequaliser of the morphisms chx, chy ◦ τ :(p) → CX (see Example 6.19 ), it follows from (6.33) that x‡y x‡y (6.38) SX = S(CX ).

x‡y So, a contraction ζ on a graphical species S in E is a collection of maps S(CX ) → SX\{x,y} deﬁned for each ﬁnite set X, and each pair x, y of distinct elements of X.

7. Non-unital circuit operads

This section gives a short outline, closely following [16] and [30, Section 5], of the construction of the × non-unital circuit operad monad T on GSE. It will henceforth be assumed that the category E has suﬃcient limits and colimits for all for all given constructions.

7.1. Gluing constructions and labelled graphs. Before deﬁning the monad T× for non-unital circuit operads, let us consider graph constructions analogous to operadic composition in WD. Following [16]:

Deﬁnition 7.1. Let G be a Feynman graph. A G-shaped graph of graphs is a functor Γ: el(G) → Gret (or ΓG) such that Γ(a) = (p) for all (p, a) ∈ el(G), E0(Γ(b)) = X for all (CX , b) ∈ el(G), and, for all (CXb , b) ∈ el(G) and all x ∈ Xb, Γ(b) Γ(chx) = chx ∈ Gret(p, Γ(b)).

A G-shaped graph of graphs Γ: el(G) → Gret is non-degenerate if, for all v ∈ V , Γ(ιv) has no stick components. Otherwise, Γ is called degenerate.

Informally, a non-degenerate G-shaped graph of graphs is a rule for substituting graphs into vertices of G as in Figure 11.

Proposition 7.2. A G-shaped graph of graphs Γ: el(G) → Gret admits a colimit Γ(G) in Gret, and, for each (C, b) ∈ el(G), the universal map bΓ : Γ(b) → Γ(G) is a monomorphism in Gret. ∼ ` If Γ is non-degenerate, then E(Γ(G)) = E(G) q v∈V E•(Γ(ιv)), and there is a canonical surjective map V (Γ(G)) V (G) induced by the monomorphisms ιvΓ : Γ(ιv) → Γ(G) for each vertex v of G. In this = case, Γ induces an identity E0(G) −→ E0(Γ(G)) of ports.

Proof. If Γ is non-degenerate, then Γ admits a colimit Γ(G) in Gret by [30, Proposition 5.16]. In case Γ is degenerate, the existence of a colimit in Gret follows from [30, Proposition 7.15]. The other statements follow directly from [30, Corollary 5.19]. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 31

Figure 11. A G shaped graph of graphs Γ describes graph substitution in which each ∼ = E † vertex v of G is replaced by a graph Gv according to a bijection E0(Gv) −→ ( /v) . When Γ is non-degenerate, taking its colimit corresponds to erasing the inner (blue) nesting.

E Remark 7.3. A graph G with n ports, k vertices, and such that each vertex vi ∈ V has mi = | /vi| adjacent edges, describes (up to ordering) a wiring diagram g ∈ WD(m1,..., mk; n) with no closed components. i A G-shaped graph of graphs Γ describes (up to ordering) a choice of k wiring diagrams f ∈ WD(l1,..., lki ; mi) for (l1, . . . , lki ) ∈ listN and 1 ≤ i ≤ k. Non-degeneracy of Γ corresponds to the condition, discussed in Remark 3.16, that each morphism f i of BD(l1 + ··· + lki , mi) does not contain caps. If Γ is non-degenerate, then its colimit Γ(G) is described by the composition g (f i)i in WD. In both the non-degenerate and degenerate cases, the colimit of Γ is induced by the pushout of cospans (3.17). Proposition 7.2 may also be proved using this construction. Example 7.4. By Lemma 6.30, every graph G is the colimit of the (non-degenerate) identity G-shaped G graph of graphs I given by the forgetful functor el(G) → Gret, (C, b) 7→ C. It follows from (5.9) in [30, Section 5.2] that, if G has no stick components, this is equivalent to the statement that G is the coequaliser of the canonical diagram

`(ι ) / ` v / (7.5) S(E•) / v∈V Cv G. The identity G-shaped graph of graphs corresponds, as in Remark 7.3 to a composition of wiring k diagrams of the form g ◦ (idmi )i=1.

0 0 By [30, Corollary 4.21] an étale morphism f : G → G of connected graphs such that f(E0(G)) ⊂ E0(G ) ∼ 0 is always surjective. Moreover, if f restricts to an isomorphism of ports E0(G) = E0(G ), and E0(G) is non-empty, then f is an isomorphism. Deﬁnition 7.6. Let X be a ﬁnite set. A generalised X-graph (henceforth X-graph) is a non-degenerate CX -shaped graph of graphs. An X-graph X is admissible if it has no stick components. ∼ (CX ) The groupoid of (admissible) X-graphs and isomorphisms is denoted X-Griso = Core(Gret ). (C) More generally, for any graph G and any (C, b) ∈ el(G), b-Griso denotes the groupoid Core(Gret ) of non-degenerate C-shaped graphs of graphs and isomorphisms.

So, an (admissible) X-graph is a pair X = (G, ρ), where G is a graph with no stick components ∼= and ρ: E0 −→ X is a bijection of ﬁnite sets called an X-labelling for G. Given X-graphs X = (G, ρ) 0 0 0 0 and X = (G , ρ ), and an isomorphism in X-Griso – an X-isomorphism X → X – is an isomorphism 0 0 g ∈ CGret(G, G ) that preserves the X-labelling: ρ ◦ gE0 = ρ: E0 → X.

For any graph G, a G-shaped graph of graphs Γ: el(G) → Gret is precisely a choice of Xb-graph Xb for

each (CXb , b) ∈ el(G).

Example 7.7. For any ﬁnite set X, a CX -shaped graph of graphs Γ is completely described its colimit Γ(CX ). This is just an X-graph X , and X is admissible if and only if Γ is non-degenerate. 32 SOPHIE RAYNOR

In particular, for all ﬁnite sets X with distinct elements x, y ∈ X, there is a non-degenerate CX\{x,y}- x‡y shaped graph of graphs CX .

Example 7.8. If X and Y are finite sets, then the disjoint union DX,Y = CX qCY defines a non-degenerate CXqY -shaped graph of graphs. x‡2 Example 7.9. Let x be an element of a finite set X. Recall, from Example 6.20, that DX,2 is defined as the coequaliser chx, τch1 :(p) ⇒ CX q C2. x‡2 Then, G is the colimit of a (degenerate) DX,2-shaped graph of graphs given by ιvX 7→ (G, ρ) and

ιv2 7→ pe˜. (G) Deﬁnition 7.10. The category of non-degenerate G-shaped graphs of graphs Gret is the full subcategory of non-degenerate G-shaped graphs of graphs Γ : el(G) → Gret in the category of functors el(G) → Gret and natural transformations.

(G) Remark 7.11. Up to adjoining connected components of graphs with no ports, Gret is a groupoid, 1 2 (G) 1 2 and, for all Γ and Γ in the same connected component of Gret , there are graphs H and H with 1 2 1 ∼ 2 2 E0(H ) = E0(H ) = ∅ such that Γ (G) q H = Γ (G) q H .

Now, let S be a graphical species in E, and, for some graph G, let Γ: el(G) → Gret be a non-degenerate op G-shaped graph of graphs with colimit Γ(G) in Gret. Then the composition S ◦ Γ deﬁnes a functor SΓ : el(G)op → E with colimit S(Γ(G)). Example 7.12. Recall Example 6.34 . If S is a graphical species in Set and G is any graph, then a non-degenerate G-shaped graph of graphs Γ and choice of S-structure α ∈ S(Γ(G)) determines a functor el(G) → Gret(S) – called a G-shaped graph of S-structured graphs – by b 7→ S(bΓ)(α) (where, for all (C, b) ∈ el(G), bΓ is the universal map described in Proposition 7.2).

7.2. A monad for non-unital circuit operads. It is now straightforward to construct a monad (that is very similar to the monad described in [21]) on GSE, whose algebras are non-unital circuit operads in E. × § For all S ∈ GSE, the free non-unital circuit operad T S on S is given, on objects of B , by × T S§ = S§, (7.13) × T SX = colimX ∈X-Griso S(X ) for all finite sets X for all S ∈ GSE. The action of T ×S on isomorphisms in B§ is the canonical one induced by relabellings of graph ports. To see that T ×S extends to all morphisms in B§ and therefore defines a graphical species in E, let 0 0 X g : X → X be a port-preserving isomorphism in X-Griso, and for each x ∈ X, let chx ∈ CGret(p, G) be −1 the map chρ−1(x) defined by 1 7→ ρ (x) ∈ E0(G). Then,

X X X 0 S(g ◦ chx ) = S(chx )S(g) = S(chx ). × × X Hence, the projections T S(chx): T SX → S§ induced by S(chx ): S(X ) → S(p) = S§, are well-defined. × × The assignment S 7→ T S is clearly natural on S ∈ GSE whereby T defines an endofunctor on GSE. Lemma 7.14. For any graphical species S in E and any finite set X , there is a unique isomorphism

×2 ∼= T S −→ colim lim (X ) S(Γ(X )) , X X ∈X-Griso Γ∈Gret (X ) where, as usual, Γ(X ) is the colimit of Γ in Gret .

Proof. By deﬁnition,

×2 × T SX = colimX ∈X-Griso T S(X ) × = colimX ∈X-Griso lim(C,b)∈el(X )T S(C)

= colimX ∈X-Griso lim(C,b)∈el(X )colimY∈b-Griso S(Y). BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 33

Now, for all (C, b) ∈ el(X ), b-Griso is a groupoid, so colimY∈b-Griso S(Y) = limY∈b-Griso S(Y). By deﬁnition (X ) of Gret (Deﬁnition 7.10),

lim (X ) S(Γ(X )) ∼ lim (lim S(Y)) Γ∈Gret = (C,b)∈el(X ) Y∈b-Griso canonically. Therefore, by the universal property of (co)limits, there is a unique isomorphism

×2 (7.15) T S ∼ colim lim (X ) S(Γ(X )) . X = X ∈X-Griso Γ∈Gret

By Proposition 7.2, each Γ(X ) canonically inherits the structure of an X-graph from X . Therefore, × ×2 × using Lemma 7.14, there is a canonical morphism µT SX : T SX → T SX in E given by ×2 0 × (7.16) T S = colim lim (X ) S(Γ(X )) → colim 0 S(X ) = T S . X X ∈X-Griso Γ∈Gret X ∈X-Griso X

× 2 This is natural in X and in S and hence deﬁnes a natural transformation µT : T × ⇒ T ×. × × × A unit for the endofunctor T on GSE is provided by the natural transformation ηT : idGS ⇒ T § = × induced by the inclusion B ,→ Gret : SX −→ S(CX ) → T SX . × × It is straightforward to verify that the triple T× = (T ×, µT , ηT ) deﬁnes a monad, the non-unital circuit operad monad on GSE.

7.3. T×-algebras are non-unital circuit operads. Finally in this section, we prove that T×-algebras are non-unital circuit operads. × × Let (A, h) be an algebra for T on GSE. By definition of T , h is described by, for each finite set X, and X-graph X , a morphism hX : A(X ) → AX in E. Let X and Y be finite sets. Given an X-graph X and Y -graph Y, the graph X q Y has the structure of an X q Y -graph and is therefore trivially the colimit of a CXqY -shaped graph of graphs. It is also the colimit of the CX q CY -shaped graph of graphs ιX 7→ X , ιY 7→ Y. Assume that X and Y are admissible, so that both these graphs of graphs are non-degenerate. Then, the following lemma is immediate:

Lemma 7.17. For any graphical species S in E, disjoint union of graphs induces a external product on T ×S, with external unit induced by the empty graph such that, for all X-graphs X and Y -graphs Y, the following diagram – in which the unlabelled maps are the deﬁning morphisms for T × – commutes in E:

× × × ×2 S(X q Y) S(X ) × S(Y) / T SX × T SY T S(CX q CY ) / T SXqY

× µT + × s T SXqY .

Similarly: Lemma 7.18. For any graphical species S in E, T ×S canonically admits a contraction ζ such that, for all ﬁnite sets X, distinct elements x, y ∈ X, and all X-graphs X , the following diagram commutes in E:

x‡y × x‡y ×2 S(X ) / T S(CX ) / T SX\{x,y}

ζ × ) u µT × T SX\{x,y}.

× Proposition 7.19. There is a canonical isomorphism of categories GST =∼ CO−.

× Proof. Let (A, h) be an algebra for T . For ﬁnite sets X and Y , the morphism X,Y : AX ×AY → AXqY in E is deﬁned as the composite h AX × AY = A(CX q CY ) → TAXqY −→ AXqY . 34 SOPHIE RAYNOR

x‡y If a finite set X has distinct elements x and y, then we may define a morphism ζX : AX → AX\{x,y} in x‡y x‡y h E is defined as the composite AX = A(NX ) → TAX\{x,y} −→ AX\{x,y}. The idea of the proof that (A, , ζ) satisfies the axioms for a circuit operad is to represent each side of the equations (C1)-(C3) of Definition 5.15 in terms of graph of graphs, and then show that these have the same colimit in Gret.

For (C1), the external product X,Y is represented by the graph CX q CY , and so XqY,Z ◦ (X,Y × idAZ ) is represented by the CXqY qCZ -shaped graphs of graphs (ιXqY 7→ CX q CY , ιZ 7→ CZ ) with colimit CX qCY qCZ , which is also the colimit of the CX qCY qZ -shaped graph of graphs (ιX 7→ CX , ιY qZ 7→ CY q CZ ). Precisely, it follows from the monad algebra axioms that, for all ﬁnite sets X,Y and Z, the diagram

AX × AY × AZ = = =

(,id) u = = ) (id,) AXqY × AZ o A(CX q CY ) × A(CZ ) / A(CX q CY q CZ ) o A(CX ) × A(CY q CZ ) / AX × AY qZ

A(CXqY q CZ ) o TA(CXqY q CZ ) TA(CX q CY qZ ) / A(CX q CY qZ ) h h

2 2 TAXqY qZ o T AXqY qZ / TAXqY qZ o T AXqY qZ / TAXqY qZ T h × × T h µT A µT A

h h h

* u AXqY qZ ,

where the maps AXqY × AZ → AXqY qZ ← AX × AY qZ are precisely XqY,Z and X,Y qZ , commutes. Hence, satisﬁes (C1) of Deﬁnition 5.15. For (C2), if w, x, y, z are mutually distinct elements of X, then, by the monad algebra axioms, the diagram

w‡x,y‡z (AX )

= = = v ( w‡x y‡z x‡y y‡z y‡z ζ w‡x = w‡x,y‡z = y‡z ζ w‡x AX\{w,x} o A(CX ) / A (CX q CY ) o A(CX ) / AX\{y,z}

A(Cy‡z ) o TA(Cy‡z ) TA(Cw‡x ) / A(Cw‡x ) X\{w,x} h X\{w,x} X\{y,z} h X\{y,z}

2 2 TAX\{w,x,y,z} o T AX\{w,x,y,z} / TAX\{w,x,y,z} o T AX\{w,x,y,z} / TAX\{w,x,y,z} T h × × T h µT A µT A

h h h

) u AX\{w,x,y,z} commutes in E, and hence ζ satisﬁes (C2). BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 35

Finally, if X and Y are ﬁnite sets and x1 and x2 are distinct elements of X, then the diagram

x1‡x2 (AX × AY )

= =

v ) ζx1‡x2 x1‡x2 o x1‡x2 x1‡x2 / (AXqY ) (A(CX q CY )) A(CX ) × AY AX\{x1,x2} × AY

x1‡x2 x1‡x2 A(C ) o TA(C ) TA(CX\{x ,x } q CY ) / A(CX\{x ,x } q CY ) XqY h XqY 1 2 h 1 2

2 ! | 2 TA(XqY )\{x ,x } o T A(XqY )\{x ,x } / TA(XqY )\{x ,x } o T A(XqY )\{x ,x } / TA(XqY )\{x ,x } 1 2 T h 1 2 × 1 2 × 1 2 T h 1 2 µT A µT A

h h h

) t A(XqY )\{x1,x2} commutes. Therefore, (C3) is satisﬁed and (A, , ζ) is a non-unital circuit operad. × × Conversely, let (S, , ζ) be a non-unital circuit operad. Since T S§ = S§, a morphism h: T S → S is described by, for each ﬁnite set X, and X-graph X , a morphism S(X ) → SX in E. Since X is an admissible X-graph, it has no stick components. Hence, by (6.32)

 y1‡z1,...,yk‡zk Y (7.20) S(X ) =  SZv  v∈V (X )

∼ ` where, for each v ∈ V , (CZv , bv) ∈ el(X ) is a neighbourhood of v, and Zv = |v| is such that v Zv = X q {y1, . . . , zk}.

apply locally at vertices apply ζ on inner edges

× Figure 12. S(X ) → T SX and (below) the corresponding structure map hX : S(X ) → SX . 36 SOPHIE RAYNOR

Let hX : S(X ) → S(CX ) = SX be the map (illustrated in Figure 12) deﬁned, using (7.20), by the composition

V (ζ)k−1 y1‡z1,...,yk‡zk (7.21) S(X ) / S` / SX . v∈V Zv

V |V | Here, is the map induced by choosing an ordering V = (vi)i=1 on V = V (X ), and successive iterations k−1 K of S` SZv , and (ζ) is likewise obtained by the obvious iterated contractions. Since (S, , ζ) i=1 Zvi K+1 satisﬁes (C1) and (C2), these are independent of the chosen orderings. The maps hX so deﬁned are the × components of a morphism h: T S → S in GSE.

Moreover, by (C3), using the fact that, for any X -shaped graph of graphs Γ, Γ(bv) is a Zv-graph, we obtain morphisms hΓ(bv ) : S(Γ(bv)) → SZv , and by iterating (7.21), it is straightforward to show that × × h: T S → S satisﬁes the axioms for a monad morphism (see Figure 13 for coherence of h and µT ).

T ×h

× µT S h

Figure 13. The structure map h: T ×S → S is compatible with the monad multiplica- × tion µT on (T ×)2S.

Remark 7.22. The monad in [21] is deﬁned identically to T× on GS except the empty graph is not included as a 0-graph. Consequently, algebras for the monad in [21] are equipped with a non-unital external product. See also Remark 5.9 × Remark 7.23. It is straightforward to verify that T and Gret ⊂ GS satisfy the conditions of [3, Sec- tions 1 & 2] and hence there is an abstract nerve theorem, analogous to Theorem 10.5, for Set-valued non-unital circuit operads. This construction is not described here since the nerve theorem for unital circuit operads is far more interesting (and challenging).

8. Review of modular operads and pointed graphs

This section reviews the construction of the monad for Set-valued modular operads in [30, Sections 5-7]

– in terms of monads T and D on GS and a distributive law λDT : TD ⇒ DT for composing them – in the more general setting of a category E that is assumed to have suﬃcient limits and colimits. Important features of the category Gr∗ of pointed graphs, used in the deﬁnition of λDT, are described.

8.1. Non-unital modular operads. The non-unital modular operad monad T = (T, µT, ηT) on GS was described in [30, Section 5]. The same notation T will be used here for the non-unital E-valued modular operad monad on GSE where E is an arbitrary enriching category with all ﬁnite limits and suﬃcient colimits.

The endofunctor T: GSE → GSE is described, for all graphical species S in E, and all finite sets X, by def (8.1) TSX = colimX ∈X-CGriso S(X ), BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 37 where X-CGriso ⊂ X-Griso is the full subgroupoid of connected X-graphs. By [30, Corollary 5.19] (which follows [20, Lemma 1.5.12]), if G is a connected graph, and Γ: el(G) → CGret is a non-degenerate G-shaped graph of graphs such that Γ(b) is connected for all (C, b) ∈ el(G), then the colimit Γ(G) is also connected. Hence, the triple (T, µT, ηT), where µT, ηT are the obvious (co)restrictions, defines a monad on GSE. This is the monad T. T − Proposition 8.2. The EM category GSE of algebras for T on GSE is canonically equivalent to MOE . Proof. The proof for general E closely resembles the proof of [30, Proposition 5.29] for the case E = Set. × x‡y The inclusion X-CGriso ,→ X-Griso induces a monomorphism TSX → T SX . In particular, since X is connected for all connected X-graphs X and all pairs x, y of distinct elements of X, if (A, h) is an algebra for T, then A admits a contraction ζ x‡y x‡y x‡y h ζX : AX = A(CX ) −→ TAX\{x,y}, that satisfies (M2) by the proof of Proposition 7.19.

Moreover, if (A, h) is an algebra for T on GSE, then the following composites, deﬁned for all ﬁnite sets X and Y and all x ∈ X, and y ∈ Y , induce a multiplication on A: x‡y h A(DX,Y ) → TA(XqY )\{x,y} −→ A(XqY )\{x,y}. As with the proof of Proposition 7.19 and [30, Proposition 5.29], to show that (A, , ζ) satisfy the axioms (M1)-(M4), we construct, for each axiom, a pair of graphs of graphs that have the same colimit in CGret.

For example, for axiom (M4), let X and Y be ﬁnite sets with distinct elements x1, x2 ∈ X and y1, y2 ∈ Y . Then the diagram

x‡y ,x ‡y (AX × AY ) 1 2 2

= = = v ( x ‡y x ‡y = = x ‡y 2 2 1 1 x2‡y2 x1‡y1,x2‡y2 2 2 x1‡y1 x1‡y1 A o A(D ) / A(CX q CY ) o A(D ) / AXqY \{x ,y }) XqY \{x1,y1} X,Y X,Y 2 2

x ‡y x ‡y x ‡y x ‡y A(C 2 2 ) o TA(C 2 2 ) TA(C 1 1 ) / A(C 1 1 ) XqY \{x1,y1} h XqY \{x1,y1} XqY \{x2,y2} h XqY \{x2,y2}

TA o T 2A / TA o T 2A / TA XqY \{x1,x2,y1,y2} T h XqY \{x1,x2,y1,y2} × XqY \{x1,x2,y1,y2} × XqY \{x1,x2,y1,y2} T h XqY \{x1,x2,y1,y2} µT A µT A

h h h

) u A XqY \{x1,x2,y1,y2} commutes, whereby it follows that and ζ satisfy (M4). Axioms (M1) and (M4) follow by the same method (when E = Set, the proof that (A, h) satisﬁes (M1) is described in detail in [30]). The converse follows exactly the same method as the proof of [30, Proposition 5.29] and Proposi- tion 7.19.

8.2. The monad D. The pointed graphical species monad D = (D, µD, ηD), defined on graphical species in Set in [30], may be generalised to a monad, also denoted D, on GSE. The pointed graphical species endofunctor D on GS adjoins formal (contracted) units to a graphical species S in E according to DS§ = S§ with DSτ = Sτ and, for finite sets X,  S X 6∼ 2, and X 6∼ 0,  X = = DSX = S2 q S§ X = 2,  S0 q Sf§ X = 0, 38 SOPHIE RAYNOR where Sf§ is the coequaliser of the identity and Sτ on S§ D There are canonical natural transformations η : 1GSE ⇒ D, provided by the induced morphism S,→ 2 2 DS, and µD : D ⇒ D induced by the canonical projections D S2 → DS2, so that D = (D, µD, ηD) defines the pointed graphical species monad on GSE. Algebras for D – called pointed graphical species in E – are graphical species S in E equipped with a distinguished unit-like morphism (Definition 5.13)

: S§ → S2, and a distinguished morphism o: S§ → S0 that factors through Sf§. § The EM category GSE∗ of algebras for D is the category of E-presheaves on a category B∗ obtained from B§ by formally adjoining morphisms u: 2 → § and z : 0 → §, subject to the relations:

§ § (i) u ◦ ch1 = id ∈ B (§, §) and u ◦ ch2 = τ ∈ B (§, §); § (ii) τ ◦ u = u ◦ σ2 ∈ B (2, §) ; (iii) z = τ ◦ z ∈ B§(0, §).

§ It follows that B∗ is completely described by:

§ § § § B∗(§, §) = B (§, §) and B∗(Y,X) = B (Y,X) whenever Y =6∼ 0 and Y =6∼ 2; § § § B∗(0, §) = {z}, and B∗(0,X) = B (0,X) q {chx ◦ z}x∈X ; § § § B∗(2, §) = {u, τ ◦ u}, and B∗(2,X) = B (0,X) q {chx ◦ u, chx ◦ τ ◦ u}x∈X . and hence the following are equivalent:

§ § (1) S∗ is a presheaf on B∗ that restricts to a graphical species S on B ; (2) (S, , o), with = S∗(u) and o = S∗(z) is a pointed graphical species.

As a consequence, the notation S∗ and (S, , o) will be used interchangeably to denote the same pointed graphical species.

8.3. Pointed graphs. The category CGr∗ of connected graphs and pointed étale morphisms, obtained in the bo-ff factorisation of the functor CGret → GS∗ is described in detail in [30, Section 7.2]. Here, CGr∗ is extended to the category Gr∗ of all graphs and pointed étale morphisms. So Gr∗ is the category defined via bo-ff factorisations as in the following commuting diagram of functors:

f.f.

§ Υ∗ & (8.3) B∗ / Gr∗ / GS∗ O f.f. O f.f. O

b.o. b.o. freeD forgetD § B / Gret / GS Υ

§ The inclusion B∗ → Gr∗ is fully faithful (by uniqueness of bo-ﬀ factorisation), and the induced nerve Υ∗ : Gr∗ → GS∗ is fully faithful by construction.

Let G ∈ Gret be a graph. By Section 8.2, for each edge e ∈ E, the che-coloured unit for Υ∗G is given G G by e = che ◦ u ∈ Gr∗(C2, G), and the corresponding contracted unit is given by oe˜ = che ◦ z ∈ Gr∗(C0, G).

The functor Υ∗ embeds Gr∗ as a full subcategory of GS∗, so I will write G, rather than Υ∗G where there is no risk of confusion. In particular, the element category el∗(Υ∗G) is denoted simply by el∗(G) and called the category of pointed elements of a graph G.

The forgetful functor GS∗ → GS induces inclusions el(S) ,→ el∗(S∗) for all pointed graphical species S∗. In particular, there is a canonical inclusion el(G) ,→ el∗(G), and, by [30, Section 4],

(8.4) lim(C,b)∈el∗(G)S(C) = lim(C,b)∈el(G)S(C) = S(G) for all pointed graphical species S∗ = (S, , o) ∈ GSE∗.

Moreover, by [30, Section 7.3], the induced inclusion GSE∗ ,→ pshE(Gr∗) is fully faithful. (In fact, GSE is equivalent to the category of E-sheaves for the obvious extension of the canonical étale topology on Gret to Gr∗.) BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 39

To better understand morphisms in Gr∗, let G be a graphs and let W ⊂ V0 q V2 a subset of isolated and bivalent vertices of G. G The vertex deletion functor (for W ) is the G-shaped graph of graphs Λ\W : el(G) → Gret given by ∼ ∼ G (p) if (CX , b) is a neighbourhood of v ∈ W (so X = 0 or X = 2), Λ\W (CX , b) = CX otherwise.

G By Proposition 7.2, this has a colimit G\W in Gret. Therefore Λ\W induces a morphism del\W ∈ Gr∗(G, G\W ). G Deﬁnition 8.5. The morphism del\W ∈ Gr∗(G, G\W ) induced by Λ\W : el(G) → Gret is called the vertex ∼ deletion morphism corresponding to W ⊂ V0 = V2.

Example 8.6. If G = C0 is an isolated vertex ∗ and W = {∗}, then del\W is precisely z : C0 → (p). G Example 8.7. For G = C2 and W = V = {∗}, Λ\W is the constant functor el(G) → (p):

ch1 ch2◦τ (8.8) (p) / C2 o (p)

u id( ) id( ) p & x p (p)

and hence G\W = (p) and del\W = u ∈ Gr∗(C2, p). k G More generally, if G = L , and W = V , then Λ\W is also the constant functor to (p) and hence k def k G\W = (p). The induced morphism is denoted by u = del\W : L → Gr∗:

ch1 ch2◦τ ch1 ch2◦τ (p) / C2 o ... / C2 o (p)

u u id( ) id( ) p & x p (p) ... (p). 1 0 In particular, u = u: C2 → (p) and u is just the identity on (p). W Example 8.9. Let G = W be the wheel graph with one vertex v. Then W/{v} = colimel(W)Λ/{v} exists def and is isomorphic to (p) in Gret. The induced morphism κ = del\{v} : W → (p) is described in (8.10). Hence, there are precisely two morphisms κ and τ ◦ κ in Gr∗(W, p):

(8.10) >W` (8.11) >W ` cha 1C2 7→a cha 1C2 7→a

ch1 / ch1 / (p) / C2 (p) / C2 ch2◦τ ch2◦τ σ u 2 ch2 / (p) (p) / C2 ch1◦τ

u ~ (p). m m m−1 m More generally, let W be the wheel graph with m vertices (vi)i=1, and let ι ∈ CGret(L , W ) be an étale inclusion. If W is the image of V (Lm−1) in V (Wm), then V (Wm) =∼ W q {∗}, and by (8.10) and m m m Example 8.7, there are two distinct pointed morphisms, κ and τ ◦ κ , in Gr∗(W , p). Hence, for all G, m m m ∼ Gr∗(W , G) = Gret(W , G) q {che ◦ κ }e∈E(G) = Gr∗(W, G). Remark 8.12. Recall from Remark 3.16 that the composition = ∪ ◦ ∩ of Brauer diagrams is not described by a pushout of cospans as in (3.17). Instead, the pushout (3.17) for (∪ ◦ ∩) is induced by the id id trivial diagram (p) −→ (p) ←− (p), and therefore agrees with κ: W → (p) described in Example 8.9. 40 SOPHIE RAYNOR

(See [30, Section 6] for more details on the combinatorics of contractions.)

0 def m k k For convenience, let us deﬁne W = (pe˜) = W/V (Wm) (m ≥ 1). Then for all k ≥ 0, u : L → (p) κk factors canonically as Lk → Wk −→ (p). ∼ Example 8.13. Assume that G 6= C0 is connected (so V0 is empty). Let W ⊂ V2 be a subset of bivalent m vertices of G. Unless W = V (G) and G = W for some m ≥ 1, the graph G\W may be intuitively described as ‘G with a subset of bivalent vertices deleted’ as in Figure 14.

In this case, the graph G\W is described explicitly by:

s\W t\W τ G\W = \W E: \W o H\W / V\W , where V\W = V \ W, ` H H\W = H \ v∈W /v , ` E E\W = E \ v∈W /v , and s\W , t\W are just the restrictions of s and t. The description of the involution τ\W is more complicated than needed here. (The interested reader is referred to [30, Section 7.2] which contains full descriptions of the vertex deletion morphisms).

del\W

Figure 14. Vertex deletion del\W : G → G\W .

Deﬁnition 8.14. The similarity category CGrsim ,→ Gr∗ is the identity-on-objects subcategory of Gr∗ whose morphisms are generated under composition by z : C0 → (p), the vertex deletion morphisms, and graph isomorphisms. Morphisms in CGrsim are called similarity morphisms, and connected components of CGrsim are similarity classes. Graphs in the same connected component of CGrsim are similar. The following proposition summarises some important basic properties of vertex deletion morphisms. Detailed proofs may be found in [30, Section 7.2].

Proposition 8.15. For all graphs G and all subsets W ⊂ V2 of bivalent vertices of G,

(1) del\W : G → G\W preserves connected components, and may be deﬁned componentwise; ∼ k ∼ m ∼ (2) if G is connected and W = V , then G = L or G = W for k, m ≥ 0 and G\W = (p); ∼ m (3) unless G = W and W = V for m ≥ 1, if G is connected, then del\W induces an identity on = ports: del\W : E0(G) −→ E0(G\W ).

The pair (CGrsim, Gret) of subcategories of Gr∗ deﬁnes an orthogonal factorisation system on Gr∗. Example 8.16. For all graphical species S in E, and all graphs G with no isolated vertices, a (8.17) DS(G) = S(G\W ).

W ⊂V2

More generally, since DS0 = DS(C0) = S0 q Sf§ : ∼ (8.18) DS(G) = colim(H,f)∈G/Grsim S(H), for all graphs G ∈ Gret.

Example 8.19. Let S∗ = (S, , o) be a pointed graphical species in E. For k, m ≥ 0, there are distinguished monomorphisms in E: k k m m (8.20) S∗(u ): S§ → S(L ), and S∗(κ ): S§ → S(W ). BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 41

8.4. The distributive law TD ⇒ DT . For the remainder of this section, all graphs will be assumed to be connected, unless stated otherwise. Recall from Deﬁnition 7.6 that an X-graph X is said to be admissible if it has no stick components. For any ﬁnite set X, we may enlarge the category X-CGriso of admissible connected X-graphs and port- preserving isomorphisms, to form a category X-CGrsim that includes vertex deletion morphisms del\W and z : C0 → (p) out of X-graphs together with any labelling of ports from the domain: m m By Proposition 8.15, any similarity morphism that is not of the form z : C0 → (p) or κ : W → (p) is boundary preserving. So, let X = (G, ρ) be an admissible connected X-graph such that X=∼ 6 Wm, ∼ 0 X 6= C0, and let f ∈ CGrsim(G, G ) be a similarity morphism. Then f and the X-labelling ρ: E0 → X 0 for X , induce an X-labelling on G . The category X-CGrsim is obtained by adjoining to the category X-CGriso of (admissible) connected X-graphs and port-preserving isomorphisms, all similarity morphisms from objects of X-CGriso, and their codomains, equipped with the induced labelling. ∼ ∼ • If X =6 0, X =6 2, then X-CGrsim is the category whose objects are connected X-graphs and whose morphisms are similarity morphisms that preserve the labelling of the ports. k • For X = 2, 2-CGrsim contains the morphisms del\V : L → (p), and hence the labelled stick graphs (p, id) and (p, τ). There are no non-trivial morphisms out of these special graphs, and X is in the same connected component as (p, id) if and only if X = Lk (with the identity labelling) for some k ∈ N. In particular, τ :(p) → (p) does not induce a morphism in 2-CGrsim. m • Finally, when X = 0, the morphisms del\V : W → (p), and z : C0 → (p) are not boundary- preserving, and, in particular, do not equip (p) with any labelling of its ports. So, the objects of 0-CGrsim are the admissible 0-graphs, and (p). m In particular, W , C0 and (p) are in the same connected component of 0-CGrsim. Since (p) is not admissible, there are no non-trivial morphisms in 0-CGrsim with (p) as domain.

def To simplify notation in what follows, we write C0\V = (p) and del\V = z : C0 → (p). The following lemma is immediate from the deﬁnitions:

Lemma 8.21. For all ﬁnite sets X and all connected X-graphs X , the connected component of X-CGrsim ⊥ containing X has a terminal object X – without bivalent or isolated vertices – given by X/(V2qV0). ∼ k ∼ m ∼ ⊥ ∼ ⊥ If X = L or X = W , X = C0 for some k, m ≥ 0, then X = (p). Otherwise, X is an admissible, connected X-graph.

X Let S be a graphical species in E. By (8.18), if X is a connected X-graph and X-CGrsim is the connected component of X in XCGrsim, then there is a canonical isomorphism

∼ 0 DS(X ) = colim 0 X S(X ). X ∈X-CGrsim

In particular, TDSX is described by a colimit – indexed by pairs (X ,W ), of a connected X-graph X ∼ = 0 and a subset W ⊂ V0 qV2 of vertices of (X ), and isomorphisms X −→X in X-CGriso – of objects S(X\W ) in E. The distributive law λD,T : TD ⇒ DT is induced by forgetting the pair (X ,W ), and remembering only X\W , in the evaluation of S(X\W ). Precisely, for X =6∼ 0, a TDSX = colimX ∈X-CGriso DS(X ) = colimX ∈X-CGriso S(X\W ).

W ⊂V2(X )

Since vertex deletion morphisms preserve ports when X 6= 0, each X\W is either an admissible X-graph ∼ or X\W = (p), and hence there are canonical morphisms ∼ ∼ colimX ∈X-CGriso S(X ) = TSX = DTSX when X =6 0,X =6 2, TDSX → (colimX ∈X-CGriso S(X )) q S§ = TS2 q S§ = DTS2 when X = 2

(since (p) is not a 2-graph by convention). These describe the morphisms λDTSX : TDSX → DTSX in E for X =6∼ 0. 42 SOPHIE RAYNOR

When X = 0,

TDS0 = colimX ∈0-CGr DS(X ) iso ` = colimX ∈0-CGriso W ⊂V (X ) S(X\W ) q DS(C0) ∼ 2 X 6=C0 ` = colimX ∈0-CGr S(X ) q S q S . iso W ⊂V2(X ) \W 0 f§ X 6∼=C0 ∼ Vertex deletion maps del\W : G → G\W from 0-graphs preserve ports unless del\W = z : C0 → (p) or ∼ m m del\W = κ : W → (p). So, λDTS0 : TDS0 → DTS0 is given by the canonical morphism   a TDS0 = colimX ∈0-CGriso S(X\W ) q S0 q Sf§ → colimX ∈0-CGriso S(X ) q Sf§ = DTS0. X 6∼=C0 W ⊂V2(X )

The verification that λDT satisfies the four distributive law axioms [2] follows by a straightforward application of the definitions. To help the reader gain familiarity with the constructions, I describe just one here, namely that the following diagram of endofunctors on GSE commutes:

T λ λ T (8.22) T 2D DT +3 TDT DT +3 DT 2

µTD DµT λ TD DT +3 DT.

Recall, from (7.16) and (8.17), that, for all graphical species S in E and all ﬁnite sets X,

2 b b ` T DSX = colimX ∈X-CGriso lim(C,b)∈el(X )colimY ∈b-CGriso W b⊂V S(Y\W b ) ` 2 = colim lim (X ) Γ S(Γ(X ) Γ ), X ∈X-CGriso Γ∈CGret W ⊂V2(Γ(X )) \W where, as usual, ιv : Cv → X is the essential morphism. So, to describe the two paths in (8.22), let X be a connected X-graph, Γ a non-degenerate X -shaped graph of connected graphs, and let W Γ ⊂ (V0 q V2)(Γ(X )) be a subset of (bivalent or isolated) vertices of the colimit Γ(X ) of Γ in CGret. For each (C, b) ∈ el(X ), let

def a W b = V (Γ(b)) ∩ W Γ, so W Γ =∼ W ιv . v∈V (X )

C0 If (X , Γ,W ) = (C0, I ,V (C0)), then Γ(X ) = C0, and (C0, b) is the unique object of el(X ). Γ Otherwise, since X is connected, it must be the case that W ⊂ V2(Γ(X )).

ιv In each case we may deﬁne W ⊂ V (X ) to be the set of vertices v of X such that W = V (Γ(ιv)). Then, there is a unique non-degenerate X\W -shaped graph of connected graphs Γ\W given by Γ\W (del\W ◦ b) = Γ(b)\W b , and with colimit Γ\W (X\W ) in Gr∗:

(8.23) Γ\W (X\W ) = Γ(X )\W Γ .

Then, the two paths (illustrated in Figure 15) described by the diagram (8.22) are induced by the following canonical maps (where, in each case, the vertical arrows are the deﬁning universal morphisms): Top-right:

delete W b in Γ(b) evaluate colimit Γ b delete W in X \W (X , (Γ(b))b, (W )b) / (X , (Γ(b)\W b )b,W ) / (X\W , Γ\W ) / Γ\W (X\W )

limel(X )S(Γ(b)\W b ) / limel(X )S(Γ(b)\W b ) / S(Γ\W (X\W ) / S(Γ\W (X\W ))

2 2 T DSX / TDTSX / DT SX / DTSX T λ S λ TS DT X DT X DµTSX BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 43

T λDT λDTT

DµTS DµT

λDT

Figure 15. Diagram (8.22) commutes. Here the vertices in W are marked in green.

Left-bottom:

Γ Γ evaluate colimit Γ Γ delete W (X , Γ,W ) / (Γ(X ),W ) / Γ(X )\W Γ

S(Γ(X )\W Γ ) S(Γ(X )\W Γ ) S(Γ(X )\W Γ )

2 T DSX / TDSX / DTSX . λ S µTDSX DT X

These are equal since S(Γ\W (X\W )) = S(Γ(X )\W Γ ) by construction, and hence (8.22) commutes.

The proofs that λDT satisﬁes the remaining three distributive law axioms follow similarly (and are somewhat simpler than the proof that (8.22) commutes.

∗ ∗ By [2, Section 3], there is a monad T∗ = (T∗, µT , ηT ) on GSE∗ whose EM category of algebras is equivalent to the EM category of algebras for DT on GSE. In case E = Set, T∗ has been described in detail in [30, Section 7], and the description of T∗ given in [30, Corollary 7.43] for graphical species in Set, holds for graphical species in a general category E with suﬃcient (co)limits.

Precisely, the endofunctor T∗ is the quotient of T given by

(8.24) T∗S§ = S§, and T∗SX = colimX ∈X-CGrsim S(X ) def T∗S for all pointed graphical species S∗ = (S, , o) in E. The unit = T∗(): S§ → T∗S2 is described by the obvious composite

ηTS S§ / S2 / TS2 / / T∗S2,

def T∗S and the contracted unit o = T∗(o): S§ → T∗S0 is described by

o ηTS S§ / S0 / TS0 / / T∗S0.

T∗S k k T∗S m In particular, is deﬁned by maps S(u ): S§ → S(L ) (for k ≥ 1), and o by maps S(κ ): S§ → m S(W ), m ≥ 1 and S(o): S§ → S(C0) such that o ◦ Sτ = o.

∗ The multiplication µT for T∗ is the one induced by µT, that forgets the pair (X , Γ) of an X-graph X and a non-degenerate X -shaped graph of connected graphs Γ and replaces it with the colimit Γ(X ). The T∗ unit η for T∗ is deﬁned by the maps SX = S(CX ) 7→ colimX ∈X-CGrsim S(X ). 44 SOPHIE RAYNOR

It is then straightforward to derive the following theorem (that was the main result, Theorem 7.46, of [30] in the case E = Set) for general E.

Theorem 8.25. The EM category GSDT of algebras for DT is canonically isomorphic to MO.

Proof. Let (A, h) be a DT-algebra in E. Then h induces a T-algebra structure hT : TA → A by restriction, and a D-algebra structure hD = h◦DηTA: DA → A. In particular, hT equips A with the a multiplication and contraction ζ such that (A, , ζ) is a non-unital modular operad in E, and hD, equips A with the structure of a pointed graphical species A∗ = (A, , o) in E. To prove that (A, h) describes a modular operad, we must show that is a unit for . This is straightforward since (A, h) is a DT algebra and therefore (A, , o), together with hT, describe a T∗-algebra. In particular, is a unit for , by (8.24). Conversely, if (S, , ζ, ) is a modular operad in E, then (S, , ζ) deﬁnes a T-algebra pT : TS → S by Proposition 8.2, and (S, , ζ) deﬁnes a D-algebra by Section 8.2. In particular – since is a unit for , and pT is induced by iterations of and ζ – pT induces a T∗-algebra structure on (S, , ζ) by (8.24), and hence (S, , ζ, ) describes an algebra for DT.

9. A monad for circuit operads

× Despite the similarity between the deﬁnitions of the monads T and T on GSE, it is not possible to × × modify λDT by replacing T with T to obtain a distributive law for D and T : Namely, for all graphical species S, there is a canonical morphism

S(p q p) = S§ × S§ → DS2 × DS2 = DS(C2 q C2) → TDS2q2, ∼ and, by deﬁnition DS2 = S2 q S§. However, there is, in general, no morphism

(S2 q S§) × (S2 q S§) → TS2q2 = DTS2q2, × × and hence λDT : TD ⇒ DT does not extend to a distributive law T D ⇒ DT . The problem of ﬁnding a circuit operad monad on GSE is easily solved by observing that the monad × T is, itself a composite: there is a distributive law λLT : TL ⇒ LT for composing T with the monad L = (L, µL, ηL) induced by the free graded monoid monad on psh(Σ). And T× = LT is the induced composite monad.

Hence, the composite monad LDT exists if there is a distributive law λL(DT) :(DT )L ⇒ L(DT ). By [7], this is the case if there are pairwise distributive laws λLT : TL ⇒ LT , and λLD : DL ⇒ LD on GSE, such that the following ‘Yang -Baxter’ diagram commutes:

Dλ LT / (9.1) 6DTL DLT λ L λ T DT LD ( TDL 6LDT.

T λ Lλ LD ( DT T LD / LT D λ D LT

In this section, we construct the monad L and show that there is a distributive law λLT : TL ⇒ LT such that the induced composite monad is precisely T×.

The following section gives a description of the distributive law λLD : DL ⇒ LD such that the diagram (9.1) commutes, and proves that the EM category of algebras for the composite monad LDT on GSE is canonically equivalent to the category COE of circuit operads in E.

9.1. The free external product monad L. As usual, let E be a category with suﬃcient (co)limits. The free graded monoid endofunctor L on GSE is given by LS = S (9.2) § § Q −1 LSX = colim(Y,f)∈Core(X/Setf ) y∈Y Sf (y) for all ﬁnite sets X. This underlies a monad L = (L, µL, ηL) with monadic multiplication µL induced by concatenation of lists, and monadic unit ηL induced by inclusion of singleton lists. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 45

The following lemma is immediate:

Lemma 9.3. The EM category of algebras for the monad L on GSE is equivalent to the category of graphical species with unital external product in E.

In order to describe a distributive law λLT : TL ⇒ for L and T, observe ﬁrst that, if S is a graphical species in E, and X a ﬁnite set, then

Q −1 LSX = colim(Y,f)∈Core(X/Setf ) y∈Y Sf (y) = colimX ∈X-Cor S(X ) iso where X-Cor ⊂ X-Gr is the groupoid of X-graphs X that are disjoint unions of corollas X = iso iso cor cor ` ` L i∈I CXi (with i∈I Xi = X). In particular, from this point of view, the multiplication µ for L is × × just the restriction of the multiplication µT for T (Proposition 7.19) to Xcor-shaped graphs of disjoint × unions of corollas, and the unit ηL for L, is just the obvious corestriction of the unit ηT . (X ) If X is a ﬁnite set and X ∈ X-CGriso is a connected X-graph, let Cor be the full subgroupoid of (X ) Gret whose objects are non-degenerate X -shaped graphs of graphs Γ such that, for all (CXb , b) ∈ el(X ), Γ(C , b) ∈ X-Cor is a disjoint union of corollas. Then Xb iso

T LSX = colimX ∈X-CGriso lim(C,b)∈el(X )LS(C)

= colimX ∈X-CGriso limΓ∈Cor(X ) S(Γ(X )). For all Γ ∈ Cor(X ), the colimit Γ(X ) canonically has the structure of an X-graph (that is, in general, 0 0 not connected) and hence there is a canonical morphism T LSX → colimX ∈X-Griso S(X ). Every graph is 0 ` 0 the coproduct of its connected components. Therefore, for all X-graphs X = k∈K Xk such that each 0 0 Q 0 Xk is connected, S(X ) = k∈K S(Xk) describes an element of LT SX .

Let λLT : TL ⇒ LT be the natural transformation so obtained. In other words, λLT is induced by the canonical morphisms

0 0 colimX ∈X-CGriso colimΓ∈Cor(X ) S(Γ(X )) → colimX ∈X-CGriso S(X ) that forgets pairs (X , Γ) where X is a connected admissible X-graph and Γ ∈ Cor(X ), and remembers ` only the X-graphs given by the colimit Γ(X ) = k∈K Γ(X )k, in the evaluation of S(Γ(X )).

Lemma 9.4. The natural transformation λLT : TL ⇒ LT satisﬁes the four axioms of a distributive law, × and LT = T on GSE. Hence, algebras for LT are non-unital circuit operads.

× Proof. Since a graph is the disjoint union of its connected components, LT = T : GSE → GSE. ×2 Moreover, by the description of L in terms of graphs of graphs, TL is a subfunctor of T , and λLT × ×2 × is just the restriction to TL of µT : T ⇒ T = LT on GSE. The four distributive law axioms then follow immediately from the monad axioms.

There is an obvious choice of natural transformation λLD : DL ⇒ LD that deﬁnes the distributive law for L and D: By deﬁnition of D, we may extend the natural transformation LηD : L ⇒ LD to a natural transformation λLD : DL ⇒ LD by ηLDS ηLDS S§ → DS2 −−−→ LDS2, and S§ → DS0 −−−→ LDS0, for all S ∈ GSE.

n Informally, λLD takes a tuple (SXi )i=1 of objects in the image of S, and regards it as a tuple in the image of DS, and takes the image of S§ in DS0 or DS2 and regards it as a 1-tuple in the image of DS.

This construction is natural in S, and it is simple to show that λLD so obtained describes a distributive law for L and D.

9.2. An iterated distributive law for circuit operads. First observe that, given a graph G, a subset W ⊂ V2 of bivalent vertices of G, and a non-degenerate G\W -shaped graph of graphs Γ\W : el(G\W ) → Gret, W there is an induced non-degenerate G-shaped graph of graphs Γ : el(G) → Gret deﬁned by C (C, b) is a neighbourhood of v ∈ W (9.5) (C, b) 7→ 2 ΓW (del\W ◦ b) otherwise, 46 SOPHIE RAYNOR

W W W such that Γ induces an inclusion W,→ V2(Γ (X )), and Γ (X )\W = Γ\W (X\W ) (see Figure 16). (G\W ) (G) Hence there is a canonical full embedding Gret ,→ Gret of categories of non-degenerate graphs of graphs, that preserves similarity classes of colimits. In particular, the inclusion restricts to an embedding (G ) Cor \W ,→ Cor(G).

G\W G

Γ\W ΓW

Figure 16. The colimits of the G-shaped graph of graphs ΓW described in (9.5), and the G\W -shaped graph of graphs Γ\W are similar in Gr∗.

Proposition 9.6. The triple of distributive laws λDT : TD ⇒ DT , λLT : TL ⇒ LT , and λLD : DL ⇒ LD on GS, describe a composite monad LDT on GSE.

Proof. By [7, Theorem 1.6], we must check that the diagram (9.1) commutes for λDT, λLT, and λLD: For all graphical species S in E and all ﬁnite sets X,

a T DLSX = colimX ∈X-CGriso lim (X\W ) S(Γ\W (X\W )). Γ\W ∈Cor W ⊂(V0qV2)(X )

∼ So, let be given a triple (X , W, Γ\W ) where X is a connected X-graph, W ⊂ V2(X ) (or X = C0 and W = V (C0)) and Γ\W is a non-degenerate X\W -shaped graph of graphs such that Γ\W (b) is a disjoint union of corollas for each (CXb , b) ∈ el(X\W ). ∼ ∼ m ∼ k First observe that if W = V (X ), and then either X = C0 or X = W in 0-CGriso, or X = L ∼ in 2-CGriso. In each case X\W = (p) and hence Γ\W is the trivial graph of graphs id 7→ (p). So, for all G ∈ {DT L, DLT, LDT, T LD, LT D}, the canonical map S(Γ\W (X\W )) → GSX factors through S§, whereby it is immediate that the top and bottom paths of (9.1) coincide for this representative. Assume therefore that W 6= V (X ). The two paths in (9.1) are then described by the following data: BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 47

Top:

take colimit of Γ (X\W , ΓW ), \W / Γ\W (X\W ) X ∈ X-CGriso ∈ X-Griso 6 \W delete W in X LηDT ( (X , W, Γ\W ), Γ\W (X\W ) S(Γ\W (X\W )) / S(Γ\W (X\W )) X ∈ X-CGriso 5 ∈ X-Griso

) S(Γ\W (X\W )) DT LSX / DLT SX S(Γ\W (X\W )) Dλ S 4 LT

λ LS λ TS DT LD * T DLSX LDT SX

where, in each case, we evaluate S(Γ\W (X\W )) and take the appropriate colimit of such objects. Bottom: The bottom path of (9.1) gives

(X , W, Γ\W ), Γ(X )\W Γ X ∈ X-CGriso 6 ∈ X-Griso forget W delete W Γ ( W Γ W Γ (X , Γ ,W ), take colimit of ΓW (Γ (X ),W ), S(Γ\W (X\W )) / W S(Γ(X )\W Γ ) X ∈ X-CGriso Γ (X ) ∈ X-Griso 5

) W / W T DLSX S(Γ (X )\W ) S(Γ (X )\W ) 4 LDT SX

T λ S Lλ S DL * DT T LDSX / LT DSX λ DS LT W (X ) where Γ is the non-degenerate X -shaped graph of graphs in Cor obtained from Γ/W as in (9.5).

Hence the diagram (9.1) commutes, and so (λLD, λLT, λDT) describe an iterated distributive law for L, D and T on GSE. It therefore remains to prove:

Theorem 9.7. The EM category of algebras for the composite monad LDT on GSE is isomorphic to the category COE of circuit operads in E.

Proof. By [2], for a composite monad is equipped with an algebra structure for each of the component monads. Hence, an algebra (A, h) for the composite monad LDT on GSE has an LT-algebra structure hLT : LT A → A, and also a DT algebra structure hDT : DTA → A. Each structure is given by the corresponding restriction LT A → LDT A −→h A, respectively DTA → LDT A −→h A. Therefore, by Lemma 9.4, h induces an external product , and contraction ζ on A such that (A, , ζ) is a non-unital circuit operad. And, by Theorem 8.25, h induces a unital multiplication (, ) on A, such that x‡y x‡y x‡y X,Y = ζXqY X,Y :(AX × AY ) → AXqY \{x,y} and, hence

(id×ch )◦∆ ζx‡2 ◦ x x‡2 id× x‡2 Xq2 SX / (SX × S§) / (SX × S2) / SX is the identity on SX . So, (A, h)) has a canonical circuit operad structure. Conversely, a circuit operad (S, , ζ, ) in E has an underlying modular operad structure (S, , ζ, ), x‡y x‡y DT where X,Y = ζXqY X,Y and hence (S, , ζ, ) deﬁnes a DT-algebra structure h : DTS → S by Theo- rem 8.25. By Lemma 9.3, (S, ) has an L-algebra structure where hL : LS → S is given by X,Y : SX ×SY 48 SOPHIE RAYNOR on SX × SY . It follows immediately from the circuit operad axioms that hL ◦ LhDT : LDT S → S gives S the structure of an LDT-algebra. LDT These maps are clearly functorial and extend to an equivalence COE ' GSE . Theorem 9.8. For each palette (C, ω), there is an equivalence of the categories CA(C,ω) ' CO(C,ω) of (C, ω)-coloured circuit algebras and circuit operads in Set. This extends to an equivalence CA ' CO of the categories of all circuit algebras and all circuit operads in Set.

Proof. By Proposition 5.18, there is a faithful functor CA → CO, that restricts to a functor CA(C,ω) → CO(C,ω) for all palettes (C, ω).

For the converse, let (A, h) be an algebra for LDT, with (A§,Aτ ) = (C, ω), and let (A, , ζ, ) be the underlying circuit operad, with contracted unit o = ζ ◦ : C → A0.

n mi Let d = (d1, . . . , dn) ∈ C , and, for k ∈ N, and each 1 ≤ i ≤ k, ci = (ci,1, . . . , ci,mi ) ∈ C , be elements (C,ω) of listC, and Let (f, λ) in WD (c1,..., ck; d) be a wiring diagram with underlying uncoloured Brauer Pk diagram f = (τ, k) ∈ BD( i=1 mi, n). ˚ ˚ k By (6.1), the open part (τ, 0) of f describes an n-graph X = X (f) with k ordered vertices (vi)i=1 and ˚ a distinguished étale neighbourhood (Cmi , bi) ∈ el(X ) of each vi. Moreover, the colouring λ of f describes ˚ ˚ an involution preserving map λ∂ : E(X ) → C, such j 7→ dj for each port 1 ≤ j ≤ n of X , and bi(li) 7→ ci,li for each port 1 ≤ li ≤ mi of Cmi , 1 ≤ i ≤ k. ˚ So, for any k-tuple (φ1, . . . , φk) ∈ Ac1 × · · · × Ack there is an element α ∈ A(X ) deﬁned by A(bi)(α) = ˚ φi ∈ A(Cmi ) for each vi, and A(che)(α) = λ∂ (e) for each edge e ∈ E(X ). Since there is a canonical inclusion LT (A) ⊂ LDT (A), the assignment (φ1, . . . , φk) 7→ α ∈ A(X˚) extends to a map ˚ ˚ h A(f, λ): Ac1 × · · · × Ack → A(X ) → LT (A)n → LDT (A)n −→ An induced by the open part f˚= (τ, 0) of f.

Moreover, the restriction of λe: π0(f) → Ce to the set of k closed components of f deﬁnes a k-tuple (˜c1,..., c˜k) in Ce, and hence an element def o(k, λe) = oc˜1 ··· oc˜k ∈ A0.

Therefore, there is a morphism of sets A(f, λ): Ac1 × · · · × Ack → Ad determined by ˚ (φ1, . . . , φk) 7→ A(f)(φ1, . . . , φk) o(k, λe) ∈ A(d).

Let X = X (f) def= X˚ q W q · · · q W be the disjoint union of X˚ with k copies of the wheel graph W. Since oc˜ = h(A(κ)(c)) for all c ∈ C, 1 k 1 k o(k, λe) = h A(κ q · · · q κ)(c ··· c ) with A(κ q · · · q κ)(c ··· c ) ∈ A(W q · · · q W). Therefore A(f, λ) is precisely the composite

˚ `k A(f,λ)q( i=1 W(eci )) h Ac1 × · · · × Ack −−−−−−−−−−−−−−−→ A(X ) −→ LDT (A)n −→ An that restricts to A(f,˚ λ) on A(X˚). (C,ω) The distinguished element ∪c ∈ WD ((ωc, c); ∅C) has X (∪c) = W, and induces a morphism A(∪c): A(ωc,c) → A0 by h A∪c : A(ωc,c) −→ A(W) −→ LDT A(W) −→ A0. (C,ω) Slightly more care is needed for ∩c ∈ WD (−;(c, ωc)), with X (∩c) = (p). Then, the morphism c A(∩c): I → A(,¸ωc) is induced by c ∈ A(p) −→ A2. (C,ω) ˚ i i (C,ω) If (f, λ) ∈ WD (c1,..., ck; d) and X are as before, let (f , λ ) ∈ WD (bi,1,..., bi,ki ; ci) with Ki,j bi,j = (bi,j,1, . . . , bi,j,Ki,j ) ∈ C , for 1 ≤ i ≤ k, 1 ≤ j ≤ ki. For each 1 ≤ i ≤ k, let i A(f , λi): A × · · · × A → A(X i) → LT (A) → LDT (A) −→h A bi,1 bi,ki mi mi mi BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 49

i i be the induced morphism with image in Aci ⊂ Ami . Then (f, λ), (f , λ )i , describe an X -shaped graph i i i of graphs Γ: el(X ) → Gret, (Cmi , b ) 7→ X = X (f ), that is non-degenerate if and only if none of the i 2 graphs X have stick components. By the monad algebra axioms, Γ induces an element of (LDT )d, and hence also morphisms

k ki k i i Y Y Y A (f, λ) (f , λ )i : Abi,j −→ Aci −→ Ad. i=1 j=1 i=1

In particular, the composition c˜ = ∪c ◦ ∩ωc corresponds to the morphism I → A(c,ωc) → A0 given by oc˜ = ζc : I → A(c,ωc) → A0.

It follows from the definition of the distributive law λDT : TD ⇒ DT , and the monad algebra axioms, that this defines a circuit algebra structure on the collection (Ac)c∈C. It is straightforward to verify that this assignment is natural in (A, h), and hence extends to a functor COSet → CASet such that, moreover, the pair of functors CASet COSet in fact define an (adjoint) equivalence of categories.

In other words, for any palette (C, ω), the operad WD(C,ω) of (C, ω)-coloured wiring diagrams is the operad of (C, ω)-coloured circuit operads in Set. This is important for the description of weak circuit operads in [32].

10. A nerve theorem for circuit operads

This section recalls the nerve theorem for Set-valued modular operads [30, Theorem 8.2], and gives a proof, by the same methods and using Theorem 9.8, of an analogous result for Set-valued circuit algebras.

10.1. Overview of the method. Recall from Section 8.3 that CGr∗ ,→ GS∗ is the fully faithful category of connected graphs and pointed étale morphisms obtained in the bo-ﬀ factorisation of the functor CGret → GS → GS∗. By [2, Section 3], there is a monad T∗ on GS∗ whose EM category of algebras is equivalent to the category MO of modular operads. Hence, there is a commuting diagram of functors, where Ξ is obtained in bo-ﬀ factorisation of the functor CGret → GS → MO: N (10.1) Ξ / MO / psh(Ξ) O f.f. O

j b.o. freeT∗ forgetT∗ j∗ § B∗ / CGr∗ / GS∗ / psh(CGr∗) O f.f. 8 O f.f. O f.f.

b.o. b.o. freeD forgetD § B / CGret / GS / psh(CGret). f.f. f.f. f.f.

It was shown that in [30, Section 8] that, though the modular operad monad DT on GS does not, itself, satisfy the conditions of [3, Sections 1 & 2], the monad T∗ on GS∗ does, whereby the following theorem [30, Theorem 8.2] holds:

Theorem 10.2. The monad T∗, and the category CGr∗ ,→ GS∗ satisfy the conditions of [3] (T∗ has arities CGr∗). Hence, the nerve N : MO → psh(Ξ) is fully faithful. Its essential image consists of those presheaves P on Ξ such that

P (G) = lim(C,b)∈el(G)P (C) for all graphs G.

The abstract nerve theory conditions of [3] are also not satisﬁed by the the circuit operad monad LDT on GS, and the aim of this section is to modify the proof of [30, Theorem 8.2] to the circuit operad case.

By (2.5) there exists a monad Le on GS∗, and a distributive law T∗Le ⇒ LTe ∗ for the monads Le and T∗, ˜ such that the EM category of algebras for the composite LT∗ on GS∗ is canonically isomorphic to the EM category of algebras for LDT on GS, which itself is just the category CO ' CA of circuit operads in Set. 50 SOPHIE RAYNOR

˜ The idea now is to show that LT∗ together with a suitable subcategory of GS∗, satisﬁes the conditions of [3, Sections 1 & 2] and hence that the induced nerve is fully faithful. Recall from Section 8.3 (see also [30, Section 7.3]) that the full subcategory Gr∗ ⊂ GS∗ of all graphs and pointed morphisms induces a fully faithful inclusion GSE ,→ psh(Gr∗). To establish an abstract nerve theorem for circuit operads, we therefore consider the following diagram of functors in which the left and middle squares commute, and the right squares commute up to natural × isomorphism, and Ξ is the category obtained in the bo-ﬀ factorisation of Gret → GS → CO:

NΞ× (10.3) Ξ× / MO / psh(Ξ×) O f.f. O

∗ j b.o. freeLTe ∗ forgetLTe ∗ j § B∗ / Gr∗ / GS∗ / psh(Gr∗) O f.f. 8 O f.f. O f.f.

b.o. b.o. freeD forgetD dense § B / Gret / GS / psh(CGret). f.f. f.f. f.f.

Remark 10.4. Unlike the operad case (Theorem 10.2), the category CGr∗ ⊂ GS∗ of connected graphs and pointed morphisms cannot be used to prove an abstract nerve theorem for circuit operads (see Remark 10.17).

The remainder of this paper is dedicated to proving the following theorem using a modiﬁcation of the proof of [30, Theorem 8.2] (Theorem 10.2): Theorem 10.5. The functor N : CO → psh(Ξ×) is full and faithful. Its essential image consists of precisely those presheaves P on Ξ× whose restriction to psh(Ξ) are graphical species. In other words,

(10.6) P (G) = lim(C,b)∈el(G)P (C) for all graphs G.

10.2. The composite monad LTe ∗ on GS∗. The ﬁrst step is to understand the monad LTe ∗ on GS∗.

For all pointed graphical species S∗ = (S, , o) in E, the lift Le(S∗) is given by Le(S∗) = (LS, ηL, ηLo) where µLe, ηLe are induced by µL and ηL in the obvious way.

T∗ T∗ The monad T∗ = (T∗, µ , η ) with T∗SX = colimX ∈XCGrsim S(X ) was discussed in Section 8.4.

The categories XCGrsim of similar connected X-graphs were deﬁned in Section 8.4. Similarity morphisms preserve connected components, and hence the category X-Grsim of all X-graphs and similarity morphisms, may be deﬁned as follows:

def a −1 (10.7) X-Grsim = colim(Y,f)∈Core(X/Setf ) f (y) -CGrsim. y∈Y

It follows that, for all ﬁnite sets X,

T∗LSe X = colimX ∈XCGrsim LS(X ).

If X is a connected X-graph, then LS(X ) may be identiﬁed with S(X 0) where X 0 is an (in general not connected) X-graph, obtained as the colimit of a non-degenerate X -shaped graph of disjoint unions of corollas (see Section 9.1). It follows that

colimX ∈XCGrsim LS(X ) = colimX ∈XGrsim S(X ). × The distributive law T∗Le ⇒ LTe ∗ is then induced by applying the distributive law λLT : TL ⇒ LT = T on representatives of similarity classes. × So, the endofunctor LTe ∗ admits is described by the obvious quotient of T : Q −1 LTe ∗SX = colim(Y,f)∈Core(X/Setf ) y∈Y T∗Sf (y) (10.8) Q −1 = colim(Y,f)∈Core(X/Setf ) y∈Y colim(G,ρ)∈(f (y))-CGrsim S(G)

= colimX ∈X-Grsim S(X ). BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 51

10.3. A graphical category for circuit operads. Assume, for the remainder of the paper, that E = Set.

The category Gr∗ obtained in the bo-ff factorisation of Gret → GS → GS∗ has been discussed in Section 8.3. × Let Ξ be the category obtained in the bo-ff factorisation of Gret → GS → CO (and Gr∗ → GS∗ → CO). ˜ This is the full subcategory of the Kleisli category GS∗˜ of ∗ on free circuit operads of the form LT∗ LT × LTe ∗Υ∗G = LDT ΥG for graphs G ∈ Gret. So, we may regard objects of Ξ as graphs. Morphisms × β ∈ Ξ (G, H) are given by morphisms in GS∗(Υ∗G, LTe ∗Υ∗H). × The first step in describing Ξ , is therefore to describe LTe ∗Υ∗H for all graphs H.

Each connected component of X-Grsim contains an admissible X-graph X . Therefore, it follows from ∼ × (10.8) that, for all ﬁnite sets X, elements of (LTe ∗Υ∗H)X = Ξ (CX , H) are represented by pairs (X , f) where X is an X-graph and f ∈ Gr∗(X , H). In particular, f factors uniquely as a morphism X → X\Wf in ⊥ 1 1 1 2 Grsim followed by a morphism f ∈ Gret(X\Wf , H). It follows that pairs (X , f ) and (X , f ) represent the same element [X , f]∗ ∈ (LTe ∗Υ∗H)X if and only if there is an object Xf ∈ X-Grsim and a commuting diagram

g1 g2 (10.9) X 1 / X f o X 2

f ⊥ 1 2 f f ' H w j ⊥ f in Gr∗ such that g are similarity morphisms in X-Grsim for j = 1, 2, and f ∈ Gret(X , H) is an (unpointed) étale morphism.

In particular, for all H, e ∈ E(H), and all m ≥ 1, the following special case of (10.9) commutes in Gr∗:

z κ m (10.10) C0 / (p) o W

che che◦z che◦κ & w H.

× ∼ × Since Ξ (G, H) = LTe ∗Υ∗H(G) = lim(C,b)∈el(G)LTe ∗Υ∗H(C), morphisms γ ∈ Ξ (G, H) are represented by pairs (Γ, f), where Γ : el(G) → Gret is a non-degenerate G-shaped graph of graphs, and f ∈ Gr∗(Γ(G), H) is a morphism in Gr∗ (see [30, Section 8.1]). The following lemma generalises [30, Lemma 8.9], and is proved in exactly the same manner. Lemma 10.11. Let G and H be graphs and, for i = 1, 2, let Γi be a non-degenerate G-shaped graph of i i i 1 1 2 2 graphs with colimit Γ (G), and f ∈ Gr∗(Γ (G), H). Then (Γ , f ), (Γ , f ) represent the same element γ × of Ξ (G, H) if and only if there is a representative (Γ, f) of γ, and a commuting diagram in Gr∗ of the following form: (10.12) Γ1(G) / Γ(G) o Γ2(G)

f f 1 f 2 ' w H, where the morphisms in the top row are vertex deletion morphisms (including z : C0 → (p)) in Grsim, and f ∈ Gret(Γ(G), H).

The following terminology is from [20].

× Deﬁnition 10.13. A (pointed) free morphism in Ξ is a morphism in the image of the inclusion CGr∗ ,→ × × × Ξ . An unpointed free morphism in Ξ is a morphism in the image of CGret ,→ CGr∗ ,→ Ξ .A generic × × morphism [Γ] in Ξ is a morphism in Ξ (G, H) with a representative of the form (Γ, idH).

× So, a free morphism in Ξ (G, H) has a representative of the form (id, f) where id: el(G) → Gret is the trivial identity G-shaped graph of graphs with colimit G and f ∈ Gr∗(G, H). Generic morphisms [Γ] in 52 SOPHIE RAYNOR

Ξ×(G, H) are described by non-degenerate G-shaped graph of graphs Γ with colimit H, and hence induce ∼= isomorphisms E0(G) −→ E0(H) on boundaries. del × [Γ] \W f In particular, morphisms in Ξ (G, H) factor as G −−→ Γ(G) −−−−→ Γ(G)\W −→H. Here Γ: el(G) → Gret is a non-degenerate G-shaped graph of graphs with colimit Γ(G) ∈ Gret, and f ∈ Gret(Γ(G)\W , H) is an (unpointed) étale morphism Gret.

10.4. Factorisation categories and the nerve theorem. Let GS∗˜ be the Kleisli category of the LT∗ ˜ ˜ monad LT∗ on GS∗. By [3, Proposition 2.5], the monad LT∗ together with the category Gr∗ satisfy the ˜ conditions of the nerve theorem [3, Theorem 1.10] (that is, LT∗ has arities Gr∗). By [3, Sections 1-3], × the nerve functor N : CO → psh(Ξ ) is fully faithful, if, for all pointed graphical species S∗ ∈ GS∗, all graphs G ∈ Gret, and all morphisms β ∈ GS∗˜ (G,S∗), a certain category fact∗(β) called the factorisation LT∗ category of β (see [3, Section 2.4]) is connected.

The category fact∗(β) is deﬁned as follows: ∼ ∼ Let S∗, G and β ∈ GS∗˜ (G,S∗) be as above. By Yoneda, GS∗˜ (G,S∗) = GS∗(G, LT∗S∗) = LT∗S∗(G) LT∗ LT∗ e e canonically, and

LTe ∗S∗(G) = colim(C,b)∈el(G)LTe ∗S∗(C) where ∼ ∼ S§ C = (p), LTe ∗S∗(C) = ∼ colimX ∈X-Grsim S(X ) C = CX . In other words, a morphism β ∈ GS (G,S ) is represented by a pair (Γ, α) of ∗T∗ ∗ • a non-degenerate G-shaped graph of graphs Γ with colimit Γ(G), viewed as a morphism generic morphism [Γ] ∈ Ξ×(G, Γ(G)) = GS (G, Γ(G)), ∗T∗ • an element α ∈ S(Γ(G)) viewed, by Yoneda, as a morphism α ∈ GS (Υ Γ(G),S ) ∗T∗ ∗ ∗ [Γ] α such that the induced composition G −−→ Γ(G) −→ S(Γ(G)) (LTe ∗S∗)(G) is precisely β. Deﬁnition 10.14. For each β ∈ GS (G,S ), objects of fact (β) are given by pairs (Γ, α) as above, and ∗T∗ ∗ ∗ 1 1 2 2 morphisms in fact∗(β)((Γ , α ), (Γ , α )) are commuting diagrams in GS∗˜ LT∗ (10.15) [Γ1](G) 7 α1

' G g 7 S∗

' α2 [Γ2](G) such that g is a morphism in Gr∗ ,→ GS∗˜ . LT∗

Lemma 10.16. For all graphs G and all β ∈ GS∗(G, LTe ∗S), the category fact∗(β) is connected. ∼ ∼ Proof. If G = (p) then Γ is isomorphic to the identity (p)-shaped graph of graphs. If G = CX for some ﬁnite set X, and β ∈ LT S ∼ GS (G,S ), then objects of fact (β) have the form (X , α) where e ∗ X = ∗T∗ ∗ ∗ X ∈ X-Griso, α ∈ S∗(X ) and β is the image of α under the universal morphism S∗(X ) → (LTe ∗S∗)X . 0 0 0 0 0 Since (LTe ∗S∗)X = colimX ∈X-Grsim S(X ), if (X , α ) also represents β, then X and X are connected in § XGrsim and hence they are similar in CGr∗. Hence, if G is in the image of B∗ ⊂ Gr∗, then fact∗(β) is connected for all β ∈ GS (G,S ). ∗T∗ ∗ For general G ∈ Gr , and β ∈ GS (G,S ), observe ﬁrst that, since colimits of graphs of graphs are ∗ ∗T∗ ∗ ∼ i i computed componentwise, we may assume that G is connected. Assume also that G= 6 C0. Let (Γ , α ), 1 2 i = 1, 2 be objects of fact∗(β). Then, for each (CX , b) ∈ el(G), Γ (b) and Γ (b) are in the same connected ∼ 1 2 component of X-Grsim, since the lemma holds when G = CX . Therefore, Γ (G) and Γ (G) are similar in Gr∗.

Theorem 10.5 now follows from [3, Sections 1 & 2]. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 53

Proof of Theorem 10.5. The induced nerve functor N : CO → psh(Ξ×) is fully faithful by [3, Proposi- tions 1.5 & 1.9] and Lemma 10.16 and [3, Proposition 2.5] (by which Lemma 10.16 is true if and only ˜ if LT∗ has arities Gr∗). Moreover, by [3, Theorem 1.10] its essential image is the subcategory of those × presheaves on Ξ whose restriction to Gr∗ are in the image of the fully faithful embedding GS∗ ,→ psh(Gr∗). × So, a presheaf P on Ξ is in the image of N if and only if P (G) = lim(C,b)∈el∗(G)P (C). By ﬁnality of el(G) ⊂ el∗(G), this is the case precisely when

P (G) = lim(C,b)∈el(G)P (C). Hence, the Segal condition (10.6) is satisﬁed and Theorem 10.5 is proved.

Remark 10.17. Let S∗ be a pointed graphical species and G a connected graph. A morphism β ∈ ˜ GS∗˜ (G,S∗) in the Kleisli category of ∗ is represented by a pair (Γ, α) of LT∗ LT

• a non-degenerate G-shaped graph of connected graphs Γ: el(G) → CGret with (connected) colimit Γ(G); • an element α ∈ LSe ∗(Γ(G)) such that, for each (CX , b) ∈ el(Γ(G)), LS∗(b)(α) is given by a tuple k `k (φi=1 ∈ LSX (with φi ∈ SXi , and i=1 Xi = X) of elements of S.

Such pairs (Γ, α) are the objects of the connected factorisation category fact∗(β)c of β. Morphisms in 0 0 0 fact∗(β)c((Γ, α), (Γ , α )) are pointed morphisms g ∈ CGr∗(Γ(G), Γ (G)) of connected graphs, such that the following diagram commutes in GS∗˜ : LT∗ (10.18) Γ(G) 7 α

' G g 7 S∗.

α ' Γ0(G)

By [3, Proposition 2.5], the full subcategory of Ξ× on the connected graphs induces a fully faithful ˜ nerve functor from CO (i.e. CGr∗ provides arities for LT∗) if and only if fact∗(β)c is connected for all connected graphs G, all pointed graphical species S∗, and all β ∈ GS∗˜ (G,S∗). LT∗ To see that this is not the case, let S∗ = Υ∗(p q p), and let G = C0.A C0-shaped graph of connected graphs is just a connected graph H with empty boundary. Recall (from Section 9.1) that Cor(H) denotes the category of non-degenerate H-shaped graphs of disjoint unions of corollas. An element α ∈ LeΥ∗(p (H) q )(H) is just an H-shaped graph of disjoint unions of corollas Γ ∈ Cor with colimit Γ (H) ∈ Gr∗, p followed by a morphism f ∈ Gr (Γ (H), ( q )). In particular, each component of Γ (H) is either an ∗ p p isolated vertex, or of the form Lk or Wm (k, m ≥ 0).

So, let β ∈ GS∗˜ (C0, ( q )) be the morphism represented by the unique C0-shaped graph of graphs LT∗ p p with colimit C0 q C0, together with the componentwise morphism (z q z) ∈ Gr∗(C0 q C0, p q p). Then β is also represented by (H, Γ , f), illustrated in Figure 17, where H = C1‡2,3‡4 is the graph 4 with two loops at one vertex, Γ is given by (C , b) 7→ C q C with colimit Γ (H) = W q W, and 4 2 2 f = (κ q κ) ∈ Gr∗(W q W, p q p).

Since morphisms in CGr∗ factor as vertex deletion morphisms followed by morphisms in CGret, and the single vertex of H has valency four, fact∗(β)c is connected if there is a morphism of the form che ◦ z ∈ CGret(C0, H) making (10.18) commute. But then the image of C0 under the induced morphism C0 → H → (p q p) factors through an inclusion (p) ,→ (p q p), so the diagram (10.18) does not commute. Remark 10.19. Both the nerve theorem [30, Theorem 8.2] for modular operads on which Theorem 10.5 is built, as well as Hackney, Robertson and Yau’s nerve theorem [14, 3.6], lead to well-deﬁned models of (∞, 1)-modular operads in which the ﬁbrant objects in the appropriate category of presheaves are precisely those that satisfy the weak Segal condition: in the case of [30] it followed from the results of [6] that these were given by P :Ξop → sSet such that, for all (connected) graphs G ∈ Ξ,

P (G) ' lim(C,b)∈el(G)P (C). 54 SOPHIE RAYNOR

C0 q C0 C0 (z q z) =

H (κ q κ) Γ

Figure 17. There is no zigzag of morphisms C0 ; H in CGr∗ that connect (C0, C0 q C0) and (H, Γ ) in fact (β) . ∗ c

However, describing a similar model for circuit operads (algebras) is more challenging. The presence of unconnected graphs means that, neither the method of [14], nor that of [30, Corollary 8.14] may be directly extended to a model structure on functors from Ξ×op (or some subcategory thereof) to sSet that gives a good description of weak circuit operads. For this reason, the description of a model for (∞, 1)-circuit operads is deferred to a separate paper [32] (in progress).

References [1] Dror Bar-Natan and Zsuzsanna Dancso. Finite type invariants of w-knotted objects II: tangles, foams and the Kashiwara-Vergne problem. Math. Ann., 367(3-4):1517–1586, 2017. [2] Jon Beck. Distributive laws. In Sem. on Triples and Categorical Homology Theory (ETH, Zürich, 1966/67), pages 119–140. Springer, Berlin, 1969. [3] Clemens Berger, Paul-André Melliès, and Mark Weber. Monads with arities and their associated theories. J. Pure Appl. Algebra, 216(8-9):2029–2048, 2012. [4] John Bourke and Richard Garner. Monads and theories. Adv. Math., 351:1024–1071, 2019. [5] Richard Brauer. On algebras which are connected with the semisimple continuous groups. Ann. of Math. (2), 38(4):857– 872, 1937. [6] Giovanni Caviglia and Geoffroy Horel. Rigidification of higher categorical structures. Algebr. Geom. Topol., 16(6):3533– 3562, 2016. [7] Eugenia Cheng. Iterated distributive laws. Math. Proc. Cambridge Philos. Soc., 150(3):459–487, 2011. [8] Zsuzsanna Dancso, Iva Halacheva, and Marcy Robertson. Circuit algebras are wheeled props. J. Pure Appl. Algebra, 225(12):106767, 33, 2021. [9] Zsuzsanna Dancso, Iva Halacheva, and Marcy Robertson. A topological characterisation of the Kashiwara-Vergne groups. Preprint, 2021. arXiv:2106.02373. [10] Pavel Etingof, Shlomo Gelaki, Dmitri Nikshych, and Victor Ostrik. Tensor categories, volume 205 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015. [11] Victor Ginzburg and Mikhail Kapranov. Koszul duality for operads. Duke Math. J., 76(1):203–272, 1994. [12] Philip Hackney, Marcy Robertson, and Donald Yau. Infinity properads and infinity wheeled properads, volume 2147 of Lecture Notes in Mathematics. Springer, Cham, 2015. [13] Philip Hackney, Marcy Robertson, and Donald Yau. A graphical category for higher modular operads. Adv. Math., 365:107044, 2020. [14] Philip Hackney, Marcy Robertson, and Donald Yau. Modular operads and the nerve theorem. Adv. Math., 370:107206, 39, 2020. [15] V. F. R. Jones. Planar algebras I. Preprint, 1999. arXiv:math/9909027. [16] A. Joyal and J. Kock. Feynman graphs, and nerve theorem for compact symmetric multicategories (extended abstract). Electronic Note in Theoretical Computer Science, 270(2):105 – 113, 2011. [17] André Joyal. Une théorie combinatoire des séries formelles. Adv. in Math., 42(1):1–82, 1981. [18] André Joyal, Ross Street, and Dominic Verity. Traced monoidal categories. Math. Proc. Cambridge Philos. Soc., 119(3):447–468, 1996. [19] Louis H. Kauffman. Virtual knot theory. European J. Combin., 20(7):663–690, 1999. [20] Joachim Kock. Graphs, hypergraphs, and properads. Collect. Math., 67(2):155–190, 2016. [21] Joachim Kock. Cospan construction of the graph category of Borisov and Manin. Publ. Mat., 62(2):331–353, 2018. [22] Kazuhiko Koike. On the decomposition of tensor products of the representations of the classical groups: by means of the universal characters. Adv. Math., 74(1):57–86, 1989. [23] Joachim Lambek. Completions of categories. Seminar lectures given in 1966 in Zürich. Lecture Notes in Mathematics, No. 24. Springer-Verlag, Berlin-New York, 1966. [24] G. I. Lehrer and R. B. Zhang. The Brauer category and invariant theory. J. Eur. Math. Soc. (JEMS), 17(9):2311–2351, 2015. BRAUER DIAGRAMS, MODULAR OPERADS, AND A GRAPHICAL NERVE THEOREM FOR CIRCUIT ALGEBRAS 55

[25] Tom Leinster. Higher operads, higher categories, volume 298 of London Mathematical Society Lecture Note Series. Cambridge University Press, Cambridge, 2004. [26] Saunders Mac Lane. Categories for the working mathematician, volume 5 of Graduate Texts in Mathematics. Springer- Verlag, New York, second edition, 1998. [27] Saunders Mac Lane and Ieke Moerdijk. Sheaves in geometry and logic. Universitext. Springer-Verlag, New York, 1994. A ﬁrst introduction to topos theory, Corrected reprint of the 1992 edition. [28] M. Markl, S. Merkulov, and S. Shadrin. Wheeled PROPs, graph complexes and the master equation. J. Pure Appl. Algebra, 213(4):496–535, 2009. [29] Sergei A. Merkulov. Wheeled props in algebra, geometry and quantization. In European Congress of Mathematics, pages 83–114. Eur. Math. Soc., Zürich, 2010. [30] S. Raynor. Graphical combinatorics and a distributive law for modular operads. To appear, Adv. Math. [31] S. Raynor. Modular operads and a nerve theorem for compact closed categories. In preparation., 2020. [32] S. Raynor and M. Robertson. Homotopy theory of circuit algebras and compact closed categories. In preparation., 2021. [33] K. Reidemeister. Knotentheorie. Springer-Verlag, Berlin-New York, 1974. Reprint (Original 1932). [34] Steven V. Sam. Structures in representation stability. Notices Amer. Math. Soc., 67(1):38–43, 2020. [35] Steven V. Sam and Andrew Snowden. Stability patterns in representation theory. Forum Math. Sigma, 3:Paper No. e11, 108, 2015. [36] Steven V Sam and Andrew Snowden. The representation theory of Brauer categories I: triangular categories. Preprint, 2020. arXiv:2006.04328. [37] D. Spivak. The operad of wiring diagrams. Preprint, 2013. arXiv:1305.0297. [38] Mark Weber. Familial 2-functors and parametric right adjoints. Theory Appl. Categ., 18:No. 22, 665–732, 2007. [39] Hans Wenzl. On the structure of Brauer’s centralizer algebras. Ann. of Math. (2), 128(1):173–193, 1988. [40] Donald Yau and Mark W. Johnson. A foundation for PROPs, algebras, and modules, volume 203 of Mathematical Surveys and Monographs. American Mathematical Society, Providence, RI, 2015.