English
Related papers

Related papers: Q-system Completion of 2-functors

200 papers

We establish the dual equivalence of the category of (potentially nonunital) operator systems and the category of pointed compact nc (noncommutative) convex sets, extending a result of Davidson and the first author. We then apply this dual…

Operator Algebras · Mathematics 2021-03-24 Matthew Kennedy , Se-Jin Kim , Nicholas Manor

A 2-group is a `categorified' version of a group, in which the underlying set G has been replaced by a category and the multiplication map m: G x G -> G has been replaced by a functor. A number of precise definitions of this notion have…

Category Theory · Mathematics 2007-05-23 Aaron D. Lauda

S. L. Woronowicz's theory of introducing C*-algebras generated by unbounded elements is applied to q-normal operators satisfying the defining relation of the quantum complex plane. The unique non-degenerate C*-algebra of bounded operators…

Quantum Algebra · Mathematics 2018-02-20 Ismael Cohen , Elmar Wagner

In this paper, we show that for unital, separable $C^*$-algebras of stable rank one and real rank zero, the unitary Cuntz semigroup functor and the functor ${\rm K}_*$ are naturallly equivalent. Then we introduce a refinement of the unitary…

Operator Algebras · Mathematics 2022-07-26 Qingnan An , Zhichao Liu

This paper brings together C*-algebras and algebraic topology in terms of viewing a C*-algebraic invariant in terms of a topological spectrum. E-theory, E(A,B), is a bivariant functor in the sense that is a cohomology functor in the first…

Operator Algebras · Mathematics 2017-08-11 Sarah L. Browne

We define two finite q-analogs of certain multiple harmonic series with an arbitrary number of free parameters, and prove identities for these q-analogs, expressing them in terms of multiply nested sums involving the Gaussian binomial…

Combinatorics · Mathematics 2007-06-13 David M. Bradley

In the setting of C*-categories, we provide a definition of "spectrum" of a commutative full C*-category as a one-dimensional unital saturated Fell bundle over a suitable groupoid (equivalence relation) and prove a categorical Gelfand…

Operator Algebras · Mathematics 2011-12-30 Paolo Bertozzini , Roberto Conti , Wicharn Lewkeeratiyutkul

We identify the type of $\mathbb{C}[[\hbar]]$-linear structure inherent in the $\infty$-categories which arise in the theory of Deformation Quantization modules. Using this structure, we show that the $\infty$-category of quasicoherent…

Algebraic Geometry · Mathematics 2020-04-22 David Gepner , Francois Petit

We prove that the 2D Ising model is complete in the sense that the partition function of any classical q-state spin model (on an arbitrary graph) can be expressed as a special instance of the partition function of a 2D Ising model with…

Quantum Physics · Physics 2008-03-18 M. Van den Nest , W. Dür , H. J. Briegel

Let $R$ be a commutative unital ring. We construct a category $\mathcal{C}_R$ of fractions $X/G$, where $G$ is a finite group and $X$ is a finite $G$-set, and with morphisms given by $R$-linear combinations of spans of bisets. This category…

Category Theory · Mathematics 2019-10-02 Jesús Ibarra , Alberto G. Raggi-Cárdenas , Nadia Romero

We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…

Quantum Physics · Physics 2012-09-24 Jamie Vicary

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…

Quantum Algebra · Mathematics 2024-12-13 Thibault D. Décoppet

Given a complex manifold endowed with a $\mathbb{C}^\times$-action and a DQ-algebra equipped with a compatible holomorphic Frobenius action (F-action), we prove that if the $\mathbb{C}^\times$-action is free and proper, then the category of…

Algebraic Geometry · Mathematics 2019-07-12 Francois Petit

Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is…

Operator Algebras · Mathematics 2007-05-23 David J. Benson , Alex Kumjian , N. Christopher Phillips

We equip the categorified quantum group attached to a KLR algebra and an arbitrary choice of scalars with duality functor which is cyclic, that is, such that f=f^** for all 2-morphisms f. This is accomplished via a modified diagrammatic…

Quantum Algebra · Mathematics 2017-11-15 Anna Beliakova , Kazuo Habiro , Aaron D. Lauda , Ben Webster

In the paper, we give two new characterizations of separable inner quasidiagonal C*-algebras. Base on these characterizations, we show that a unital full free product of two inner quasidiagonal C*-algebras is inner quasidiagonal again. As…

Operator Algebras · Mathematics 2015-04-21 Qihui Li

The tensor functor called $\alpha$-induction produces a new unitary fusion category from a Frobenius algebra, or a $Q$-system, in a braided unitary fusion category. A bi-unitary connection, which is a finite family of complex number subject…

Quantum Algebra · Mathematics 2025-08-01 Yasuyuki Kawahigashi

In this paper we give a complete classification of unitary fusion categories $\otimes$-generated by an object of dimension $\frac{1 + \sqrt{5}}{2}$. We show that all such categories arise as certain wreath products of either the Fibonacci…

Quantum Algebra · Mathematics 2020-03-10 Cain Edie-Michell

We analyze a class of quantum operations based on a geometrical representation of $d-$level quantum system (or qudit for short). A sufficient and necessary condition of complete positivity, expressed in terms of the quantum Fourier…

Quantum Physics · Physics 2009-11-10 Runyao Duan , Zhengfeng Ji , Yuan Feng , Mingsheng Ying

We derive completeness criteria for sequences of functions of the form $% f(x\lambda_{n})$, where $\lambda_{n}$ is the $nth$ zero of a suitably chosen entire function. Using these criteria, we construct systems of nonorthogonal…

Classical Analysis and ODEs · Mathematics 2009-11-11 Luis Daniel Abreu