Circuit algebras, modular operads and invariant theory

Circuit algebras, used in the study of finite-type knot invariants, are a symmetric analogue of Jones's planar algebras. This work, the first of a pair of papers comprising a detailed study of circuit algebra combinatorics, provides three equivalent descriptions of circuit algebras: in terms of operads of wiring diagrams, modular operads and categories of Brauer diagrams. As an application, circuit algebra characterisations of algebras over the orthogonal and symplectic groups are given.