String-net models for pivotal bicategories

Fusion categories, modular tensor categories, modular functors (18M20) String diagrams and graphical calculi (18M30) 2-categories, bicategories, double categories (18N10) Topological quantum field theories (aspects of differential topology) (57R56)

Review text

This paper studies string-net constructions that associate vector spaces to oriented surfaces and categories to oriented one-manifolds. Although, in traditional constructions, a spherical fusion category \(\mathcal{C}\) is taken as the algebraic input, this paper takes instead a pivotal bicategory \(\mathcal{B}\) as the algebraic input. The idea to use a pivotal bicategory is natural, dating back at least to [\textit{S. Morrison} and \textit{K. Walker}, Geom. Topol. 16, No. 3, 1481--1607 (2012; Zbl 1280.57026), App. C.2]. What is achieved in this paper is a precise construction based on pivotal bicategories in the sense of [\textit{J. Fuchs} et al., ``Spherical Morita contexts and relative Serre functors, Preprint, \url{arXiv:2207.07031}]. The authors are so parsimonious in the assumptions about input categories that they are linear over a field \(\boldsymbol{k}\).\N\NThe main results go as follows.\N\N\begin{itemize}\N\item It is shown (Theorem 2.30) that conjugation by a rigid Frobenius functor between two strictly pivotal bicategories \(\mathcal{B}\) and \(\mathcal{B}^{\prime}\) canonically induces a monoidal natural transformation between the graphical calculi for \(\mathcal{B}\) and \(\mathcal{B}^{\prime}\) when restricted to \(\mathsf{Crll}_{\mathcal{B}}^{\mathrm{conn}}\) and \(\mathsf{Crll}_{\mathcal{B}^{\prime}}^{\mathrm{conn}}\), respectively, where \(\mathsf{Crll}_{\mathcal{B}}\) denotes the category of partially \(\mathcal{B}\)-colored corollas to vector spaces, and \(\mathsf{Crll}_{\mathcal{B}}^{\mathrm{conn}}\) is its subcategory that only contains those morphisms of \(\mathsf{Crll}_{\mathcal{B}}\ \)all of whose underlying graphs are connected in the disks they are embedded in.\N\N\item The (bare) string-net space \(\mathrm{SN}_{\mathcal{B}}^{\circ}(\Sigma,\mathsf{b})\) assigned to a surface \(\Sigma\) and a \(\mathcal{B}\)-boundary datum \(\mathsf{b}\) on \(\Sigma\) is characterized as a colimit over a functor \(\mathcal{E}_{\mathcal{B}}^{\Sigma,\mathsf{b}}\) from a category of partially \(\mathcal{B}\)-colored graphs to vector spaces (Theorem 3.9).\N\N\item It is shown (Theorem 3.11) that for any surface \(\Sigma\) and \(\mathcal{B}\)-boundary datum \(\mathsf{b}\) on \(\Sigma\), a rigid pseudofunctor \(F\) between strictly pivotal bicategories \(\mathcal{B}\) and \(\mathcal{B}^{\prime}\) gives rise to a canonical \(\mathrm{Map}(\Sigma)\)-intertwiner between the string-net spaces \(\mathrm{SN}_{\mathcal{B}}^{\circ }(\Sigma,\mathsf{b})\) and \(\mathrm{SN}_{\mathcal{B}^{\prime}}^{\circ}(\Sigma,\mathsf{b}^{\prime})\), where the \(\mathcal{B}^{\prime}\)-boundary datum \(\mathsf{b}^{\prime}\) is obtained from \(\mathsf{b}\) by a change of coloring induced by \(F\).\N\N\item The general bicategorical string-net construction shares characteristic features of the special case based on a spherical fusion category (Theorem 3.31).\N\N\item It is shown (Theorem 3.36) that the string-net construction based on a pointed strictly pivotal bicategory \ provides an open-closed modular functior \(\mathrm{SN}_{\mathcal{B}}^{\circ}\), i.e., a symmetric monoidal pivotal pseudofunctor\N\[\N\mathrm{SN}_{\mathcal{B}}^{\circ}:\mathcal{B}\mathrm{ord}_{2,\mathrm{o/c}}^{\mathrm{or}}\rightarrow\mathcal{P}\mathrm{rof}_{\boldsymbol{k}}\N\]\Nfrom the symmetric monoidal bicategory of open-closed bordisms to the symmetric monoidal bicategory of \(\boldsymbol{k}\)-linear profunctors.\N\N\item Concerning the case when the input bicategory \(\mathcal{B}\) is the delooping of a spherical fusion category \(\mathcal{C}\), it is demonstrated (Theorem 4.8) that the linear map\N\[\N\mathrm{Cor}_{\mathcal{C}}(\Sigma,\mathsf{b}):\boldsymbol{kG}_{\mathcal{F}r(\mathcal{C})}(\Sigma,\mathsf{b})\rightarrow\mathrm{SN}_{\mathcal{C}}(\Sigma,\mathbb{F}_{\partial\Sigma }(\mathsf{b}))\N\]\Nencoding the assignment of correlators to world sheets with fixed underlying surfaces \(\Sigma\) and boundary datum \(\mathsf{b}\) facorizes over the string-net spaces based on \(\mathcal{F}r(\mathcal{C})\).\N\end{itemize}

Cites work

Cited in

(2)

This page was built for publication: String-net models for pivotal bicategories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6961094)