For M and N finite module categories over a finite tensor category C, the category Rex_C(M,N) of right exact module functors is a finite module category over the Drinfeld center Z(C). We study the internal Homs of this module category, which we call internal natural transformations. With the help of certain integration functors that map C-C-bimodule functors to objects of Z(C), we express them as ends over internal Homs and define horizontal and vertical compositions. We show that if M and N are exact C-modules and C is pivotal, then the Z(C)-module Rex_C(M,N) is exact. We compute its relative Serre functor and show that if M and N are even pivotal module categories, then Rex_C(M,N) is pivotal as well. Its internal Ends are then a rich source for Frobenius algebras in Z(C).
The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of this structure, Hopf-Frobenius algebras, starting from a single Hopf algebra which is not necessarily commutative or cocommutative. We provide a few necessary and sufficient conditions for a Hopf algebra to be a Hopf-Frobenius algebra, and show that every Hopf algebra in the category of finite dimensional vector spaces is a Hopf-Frobenius algebra. In additi…
We present a new approach to calculating the higher Frobenius-Schur indicators for the simple modules over the Drinfeld double of a finite group. In contrast to the formula by Kashina-Sommerh{ä}user-Zhu that involves a sum over all group elements satisfying a certain condition, our formula operates on the level of conjugacy classes and character tables. It can be implemented in the computer algebra system GAP, efficiently enough to deal, on a laptop, with symmetric groups up to $S_{18}$ (providing further evidence that indicators are non-negative in this case) or simple groups of order up to $…
In this paper, we show that $\C{G}$-Frobenius algebras (for $\C{G}$ a finite groupoid) correspond to a particular class of Frobenius objects in the representation category of $D(k[\C{G}])$, where $D(k[\C{G}])$ is the Drinfeld double of the quantum groupoid $k[\C{G}]$.
We report on two classes of autoequivalences of the category of Yetter-Drinfeld modules over a finite group, or, equivalently the Drinfeld center of the category of representations of a finite group. Both operations are related to the $r$-th power operation, with $r$ relatively prime to the exponent of the group. One is defined more generally for the group-theoretical fusion category defined by a finite group and an arbitrary subgroup, while the other seems particular to the case of Yetter-Drinfeld modules. Both autoequivalences preserve higher Frobenius-Schur indicators up to Galois conjugati…
Let $U:\mathcal{C}\rightarrow\mathcal{D}$ be a strong monoidal functor between abelian monoidal categories admitting a right adjoint $R$, such that $R$ is exact, faithful and the adjunction $U\dashv R$ is coHopf. Building on the work of Balan, we show that $R$ is separable (resp., special) Frobenius monoidal if and only if $R(\mathbb{1}_{\mathcal{D}})$ is a separable (resp., special) Frobenius algebra in $\mathcal{C}$. If further, $\mathcal{C},\mathcal{D}$ are pivotal (resp., ribbon) categories and $U$ is a pivotal (resp., braided pivotal) functor, then $R$ is a pivotal (resp., ribbon) functor…
The goal of this paper is to classify fusion categories $\otimes$-generated by a $K$-normal object (defined in this paper) of Frobenius-Perron dimension less than 2. This classification has recently become accessible due to a result of Morrison and Snyder, showing that any such category must be a cyclic extension of a category of adjoint $ADE$ type. Our main tools in this classification are the results of Etingof, Ostrik, and Nikshych, classifying cyclic extensions of a given category in terms of data computed from the Brauer-Picard group, and Drinfeld centre of that category, and the results …
Using a suitable notion of principal G-bundle, defined relative to an arbitrary cartesian category, it is shown that principal bundles can be characterised as adjunctions that stably satisfy Frobenius reciprocity. The result extends from G, an internal group, to G an internal groupoid. Since geometric morphisms can be described as certain adjunctions that are stably Frobenius, as an application it is proved that all geometric morphisms, from a localic topos to a bounded topos, can be characterised as principal bundles.
Hilsum-Skandalis maps, from differential geometry, are studied in the context of a cartesian category. It is shown that Hilsum-Skandalis maps can be represented as stably Frobenius adjunctions. This leads to a new and more general proof that Hilsum-Skandalis maps represent a universal way of inverting essential equivalences between internal groupoids. To prove the representation theorem, a new characterisation of the con- nected components adjunction of any internal groupoid is given. The charaterisation is that the adjunction is covered by a stable Frobenius adjunction that is a slice and who…
We discuss relations between some category-theoretical notions for a finite tensor category and cointegrals on a quasi-Hopf algebra. Specifically, for a finite-dimensional quasi-Hopf algebra $H$, we give an explicit description of categorical cointegrals of the category ${}_H \mathscr{M}$ of left $H$-modules in terms of cointegrals on $H$. Provided that $H$ is unimodular, we also express the Frobenius structure of the `adjoint algebra' in the Yetter-Drinfeld category ${}^H_H \mathscr{YD}$ by using an integral in $H$ and a cointegral on $H$. Finally, we give a description of the twisted module …
We study internal structures in regular categories using monoidal methods. Groupoids in a regular Goursat category can equivalently be described as special dagger Frobenius monoids in its monoidal category of relations. Similarly, connectors can equivalently be described as Frobenius structures with a ternary multiplication. We study such ternary Frobenius structures and the relationship to binary ones, generalising that between connectors and groupoids.
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius monads model the appropriate notion of coherence between the dagger and closure by reinforcing Cayley's theorem; by proving that effectful computations (Kleisli morphisms) are reversible precisely when the monad is Frobenius; by characterizing the largest reversible subcategory of Eilenberg-Moore algebras; and by identifying the latter algebras as measureme…
This article studies the categorical setting of Abramsky, Haghverdi, and Scott's untyped linear combinatory algebras, and relates this to more recent work of Abramsky and Heunen on Frobenius algebras in the infinitary setting. The key to this is extensional reflexivity (the property of an object being isomorphic to its own internal hom. $N\cong [N\rightarrow N]$). We characterise extensional reflexivity in compact closed categories, and consider how this may be `strictified' to give monoidally equivalent categories where the isomorphisms exhibiting reflexivity are identity arrows. This results…
We determine internal characterisations for when a tensor category is (super) tannakian, for fields of positive characteristic. This generalises the corresponding characterisations in characteristic zero by P. Deligne. We also explore notions of Frobenius twists in tensor categories in positive characteristic.
Algebra and representation theory in modular tensor categories can be combined with tools from topological field theory to obtain a deeper understanding of rational conformal field theories in two dimensions: It allows us to establish the existence of sets of consistent correlation functions, to demonstrate some of their properties in a model-independent manner, and to derive explicit expressions for OPE coefficients and coefficients of partition functions in terms of invariants of links in three-manifolds. We show that a Morita class of (symmetric special) Frobenius algebras $A$ in a modular …
Picard groups of tensor categories play an important role in rational conformal field theory. The Picard group of the representation category C of a rational vertex algebra can be used to construct examples of (symmetric special) Frobenius algebras in C. Such an algebra A encodes all data needed to ensure the existence of correlators of a local conformal field theory. The Picard group of the category of A-bimodules has a physical interpretation, too: it describes internal symmetries of the conformal field theory, and allows one to identify generalized Kramers-Wannier dualities of the theory. W…
Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and internal groupoids. Over compact Hausdorff spaces, this lifting gives continuous symmetric encryption. Over a regular Mal'cev category, this correspondence gives a characterization of categories of completely positive maps, enabling the formulation of quantum features. These models are closer to Hilbert spaces than relations over sets in several respects: Heisenb…
School of Mathematical Sciences, East China Normal University（华东师范大学数学科学学院）；Department of Physics, The University of Hong Kong（香港大学物理系）；Centre for Quantum Mathematics, University of Southern Denmark（南丹麦大学量子数学中心）；Mathematisches Institut, Georg-August-Universität Göttingen（哥廷根大学数学研究所）；Beijing Institute of Mathematical Sciences and Applications（北京国际数学研究中心）；Wu Wen-Tsun Key Laboratory of Mathematics of Chinese Academy of Sciences, School of Mathematical Sciences, University of Science and Technology of China（中国科学技术大学数学科学学院中国科学院吴文俊数学重点实验室）；International Quantum Academy（国际量子学院）；Guangdong Provincial Key Laboratory of Quantum Science and Engineering, Southern University of Science and Technology（南方科技大学广东省量子科学与工程重点实验室）
Simion Stoilow Institute of Mathematics of the Romanian Academy（罗马尼亚科学院西奥多·斯托伊洛数学研究所）；Max Planck Institut für Mathematik（马克斯·普朗克数学研究所）；M. V. Lomonosov Moscow State University（莫斯科国立罗蒙诺索夫大学）；Université Libre de Bruxelles（布鲁塞尔自由大学）
