Search

We prove that the Drinfeld center $Z(\mathcal{C})$ of a pivotal finite tensor category $\mathcal{C}$ comes with the structure of a ribbon Grothendieck-Verdier category in the sense of Boyarchenko-Drinfeld. Phrased operadically, this makes $Z(\mathcal{C})$ into a cyclic algebra over the framed $E_2$-operad. The underlying object of the dualizing object is the distinguished invertible object of $\mathcal{C}$ appearing in the well-known Radford isomorphism of Etingof-Nikshych-Ostrik. Up to equivalence, this is the unique ribbon Grothendieck-Verdier structure on $Z(\mathcal{C})$ extending the canonical balanced braided structure that $Z(\mathcal{C})$ already comes equipped with. The duality functor of this ribbon Grothendieck-Verdier structure coincides with the rigid duality if and only if $\mathcal{C}$ is spherical in the sense of Douglas-Schommer-Pries-Snyder. The main topological consequence of our algebraic result is that $Z(\mathcal{C})$ gives rise to an ansular functor, in fact even a modular functor regardless of whether $\mathcal{C}$ is spherical or not. In order to prove the aforementioned uniqueness statement for the ribbon Grothendieck-Verdier structure, we derive a seven-term exact sequence characterizing the space of ribbon Grothendieck-Verdier structures on a balanced braided category. This sequence features the Picard group of the balanced version of the M\"uger center of the balanced braided category., Comment: 21 pages, diagrams partly in color; v2: minor changes, Cor. 3.1 strengthened

Modular functors are traditionally defined as systems of projective representations of mapping class groups of surfaces that are compatible with gluing. They can formally be described as modular algebras over central extensions of the modular surface operad, with the values of the algebra lying in a suitable symmetric monoidal $(2,1)$-category $\mathcal{S}$ of linear categories. In this paper, we prove that modular functors in $\mathcal{S}$ are equivalent to self-dual balanced braided algebras $\mathcal{A}$ in $\mathcal{S}$ (a categorification of the notion of a commutative Frobenius algebra) for which a condition formulated in terms of factorization homology with coefficients in $\mathcal{A}$ is satisfied; we call such $\mathcal{A}$ connected. The equivalence in one direction is afforded by genus zero restriction. Our construction of the inverse equivalence is entirely topological and can be thought of as a far reaching generalization of the construction of modular functors from skein theory. In order to verify the connectedness condition in practice, we prove that cofactorizability of $\mathcal{A}$, a condition known to be satisfied for modular categories, is sufficient. Therefore, we recover in particular Lyubashenko's construction of a modular functor from a (not necessarily semisimple) modular category and show that it is determined by its genus zero part. Additionally, we exhibit modular functors that do not come from modular categories and outline applications to the theory of vertex operator algebras., v1: 39 pages; v2: 40 pages, minor changes throughout

It is easy to find algebras $\mathbb{T}\in\mathcal{C}$ in a finite tensor category $\mathcal{C}$ that naturally come with a lift to a braided commutative algebra $\mathsf{T}\in Z(\mathcal{C})$ in the Drinfeld center of $\mathcal{C}$. In fact, any finite tensor category has at least two such algebras, namely the monoidal unit $I$ and the canonical end $\int_{X\in\mathcal{C}} X\otimes X^\vee$. Using the theory of braided operads, we prove that for any such algebra $\mathbb{T}$ the homotopy invariants, i.e. the derived morphism space from $I$ to $\mathbb{T}$, naturally come with the structure of a differential graded $E_2$-algebra. This way, we obtain a rich source of differential graded $E_2$-algebras in the homological algebra of finite tensor categories. We use this result to prove that Deligne's $E_2$-structure on the Hochschild cochain complex of a finite tensor category is induced by the canonical end, its multiplication and its non-crossing half braiding. With this new and more explicit description of Deligne's $E_2$-structure, we can lift the Farinati-Solotar bracket on the Ext algebra of a finite tensor category to an $E_2$-structure at cochain level. Moreover, we prove that, for a unimodular pivotal finite tensor category, the inclusion of the Ext algebra into the Hochschild cochains is a monomorphism of framed $E_2$-algebras, thereby refining a result of Menichi., Comment: v1: 28 pages, lots of diagrams; most of this article was previously a part arXiv:2105.01596 but is now split off; v2: grant information updated; v3: minor changes, to appear in Adv. Math

The classifying spaces of handlebody groups form a modular operad. Algebras over the handlebody operad yield systems of representations of handlebody groups that are compatible with gluing. We prove that algebras over the modular operad of handlebodies with values in an arbitrary symmetric monoidal bicategory $\mathcal{M}$ (we introduce for these the name ansular functor) are equivalent to self-dual balanced braided algebras in $\mathcal{M}$. After specialization to a linear framework, this proves that consistent systems of handlebody group representations on finite-dimensional vector spaces are equivalent to ribbon Grothendieck-Verdier categories in the sense of Boyarchenko-Drinfeld. Additionally, it produces a concrete formula for the vector space assigned to an arbitrary handlebody in terms of a generalization of Lyubashenko's coend. Our main result can be used to obtain an ansular functor from vertex operator algebras subject to mild finiteness conditions. This includes examples of vertex operator algebras whose representation category has a non-exact monoidal product., 24 pages, 3 figures; v2: minor edits

We prove that for a self-injective ribbon Grothendieck-Verdier category $\mathcal{C}$ in the sense of Boyarchenko-Drinfeld the cyclic action on the Hochschild complex of $\mathcal{C}$ extends to an action of the diffeomorphism group of the solid closed torus $\mathbb{S}^1 \times \mathbb{D}^2$., Comment: v1: 12 pages; v2: minor changes

Involutive category theory provides a flexible framework to describe involutive structures on algebraic objects, such as anti-linear involutions on complex vector spaces. Motivated by the prominent role of involutions in quantum (field) theory, we develop the involutive analogs of colored operads and their algebras, named colored $\ast$-operads and $\ast$-algebras. Central to the definition of colored $\ast$-operads is the involutive monoidal category of symmetric sequences, which we obtain from a general product-exponential $2$-adjunction whose right adjoint forms involutive functor categories. For $\ast$-algebras over $\ast$-operads we obtain involutive analogs of the usual change of color and operad adjunctions. As an application, we turn the colored operads for algebraic quantum field theory into colored $\ast$-operads. The simplest instance is the associative $\ast$-operad, whose $\ast$-algebras are unital and associative $\ast$-algebras., v2: 36 pages, final version published in Theory and Applications of Categories