Showing 1–14 of 14 results for author: Décoppet, T D

Extension Theory and Fermionic Strongly Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail. We study group graded extensions of fusion 2-categories. As an application, we obtain a homotopy theoretic classification of fermionic strongly fusion 2-categories. We examine various examples in detail. △ Less

Submitted 5 March, 2024; originally announced March 2024.

Comments: Previously part of arXiv:2311.16827v1

MSC Class: 18M20; 18N25

On the Dualizability of Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple tensor 2-categories, separable bimodule 2-categories, and their morphisms. Categorifying a result of arXiv:1312.7188, we prove that separable compact semisimple te… ▽ More Over an arbitrary field, we prove that the relative 2-Deligne tensor product of two separable module 2-categories over a compact semisimple tensor 2-category exists. This allows us to consider the Morita 4-category of compact semisimple tensor 2-categories, separable bimodule 2-categories, and their morphisms. Categorifying a result of arXiv:1312.7188, we prove that separable compact semisimple tensor 2-categories are fully dualizable objects therein. In particular, it then follows from the main theorem of arXiv:2211.04917 that, over an algebraically closed field of characteristic zero, every fusion 2-category is a fully dualizable object of the above Morita 4-category. We explain how this can be extended to any field of characteristic zero. Finally, we discuss the field theoretic interpretation of our results. △ Less

Submitted 29 January, 2024; v1 submitted 28 November, 2023; originally announced November 2023.

Comments: Comment welcome!

MSC Class: 16D90; 18M20; 18N25; 55U30

Local Modules in Braided Monoidal 2-Categories

Authors: Thibault D. Décoppet, Hao Xu

Abstract: Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go… ▽ More Given an algebra in a monoidal 2-category, one can construct a 2-category of right modules. Given a braided algebra in a braided monoidal 2-category, it is possible to refine the notion of right module to that of a local module. Under mild assumptions, we prove that the 2-category of local modules admits a braided monoidal structure. In addition, if the braided monoidal 2-category has duals, we go on to show that the 2-category of local modules also has duals. Furthermore, if it is a braided fusion 2-category, we establish that the 2-category of local modules is a braided multifusion 2-category. We examine various examples. For instance, working within the 2-category of 2-vector spaces, we find that the notion of local module recovers that of braided module 1-category. Finally, we examine the concept of a Lagrangian algebra, that is a braided algebra with trivial 2-category of local modules. In particular, we completely describe Lagrangian algebras in the Drinfeld centers of fusion 2-categories, and we discuss how this result is related to the classifications of topological boundaries of (3+1)d topological phases of matter. △ Less

Submitted 6 July, 2023; originally announced July 2023.

Comments: Comments welcome!

MSC Class: 18M15; 18M20; 18N10

Journal ref: J. Math. Phys. 65, 061702 (2024)

Fiber 2-Functors and Tambara-Yamagami Fusion 2-Categories

Authors: Thibault D. Décoppet, Matthew Yu

Abstract: We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is… ▽ More We introduce group-theoretical fusion 2-categories, a strong categorification of the notion of a group-theoretical fusion 1-category. Physically speaking, such fusion 2-categories arise by gauging subgroups of a global symmetry. We show that group-theoretical fusion 2-categories are completely characterized by the property that the braided fusion 1-category of endomorphisms of the monoidal unit is Tannakian. Then, we describe the underlying finite semisimple 2-category of group-theoretical fusion 2-categories, and, more generally, of certain 2-categories of bimodules. We also partially describe the fusion rules of group-theoretical fusion 2-categories, and investigate the group gradings of such fusion 2-categories. Using our previous results, we classify fusion 2-categories admitting a fiber 2-functor. Next, we study fusion 2-categories with a Tambara-Yamagami defect, that is $\mathbb{Z}/2$-graded fusion 2-categories whose non-trivially graded factor is $\mathbf{2Vect}$. We classify these fusion 2-categories, and examine more closely the more restrictive notion of Tambara-Yamagami fusion 2-categories. Throughout, we give many examples to illustrate our various results. △ Less

Submitted 13 June, 2023; originally announced June 2023.

MSC Class: 16D90; 18M20; 18M25; 18N10

Gauging Noninvertible Defects: A 2-Categorical Perspective

Authors: Thibault D. Décoppet, Matthew Yu

Abstract: We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of monoidality, we prove theorems about the structure of the 2-category obtained by condensing a suitable algebra object. We give examples where the resulting categ… ▽ More We generalize the notion of an anomaly for a symmetry to a noninvertible symmetry enacted by surface operators using the framework of condensation in 2-categories. Given a multifusion 2-category, potentially with some additional levels of monoidality, we prove theorems about the structure of the 2-category obtained by condensing a suitable algebra object. We give examples where the resulting category displays grouplike fusion rules and through a cohomology computation, find the obstruction to condensing further to the vacuum theory. △ Less

Submitted 25 November, 2022; v1 submitted 15 November, 2022; originally announced November 2022.

Comments: 26 pages, v2 a new theorem about symmetric fusion 2-categories is added

MSC Class: 18M15; 18M20; 18N10

Journal ref: Lett. Math. Phys. 113, 36 (2023)

Drinfeld Centers and Morita Equivalence Classes of Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: We prove that the Drinfeld center of a fusion 2-category is invariant under Morita equivalence. We go on to show that the concept of Morita equivalence between connected fusion 2-categories recovers exactly the notion of Witt equivalence between braided fusion 1-categories. A strongly fusion 2-category is a fusion 2-category whose braided fusion 1-category of endomorphisms of the monoidal unit is… ▽ More We prove that the Drinfeld center of a fusion 2-category is invariant under Morita equivalence. We go on to show that the concept of Morita equivalence between connected fusion 2-categories recovers exactly the notion of Witt equivalence between braided fusion 1-categories. A strongly fusion 2-category is a fusion 2-category whose braided fusion 1-category of endomorphisms of the monoidal unit is $\mathbf{Vect}$ or $\mathbf{SVect}$. We prove that every fusion 2-category is Morita equivalent to the 2-Deligne tensor product of a strongly fusion 2-category and an invertible fusion 2-category. We proceed to show that every fusion 2-category is Morita equivalent to a connected fusion 2-category. As a consequence, we find that every rigid algebra in a fusion 2-category is separable. This implies in particular that every fusion 2-category is separable. Conjecturally, separability ensures that a fusion 2-category is 4-dualizable. We define the dimension of a fusion 2-category, and prove that it is always non-zero. Finally, we show that the Drinfeld center of any fusion 2-category is a finite semisimple 2-category. △ Less

Submitted 21 June, 2023; v1 submitted 9 November, 2022; originally announced November 2022.

Comments: Various improvements and corrections throughout

MSC Class: 16D90; 18M15; 18M20; 18N25

The Morita Theory of Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita 3-category of separable algebras in a fusion 2-category. Then, we go on to explain how module 2-categories form a 3-category. After that, we define separable module… ▽ More We develop the Morita theory of fusion 2-categories. In order to do so, we begin by proving that the relative tensor product of modules over a separable algebra in a fusion 2-category exists. We use this result to construct the Morita 3-category of separable algebras in a fusion 2-category. Then, we go on to explain how module 2-categories form a 3-category. After that, we define separable module 2-categories over a fusion 2-category, and prove that the Morita 3-category of separable algebras is equivalent to the 3-category of separable module 2-categories. As a consequence, we show that the dual tensor 2-category with respect to a separable module 2-category, that is the associated 2-category of module 2-endofunctors, is a multifusion 2-category. Finally, we give three equivalent characterizations of Morita equivalence between fusion 2-categories. △ Less

Submitted 5 June, 2023; v1 submitted 18 August, 2022; originally announced August 2022.

Comments: Minor corrections

MSC Class: 16D90; 18M20; 18N20; 18N25 (Primary); 18M30; 18N10 (Secondary)

Journal ref: Higher Structures 7(1):234-292, 2023

Rigid and Separable Algebras in Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra,… ▽ More Rigid monoidal 1-categories are ubiquitous throughout quantum algebra and low-dimensional topology. We study a generalization of this notion, namely rigid algebras in an arbitrary monoidal 2-category. Examples of rigid algebras include $G$-graded fusion 1-categories, and $G$-crossed fusion 1-categories. We explore the properties of the 2-categories of modules and of bimodules over a rigid algebra, by giving a criterion for the existence of right and left adjoints. Then, we consider separable algebras, which are particularly well-behaved rigid algebras. Specifically, given a fusion 2-category, we prove that the 2-categories of modules and of bimodules over a separable algebra are finite semisimple. Finally, we define the dimension of a connected rigid algebra in a fusion 2-category, and prove that such an algebra is separable if and only if its dimension is non-zero. △ Less

Submitted 14 June, 2023; v1 submitted 13 May, 2022; originally announced May 2022.

Comments: A missing hypothesis was added to the statement of theorem 3.2.4

MSC Class: 18M20; 18N25 (Primary); 18M30; 18N10 (Secondary)

Journal ref: Advances in Mathematics 419 (2023) 108967

The Relative Deligne Tensor Product over Pointed Braided Fusion Categories

Authors: Thibault D. Décoppet

Abstract: We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field. We give a formula for the relative Deligne tensor product of two indecomposable finite semisimple module categories over a pointed braided fusion category over an algebraically closed field. △ Less

Submitted 24 December, 2022; v1 submitted 19 March, 2022; originally announced March 2022.

Comments: Minor corrections

MSC Class: 18M15; 18M20; 18N25 (Primary); 16H05 (Secondary)

Journal ref: J. Algebra 620 (2023) 89-112

Compact Semisimple 2-Categories

Authors: Thibault D. Décoppet

Abstract: Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then, we prove that, over an algebraically closed field or a real closed field, compact semisimple 2-categories are finite. Finally, we explain how a number of key r… ▽ More Working over an arbitrary field, we define compact semisimple 2-categories, and show that every compact semisimple 2-category is equivalent to the 2-category of separable module 1-categories over a finite semisimple tensor 1-category. Then, we prove that, over an algebraically closed field or a real closed field, compact semisimple 2-categories are finite. Finally, we explain how a number of key results in the theory of finite semisimple 2-categories over an algebraically closed field of characteristic zero can be generalized to compact semisimple 2-categories. △ Less

Submitted 26 June, 2022; v1 submitted 17 November, 2021; originally announced November 2021.

Comments: Added references

MSC Class: 18M20; 18N25 (Primary); 16T05; 18M05; 18N10 (Secondary)

Journal ref: Trans. Amer. Math. Soc., 376(12):8309-8336, 2023

Finite Semisimple Module 2-Categories

Authors: Thibault D. Décoppet

Abstract: Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple $\mathfrak{C}$-module 2-category is equivalent to the 2-category of modules over a rigid algebra in $\mathfrak{C}$. Let $\mathfrak{C}$ be a multifusion 2-category. We show that every finite semisimple $\mathfrak{C}$-module 2-category is canonically enriched over $\mathfrak{C}$. Using this enrichment, we prove that every finite semisimple $\mathfrak{C}$-module 2-category is equivalent to the 2-category of modules over a rigid algebra in $\mathfrak{C}$. △ Less

Submitted 5 June, 2023; v1 submitted 23 July, 2021; originally announced July 2021.

Comments: Minor Revision

MSC Class: 16D90; 18M20; 18N10; 18N25 (Primary); 18M30; 18N20 (Secondary)

The 2-Deligne Tensor Product

Authors: Thibault D. Décoppet

Abstract: We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor product. Finally, we prove that the 2-Deligne tensor product of two compact semisimple tensor 2-categories is a compact semisimple tensor 2-category. We prove that the 2-Deligne tensor product of two compact semisimple 2-categories exists. Further, under suitable hypotheses, we explain how to describe the $Hom$-categories, connected components, and simple objects of a 2-Deligne tensor product. Finally, we prove that the 2-Deligne tensor product of two compact semisimple tensor 2-categories is a compact semisimple tensor 2-category. △ Less

Submitted 1 December, 2021; v1 submitted 31 March, 2021; originally announced March 2021.

MSC Class: 18M20; 18N25 (Primary); 18M05; 18N10 (Secondary)

Journal ref: Kyoto J. Math., 64 (1): 1-29, 2024

Weak Fusion 2-Categories

Authors: Thibault D. Décoppet

Abstract: We introduce a weakening of the notion of fusion 2-category given in arXiv:1812.11933. Then, we establish a number of properties of (multi)fusion 2-categories. Finally, we describe the fusion rule of the fusion 2-categories associated to certain pointed braided fusion categories. We introduce a weakening of the notion of fusion 2-category given in arXiv:1812.11933. Then, we establish a number of properties of (multi)fusion 2-categories. Finally, we describe the fusion rule of the fusion 2-categories associated to certain pointed braided fusion categories. △ Less

Submitted 21 December, 2021; v1 submitted 28 March, 2021; originally announced March 2021.

Comments: Minor corrections. previously part of arXiv:2012.15774v1

MSC Class: 18M15; 18M20; 18N10; 18N25 (Primary); 18M05 (Secondary)

Journal ref: Cahiers de Topologie et Géométrie Différentielle Catégoriques Volume LXIII (2022) Issue 1

Multifusion Categories and Finite Semisimple 2-Categories

Authors: Thibault D. Décoppet

Abstract: We give a 3-universal property for the Karoubi envelope of a 2-category. Using this, we show that the 3-categories of finite semisimple 2-categories (as introduced in arXiv:1812.11933) and of multifusion categories are equivalent. We give a 3-universal property for the Karoubi envelope of a 2-category. Using this, we show that the 3-categories of finite semisimple 2-categories (as introduced in arXiv:1812.11933) and of multifusion categories are equivalent. △ Less

Submitted 20 December, 2021; v1 submitted 31 December, 2020; originally announced December 2020.

Comments: Minor corrections

MSC Class: 18M20; 18N10 (Primary); 18N25 (Secondary)

Journal ref: J. Pure Appl. Algebra 226 (2022) 107029