Realization of minimal C*-dynamical systems in terms of Cuntz-Pimsner algebras

In the present paper we study tensor C*-categories with non-simple unit realised as C*-dynamical systems (F,G,\beta) with a compact (non-Abelian) group G and fixed point algebra A := F^G. We consider C*-dynamical systems with minimal relative commutant of A in F, i.e. A' \cap F = Z, where Z is the center of A which we assume to be nontrivial. We give first several constructions of minimal C*-dynamical systems in terms of a single Cuntz-Pimsner algebra associated to a suitable Z-bimodule. These examples are labelled by the action of a discrete Abelian group (which we call the chain group) on Z and by the choice of a suitable class of finite dimensional representations of G. Second, we present a construction of a minimal C*-dynamical system with nontrivial Z that also encodes the representation category of G. In this case the C*-algebra F is generated by a family of Cuntz-Pimsner algebras, where the product of the elements in different algebras is twisted by the chain group action. We apply these constructions to the group G = SU(N).Comment: 34 pages; References updated and typos corrected. To appear in International Journal of Mathematic

Duality of compact groups and Hilbert C*-systems for C*-algebras with a nontrivial center

In the present paper we prove a duality theory for compact groups in the case when the C*-algebra A, the fixed point algebra of the corresponding Hilbert C*-system (F,G), has a nontrivial center Z and the relative commutant satisfies the minimality condition A.'\cap F = Z as well as a technical condition called regularity. The abstract characterization of the mentioned Hilbert C*-system is expressed by means of an inclusion of C*-categories T_\c < T, where T_\c{i}s a suitable DR-category and T a full subcategory of the category of endomorphisms of A. Both categories have the same objects and the arrows of T can be generated from the arrows of T_\c{a}nd the center Z. A crucial new element that appears in the present analysis is an abelian group C(G), which we call the chain group of G, and that can be constructed from certain equivalence relation defined on G^, the dual object of G. The chain group, which is isomorphic to the character group of the center of G, determines the action of irreducible endomorphisms of A when restricted to Z. Moreover, C(G) encodes the possibility of defining a symmetry $\epsilon$ also for the larger category T of the previous inclusion.Comment: Final version appeared in Int. J. Math. 15 (2004) 759-812. Minor changes w.r.t. to the previous versio

Amenability and paradoxicality in semigroups and C*-algebras

We analyze the dichotomy amenable/paradoxical in the context of (discrete, countable, unital) semigroups and corresponding semigroup rings. We consider also F{\o}lner's type characterizations of amenability and give an example of a semigroup whose semigroup ring is algebraically amenable but has no F{\o}lner sequence. In the context of inverse semigroups $S$ we give a characterization of invariant measures on $S$ (in the sense of Day) in terms of two notions: $domain$ $measurability$ and $localization$. Given a unital representation of $S$ in terms of partial bijections on some set $X$ we define a natural generalization of the uniform Roe algebra of a group, which we denote by $\mathcal{R}_X$. We show that the following notions are then equivalent: (1) $X$ is domain measurable; (2) $X$ is not paradoxical; (3) $X$ satisfies the domain F{\o}lner condition; (4) there is an algebraically amenable dense *-subalgebra of $\mathcal{R}_X$; (5) $\mathcal{R}_X$ has an amenable trace; (6) $\mathcal{R}_X$ is not properly infinite and (7) $[0]\not=[1]$ in the $K_0$-group of $\mathcal{R}_X$. We also show that any tracial state on $\mathcal{R}_X$ is amenable. Moreover, taking into account the localization condition, we give several C*-algebraic characterizations of the amenability of $X$. Finally, we show that for a certain class of inverse semigroups, the quasidiagonality of $C_r^*\left(X\right)$ implies the amenability of $X$. The converse implication is false.Comment: 29 pages, minor corrections. Mistake in the statement of Proposition 4.19 from previous version corrected. Final version to appear in Journal of Functional Analysi

Conformal covariance of massless free nets

In the present paper we review in a fibre bundle context the covariant and massless canonical representations of the Poincare' group as well as certain unitary representations of the conformal group (in 4 dimensions). We give a simplified proof of the well-known fact that massless canonical representations with discrete helicity extend to unitary and irreducible representations of the conformal group mentioned before. Further we give a simple new proof that massless free nets for any helicity value are covariant under the conformal group. Free nets are the result of a direct (i.e. independent of any explicit use of quantum fields) and natural way of constructing nets of abstract C*-algebras indexed by open and bounded regions in Minkowski space that satisfy standard axioms of local quantum physics. We also give a group theoretical interpretation of the embedding {\got I} that completely characterizes the free net: it reduces the (algebraically) reducible covariant representation in terms of the unitary canonical ones. Finally, as a consequence of the conformal covariance we also mention for these models some of the expected algebraic properties that are a direct consequence of the conformal covariance (essential duality, PCT--symmetry etc.).Comment: 31 pages, Latex2

A family of examples with quantum constraints

12 pages, no figures.-- MSC1991 codes: 81T05, 47C15, 46L30, 20C35.MR#: MR1453762 (99e:81129)Zbl#: Zbl 0890.46049In Rep. Math. Phys. 35 (1995), 101, the authors describe a method for constructing directly (i.e. without using explicitly any field operator nor any concrete representation of the C*-algebra) nets of local C*-algebras associated to massless models with arbitrary helicity and that satisfy Haag–Kastler's axioms. In order to specify the sesquilinear and the symplectic form of the CAR- and CCR-algebras, respectively, a certain operator-valued function β(·) is introduced. This function is shown to be very useful in proving the covariance and causality of the net and it also codes the degenerate character of massless models with respect to massive models.It is the intention of this Letter to point out that the massless bosonic examples with helicity bigger than 0 fit completely into the general theory that Grundling and Hurst used to describe systems with gauge degeneracy.Publicad