A unitary fusion category is called $$\mathbb{Z}/2\mathbb{Z}$$-quadratic if it has a $$\mathbb{Z}/2\mathbb{Z}$$ group of invertible objects and one other orbit of simple objects under the action of this group. We give a complete classification of $$\mathbb{Z}/2\mathbb{Z}$$-quadratic unitary fusion categories. The main tools for this classification are skein theory, a generalization of Ostrik's results on formal codegrees to analyze the induction of the group elements to the center, and a computation similar to Larson's rank-finiteness bound for $$\mathbb{Z}/3\mathbb{Z}$$-near group pseudounitary fusion categories. This last computation is contained in an appendix coauthored with attendees from the 2014 AMS MRC on Mathematics of Quantum Phases of Matter and Quantum Information.
more »
« less
Parameters in Categorified Quantum Groups
In this note we give explicit isomorphisms of 2-categories between various versions of the categorified quantum group associated to a simply-laced Kac-Moody algebra. These isomorphisms are convenient when working with the categorified quantum group. They make it possible to translate results from the gln variant of the 2-category to the sln variant and transfer results between various conventions in the literature. We also extend isomorphisms of finite type KLR algebras for different choices of parameters to the level of 2-categories.
more »
« less
- Award ID(s):
- 1664240
- PAR ID:
- 10158094
- Date Published:
- Journal Name:
- Algebras and Representation Theory
- ISSN:
- 1386-923X
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Abstract We study the simplicial coalgebra of chains on a simplicial set with respect to three notions of weak equivalence. To this end, we construct three model structures on the category of reduced simplicial sets for any commutative ring $$R$$. The weak equivalences are given by: (1) an $$R$$-linearized version of categorical equivalences, (2) maps inducing an isomorphism on fundamental groups and an $$R$$-homology equivalence between universal covers, and (3) $$R$$-homology equivalences. Analogously, for any field $${\mathbb{F}}$$, we construct three model structures on the category of connected simplicial cocommutative $${\mathbb{F}}$$-coalgebras. The weak equivalences in this context are (1′) maps inducing a quasi-isomorphism of dg algebras after applying the cobar functor, (2′) maps inducing a quasi-isomorphism of dg algebras after applying a localized version of the cobar functor, and (3′) quasi-isomorphisms. Building on a previous work of Goerss in the context of (3)–(3′), we prove that, when $${\mathbb{F}}$$ is algebraically closed, the simplicial $${\mathbb{F}}$$-coalgebra of chains defines a homotopically full and faithful left Quillen functor for each one of these pairs of model categories. More generally, when $${\mathbb{F}}$$ is a perfect field, we compare the three pairs of model categories in terms of suitable notions of homotopy fixed points with respect to the absolute Galois group of $${\mathbb{F}}$$.more » « less
-
Abstract Let $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ be operator algebras with $$c_{0}$$-isomorphic diagonals and let $${{\mathcal{K}}}$$ denote the compact operators. We show that if $${{\mathcal{A}}}\otimes{{\mathcal{K}}}$$ and $${{\mathcal{B}}}\otimes{{\mathcal{K}}}$$ are isometrically isomorphic, then $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ are isometrically isomorphic. If the algebras $${{\mathcal{A}}}$$ and $${{\mathcal{B}}}$$ satisfy an extra analyticity condition a similar result holds with $${{\mathcal{K}}}$$ being replaced by any operator algebra containing the compact operators. For nonselfadjoint graph algebras this implies that the graph is a complete invariant for various types of isomorphisms, including stable isomorphisms, thus strengthening a recent result of Dor-On, Eilers, and Geffen. Similar results are proven for algebras whose diagonals satisfy cancellation and have $$K_{0}$$-groups isomorphic to $${{\mathbb{Z}}}$$. This has implications in the study of stable isomorphisms between various semicrossed products.more » « less
-
null (Ed.)We study the question of dualizability in higher Morita categories of locally presentable tensor categories and braided tensor categories. Our main results are that the 3-category of rigid tensor categories with enough compact projectives is 2-dualizable, that the 4-category of rigid braided tensor categories with enough compact projectives is 3-dualizable, and that (in characteristic zero) the 4-category of braided multi-fusion categories is 4-dualizable. Via the cobordism hypothesis, this produces respectively two-, three- and four-dimensional framed local topological field theories. In particular, we produce a framed three-dimensional local topological field theory attached to the category of representations of a quantum group at any value of $$q$$ .more » « less
-
null (Ed.)We prove a rank-finiteness conjecture for modular categories: up to equivalence, there are only finitely many modular categories of any fixed rank. Our technical advance is a generalization of the Cauchy theorem in group theory to the context of spherical fusion categories. For a modular category C \mathcal {C} with N = ord ( T ) N= \textrm {ord}(T) , the order of the modular T T -matrix, the Cauchy theorem says that the set of primes dividing the global quantum dimension D 2 D^2 in the Dedekind domain Z [ e 2 π i N ] \mathbb {Z}[e^{\frac {2\pi i}{N}}] is identical to that of N N .more » « less
An official website of the United States government

