Abstract:Given a finite ribbon category, which is a particular case of a cyclic algebra over the operad of genus zero surfaces, there are two possibilities for an extension defined on all three-dimensional handlebodies: On the one hand, one can use the admissible skein module construction of Costantino-Geer-Patureau-Mirand. On other hand, by a construction of the authors using Costello's modular envelope, one can build a so-called ansular functor, a handlebody version of the notion of a modular functor. Unlike the admissible skein modules with their construction through the Reshetikhin-Turaev graphical calculus, the ansular functor is defined purely through a universal property. In this note, we prove the widely held expectation that these constructions are related by giving an isomorphism between them, with the somewhat surprising subtlety that we need to include consistently on one of the sides an additional boundary component labeled by the distinguished invertible object of Etingof-Nikshych-Ostrik. In other words, the constructions agree on handlebodies up to a `background charge' that becomes trivial in the unimodular case. Our comparison result includes the handlebody group action as well as the skein algebra action.

On Hofmann–Streicher universes

Strict universes for Grothendieck topoi

A Computable Functor From Graphs to Fields

2-classifiers via dense generators and Hofmann-Streicher universe in stacks

Functors on the category of finite sets revisited

On the connection between Hopf–Galois structures and skew braces

Tautological Formal Frobenius Manifold Structures on A Frobenius Algebra

Two-sided cartesian fibrations of synthetic $(\infty,1)$-categories

Two-sided cartesian fibrations of synthetic -categories

Primitive Feynman diagrams and the rational Goussarov--Habiro Lie algebra of string links

Skolem, Gödel, and Hilbert fibrations

Higher categories of push-pull spans, I: Construction and applications

Categorifications of rational Hilbert series and characters of $FS^{op}$ modules

Constructions of Waldhausen categories via Grothendieck opfibrations

On local fibrations of $(\infty,2)$-categories

Fraisse's construction from a topos-theoretic perspective

Foundations of Frobenius Heisenberg categories

On straightening for Segal spaces

A model structure for Grothendieck fibrations

Frobenius_infinity invariants of homotopy Gerstenhaber algebras I

Admissible Skein Modules and Ansular Functors: A Comparison