Abstract:A modular category $\mathcal{C}$ gives rise to a differential graded modular functor, i.e. a system of projective mapping class group representations on chain complexes. This differential graded modular functor assigns to the torus the Hochschild complex and, in the dual description, the Hochschild cochain complex of $\mathcal{C}$. On both complexes, the monoidal product of $\mathcal{C}$ induces the structure of an $E_2$-algebra, to which we refer as the differential graded Verlinde algebra. At the same time, the modified trace induces on the tensor ideal of projective objects in $\mathcal{C}$ a Calabi-Yau structure so that the cyclic Deligne Conjecture endows the Hochschild cochain and chain complex of $\mathcal{C}$ with a second $E_2$-structure. Our main result is that the action of a specific element $S$ in the mapping class group of the torus transforms the differential graded Verlinde algebra into this second $E_2$-structure afforded by the Deligne Conjecture. This result is established for both the Hochschild chain and the Hochschild cochain complex of $\mathcal{C}$. In general, these two versions of the result are inequivalent. In the case of Hochschild chains, we obtain a block diagonalization of the Verlinde algebra through the action of the mapping class group element $S$. In the semisimple case, both results reduce to the Verlinde formula. In the non-semisimple case, we recover after restriction to zeroth (co)homology earlier proposals for non-semisimple generalizations of the Verlinde formula.

Gerstenhaber structure and Deligne's conjecture for Loday algebras

A Deligne conjecture for prestacks

Cohomology and geometry of Deligne--Lusztig varieties for ${\rm GL}_n$

Cohomologically Induced Distinguished Representations and a Non-Vanishing Hypothesis for Algebraicity of Critical L-values

Homotopy Gerstenhaber formality of Davis-Januszkiewicz spaces

Cohomology and geometry of Deligne–Lusztig varieties for

The Derived Deligne Conjecture

The differential graded Verlinde Formula and the Deligne Conjecture

A non-abelian version of Deligne's Fixed Part Theorem

On Lurie's theorem and applications

Lattice structure in cluster algebra of finite type and non-simply-laced Ingalls-Thomas bijection

Pre-Lie algebras with divided powers and the Deligne groupoid in positive characteristic

Coherent Springer theory and the categorical Deligne-Langlands correspondence

Extending Structures for Dendriform Algebras

Relative Dolbeault Geometric Langlands via the Regular Quotient

Loday constructions of Tambara functors

Dg Loday-Pirashvili modules over Lie algebras

Gluing invariants of Donaldson--Thomas type -- Part I: the Darboux stack

Geometry of the fixed points loci and discretization of Springer fibers in classical types

Brackets and products from centres in extension categories

Singular Hochschild Cohomology and Gerstenhaber Algebra Structure