-
arXiv:2405.20811 [pdf, ps, other]
Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors
Abstract: We develop the theory of module categories over a Grothendieck-Verdier category, i.e. a monoidal category with a dualizing object and hence a duality structure more general than rigidity. Such a category C comes with two monoidal structures which are related by non-invertible morphisms and which we treat on an equal footing. Quite generally, non-invertible structure morphisms play a dominant role… ▽ More
Submitted 31 May, 2024; originally announced May 2024.
Report number: Hamburger Beitr\"age zur Mathematik 966, ZMP-HH/24-11
-
arXiv:2307.09229 [pdf, ps, other]
Fusion Quivers
Abstract: We develop a categorical approach to quivers and their modules. Naturally this leads to a notion of an action of a monoidal category on quivers. Using this, we construct for a large class of quivers rigid monoidal structures on their categories of modules. This fusion product on the quiver modules induces a graded ring structure with duality and trace on the moduli spaces of semisimple quiver modu… ▽ More
Submitted 18 July, 2023; originally announced July 2023.
Comments: 53 pages, many diagrams
-
arXiv:2306.17668 [pdf, ps, other]
Grothendieck-Verdier duality in categories of bimodules and weak module functors
Abstract: Various monoidal categories, including suitable representation categories of vertex operator algebras, admit natural Grothendieck-Verdier duality structures. We recall that such a Grothendieck-Verdier category comes with two tensor products which should be related by distributors obeying pentagon identities. We discuss in which circumstances these distributors are isomorphisms. This is achieved by… ▽ More
Submitted 12 December, 2024; v1 submitted 30 June, 2023; originally announced June 2023.
Comments: 24 pages, final version
Report number: Hamburger Beitr. zur Mathematik Nr. 945; ZMP-HH/23-11 MSC Class: 18M10; 16B50; 81R10
-
Reshetikhin-Turaev TQFTs close under generalised orbifolds
Abstract: We specialise the construction of orbifold graph TQFTs introduced in Carqueville et al., arXiv:2101.02482 to Reshetikhin-Turaev defect TQFTs. We explain that the modular fusion category ${\mathcal{C}}_{\mathcal{A}}$ constructed in Mulevičius-Runkel, arXiv:2002.00663 from an orbifold datum $\mathcal{A}$ in a given modular fusion category $\mathcal{C}$ is a special case of the Wilson line ribbon cat… ▽ More
Submitted 10 September, 2021; originally announced September 2021.
Comments: 56 pages
Journal ref: Comm. Math. Phys. 405 (2024)
-
Orbifold graph TQFTs
Abstract: A generalised orbifold of a defect TQFT $\mathcal{Z}$ is another TQFT $\mathcal{Z}_{\mathcal{A}}$ obtained by performing a state sum construction internal to $\mathcal{Z}$. As an input it needs a so-called orbifold datum $\mathcal{A}$ which is used to label stratifications coming from duals of triangulations and is subject to conditions encoding the invariance under Pachner moves. In this paper we… ▽ More
Submitted 7 January, 2021; originally announced January 2021.
Comments: 67 pages
-
arXiv:2003.12514 [pdf, ps, other]
Module Eilenberg-Watts calculus
Abstract: The categorical formulation of the Eilenberg-Watts calculus relates, for any pair of finite categories M and N, the finite categories Fun^{le}(N,M) and Fun^{re}(N,M) of linear left or right exact functors and the Deligne product \bar N \boxtimes M by adjoint equivalences. We establish a variant of this calculus for the case that the finite categories M and N are module categories over a finite ten… ▽ More
Submitted 27 March, 2020; originally announced March 2020.
Comments: 21 pages
Report number: Hamburger Beitr. zur Mathematik 828, ZMP-HH/20-6 MSC Class: 18D10
-
arXiv:1911.06214 [pdf, ps, other]
A modular functor from state sums for finite tensor categories and their bimodules
Abstract: We construct a modular functor which takes its values in the monoidal bicategory of finite categories, left exact functors and natural transformations. The modular functor is defined on bordisms that are 2-framed. Accordingly we do not need to require that the finite categories appearing in our construction are semisimple, nor that the finite tensor categories that are assigned to two-dimensional… ▽ More
Submitted 23 March, 2022; v1 submitted 14 November, 2019; originally announced November 2019.
Comments: 159 pages in tac documentclass, several figures. v2: Added concise summary of the proof of the main Theorem 2.15 (Section 5.43). Corrected erroneous formulation in Definition 5.20. Various further minor modifications and additions
Report number: ZMP-HH/19-22, Hamburger Beitr\"age zur Mathematik$ Nr. 812 MSC Class: 18M20; 18M30; 81T45
Journal ref: Theory and Applications of Categories 38 (2022) 436-594
-
arXiv:1809.01483 [pdf, ps, other]
Orbifolds of Reshetikhin-Turaev TQFTs
Abstract: We construct three classes of generalised orbifolds of Reshetikhin-Turaev theory for a modular tensor category $\mathcal{C}$, using the language of defect TQFT from [arXiv:1705.06085]: (i) spherical fusion categories give orbifolds for the "trivial" defect TQFT associated to vect, (ii) $G$-crossed extensions of $\mathcal{C}$ give group orbifolds for any finite group $G$, and (iii) we construct orb… ▽ More
Submitted 27 April, 2020; v1 submitted 5 September, 2018; originally announced September 2018.
Comments: 51 pages; v2: minor improvements and slightly extended exposition
Journal ref: Theory and Applications of Categories, Vol. 35, 2020, No. 15, pp 513-561
-
arXiv:1805.09395 [pdf, ps, other]
Eigenvalues of the squared antipode in finite dimensional weak Hopf algebras
Abstract: We extend Schaumann's theory of pivotal structures on fusion categories matched to a module category and of module traces developed in arXiv:1206.5716 to the case of non-semisimple tensor categories, and use it to study eigenvalues of the squared antipode $S^2$ in weak Hopf algebras. In particular, we diagonalize $S^2$ for semisimple weak Hopf algebras in characteristic zero, generalizing the resu… ▽ More
Submitted 23 May, 2018; originally announced May 2018.
Comments: 28 pages, latex
-
arXiv:1712.01922 [pdf, ps, other]
The logarithmic Cardy case: Boundary states and annuli
Abstract: We present a model-independent study of boundary states in the Cardy case that covers all conformal field theories for which the representation category of the chiral algebra is a - not necessarily semisimple - modular tensor category. This class, which we call finite CFTs, includes all rational theories, but goes much beyond these, and in particular comprises many logarithmic conformal field theo… ▽ More
Submitted 22 May, 2018; v1 submitted 5 December, 2017; originally announced December 2017.
Comments: 44 pages. v2: a few statements about the semisimple case and a few more diagrams added; typos corrected
Report number: ZMP-HH/17-29, Hamburger Beitr. Nr. 709
-
arXiv:1710.10214 [pdf, ps, other]
Line and surface defects in Reshetikhin-Turaev TQFT
Abstract: A modular tensor category $\mathcal{C}$ gives rise to a Reshetikhin-Turaev type topological quantum field theory which is defined on 3-dimensional bordisms with embedded $\mathcal{C}$-coloured ribbon graphs. We extend this construction to include bordisms with surface defects which in turn can meet along line defects. The surface defects are labelled by $Δ$-separable symmetric Frobenius algebras a… ▽ More
Submitted 3 December, 2018; v1 submitted 27 October, 2017; originally announced October 2017.
Comments: 38 pages; v2: minor corrections and improvements
Journal ref: Quantum Topology 10, Issue 3, 2019, 399-439
-
arXiv:1705.06085 [pdf, ps, other]
Orbifolds of n-dimensional defect TQFTs
Abstract: We introduce the notion of $n$-dimensional topological quantum field theory (TQFT) with defects as a symmetric monoidal functor on decorated stratified bordisms of dimension $n$. The familiar closed or open-closed TQFTs are special cases of defect TQFTs, and for $n=2$ and $n=3$ our general definition recovers what had previously been studied in the literature. Our main construction is that of "g… ▽ More
Submitted 16 October, 2018; v1 submitted 17 May, 2017; originally announced May 2017.
Comments: 79 pages; v2: modified definition of stratified bordism category; v3: minor corrections and modifications
Journal ref: Geom. Topol. 23 (2019) 781-864
-
arXiv:1612.04561 [pdf, ps, other]
Eilenberg-Watts calculus for finite categories and a bimodule Radford $S^4$ theorem
Abstract: We obtain Morita invariant versions of Eilenberg-Watts type theorems, relating Deligne products of finite linear categories to categories of left exact as well as of right exact functors. This makes it possible to switch between different functor categories as well as Deligne products, which is often very convenient. For instance, we can show that applying the equivalence from left exact to right… ▽ More
Submitted 14 November, 2019; v1 submitted 14 December, 2016; originally announced December 2016.
Comments: 41 pages. Typos corrected, literature updated, several minor additions
Report number: ZMP-HH/16-26, Hamburger Beitr\"age zur Mathematik Nr. 630 MSC Class: 16T05; 18D10; 16Gxx
Journal ref: Transactions of the AMS 373 (2020) 1-40
-
arXiv:1603.01171 [pdf, ps, other]
3-dimensional defect TQFTs and their tricategories
Abstract: We initiate a systematic study of 3-dimensional `defect' topological quantum field theories, that we introduce as symmetric monoidal functors on stratified and decorated bordisms. For every such functor we construct a tricategory with duals, which is the natural categorification of a pivotal bicategory. This captures the algebraic essence of defect TQFTs, and it gives precise meaning to the fusion… ▽ More
Submitted 1 December, 2017; v1 submitted 3 March, 2016; originally announced March 2016.
Comments: 60 pages; v2: improved exposition
Journal ref: Advances in Mathematics 364 (2020), 107024
-
arXiv:1412.6968 [pdf, ps, other]
A trace for bimodule categories
Abstract: We study a 2-functor that assigns to a bimodule category over a finite k-linear tensor category a k-linear abelian category. This 2-functor can be regarded as a category-valued trace for 1-morphisms in the tricategory of finite tensor categories. It is defined by a universal property that is a categorification of Hochschild homology of bimodules over an algebra. We present several equivalent reali… ▽ More
Submitted 19 January, 2016; v1 submitted 22 December, 2014; originally announced December 2014.
Comments: 49 pages; typos corrected
Report number: MPI/14-65, ZMP-HH/14-24
-
arXiv:1405.5667 [pdf, ps, other]
Pivotal tricategories and a categorification of inner-product modules
Abstract: This article investigates duals for bimodule categories over finite tensor categories. We show that finite bimodule categories form a tricategory and discuss the dualities in this tricategory using inner homs. We consider inner-product bimodule categories over pivotal tensor categories with additional structure on the inner homs. Inner-product module categories are related to Frobenius algebras an… ▽ More
Submitted 22 May, 2014; originally announced May 2014.
Comments: 64 pages, comments are welcome
-
Gray categories with duals and their diagrams
Abstract: The geometric and algebraic properties of Gray categories with duals are investigated by means of a diagrammatic calculus. The diagrams are three-dimensional stratifications of a cube, with regions, surfaces, lines and vertices labelled by Gray category data. These can be viewed as a generalisation of ribbon diagrams. The Gray categories present two types of duals, which are extended to functors o… ▽ More
Submitted 22 September, 2024; v1 submitted 2 November, 2012; originally announced November 2012.
Comments: Authors' accepted manuscript including corrections. 144 pages, 57 figures; contains sections 1-6 of v3, with improved presentation. Sections 7,8 of v3 removed to appear elsewhere
MSC Class: 18A10; 18D10
Journal ref: Advances in Mathematics, Volume 450, 2024, 109740
-
arXiv:1206.5716 [pdf, ps, other]
Traces on Module Categories over Fusion Categories
Abstract: We consider traces on module categories over pivotal fusion categories which are compatible with the module structure. It is shown that such module traces characterise the Morita classes of special haploid symmetric Frobenius algebras. Moreover, they are unique up to a scale factor and they equip the dual category with a pivotal structure. This implies that for each pivotal structure on a fusion c… ▽ More
Submitted 8 May, 2018; v1 submitted 25 June, 2012; originally announced June 2012.
Comments: 40 pages, update on the questions raised in Sec. 3
MSC Class: 18Dxx; 16D90
Journal ref: Journal of Algebra 379 (2013), page 382-423
-
arXiv:1004.0875 [pdf, ps, other]
Classification of Invariant Star Products up to Equivariant Morita Equivalence on Symplectic Manifolds
Abstract: In this paper we investigate equivariant Morita theory for algebras with momentum maps and compute the equivariant Picard groupoid in terms of the Picard groupoid explicitly. We consider three types of Morita theory: ring-theoretic equivalence, *-equivalence and strong equivalence. Then we apply these general considerations to star product algebras over symplectic manifolds with a Lie algebra symm… ▽ More
Submitted 22 April, 2010; v1 submitted 6 April, 2010; originally announced April 2010.
Comments: 28 pages. Minor update, fixed typos.
MSC Class: 53D55; 16D90