# Q-system completion for C⁎ 2-categories

@article{Chen2021QsystemCF,
title={Q-system completion for C⁎ 2-categories},
author={Quanlin Chen and Roberto Hern{\'a}ndez Palomares and Corey Jones and David Penneys},
journal={Journal of Functional Analysis},
year={2021}
}
• Published 25 May 2021
• Mathematics
• Journal of Functional Analysis
• Mathematics
• 2021
Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hernández Palomares and C. Jones, the authors defined a notion of
• Mathematics
• 2022
We introduce a K-theoretic invariant for actions of unitary fusion categories on unital C∗-algebras. We show that for inductive limits of finite dimensional actions of fusion categories on
In the framework of Connes fusion, we discuss the relationship between the (non-necessarily local or irreducible) finite index extensions B of an irreducible local Möbius covariant net A and the C
• Mathematics
• 2022
. We prove that a haploid associative algebra in a C ∗ -tensor category C is equivalent to a Q-system (a special C ∗ -Frobenius algebra) in C if and only if it is rigid. This allows us to prove the
• Mathematics
• 2022
. In this paper, we extend Ocneanu’s theory of connections on graphs to deﬁne a 2-category whose 0-cells are tracial Bratteli diagrams, and whose 1-cells are generalizations of unitary connections.
• Mathematics
• 2022
. Braided-enriched monoidal categories were introduced in work of Morrison-Penneys, where they were characterized using braided central functors. Recent work of Kong-Yuan-Zhang-Zheng and Dell
Let N ⊂ M be a unital inclusion of arbitrary von Neumann algebras. We give a 2- C ∗ -categorical/planar algebraic description of normal faithful conditional expectations E : M → N ⊂ M with ﬁnite
• Mathematics
• 2021
Popa introduced the tensor category χ̃(M) of approximately inner, centrally trivial bimodules of a II1 factor M , generalizing Connes’ χ(M). We extend Popa’s notions to define the W-tensor category
We prove a finite-dimensional covariant Stinespring theorem for compact quantum groups. Let G be a compact quantum group, and let [Formula: see text] be the rigid C*-tensor category of
• Mathematics
• 2023
In our previous article [arXiv:1607.06041], we established an equivalence between pointed pivotal module tensor categories and anchored planar algebras. This article introduces the notion of

## References

SHOWING 1-10 OF 107 REFERENCES

• Mathematics
• 2021
Q-systems are unitary versions of Frobenius algebra objects which appeared in the theory of subfactors. In recent joint work with R. Hernández Palomares and C. Jones, the authors defined a notion of
• Mathematics
Topological Phases of Matter and Quantum Computation
• 2020
We show that given a rigid C*-tensor category, there is an equivalence of categories between normalized irreducible Q-systems, also known as connected unitary Frobenius algebra objects, and compact
It is shown that all 2-quasitraces on a unital exact C-algebra are traces. As consequences one gets: (1) Every stably finite exact unital Calgebra has a tracial state, and (2) if an AW -factor of
• Mathematics
• 2020
Given an arbitrary countably generated rigid C*-tensor category, we construct a fully-faithful bi-involutive strong monoidal functor onto a subcategory of finitely generated projective bimodules over
• Mathematics
• 1988
We study in detail the structure of C*-crossed products of the form A> G, where A is a continuous-trace algebra and a is an action of a locally compact abelian group G on A, especially in the case
• Mathematics
• 2021
We study the H invariant of a group homomorphism φ : G → Out(A), where A is a classifiable C∗-algebra. We show the existence of an obstruction to possible H invariants arising from considering the
• Mathematics
• 2017
We give a dynamical characterization of categorical Morita equivalence between compact quantum groups. More precisely, by a Tannaka-Krein type duality, a unital C*-algebra endowed with commuting
• Mathematics
• 1994
Suppose that (G, T) is a second countable locally compact trans- formation group given by a homomorphism l : G → Homeo(T), and that A is a separable continuous-trace C ∗ -algebra with spectrum T. An
• Mathematics
Communications in Mathematical Physics
• 2018
We study the monoidal dagger category of Hilbert C*-modules over a commutative C*-algebra from the perspective of categorical quantum mechanics. The dual objects are the finitely presented projective
This paper is an investigation of right modules over a B*algebra B which posses a B-valued "inner product" respecting the module action. Elementary properties of these objects, including their