Related papers: Frobenius-Schur theorem for $C^*$-categories

We suggest a new generalization of Pontryagin duality from the category of Abelian locally compact groups to a category which includes all Moore groups, i.e. groups whose irreducible representations are finite-dimensional. Objects in this…

We generalize the Fej\'er-Riesz operator systems defined for the circle group by Connes and van Suijlekom to the setting of compact matrix quantum groups and their ergodic actions on C*-algebras. These truncations form filtrations of the…

In this series of papers, we develop the theory of a class of locally compact quantum groupoids, which is motivated by the purely algebraic notion of weak multiplier Hopf algebras. In this Part I, we provide motivation and formulate the…

Using the classical universal coefficient theorem of Rosenberg-Schochet, we prove a simple classification of all localizing subcategories of the Bootstrap category of separable complex C*-algebras. Namely, they are in bijective…

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…

We apply categorical machinery to the problem of defining cyclic cohomology with coefficients in two particular cases, namely quasi-Hopf algebras and Hopf algebroids. In the case of the former, no definition was thus far available in the…

Previously we have shown that the topos approach to quantum theory of Doering and Isham can be generalised to a class of categories typically studied within the monoidal approach to quantum theory of Abramsky and Coecke. In the monoidal…

We give an analogue of the classical exponential map on Lie groups for Hopf $*$-algebras with differential calculus. The major difference with the classical case is the interpretation of the value of the exponential map, classically an…

We introduce $C^*$-pseudo-multiplicative unitaries and (concrete) Hopf $C^*$-bimodules, which are $C^*$-algebraic variants of the pseudo-multiplicative unitaries on Hilbert spaces and the Hopf-von Neumann-bimodules studied by Enock,…

For a certain kind of tensor functor $F: \mathcal{C} \to \mathcal{D}$, we define the relative modular object $\chi_F \in \mathcal{D}$ as the "difference" between a left adjoint and a right adjoint of $F$. Our main result claims that, if…

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…

We investigate what would be a correct definition of categorical completeness for C*-categories and propose several variants of such a definition that make the category of Hilbert modules over a C*-algebra a free (co)completion. We extend…

In the $C^*$-algebraic setting the spectrum of any group-like element of a compact quantum group is shown to be a closed subgroup of the one-dimensional torus. A number of consequences of this fact are then illustrated, along with a loose…

Frobenius' Theorem states that the algebra of quaternions $\mathbb H$ is, besides the fields of real and complex numbers, the only finite-dimensional real division algebra. We first give a short elementary proof of this theorem, then…

A classical result of Sherman says that if the space of self-adjoint elements in a $C^*$-algebra $\mathcal{A}$ is a lattice with respect to its canonical order, then $\mathcal{A}$ is commutative. We give a new proof of this theorem which…

Hopf algebroids are generalization of Hopf algebras over non-commutative base rings. It consists of a left- and a right-bialgebroid structure related by a map called the antipode. However, if the base ring of a Hopf algebroid is commutative…

Let $B\rightarrow A$ be a homomorphism of Hopf algebras and let $C$ be an algebra. We consider the induction from $B$ to $A$ of $C$ in two cases: when $C$ is a $B$-interior algebra and when $C$ is a $B$-module algebra. Our main results…

In this paper we consider some properties of semisimple Hopf algebras of dimension pq where p and q are distinct primes. These properties are useful for classification of such Hopf algebras. In particular, we show that for such a Hopf…

By weakening the counit and antipode axioms of a C*-Hopf algebra and allowing for the coassociative coproduct to be non-unital we obtain a quantum group, that we call a weak C*-Hopf algebra, which is sufficiently general to describe the…

In this work, the notion of partial representation of a Hopf algebra is introduced and its relationship with partial actions of Hopf algebras is explored. Given a Hopf algebra $H$, one can associate it to a Hopf algebroid $H_{par}$ which…