9512.net

ÌðÃÎÎÄ¿â

ÌðÃÎÎÄ¿â

µ±Ç°Î»ÖÃ£ºÊ×Ò³ >> >> # Bundles of C-categories and duality

arXiv:math/0510594v3 [math.CT] 16 Jun 2008

Bundles of C*-categories

Ezio Vasselli Dipartimento di Matematica University of Rome ¡±La Sapienza¡± P.le Aldo Moro, 2 - 00185 Roma -

Italy vasselli@mat.uniroma2.it June 16, 2008

Abstract We introduce the notions of multiplier C*-category and continuous bundle of C*-categories, as the categorical analogues of the corresponding C*-algebraic notions. Every symmetric tensor C*-category with conjugates is a continuous bundle of C*-categories, with base space the spectrum of the C*-algebra associated with the identity object. We classify tensor C*-categories with ?bre the dual of a compact Lie group in terms of suitable principal bundles. This also provides a classi?cation for certain C*-algebra bundles, with ?bres ?xed-point algebras of Od . Keywords: Tensor C*-category; Continuous ?eld; Principal bundle; Cuntz algebra.

1

Introduction.

C*-categories have been studied in recent years from several points of view, and with several motivations, as duality for (quantum) groups ([12, 35, 10]), quantum ?eld theory ([14, 5]), K -theory ([24]). In the present work, we provide a notion of bundle in the categorical setting, and then show that every C*-category endowed with a tensor structure is a bundle in the above-mentioned sense. This allows us to provide classi?cation results by mean of cohomological methods, and then to approach a duality theory for group bundles and groupoids. A tensor category is described by a collection of objects ¦Ñ , ¦Ò , . . . , together with vector spaces denoted by (¦Ñ, ¦Ò ), . . . , called the spaces of arrows. Arrows t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ò, ¦Ó ) can be composed to obtain an element t¡ä ? t ¡Ê (¦Ñ, ¦Ó ), so that in particular every (¦Ñ, ¦Ñ) is a ring. Moreover, the objects can be multiplied, via the tensor product ¦Ñ, ¦Ò ¡ú ¦Ñ ? ¦Ò , and the existence of an identity, denoted by ¦É , is postulated in such a way that ¦É ? ¦Ñ = ¦Ñ ? ¦É = ¦Ñ for every object ¦Ñ . The aim of duality theory is to characterize tensor categories in terms of duals, i.e. categories with objects vector spaces and arrows linear maps equivariant w.r.t. a (possibly unique) dual object. In correspondence with the additional structure carried by the given tensor category, the dual object turns out to have di?erent natures; for example, we may get a compact group ([12]), an algebraic group ([7]), a compact quantum group ([35]), a multiplicative unitary ([10]), just to mention some of the known results. The above-considered cases are characterized by di?erent properties of the tensor structure: the crucial ones are the symmetry for [12, 7] and the braiding for [35, 10], which describe the commutativity of the tensor product. On the other side, a point which is common to all the cases is the following: the identity object is simple, in the sense that the ring (¦É, ¦É) is isomorphic to the ?eld of scalars. 1

In the present paper, we proceed with the program started in [30] to construct a duality theory for the case in which the given tensor category is symmetric and with non-simple identity. Our setting is the one of tensor C*-categories, considered in [12, 35, 10]; in particular, this implies that (¦É, ¦É) is a commutative C*-algebra. The condition that ¦É is non-simple is translated as the fact that the spectrum X ¦É of (¦É, ¦É) does not reduce to a single point. We show that every tensor C*-category has a canonical structure of a bundle, and study the important class of special categories, which turn out to be bundles with ¡¯?bre¡¯ the dual of a compact Lie group. We provide a complete classi?cation for special categories, in terms of a suitable cohomology set. Such a classi?cation admits a natural translation in terms of continuous bundles of C*-dynamical systems, with ?bre a ?xed-point algebra of the Cuntz algebra Od . Our research program is intended to provide a generalization of the Doplicher-Roberts duality theory ([11, 12, 13]). Anyway, as we will show in a forthcoming paper, dramatic di?erences arise in the case with non-simple identity, concerning non-existence and non-unicity of the dual object, which will turn out to be (when existing) a bundle of compact groups, or more generally a groupoid. These phenomena have a cohomological nature, and their root is the classi?cation provided in the present work. As a future application, we will provide a new kind of twisted topological equivariant K -functor, related to the gauge-equivariant K -theory introduced by V. Nistor and E. Troitsky ([25]). The construction of such a K -functor is outlined in [34]. The motivation of [12] was the search for the gauge group in the setting of superselection sectors in quantum ?eld theory ([13]). Motivated by similar structures arising in low-dimensional quantum ?eld theory and quantum constraints, a duality theory for tensor categories of C*-algebra endomorphisms has been developed in [5]: the set (¦É, ¦É) is identi?ed as the centre of a given ¡¯observable¡¯ C*-algebra, and the existence of a subcategory (with simple identity) satisfying the DoplicherRoberts axioms is postulated, with the result that the reconstructed dual object is a compact group. The tensor C*-categories above considered turn out to be ¡¯trivial bundles¡¯ in the sense of the present paper, as remarked in [32, Ex.5.1]. The present work is organized as follows. In Sec.2, we introduce the notions of multiplier C*category (Prop.2.2) and C0 (X )-category (Def.2.4, X denotes a locally compact, Hausdor? space), which generalize the ones of multiplier C*-algebra and C0 (X )-algebra. As an application, the notion of multiplier C*-bimodule is introduced (Cor.2.3). We prove that every C0 (X )-category has a canonical bundle structure (Prop.2.6), and consider the notion of continuous bundle of C*categories. In Sec.3, we study tensor C*-categories with (¦É, ¦É) = C . We prove that every tensor C*-category is a C (X ¦É )-category in a canonical way, where C (X ¦É ) is a suitable C*-subalgebra of (¦É, ¦É) (Prop.3.1). In particular, a symmetric tensor C*-category with (twisted) conjugates is a continuous bundle, having as ?bres duals of compact groups (Thm.3.9, Rem.3.4). The abovequoted theorem has an analogue in the setting of 2 -C*-categories with conjugates ([36, ¡ì3]); our proof is di?erent, and is based on the notion of (twisted) special object (see (3.16)). Once that a bundle structure is considered for symmetric tensor C*-categories, it is natural to formulate a coherent notion of local triviality (Def.3.10). A special category is a locally trivial, symmetric tensor C*-category such that the ?bre T? is isomorphic (up to direct sums) to the dual of a compact Lie group G (Def.3.13). Special categories with ?bre T? are completely classi?ed by the cohomology set H 1 (X ¦É , QG) (Thm.3.14), where QG is a suitable compact Lie group associated with G (see (3.22)). Finally, we consider a canonical G -action on Od , and give a classi?cation for continuous bundles with ?bre the ?xed-point algebra OG (Sec.4).

2

1.1

Notation and Keywords.

Let X be a locally compact Hausdor? space. We denote by: C0 (X ), the C*-algebra of ( C -valued) continuous functions on X vanishing at in?nity; Cb (X ), the C*-algebra of bounded, continuous functions on X ; C (X ), for X compact, the C*-algebra of continuous functions on X ; CU (X ), for U ? X open, the ideal in C0 (X ) of functions vanishing on X ? U ; Cx (X ) := CX ?{x} (X ), x ¡Ê X . If {Xi } is a cover of X , then we denote Xij := Xi ¡É Xj , Xijk := Xi ¡É Xj ¡É Xk . If A is a C*-algebra, we denote by autA (resp. endA ) the set of automorphisms (resp. endomorphisms) of A , endowed with the topology of pointwise convegence. A pair (A, ¦Ñ), where ¦Ñ ¡Ê endA , is called C*-dynamical system. If (A, ¦Ñ), (A¡ä , ¦Ñ¡ä ) are C*-dynamical systems, a C*algebra morphism ¦Á : A ¡ú A¡ä such that ¦Á ? ¦Ñ = ¦Ñ¡ä ? ¦Á is denoted by ¦Á : (A, ¦Ñ) ¡ú (A¡ä , ¦Ñ¡ä ). Finally, for every d ¡Ê N we denote by U(d) the unitary group, and by SU(d) the special unitary group. 1.1.1 C0 (X ) -algebras.

Let X be a locally compact Hausdor? space. A C0 (X ) -algebra is a C*-algebra A endowed with a non-degenerate morphism from C0 (X ) into the centre of the multiplier algebra M (A) ([21, ¡ì2]). It is customary to identify elements of C0 (X ) with their images in M (A). We call C0 (X )-morphism a C*-algebra morphism commuting with the above C0 (X )-action; in particular, we denote by autX A (resp. endX A ) the set of C0 (X )-automorphisms (resp. C0 (X )-endomorphisms) of A . It can be proved that C0 (X )-algebras correspond to upper-semicontinuous bundles of C*-algebras with base space X ([26]); in particular, every continuous bundle of C*-algebras ([9, Chp.10],[22]) is a C0 (X )-algebra. The ?bres of A are de?ned as the quotients Ax := A/(Cx (X )A), x ¡Ê X . We denote by ?X the minimal C0 (X )-algebra tensor product [21, ¡ì2]. If A , B are C0 (X )-algebras, a C0 (X )-Hilbert A - B -bimodule is a Hilbert A - B -bimodule M such that af ¦×b = a¦×f b , f ¡Ê C0 (X ), a ¡Ê A, b ¡Ê B , ¦× ¡Ê M. 1.1.2 bi-Hilbertian bimodules.

The following notion appeared in [18]. Let A , B be C*-algebras, M a Hilbert A - B -bimodule such that the C*-algebra K (M) of compact, right B -module operators is contained in A . Then, besides the usual B -valued scalar product ¡¤, ¡¤ B , there exists an A -valued scalar product ¦×, ¦× ¡ä A := ¦È¦×,¦×¡ä , where ¦×, ¦× ¡ä ¡Ê M , and ¦È¦×,¦×¡ä ¡Ê K (M) ? A , ¦È¦×,¦×¡ä ? := ¦× ¦× ¡ä , ? B , ? ¡Ê M . We say that M is a bi-Hilbertian bimodule if ¦× 2 = ¦È¦×,¦× , ¦× ¡Ê M , and use the notation A MB . A morphism of bi-Hilbertian bimodules is a bounded linear map ¦Õ : A MB ¡ú A¡ä M¡ä B¡ä , with C*-algebra morphisms ¦Õl : A ¡ú A¡ä , ¦Õr : B ¡ú B ¡ä such that ¦Õ(a¦×b) = ¦Õl (a)¦Õ(¦× )¦Õr (b), ¦Õr ( ¦×, ¦× ¡ä B ) = ¦Õ(¦× ), ¦Õ(¦× ¡ä ) B¡ä , ¦Õl ( ¦×, ¦× ¡ä A ) = ¦Õ(¦× ), ¦Õ(¦× ¡ä ) A¡ä , ¦×, ¦× ¡ä ¡Ê M , a ¡Ê A , b ¡Ê B . 1.1.3 Bundles.

For standard notions about vector bundles, we refer to the classics [2, 20, 29]. In the present paper, we will assume that every vector bundle is endowed with a Hermitian structure (see [20, I.8]). If X is a locally compact Hausdor? space, we denote by vect(X ) the category having as objects vector bundles with base space X , and arrows vector bundle morphisms. In the present work, we will also deal with Banach bundles in the sense of [15] (i.e., bundles of Banach spaces that are not necessarily locally trivial). About the related notion of continuous ?eld of Banach spaces, we refer to [9, Chp.10].

3

2

Multipliers, C0(X ) -categories.

A category C not necessarily endowed with identity arrows is said to be a C*-category if every set of arrows (¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê obj C , is a Banach space such that the composition of arrows de?nes linear maps satisfying t¡ä ? t ¡Ü t¡ä t , t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ò, ¦Ó ); moreover, an antilinear isometric 2 cofunctor ? : C ¡ú C is assigned, in such a way that t? ? t = t . Our C*-category C is said to be unital if every ¦Ñ ¡Ê obj C admits an identity arrow 1¦Ñ ¡Ê (¦Ñ, ¦Ñ) such that t ? 1¦Ñ = t , t ¡Ê (¦Ñ, ¦Ò ). Functors between C*-categories preserving the above structure are said C*-functors; in particular, we will use the term C*-monofunctor, resp. C*-autofunctor, resp. C*-epifunctor in the case in which the given C*-functor induces injective, resp. one-to-one, resp. surjective Banach space maps on the spaces of arrows. If D is a C*-subcategory of C , then we use the notation D ? C ; in such a case, every space (¦Ñ, ¦Ò )D of arrows in D is a Banach subspace of (¦Ñ, ¦Ò ). Basic references for C*-categories are [12, 18]; non-unital C*-categories have been considered in [24]. For the notions of subobjects and direct sums, we refer to [12, ¡ì1]. The closure for subojects of a C*-category C is the C*-category Cs with objects E = E ? = E 2 ¡Ê (¦Ñ, ¦Ñ), ¦Ñ ¡Ê obj C , and arrows (E, F ) := {t ¡Ê (¦Ñ, ¦Ò ) : t = F ? t = t ? E } ; by construction, Cs has subobjects. The additive completition of C is the C*-category C+ with objects n -ples ¦Ñ := (¦Ñ1 , . . . , ¦Ñn ), n ¡Ê N , and arrows spaces of matrices (¦Ñ, ¦Ò ) := {(tij ) : tij ¡Ê (¦Ñj , ¦Òi )} ; by construction, C+ has direct sums (see [24, Def.2.12]). A (unital) C*-category with a single object is a (unital) C*-algebra. A C*-category with two objects is a bi-Hilbertian C*-bimodule, together with the conjugate bimodule.

2.1

Multipliers.

Let C be a C*-category. Then, every (¦Ñ, ¦Ñ), ¦Ñ ¡Ê obj C , is a C*-algebra, and every (¦Ñ, ¦Ò ) can be endowed with the following structure of a bi-Hilbertian (¦Ò, ¦Ò )- (¦Ñ, ¦Ñ)-bimodule: b, t ¡ú b ? t , t, a ¡ú t ? a t, t¡ä ¦Ñ := t? ? t¡ä ¡Ê (¦Ñ, ¦Ñ) , t¡ä , t := t¡ä ? t? ¡Ê (¦Ò, ¦Ò ) ,

¦Ò

a ¡Ê (¦Ñ, ¦Ñ), b ¡Ê (¦Ò, ¦Ò ), t, t¡ä ¡Ê (¦Ñ, ¦Ò ); in fact, t 2 = t, t ¦Ñ = t, t ¦Ò . Let ¦Ñ, ¦Ò, ¦Î ¡Ê obj C ; according to the above-de?ned structure, we say that a bounded linear map T : (¦Î, ¦Ñ) ¡ú (¦Î, ¦Ò ) is a right (¦Î, ¦Î ) -module operator if T (t ? a) = T (t) ? a , t ¡Ê (¦Î, ¦Ñ), a ¡Ê (¦Î, ¦Î ). In the same way, a bounded linear map T ¡ä : (¦Ñ, ¦Î ) ¡ú (¦Ò, ¦Î ) is a left (¦Î, ¦Î ) -module operator if T ¡ä (a ? t) = a ? T ¡ä (t), t ¡Ê (¦Ñ, ¦Î ), a ¡Ê (¦Î, ¦Î ). A multiplier from ¦Ñ to ¦Ò is a pair (T l , T r ), where T l : (¦Ñ, ¦Ñ) ¡ú (¦Ñ, ¦Ò ) is a right (¦Ñ, ¦Ñ)-module operator and T r : (¦Ò, ¦Ò ) ¡ú (¦Ñ, ¦Ò ) is a left (¦Ò, ¦Ò )-module operator, such that the relation b ? T l (a) = T r (b) ? a (2.1) is satis?ed for every a ¡Ê (¦Ñ, ¦Ñ), b ¡Ê (¦Ò, ¦Ò ). We denote by M (¦Ñ, ¦Ò ) the set of multipliers from ¦Ñ into ¦Ò . Note that (2.1) implies T l = T r . In order to economize in notation, we de?ne T a := T l (a) , bT := T r (b) , T ¡Ê M (¦Ñ, ¦Ò ) , so that (2.1) can be regarded as an associativity constraint: b ? T a = bT ? a ¡Ê (¦Ñ, ¦Ò ) . (2.2)

Example 2.1. Let t ¡Ê (¦Ñ, ¦Ò ). We de?ne Mt a := t ? a , bMt := b ? t , a ¡Ê (¦Ñ, ¦Ñ), b ¡Ê (¦Ò, ¦Ò ). It is clear that Mt ¡Ê M (¦Ñ, ¦Ò ). For every ¦Ñ ¡Ê obj C , we also de?ne 1¦Ñ a = a1¦Ñ := a , a ¡Ê (¦Ñ, ¦Ñ). It is clear that 1¦Ñ ¡Ê M (¦Ñ, ¦Ñ); we call 1¦Ñ the identity multiplier of ¦Ñ . 4

An involution is de?ned on multipliers, by M (¦Ñ, ¦Ò ) ¡ú M (¦Ò, ¦Ñ) T ¡ú T ? : T ? b := (b? T )? , aT ? := (T a? )? . (2.3)

In the case ¦Ñ = ¦Ò , a composition law can be naturally de?ned: if A, A¡ä ¡Ê M (¦Ñ, ¦Ñ), then the maps (¦Ñ, ¦Ñ) ? a ¡ú A¡ä (Aa) , (¦Ñ, ¦Ñ) ? a ¡ú (aA)A¡ä , de?ne a multiplier A¡ä ? A ¡Ê M (¦Ñ, ¦Ñ). It is now clear that every A ¡Ê M (¦Ñ, ¦Ñ) de?nes a multiplier of (¦Ñ, ¦Ñ) in the usual C*-algebra sense, so that M (¦Ñ, ¦Ñ), endowed with the above *-algebra structure, coincides with the multiplier algebra of (¦Ñ, ¦Ñ), with identity 1¦Ñ . Lemma 2.1. Let C be a C*-category. For every ¦Ñ, ¦Ò, ¦Ó ¡Ê obj C , there are maps M (¦Ò, ¦Ó ) ¡Á (¦Ñ, ¦Ò ) ¡ú (¦Ñ, ¦Ó ) , (S, t) ¡ú St := lim¦Ë (Se¦Ò ¦Ë) ? t (¦Ò, ¦Ó ) ¡Á M (¦Ñ, ¦Ò ) ¡ú (¦Ñ, ¦Ó ) , (t¡ä , T ) ¡ú t¡ä T := lim¦Ë t¡ä ? (e¦Ò ¦ËT ) (2.4)

where (e¦Ò ¦Ë )¦Ë ? (¦Ò, ¦Ò ) is an approximate unit. The above maps naturally extend the composition of arrows in C . Proof. By [18, Prop.2.16], every (¦Ñ, ¦Ò ) is non-degenerate as a Hilbert bimodule w.r.t. the left (¦Ò, ¦Ò )-action and right (¦Ñ, ¦Ñ)-action. Thus, every t ¡Ê (¦Ñ, ¦Ò ) admits factorizations t = b ? t2 = t1 ? a , t1 , t2 ¡Ê (¦Ñ, ¦Ò ), a ¡Ê (¦Ñ, ¦Ñ), b ¡Ê (¦Ò, ¦Ò ) (see [3, Prop.1.8]). Let S ¡Ê M (¦Ò, ¦Ó ). We consider the net {(Se¦Ò ¦Ë ) ? t}¦Ë , and estimate (Se¦Ò ¦Ë ) ? t ? (Sb) ? t2 = S (e¦Ò ¦Ë ? b ? b ) ? t2 t2 ¡Ü S (e¦Ò ¦Ë ? b ? b) ¡Ü S e¦Ò t2 ¦Ë ?b?b

¦Ë

.

¦Ò Since by de?nition of approximate units e¦Ò ¦Ë ? b ? b ¡ú 0 , we conclude that {(Se¦Ë ) ? t}¦Ë converges to (Sb) ? t2 ¡Ê (¦Ñ, ¦Ò ). Note that the limit is unique, and that it does not depend on the choice of the approximate unit. The same argument applies for the net {t¡ä ? (e¦Ò ¦Ë T )} , and this proves the lemma.

We can now introduce the composition law M (¦Ò, ¦Ó ) ¡Á M (¦Ñ, ¦Ò ) ¡ú M (¦Ñ, ¦Ó ) S, T ¡ú S ? T : (S ? T ) a := S (T a) , c (S ? T ) := (cS )T , (2.5)

a ¡Ê (¦Ñ, ¦Ñ), c ¡Ê (¦Ó, ¦Ó ), T ¡Ê M (¦Ñ, ¦Ò ), T ¡ä ¡Ê M (¦Ò, ¦Ó ). Note in fact that T a ¡Ê (¦Ñ, ¦Ò ), cS ¡Ê (¦Ó, ¦Ò ), thus we can apply the previous lemma and perform the compositions S (T a), (cS )T . A C*-subcategory I ? C , with arrows (¦Ñ, ¦Ò )I ? (¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê objI = objC , is said to be an ideal if t ? t¡ä ¡Ê (¦Ó, ¦Ò )I , t¡ä¡ä ? t ¡Ê (¦Ñ, ¦Î )I for every t ¡Ê (¦Ñ, ¦Ò )I , t¡ä ¡Ê (¦Ó, ¦Ñ), t¡ä¡ä ¡Ê (¦Ò, ¦Î ). If I ? C is an ideal, we write I ? C . In particular, I is said to be an essential ideal if every ideal of C has nontrivial intersection with I (i.e., (¦Ñ, ¦Ò )I ¡É (¦Ñ, ¦Ò )J = {0} for some ¦Ñ, ¦Ò ¡Ê obj C , J ? C ). Proposition 2.2. Let C be a C*-category. The category M (C ) having the same objects as C , and arrows M (¦Ñ, ¦Ò ) , ¦Ñ, ¦Ò ¡Ê obj C , is a unital C*-category. Moreover, the maps {(¦Ñ, ¦Ò ) ? t ¡ú Mt ¡Ê M (¦Ñ, ¦Ò )} de?ned in Ex.2.1 induce a C*-monofunctor I : C ?¡ú M (C ) , in such a way that I (C ) is an essential ideal of M (C ) . If C is unital, then I (C ) = M (C ) . If C is an essential ideal of a unital C*-category C ¡ä , then there exists a C*-monofunctor I ¡ä : C ¡ä ?¡ú M (C ) extending I . 5

Proof. It follows from Lemma 2.1 that M (C ) is a C*-category, with units de?ned as by Ex.2.1. It is clear that I is a C*-functor; by well-known properties of multiplier algebras the maps I : (¦Ñ, ¦Ñ) ¡ú 2 2 M (¦Ñ, ¦Ñ) are isometric, thus if t ¡Ê (¦Ñ, ¦Ò ), then t = t? ? t = M (t? ? t) = M (t) . This ¡ä implies that I is a C*-monofunctor. Let now C be a unital C*-category as above; we denote by (¦Ñ, ¦Ò )¡ä the spaces of arrows of C ¡ä (by de?nition of essential ideal, we identify obj C with obj C ¡ä ). For every w ¡Ê (¦Ñ, ¦Ò ) we de?ne a multiplier Mw ¡Ê M (¦Ñ, ¦Ò ), Mw a := w ? a , a ¡Ê (¦Ñ, ¦Ñ) bMw := b ? w , b ¡Ê (¦Ò, ¦Ò ) (note in fact that w ? a , b ? w ¡Ê (¦Ñ, ¦Ò )). In this way, we obtain a C*-functor I ¡ä : C ¡ä ¡ú M (C ), w ¡ú Mw , which reduces to I for arrows in C . In the case ¦Ñ = ¦Ò , we ?nd that I ¡ä induces C*¡ä algebra morphisms I¦Ñ : (¦Ñ, ¦Ñ)¡ä ¡ú M (¦Ñ, ¦Ñ); such morphisms are injective by [28, Prop.3.12.8]. Thus, if w ¡Ê (¦Ñ, ¦Ò )¡ä , then w 2 = w? ? w = Mw? ?w = Mw 2 . In the case of C*-categories with two objects, we obtain a construction for bi-Hilbertian bimodules: Corollary 2.3. Let A , B be C*-algebras, A MB a bi-Hilbertian bimodule. Then, there exists a universal bi-Hilbertian M (A) - M (B ) -bimodule M (M) with a monomorphism I : A MB ¡ú M (A) M (M)M (B) , and satisfying the universal property w.r.t. bi-Hilbertian bimodules containing M as essential ideal. Example 2.2. Let X be a locally compact, paracompact space, d ¡Ê N , and E ¡ú X a rank d vector bundle. We denote by ¦£0 E the C0 (X )-module of continuous sections of E vanishing at in?nity, and by ¦£0 (E , E ) the C*-algebra of compact operators of ¦£0 E . Then, ¦£0 (E , E ) is a continuous bundle of C*-algebras over X , with ?bre the matrix algebra Md ; moreover, ¦£0 E naturally becomes a Hilbert ¦£0 (E , E )- C0 (X )-bimodule. We consider the C*-category C with objects ¦Ñ, ¦Ò , and arrows (¦Ñ, ¦Ñ) := C0 (X ), (¦Ò, ¦Ò ) := ¦£0 (E , E ), (¦Ñ, ¦Ò ) := ¦£0 (E ), (¦Ò, ¦Ñ) := ¦£? 0 E (i.e., the conjugate bimodule of ¦£0 (E )). Let ¦£b (E , E ) denote the C*-algebra of bounded, continuous sections of the C*-bundle associated with ¦£0 (E , E ), and ¦£b E the module of bounded, continuous sections of E . Then, M (C ) has arrows M (¦Ñ, ¦Ñ) = Cb (X ), M (¦Ò, ¦Ò ) := ¦£b (E , E ), M (¦Ñ, ¦Ò ) = ¦£b E (see [1, Thm.3.3]). A di?erent approach to multiplier C*-categories can be found in [19]. Since the universal property Prop.2.2 is satis?ed by the C*-categories introduced in the above-cited reference, the two constructions provide the same result.

2.2

C0 (X ) -categories.

Let C be a C*-category. For every ¦Ñ ¡Ê obj C , we denote by ZM (¦Ñ, ¦Ñ) the centre of the C*-algebra M (¦Ñ, ¦Ñ) of multipliers of (¦Ñ, ¦Ñ). De?nition 2.4. Let C be a C*-category, X a locally compact Hausdor? space. C is said to be a C0 (X ) -category if for every ¦Ñ ¡Ê obj C there is given a non-degenerate morphism i¦Ñ : C0 (X ) ¡ú M (¦Ñ, ¦Ñ) , such that for every ¦Ò ¡Ê obj C , t ¡Ê (¦Ñ, ¦Ò ) , f ¡Ê C0 (X ) , the following equality holds: t i¦Ñ (f ) = i¦Ò (f ) t . (2.6)

The set {i¦Ñ }¦Ñ¡Êobj C is called C0 (X )-action. It follows from (2.6) that i¦Ñ (f ) ¡Ê ZM (¦Ñ, ¦Ñ) for every ¦Ñ ¡Ê obj C , thus (¦Ñ, ¦Ñ) is a C0 (X )-algebra. By de?nition, every (¦Ñ, ¦Ò ) is a C0 (X )-Hilbert (¦Ò, ¦Ò )- (¦Ñ, ¦Ñ)-bimodule in the sense of Sec.1.1.1. A C*-functor ¦Ç : C ¡ú C ¡ä between C0 (X )-categories is said to be a C0 (X )-functor if ¦Ç (t i¦Ñ (f )) = ¦Ç (t) i¡ä ¦Ç (¦Ñ) (f ) for every t ¡Ê (¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê obj C , f ¡Ê C0 (X ). In the sequel, we will drop the symbol i¦Ñ , so that (2.6) simply becomes tf = f t . 6

2.2.1

The bundle structure.

Let X be a locally compact Hausdor? space, C a C0 (X )-category, U ? X an open set. The restriction of C over U is the C*-subcategory CU having the same objects as C , and arrows the Banach spaces (¦Ñ, ¦Ò )U := CU (X )(¦Ñ, ¦Ò ) := span {f t, f ¡Ê CU (X ), t ¡Ê (¦Ñ, ¦Ò )} ; it is clear that CU ? C is an ideal, and that CU is a C0 (U )-category. Let now W ? X be a closed set. The restriction of C over W is de?ned as the C*-category CW having the same objects as C , and arrows the quotients (¦Ñ, ¦Ò )W := (¦Ñ, ¦Ò )/[CX ?W (X )(¦Ñ, ¦Ò )]. It is easily checked that CW is a C*-category, in fact composition of arrows and involution factorize through elements of CX ?W (X )(¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê obj C . By de?nition, there is an exact sequence of C*-functors 0 ?¡ú CX ?W ?¡ú C ?¡ú CW .

iX ?W ¦ÇW

(2.7)

In the case in which Cb (W ) is a C0 (X )-algebra (for example, in the case of X being normal), then CW may be described as the C*-category with arrows (¦Ñ, ¦Ò ) ?X Cb (W ), where ?X is the tensor product with coe?cients in C0 (X ) de?ned as in Sec.1.1.1. Moreover, CW has an obvious structure of C (¦ÂW )-category, where ¦ÂW denote the Stone-Cech compacti?cation of W . De?nition 2.5. Let C be a C0 (X ) -category, x ¡Ê X . The ?bre of C over x is de?ned as the restriction Cx := C{x} . The restriction C*-epifunctor ¦Ðx : C ¡ú Cx is called the ?bre functor. We denote by (¦Ñ, ¦Ò )x the spaces of arrows of Cx , x ¡Ê X . Remark 2.1. Let C be a C*-category. Two objects ¦Ñ, ¦Ò ¡Ê obj C are said to be unitarily equivalent if there exists u ¡Ê (¦Ñ, ¦Ò ) such that u ? u? = 1¦Ò , u? ? u = 1¦Ñ . We denote by obju C the set of unitary equivalence classes of objects of C . Let now C be a C0 (X )-category. By de?nition, the restrictions of C over open (closed) subsets of X have the same objects as C . In particular, this is true for the ?bres Cx , x ¡Ê X . Now, it is clear that the ?bre functors map unitarily equivalent objects into unitarily equivalent objects. On the other side, ¦Ñ, ¦Ò may be unitarily equivalent as objects of every Cx , x ¡Ê X , but this does not imply that ¦Ñ, ¦Ò are unitarily equivalent in C . Thus, the maps obju C ¡ú obju Cx induced by the ?bre functors are always surjective, but not injective in general. Let F : C ¡ú C ¡ä be a C0 (X )-functor. Then, for every x ¡Ê X there exists a C*-functor ¡ä such that Fx : Cx ¡ú Cx ¡ä Fx ? ¦Ðx = ¦Ðx ?F (2.8)

¡ä ¡ä are the ?bre functors de?ned on C ¡ä . In fact, if t, v ¡Ê (¦Ñ, ¦Ò ) and ¦Ðx (t ? v ) = 0 , : C ¡ä ¡ú Cx where ¦Ðx ¡ä then there exists a factorization t ? v = f w , f ¡Ê Cx (X ), w ¡Ê (¦Ñ, ¦Ò ), so that ¦Ðx ? F (t ? v ) = ¡ä f (x)¦Ðx ? F (w) = 0 , and the l.h.s. of (2.8) is well-de?ned. We have the following categorical analogue of [26, Thm.2.3],[3, Cor.1.12,Prop.2.8].

Proposition 2.6. Let X be a locally compact Hausdor? space, C a C0 (X ) -category, and {¦Ðx : C ¡ú Cx }x¡ÊX the set of ?bre functors of C . For every ¦Ñ, ¦Ò ¡Ê obj C , t ¡Ê (¦Ñ, ¦Ò ) , the norm function nt (x) := ¦Ðx (t) , x ¡Ê X , is upper semicontinuous and vanishing at in?nity; moreover, t = supx¡ÊX ¦Ðx (t) . Proof. Let t ¡Ê (¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê obj C , so that t? ? t ¡Ê (¦Ñ, ¦Ñ). Since (¦Ñ, ¦Ñ) is a C0 (X )-algebra w.r.t. 1/2 the C0 (X )-action of Def.2.4, it follows from [26, Thm.2.3] that the map nt (x) = ¦Ðx (t? ? t) , 2 ? ? x ¡Ê X , is upper-semicontinuous; moreover, t = t ? t = supx ¦Ðx (t ? t) . Let C be a C0 (X )-category. If the norm function nt is continuous for every arrow t ¡Ê (¦Ñ, ¦Ò ), ¦Ñ, ¦Ò ¡Ê obj C , then we say that C is a continuous bundle of C*-categories. In such a case, it follows from the above de?nition that the spaces of arrows of C are continuous ?elds of Banach spaces; 7

in particular, (¦Ñ, ¦Ñ) is a continuous bundle of C*-algebras for every ¦Ñ ¡Ê obj C . The proof of the following lemma is trivial, thus it will be omitted. Lemma 2.7. Let X be a locally compact Hausdor? space, C a continuous bundle of C*-categories over X . Then, the closure for subobjects Cs and the additive completition C+ are continuous bundles of C*-categories. Remark 2.2. Let X be a locally compact Hausdor? space, C a continuous bundle of C*-categories over X , ¦Ñ, ¦Ò ¡Ê obj C . In the de?nition of continuous ?eld by Dixmier-Douady, the vanishing-atin?nity property is not assumed for norm functions; as a consequence of this fact, if U ? X is open and W := U is the closure, then the restriction ¦ÇW (¦Ñ, ¦Ò ) de?nes a unique continuous ?eld over U , i.e. the restriction ¦ÇW (¦Ñ, ¦Ò )|U in the sense of [9, 10.1.7]. In order to be concise, we de?ne ¦Ç ¨B W (¦Ñ, ¦Ò ) := ¦ÇW (¦Ñ, ¦Ò )|U . 2.2.2 Local triviality and bundle operations.

Let C? be a C*-category; we de?ne the constant bundle X C? as the C0 (X )-category having the same objects as C? , and arrows the spaces (¦Ñ, ¦Ò )X of continuous maps from X into (¦Ñ, ¦Ò ) vanishing at in?nity, ¦Ñ, ¦Ò ¡Ê obj C ? (the structure of C0 (X )-category is de?ned in the obvious way). In the case in which X is compact, we consider the spaces of continuous maps from X into (¦Ñ, ¦Ò ); if t ¡Ê (¦Ñ, ¦Ò ), then with an abuse of notation we will denote by t ¡Ê (¦Ñ, ¦Ò )X the corresponding constant map. Let C be a C0 (X )-category, C? a C*-category. We say that C is locally trivial with ?bre C? if for every x ¡Ê X there exists a closed neighborhood W ? x with a Cb (W )-isomorphism ¦ÁW : CW ¡ú W C? , in such a way that the induced map ¦ÁW : obj C ¡ú obj C? does not depend on the choice of W . The functors ¦ÁW are called local charts. The above de?nition implies that ¦Ñ? := ¦ÁW (¦Ñ), ¦Ñ ¡Ê obj C , does not depend on W ; in this way, every space of arrows (¦Ñ, ¦Ò ) is a locally trivial continuous ?eld of Banach spaces with ?bre (¦Ñ? , ¦Ò? ), trivialized over subsets which do not depend on the choice of ¦Ñ, ¦Ò . It is clear that we may give the analogous de?nition by using open neighborhoods, anyway for our purposes it will be convenient to use closed neighborhoods, as the corresponding local charts map unital C*-categories into unital C*-categories. Example 2.3. Let A be a C0 (X )-algebra. The C*-category with objects the projections of A , and arrows (E, F ) := {t ¡Ê A : t = F t = tE } is a C0 (X )-category. Example 2.4. Let C be a unital C*-category, X a compact Hausdor? space. The extension C*category C X is de?ned as the closure for subobjects of the constant bundle X C . It turns out that C is a continuous bundle of C*-categories w.r.t. the C (X )-structure induced by X C (see [30]). Example 2.5. Let X be a locally compact Hausdor? space. Then, vect(X ) (Sec.1.1.3) is a continuous bundle of C*-categories with ?bre the category hilb of Hilbert spaces. If X is locally contractible, then vect(X ) is locally trivial; in fact, if W ? X is contractible then every vector bundle E ¡ú X can be trivialized on W . If X is not locally contractible, then in general vect(X ) may be not locally trivial; in fact, it could be not possible to trivialize all the elements of vect(X ) over the same closed subset. Let X be a locally compact, paracompact Hausdor? space. We assume that there exists a locally ?nite, open cover {Xi } and, for every index i , a continuous bundle of C*-categories Ci over the closure X i , with C0 (Xij )-isofunctors ¦Áij : ¦Çj,Xij (Cj ) ¡ú ¦Çi,Xij (Ci ) : ¦Áij ? ¦Ájk = ¦Áik . 8

In the previous expression, ¦Çi,Xij denotes the restriction epifunctor of Ci over X ij . By hypothesis, the sets {obj Ci }i are in one-to-one correspondence. We want to de?ne a category C b , having the same objects as a ?xed Ck , and arrows the glueings of the continuous ?elds of Banach spaces {(¦Áik (¦Ñ), ¦Áik (¦Ò ))}i , ¦Ñ, ¦Ò ¡Ê obj Ck , in the sense of [9, 10.1.13] (note that ¦Áik (¦Ñ), ¦Áik (¦Ò ) ¡Ê obj Ci , thus (¦Áik (¦Ñ), ¦Áik (¦Ò )) is a continuous ?eld over X i ). Since in the above reference open covers are used, for every index i we consider the restriction (¦Áik (¦Ñ), ¦Áik (¦Ò ))|Xi , and de?ne the spaces of arrows (¦Ñ, ¦Ò )b of C b as the glueings of { (¦Áik (¦Ñ), ¦Áik (¦Ò ))|Xi }i w.r.t. the isomorphisms ¨B i,Xij (¦Áik (¦Ñ), ¦Áik (¦Ò )) ¦Áij : ¦Ç ¨B j,Xij (¦Ájk (¦Ñ), ¦Ájk (¦Ò )) ¡ú ¦Ç (recall Rem.2.2). Let ¦Ñ, ¦Ò ¡Ê obj C b ; by de?nition, the elements t ¡Ê (¦Ñ, ¦Ò )b are in one-to-one correspondence with families (ti )i ¡Ê

i ¡ä ¡ä We de?ne an involution (ti )? := (t? i ) and a composition (ti ) ? (ti ) := (ti ? ti ), in such a way that b b C is a C*-category. Now, our de?nition does not ensure that C is a C0 (X )-category, in fact the C0 (X )-action on a continuous ?eld of Banach spaces may be degenerate in the case of X being not compact. We de?ne a C*-category C having the same objects as C b , and arrows the spaces (¦Ñ, ¦Ò ) := C0 (X )(¦Ñ, ¦Ò )b . It is clear that C is an ideal of C b . We call C the glueing of the categories Ci . By construction, C is a continuous bundle on X , satisfying the following universal property: for every index i there exists a C*-isofunctor ¦Ði : CXi ¡ú Ci , ¦Ði (¦Ñ) := ¦Ñi , such that ?1 ¦Ði ? ¦Ðj = ¦Áij ;

( ¦Áik (¦Ñ), ¦Áik (¦Ò ) ) : ¦Áij ? ¦Çj,Xij (tj ) = ¦Çi,Xij (ti ) .

(2.9)

(2.10)

?1 to be concise, in the previous equality we identi?ed ¦Ði (resp. ¦Ðj ) with the restriction on CXij (resp. Cj,Xij ).

3

Tensor C*-categories.

Let T be a unital C*-category. As customary, we call tensor product an associative, unital C*bifunctor ? : T ¡Á T ¡ú T admitting an identity object ¦É ¡Ê obj T , in such a way that ¦É ? ¦Ñ = ¦Ñ ? ¦É = ¦Ñ , ¦Ñ ¡Ê obj T . In such a case we say that T is a tensor C*-category, and use the notation (T , ?, ¦É). For brevity, we adopt the notation ¦Ñ¦Ò := ¦Ñ ? ¦Ò , so that if t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ), then t ? t¡ä ¡Ê (¦Ñ¦Ñ¡ä , ¦Ò¦Ò ¡ä ). Thus, if we pick ¦Ñ¡ä = ¦Ò ¡ä = ¦É , then we obtain that every space of arrows (¦Ñ, ¦Ò ) is a (¦É, ¦É)-bimodule. In particular, t ? 1¦É = 1¦É ? t = t , t ¡Ê (¦Ñ, ¦Ò ). Note that (¦É, ¦É) is an Abelian C*-algebra with identity 1¦É . For basic properties of tensor C*-categories, we will refer to [12, 23]. For every ¦Ñ ¡Ê obj T , we denote by ¦Ñ the tensor C*-category with objects ¦Ñr , r ¡Ê N , and arrows (¦Ñr , ¦Ñs ); we call ¦Ñ the generating object of ¦Ñ . Duals of locally compact (quantum) groups are well-known examples of tensor C*-categories. Another example, which will be of particular interest in the present paper, is the category vect(X ), with X compact (Sec.1.1.3). The tensor product on vect(X ) is de?ned as in [2, ¡ì1],[20, ¡ìI.4], and will be denoted by ?X (no confusion should arise with the C (X )-algebra tensor product); note that (¦É, ¦É) = C (X ). Example 3.1. Let A be a C*-algebra. Then, the set endA is endowed with a natural structure of tensor C*-category: the arrows are given by elements of the intertwiner spaces (¦Ñ, ¦Ò ) := {t ¡Ê A : t¦Ñ(a) = ¦Ò (a)t, a ¡Ê A} , ¦Ñ, ¦Ò ¡Ê endA , and the tensor structure is de?ned by composition of endomorphisms (see [14, ¡ì1]). 9

3.0.3

DR-dynamical systems.

Let ¦Ñ ¡Ê obj T . Then, a universal C*-dynamical system is associated with ¦Ñ , in the following way r ?s (see [12, ¡ì4] for details). For every r, s ¡Ê N , we consider the inductive limit Banach space O¦Ñ r s r +1 s+1 associated with the sequence ir,s : (¦Ñ , ¦Ñ ) ?¡ú (¦Ñ ¦Ñ ), ir,s (t) := t ? 1¦Ñ , r ¡Ê N ; in particular, 0 O¦Ñ is the inductive limit C*-algebra associated with the sequence obtained for r = s . Composition ¨’ k . Now, there exists a of arrows and involution induce a *-algebra structure on 0 O¦Ñ := k¡ÊZ O¦Ñ 0 unique C*-norm on O¦Ñ such that the circle action

k z (t) := z k t , z ¡Ê T , t ¡Ê O¦Ñ , k¡ÊZ

(3.1)

extends to an (isometric) automorphic action. We denote by O¦Ñ the corresponding C*-algebra, called the Doplicher-Roberts algebra associated with ¦Ñ (DR-algebra, in the sequel). A canonical endomorphism ¦Ñ? ¡Ê endO¦Ñ can be de?ned, ¦Ñ? (t) := 1¦Ñ ? t , t ¡Ê (¦Ñr , ¦Ñs ) . (3.2)

We denote by (O¦Ñ , T, ¦Ñ? ) the so-constructed C*-dynamical system. By construction, ¦Ñ? ? z = z ? ¦Ñ? , s z ¡Ê T ; moreover, (¦Ñr , ¦Ñs ) ? (¦Ñr ? , ¦Ñ? ), r, s ¡Ê N , so that there is an inclusion of tensor C*-categories s ¦Ñ ?¡ú ¦Ñ? . We say that ¦Ñ is amenable if ¦Ñ = ¦Ñ? , i.e. (¦Ñr , ¦Ñs ) = (¦Ñr ? , ¦Ñ? ), r, s ¡Ê N (see [23, ¡ì5]). The above construction is universal, in the following sense: if ¦Ð : ¦Ñ ¡ú ¦Ò is functor of tensor C*-categories, then there exists a C*-algebra morphism ¦Ð : O¦Ñ ¡ú O¦Ò , ¦Ð (t) := ¦Ð (t) , t ¡Ê (¦Ñr , ¦Ñs ) (3.3)

s such that ¦Ò? ? ¦Ð = ¦Ð ? ¦Ñ? and z ? ¦Ð = ¦Ð ? z , z ¡Ê T . If ¦Ð is a C*-epifunctor, then ¦Ð (¦Ñr ? , ¦Ñ? ) ? s r s s r ) and ¦Ð is a C* -epimorphism. , ¦Ò ) = ( ¦Ò , ¦Ñ ); if ¦Ò is amenable, then ¦Ð (¦Ñr , ¦Ò? (¦Ò? ? ? ? ?

Example 3.2. Let hilb denote the tensor C*-category of ?nite dimensional Hilbert spaces; if ¦Ñ ¡Ê obj hilb , then O¦Ñ is the Cuntz algebra Od , where d is the rank of ¦Ñ ([6]). If E ¡ú X is a rank d vector bundle, then the associated DR-algebra is the Cuntz-Pimsner algebra OE associated with the module of continuous sections of E . It turns out that OE is a locally trivial bundle with ?bre Od (see [30, ¡ì4], [31, 33]). 3.0.4 Tensor categories as C (X ) -categories.

Let (T , ?, ¦É) be a tensor C*-category. We de?ne X ¦É as the spectrum of the Abelian C*-algebra {f ¡Ê (¦É, ¦É) : f ? 1¦Ñ = 1¦Ñ ? f ¡Ê (¦Ñ, ¦Ñ) , ¦Ñ ¡Ê obj T } ; (3.4)

note that (3.4) has identity 1¦É , thus X ¦É is compact. In the sequel, we will identify C (X ¦É ) with the C*-algebra (3.4). Proposition 3.1. Every tensor C*-category (T , ?, ¦É) has a natural structure of tensor C (X ¦É ) category, i.e. ? is a C (X ¦É ) -bifunctor. Proof. For every ¦Ñ ¡Ê obj T , we de?ne the map i¦Ñ : C (X ¦É ) ¡ú (¦Ñ, ¦Ñ), i¦Ñ (f ) := f ? 1¦Ñ . Since i¦Ñ (1¦É ) = 1¦É ? 1¦Ñ = 1¦Ñ , it is clear that i¦Ñ is a non-degenerate C*-algebra morphism. If t ¡Ê (¦Ñ, ¦Ò ), then (1¦Ò ? f ) ? t = t ? f = t ? (1¦Ñ ? f ); thus i¦Ò (f ) ? t = t ? i¦Ñ (f ), and T is a C (X ¦É )-category. The fact that ? preserves the C (X ¦É )-action follows from the obvious identities (1¦Ò¦Ò¡ä ? f ) ? (t ? t¡ä ) = (t ? f ? t¡ä ) = (t ? t¡ä ) ? f = (t ? t¡ä ) ? (1¦Ñ¦Ñ¡ä ? f ) , f ¡Ê C (X ¦É ), t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ). 10

Remark 3.1. According to the notation of Sec.2.2, in the sequel we will write f t := f ?t , f ¡Ê C (X ¦É ), t ¡Ê (¦Ñ, ¦Ò ). Let now U ? X ¦É be an open set; if f ¡Ê CU (X ¦É ), t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ), then f t ¡Ê (¦Ñ, ¦Ò )U , and it is clear that f t ? t¡ä ¡Ê (¦Ñ¦Ñ¡ä , ¦Ò¦Ò ¡ä )U . It follows from Prop.2.6 that for every x ¡Ê X ¦É there exists a ?bre functor ¦Ðx : T ¡ú Tx . A structure of tensor C*-category is de?ned on Tx , by assigning ¦Ñx ¦Òx := (¦Ñ¦Ò )x ¦Ðx (t) ?x ¦Ðx (t¡ä ) := ¦Ðx (t ? t¡ä ) (3.5)

It is easy to prove that ?x is well-de?ned; in fact, if v ¡Ê (¦Ñ, ¦Ò ), v ¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ) and ¦Ðx (v ) = ¦Ðx (t), ¦Ðx (v ¡ä ) = ¦Ðx (t¡ä ) (i.e., t ? v ¡Ê (¦Ñ, ¦Ò )X ?{x} , t¡ä ? v ¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä )X ?{x} ), then t ? v = f w , t¡ä ? v ¡ä = f ¡ä w¡ä for some f, f ¡ä ¡Ê Cx (X ), so that t ? t¡ä ? v ? v ¡ä = f w ? v ¡ä + t ? f ¡ä w¡ä , and ¦Ðx (t ? t¡ä ) ? ¦Ðx (v ? v ¡ä ) = 0 . This also proves that the ?bre functors ¦Ðx , x ¡Ê X , preserve the tensor product. More generally, the above argument applies for the restriction TW over a closed W ? X ¦É : a tensor product ?W : TW ¡Á TW ¡ú TW is de?ned, in such a way that the restriction epimorphism ¦ÇW : T ¡ú TW preserves the tensor product. We say that T is a continuous bundle of tensor C*-categories if it is a continuous bundle w.r.t. the above C (X ¦É )-category structure. As a consequence of the above considerations, we obtain a simple result on the structure of the DR-algebra associated with an object ¦Ñ ¡Ê obj T . The proof is trivial, therefore it will be omitted; note that we make the standard assumption that the map t ¡ú t ? 1¦Ñ , t ¡Ê (¦Ñr , ¦Ñs ), r, s ¡Ê N , is isometric. Proposition 3.2. Let T be a tensor C*-category (resp. a continuous bundle of tensor C*categories), ¦Ñ ¡Ê obj T . Then, O¦Ñ is a C (X ¦É ) -algebra. In particular, if ¦Ñ is a (locally trivial) continuous bundle, then O¦Ñ is a (locally trivial) continuous bundle of C*-algebras. A tensor C*-category (T , ?, ¦É) is said to be symmetric if for every ¦Ñ, ¦Ò ¡Ê obj T there exists a unitary ¦Å(¦Ñ, ¦Ò ) ¡Ê (¦Ñ¦Ò, ¦Ò¦Ñ) implementing the ?ip ¦Å(¦Ò, ¦Ò ¡ä ) ? (t ? t¡ä ) = (t¡ä ? t) ? ¦Å(¦Ñ, ¦Ñ¡ä ) , (3.6)

t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ), and satisfying certain natural relations (see [12, ¡ì1]). In essence, the notion of symmetry expresses commutativity of the tensor product. It is well-known that duals of locally compact groups are symmetric tensor C*-categories. Remark 3.2. Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. By de?nition, C (X ¦É ) ? (¦É, ¦É). On the converse, if z ¡Ê (¦É, ¦É), ¦Ñ ¡Ê obj T , then by (3.6) we ?nd z ? 1¦Ñ = ¦Å(¦Ñ, ¦É) ? (1¦Ñ ? z ) ? ¦Å(¦É, ¦Ñ); since ¦Å(¦Ñ, ¦É) = ¦Å(¦É, ¦Ñ) = 1¦Ñ , we conclude z ¡Ê C (X ¦É ) and (¦É, ¦É) = C (X ¦É ). For every x ¡Ê X ¦É , we denote by ¦Ðx : T ¡ú Tx the ?bre epifunctor associated with T as a C (X ¦É )-category. By (3.5), every ¦Ðx preserves the tensor product; moreover, by de?ning ¦Åx (¦Ñx , ¦Òx ) := ¦Ðx (¦Å(¦Ñ, ¦Ò )), we obtain that every Tx is symmetric. By de?nition, the ?bre functor ¦Ðx preserves the symmetry. Let ¦Ñ ¡Ê obj T . By [12, Appendix], for every r ¡Ê N there is a unitary representation of the permutation group of r objects, which we denote by Pr : ¦Å¦Ñ : Pr ¡ú (¦Ñr , ¦Ñr ) , p ¡ú ¦Å¦Ñ (p) . For every r ¡Ê N , we introduce the antisymmetric projection P¦Ñ,¦Å,r := 1 r! sign(p) ¦Å¦Ñ (p) .

p¡ÊPr

(3.7)

Let ¦Ñ? ¡Ê endO¦Ñ be the canonical endomorphism. It follows from (3.6) that ¦Ñ? is ¡±approximately inner¡±, in the sense that ¦Ñ? (t) = 1¦Ñ ? t = ¦Å¦Ñ (s, 1) t ¦Å¦Ñ (1, r) , t ¡Ê (¦Ñr , ¦Ñs ) 11 (3.8)

(recall that t is identi?ed with t ? 1¦Ñ in O¦Ñ ). For brevity (and coherence with (3.7)), in (3.8) we used the notation ¦Å¦Ñ (r, s) := ¦Å(¦Ñr , ¦Ñs ), r, s ¡Ê N . Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. We denote by aut¦Å T the set of C*-autofunctors ¦Á of T satisfying ¦Á(¦Ñ) = ¦Ñ , ¦Á(t ? t¡ä ) = ¦Á(t) ? ¦Á(t¡ä ) , ¦Á(¦Å(¦Ñ, ¦Ò )) = ¦Å(¦Ñ, ¦Ò ) , (3.9)

t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ), ¦Å(¦Ñ, ¦Ò ) ¡Ê (¦Ñ¦Ò, ¦Ò¦Ñ). In particular, let us consider the case T = ¦Ñ for some object ¦Ñ . We note that in order to obtain the third of (3.9) it su?ces to require ¦Á(¦Å¦Ñ (1, 1)) = ¦Å¦Ñ (1, 1). Moreover, z ¡Ê aut¦Å ¦Ñ for every z ¡Ê T , where z is de?ned by (3.1). We denote by aut¦Å O¦Ñ ? autO¦Ñ the closed group of automorphisms commuting with ¦Ñ? , and leaving every ¦Å¦Ñ (r, s) ?xed, r, s ¡Ê N . If ¦Ñ is amenable in the sense of Sec.3.0.3, then by universality of O¦Ñ we obtain an identi?cation aut¦Å ¦Ñ = aut¦Å O¦Ñ . (3.10) In fact, every C*-autofunctor ¦Á ¡Ê aut¦Å ¦Ñ de?nes an automorphism of O¦Ñ as in (3.3); on the converse, every ¦Â ¡Ê aut¦Å O¦Ñ de?nes by amenability a C*-autofunctor of ¦Ñ . In the sequel we will regard aut¦Å ¦Ñ as a topological group, endowed with the pointwise-convergence topology de?ned on aut¦Å O¦Ñ . The following notion will play an important role in the sequel. De?nition 3.3. Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. An embedding functor is a C*-monofunctor i : T ?¡ú vect(X ¦É ) , preserving tensor product and symmetry. The following de?nition appeared in [12, ¡ì2]. A tensor C*-category (T , ?, ¦É) has conjugates if for every ¦Ñ ¡Ê obj T there exists ¦Ñ ¡Ê obj T with arrows R ¡Ê (¦É, ¦Ñ¦Ñ), R ¡Ê (¦É, ¦Ñ¦Ñ), such that the conjugate equations hold: (R ? 1¦Ñ ) ? (1¦Ñ ? R) = 1¦Ñ , (R? ? 1¦Ñ ) ? (1¦Ñ ? R) = 1¦Ñ . The notion of conjugation is deeply related with the one of dimension. Let us de?ne d(¦Ñ) = R? ? R ¡Ê (¦É, ¦É) , d(¦Ñ) > 0 ; (3.12)

?

(3.11)

then, it turns out that d(¦Ñ) is invariant w.r.t. unitary equivalence and conjugation ([12, ¡ì2]). If T is symmetric, then (with some assumptions) d(¦Ñ) = d1¦É for some d ¡Ê N . In the case T = hilb , then d is the dimension in the sense of Hilbert spaces. For further investigations about the notion of dimension, we refer the reader to [23, 18]. Example 3.3 (Group duality in the Cuntz algebra). The following construction appeared in [11]. Let Hd be the canonical rank d Hilbert space. For every r, s ¡Ê N , we denote by (H r , H s ) the Banach space of linear maps from H r into H s ; it is clear that (H r , H s ) is isomorphic to the r , r ¡Ê N , and arrows (H r , H s ) is a matrix space Mdr ,ds . The category Hd with objects Hd tensor C*-category, when endowed with the usual matrix tensor product. Hd is symmetric: we r +s r +s r s have the operators ¦È(r, s) ¡Ê (Hd , Hd ), ¦È(r, s)v ? v ¡ä := v ¡ä ? v , v ¡Ê Hd , v ¡ä ¡Ê Hd . Moreover aut¦È Hd = aut¦È Od ? U(d) ([11, Cor.3.3 , Lemma 3.6]). The DR-dynamical system associated with Hd is given by (Od , T, ¦Òd ), where Od is the Cuntz algebra endowed with the gauge action T ¡ú autOd and the canonical endomorphism ¦Òd ¡Ê endOd . Let G ? U(d) be a closed group. r Then, every tensor power Hd , r ¡Ê N , is a G -module w.r.t. the natural action g, ¦× ¡ú gr ¦× , g ¡Ê G , r gr := g ? . . . ? g , ¦× ¡Ê Hd . We denote by G the subcategory of Hd with arrows the spaces of equivariant maps (H r , H s )G := {t ¡Ê (H r , H s ) : gs ? t = t ? gr , g ¡Ê G} . (3.13)

12

It is well-known that the dual of G (i.e., the category of ?nite dimensional representations) is recovered by extending G w.r.t. direct sums. An automorphic action G ¡ú autOd can be constructed, by de?ning ? g ¡Ê autOd : g (t) := gs ? t ? gr , g ¡Ê G, t ¡Ê (H r , H s ) . (3.14) Thus, every (H r , H s )G coincides with the ?xed-point space w.r.t. (3.14). We denote by OG the C*-subalgebra of Od generated by (H r , H s )G , r, s ¡Ê N ; it turns out that OG is the ?xed-point algebra w.r.t. (3.14). Since ¦Òd ? g = g ? ¦Òd , g ¡Ê G , we obtain that ¦Òd restricts to an endomorphism r s ¦ÒG ¡Ê endOG . It turns out that (H r , H s )G = (¦ÒG , ¦ÒG ), r, s ¡Ê N ; in other terms, we ?nd G = ¦ÒG (in particular, for G = {1} , we have Hd = ¦Òd ). Moreover, the stabilizer autOG Od of OG in Od is isomorphic to G via (3.14). Thus, G and the associated tensor C*-category G are recovered by properties of the C*-dynamical system (OG , ¦ÒG ), together with the inclusion OG ?¡ú Od . Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. ¦Ñ ¡Ê obj T is said to be a special object if there exists d ¡Ê N , V ¡Ê (¦É, ¦Ñd ) such that V ? ? V = 1¦É , V ? V ? = P¦Ñ,¦Å,d (V ? ? 1¦Ñ ) ? (1¦Ñ ? V ) = (?1)d?1 d?1 1¦Ñ . (3.15)

It turns out that V is unique up to multiplication by elements of T (see [12, ¡ì3]). In the sequel, we will denote the above data by (¦Ñ, d, V ). It is proved that the integer d coincides with the dimension of ¦Ñ ([12, Lemma 3.6]). Special objects play a pivotal role in the Doplicher-Roberts duality theory. In fact, tensor categories generated by special objects are in one-to-one correspondence with duals of compact Lie groups, in the case (¦É, ¦É) ? C . Since in the sequel we will make use of such concepts at a detailed level, in the next Lemma an abstract duality is summarized for special objects. Lemma 3.4. Let (¦Ñ, d, V ) be a special object, and suppose (¦É, ¦É) ? C . Then, the following properties are satis?ed: 1. ¦Ñ is amenable, and there is a C*-monomorphism i : (O¦Ñ , ¦Ñ? ) ?¡ú (Od , ¦Òd ) ; 2. the above monomorphism de?nes an embedding functor i? : ¦Ñ ?¡ú Hd , in the sense of Def.3.3; 3. there is a closed group G ? SU(d) such that i? (¦Ñ) = G , so that G , ¦Ñ are isomorphic as symmetric tensor C*-categories; 4. i restricts to an isomorphism (O¦Ñ , ¦Ñ? ) ? (OG , ¦ÒG ) ; 5. G is isomorphic to the stabilizer of OG in Od w.r.t. the action (3.14); 6. if ¦Á ¡Ê aut¦Å ¦Ñ , then there is a unitary u ¡Ê U(d) such that i ? ¦Á = u ? i (where u ¡Ê aut¦È Od is de?ned as in (3.14)). Proof. Point 1 is [12, Lemma 4.14]. Points 2,3,4,5 are proved in [12, Thm.4.17]. About point 6, let ¦Á ¡Ê aut¦Å ¦Ñ . Since ¦Ñ? (V ) = ¦Å¦Ñ (d, 1)V (recall (3.8)), we obtain ¦Ñ? (V ? ¦Á(V )) = V ? ¦Å¦Ñ (1, d)¦Á(¦Å¦Ñ (d, 1)V ) = V ? ¦Á(V ) . Thus, V ? ¦Á(V ) is ¦Ñ? -invariant, and V ? ¦Á(V ) ¡Ê (¦É, ¦É) = C (see [12, Lemma 4.13]). Now, ¦Á(P¦Ñ,¦Å,d ) = P¦Ñ,¦Å,d , so that 1= V

2

¡Ý V ? ¦Á(V ) = V

V ? ¦Á(V ) 13

2 ¦Á(V ? ) ¡Ý P¦Ñ,¦Å,d =1,

we conclude that V ? ¦Á(V ) = z¦Ñ , z¦Ñ ¡Ê T . Thus, ¦Á(V ) = P¦Ñ,¦Å,d ¦Á(V ) = V V ? ¦Á(V ) = z¦Ñ V . Let now ¦Ë¦Ñ ¡Ê T , ¦Ëd ¦Ñ = z ¦Ñ . We de?ne the automorphism ¦Â := ¦Ë¦Ñ ? ¦Á ¡Ê aut¦Å ¦Ñ , in such a way that ¦Â (V ) = ¦Ë¦Ñ ? ¦Á(V ) = ¦Ëd ¦Ñ z¦Ñ V = V . By [14, Cor.4.9(d)], we obtain that there is v ¡Ê SU(d) such that i ? ¦Â = v ? i . By de?ning u := ¦Ë¦Ñ v ¡Ê U(d) , we obtain u ? i = i ? ¦Á . 3.0.5 Twisted special objects.

Note that V ? V ¡ä ¡Ê (¦É, ¦É), thus V is endowed with a natural structure of right Hilbert (¦É, ¦É)-module. It is clear that VV ? may be identi?ed with the C*-algebra of compact, right (¦É, ¦É)-module operators on V , and that P¦Ñ,¦Å,d is the identity of V . The map i : (¦É, ¦É) ¡ú K (V ), i(f ) := f ? P¦Ñ,¦Å,d de?nes a left (¦É, ¦É)-action on V ; note that (3.16(3)) implies that i is surjective. From (3.16(3)) we also obtain that V is full, in fact V ? ? V = V ? V ? = fV ? P¦Ñ,¦Å,d , V ¡Ê V , fV ¡Ê (¦É, ¦É), so that every positive element of (¦É, ¦É) appears as the square of the norm of an element of V . Moreover, i(f )V = f ? V = 0 , V ¡Ê V , implies f ? V ? V = 0 , i.e. f fV = 0 , fV := V ? V ¡Ê (¦É, ¦É); since at varying of V in V we obtain all the positive elements of (¦É, ¦É), we ?nd that f = 0 , and the left action i is injective. We conclude that V is a bi-Hilbertian (¦É, ¦É)-bimodule. Lemma 3.5. If existing, the Hilbert (¦É, ¦É) -bimodule V is unique. Moreover, there exists a unique up-to-isomorphism line bundle L¦Ñ ¡ú X ¦É such that V is isomorphic to the module of continuous sections of L¦Ñ . Proof. The generalised Serre-Swan theorem proved in [8] implies that V is the module of continuous sections of a Hilbert bundle L¦Ñ ¡ú X ¦É ; since K (V ) ? C (X ¦É ), we conclude that L¦Ñ has rank one, i.e. it is a line bundle. We now pass to prove the unicity; we consider a ?nite set of generators ? d ? {Vi } ? V , so that i Vi ? Vi = 1¦É . If W ? (¦É, ¦Ñ ) is another (¦É, ¦É)-bimodule i Vi ? Vi = P¦Ñ,¦Å,d , satisfying (3.16) and W ¡Ê W , then W = P¦Ñ,¦Å,d ? W . This implies W = i Vi ? (Vi? ? W ), with Vi? ? W ¡Ê (¦É, ¦É), thus W ¡Ê V . This proves W = V . The set of transition maps associated with L¦Ñ ¡ú X ¦É de?nes a T -cocycle in H 1 (X ¦É , T). The isomorphism H 1 (X ¦É , T) ? H 2 (X ¦É , Z) allows one to give the following de?nition. 14

Lemma 3.4 implies that tensor C*-categories generated by special objects correspond to duals of compact Lie groups G ? SU(d) , in the case (¦É, ¦É) ? C . In particular, by performing the embedding ¦Ñ ?¡ú Hd , we obtain that V corresponds to a normalized generator of the totally antisymmetric tensor product ¡Äd Hd . In the case in which (¦É, ¦É) is nontrivial, the notion of special object is too narrow to cover all the interesting cases. For example, let us consider the category vect(X ), where X is a compact Hausdor? space: if E ¡ú X is a rank d vector bundle, then it is well-known that the totally antisymmetric tensor product ¡Äd E is a line bundle, in general non-trivial. The cohomological obstruction to get triviality of ¡Äd E is encoded by the ?rst Chern class of E . In the particular case in which ¡Äd E is trivial, then we may ?nd a (normalized) section, which plays the right role in the de?nition of special object. Since our duality theory will be modeled on vect(X ), it becomes natural to generalize the notion of special object, in such a way to include the above-described case. Let T be a symmetric tensor C*-category. A twisted special object is given by a triple (¦Ñ, d, V ), where ¦Ñ ¡Ê obj T , d ¡Ê N , and V ? (¦É, ¦Ñd ) is a closed subspace such that for every V, V ¡ä ¡Ê V , f ¡Ê (¦É, ¦É), ? ? f ?V =V ?f ¡ÊV (V ? ? 1¦Ñ ) ? (1¦Ñ ? V ¡ä ) = (?1)d?1 d?1 (V ? ? V ¡ä ) ? 1¦Ñ (3.16) ? VV ? := span {V ¡ä ? V ? : V, V ¡ä ¡Ê V¦Ñ } = (¦É, ¦É) ? P¦Ñ,¦Å,d .

De?nition 3.6. The Chern class of a twisted special object (¦Ñ, d, V ) is the unique element c(¦Ñ) ¡Ê H 2 (X ¦É , Z) associated with L¦Ñ . By de?nition, usual special objects are exactly those with Chern class c(¦Ñ) = 0 ; in such a case, V is generated as a (¦É, ¦É)-module by an isometry V ¡Ê (¦É, ¦Ñd ). Let now W ? X ¦É ; we denote by ¦ÇW : T ¡ú TW the restriction epimorphism; by using the argument of Rem.3.2, for every ¦Ñ, ¦Ò ¡Ê obj T we de?ne ¦ÅW (¦Ñ, ¦Ò ) := ¦ÇW (¦Å(¦Ñ, ¦Ò )), and conclude that (TW , ?W , ¦ÇW (¦É), ¦ÅW ) is symmetric. Corollary 3.7. For every x ¡Ê X ¦É , there exists a closed neighborhood W ? X ¦É , W ? x , such that ¦ÇW (¦Ñ) is a special object. Proof. It su?ces to pick a closed neighborhood W trivializing L¦Ñ : this implies the existence of a normalized section of L¦Ñ |W , which appears as an element VW ¡Ê ¦ÇW (V ) ? ¦ÇW (¦É, ¦Ñd ) such that ? ? VW ? VW = ¦ÇW (1¦É ), VW ? VW = ¦ÇW (P¦Ñ,¦Å,d ). Let A be a C*-algebra. Twisted special objects in endA have been studied in [32, ¡ì4], and have been called special endomorphisms. Lemma 3.8. Let (¦Ñ, d, V ) be a twisted special object. Then ¦Ñ is amenable, and ¦Ñ is a continuous bundle of tensor C*-categories with base space X ¦É . For every x ¡Ê X ¦É , there exists a compact Lie group G(x) ? SU(d) such that the ?bre ¦Ñx is isomorphic to G(x) . Proof. As ?rst, we prove that ¦Ñ is amenable. Let {Xi } be an open cover trivializing L¦Ñ , with a subordinate partition of unity {¦Ëi } . We denote by ¦Ñi the restriction of ¦Ñ on the closure X i , and by ¦Çi : ¦Ñ ¡ú ¦Ñi the restriction epifunctor. Since L¦Ñ |Xi is trivial, we ?nd that (¦Ñi , d, Vi ) is a special object, where Vi ¡Ê ¦Çi (V ) ? (¦É, ¦Ñd i ) is a suitable partial isometry. By [12, Lemma 4.14] we ?nd that s s , ¦Ñ ) = (¦Ñr ¦Ñi is amenable, i.e. (¦Ñr i,? i,? i , ¦Ñi ), r, s ¡Ê N . This implies that ¦Çi induces a C*-epimorphism s r s ¦Çi : (O¦Ñ , ¦Ñ? ) ¡ú (O¦Ñi , ¦Ñi,? ). Let t ¡Ê (¦Ñr ? , ¦Ñ? ); for every index i , we consider ¦Çi (t) ¡Ê (¦Ñi,? , ¦Ñi,? ). s r s r s Since ¦Ñi is amenable, we conclude that ¦Çi (t) ¡Ê (¦Ñr , ¦Ñ ). By construction, ¦Ç : ( ¦Ñ , ¦Ñ ) ¡ú ( ¦Ñ , i i i i ¦Ñi ) is the restriction on X i of the continuous ?eld of Banach spaces (¦Ñr , ¦Ñs ); by the Tietze theorem [9, 10.1.12], there is ti ¡Ê (¦Ñr , ¦Ñs ) such that ¦Çi (ti ) = ¦Çi (t). Now, we have t = i ¦Ëi ti ; since r s r s ¦Ë t ¡Ê ( ¦Ñ , ¦Ñ ), we conclude that t ¡Ê ( ¦Ñ , ¦Ñ ), and ¦Ñ is amenable. We now prove that ¦Ñ is a i i i continuous bundle. Since ¦Ñ is a twisted special object, we ?nd that ¦Ñ? ¡Ê endO¦Ñ is a quasi-special endomorphism in the sense of [32, Def.4.10], with the additional property that the permutation symmetry [32, Def.1.1,¡ì4.1] is satis?ed. Thus, by applying [32, Thm.5.1,Cor.5.2], we ?nd that O¦Ñ is a continuous bundle, with ?bres isomorphic to OG(x) , x ¡Ê X , where each G(x) ? SU(d) is a compact Lie group. The same results also imply that ¦Ñ is a continuous bundle with ?bres G(x) , x ¡Ê X. Let (¦Ñ, d, V ) be a twisted special object. Then, V appears as a Hilbert (¦É, ¦É)-bimodule in O¦Ñ , so that an inner endomorphism ¦Í ¡Ê endO¦Ñ is de?ned, in the sense of [31, ¡ì3]. In explicit terms, if {¦×l } ? V is a ?nite set of generators for V , then ¦Í (t) :=

l ? ¦×l t¦×l , t ¡Ê O¦Ñ .

(3.17)

Since z (¦×l ) = z d ¦×l , z ¡Ê T , we ?nd that ¦Í commutes with the circle action, i.e. ¦Í ? z = z ? ¦Í , k k z ¡Ê T . Thus, in particular we ?nd ¦Í (O¦Ñ ) ? O¦Ñ , k ¡Ê Z.

15

3.0.6

Continuity of tensor C*-categories.

The following notion is a generalization of the analogue in [12, ¡ì3]. We say that a symmetric tensor C*-category (T , ?, ¦É, ¦Å) is T-specially directed if every object ¦Ñ¡ä ¡Ê obj T is dominated by a twisted special object ¦Ñ ¡Ê obj T , i.e. there exist orthogonal partial isometries Si ¡Ê (¦Ñ¡ä , ¦Ñni ), ? i = 1, 2, . . . , m , with 1¦Ñ¡ä = i Si ? Si . If T has direct sums, subobjects and conjugates, then T is T-specially directed, with the additional property that every ¦Ñ¡ä is dominated by a (non-twisted) special object (see the proof of [12, Thm.3.4]). Theorem 3.9. Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. Then, C (X ¦É ) coincides with (¦É, ¦É) . If T is T-specially directed, then T is a continuous bundle of symmetric tensor C*-categories over X ¦É . Proof. In Rem.3.2, we veri?ed that C (X ¦É ) = (¦É, ¦É), thus it remains to prove that T is a continuous bundle. At this purpose, we consider ¦Ñ, ¦Ò ¡Ê obj T , t ¡Ê (¦Ñ, ¦Ò ), and prove the continuity of the 1/2 norm function nt (x) := ¦Ðx (t) , x ¡Ê X ¦É . Since nt (x) = ¦Ðx (t? ? t) , with t? ? t ¡Ê (¦Ñ, ¦Ñ), it su?ces to verify the continuity of nt only for arrows that belong to (¦Ñ, ¦Ñ), ¦Ñ ¡Ê obj T . By Lemma 3.8, the norm function nt is continuous for every t ¡Ê (¦Ñr , ¦Ñs ), r, s ¡Ê N , where ¦Ñ is a twisted special object. Since there is an obvious inclusion ¦Ñn ?¡ú ¦Ñ , the norm function remains continuous for arrows between tensor powers of twisted special objects. This implies that if we consider the full C*-subcategory T sp of T with objects tensor powers of twisted special objects, then T sp is a continuous bundle of C*-categories over X ¦É . By Lemma 2.7, we conclude that (T sp )s,+ is a continuous bundle of C*-categories. Since T is T -specially directed, we ?nd that every ¦Ñ¡ä ¡Ê obj T is an object of (T sp )s,+ , in fact ¦Ñ¡ä is the direct sum of subobjects of ¦Ñni , i = 1, . . . , m , where ¦Ñ is a twisted special object. We conclude that the norm function of ¦Ñ¡ä is continuous, and the theorem is proved. Remark 3.3. An analogue of the previous theorem has been proved by P. Zito ([36, ¡ì3]), in the setting of 2 -C*-categories with conjugates. In the above-cited result, no symmetry property of the tensor product is assumed. It is not di?cult to prove that the bundle structure constructed by Zito coincides with the one of Thm.3.9, in the common case of symmetric tensor C*-categories with conjugates. Remark 3.4. The ?bre epifunctors ¦Ðx , x ¡Ê X ¦É , considered in the previous theorem preserve symmetry and tensor product, thus every ?bre Tx has conjugates; moreover, ¦Ðx (¦É, ¦É) ? C for every x ¡Ê X . By closing each Tx w.r.t. subobjects and direct sums, we obtain a tensor C*-category satisfying the hypothesis of [12, Thm.6.1], which turns out to be isomorphic to the dual of a compact group G(x) . In particular, for each pair ¦Ñ, ¦Ò ¡Ê obj T , the ?bres of the continuous ?eld (¦Ñ, ¦Ò ) are the ?nite-dimensional vector spaces (H¦Ñ,x , H¦Ò,x )G(x) of G(x) -equivariant operators between Hilbert spaces H¦Ñ,x , H¦Ò,x , x ¡Ê X ¦É . 3.0.7 Local Triviality.

In the next de?nition, we give a notion of local triviality for a symmetric tensor C*-category, compatible with the bundle structure of Thm.3.9. Let (T? , ?? , ¦É? , ¦Å? ) be a symmetric tensor C*category, X a compact Hausdor? space; then, the constant bundle X T? (Sec.2.2) has a natural structure of symmetric tensor C*-category,

¡ä ¡ä X (t ?X ? t )(x) := t(x) ?? t (x) , ¦Å? (¦Ñ, ¦Ò ) := ¦Å? (¦Ñ, ¦Ò ) ,

(3.18)

16

t, t¡ä ¡Ê (¦Ñ, ¦Ò )X , ¦Ñ, ¦Ò ¡Ê obj T? . Let now (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category. The ?bres Tx , x ¡Ê X ¦É , are symmetric tensor C*-categories having the same set of objects as T , in such a way that the ?bre epifunctors ¦Ðx : T ¡ú Tx induce the identity map obj T ¡ú obj Tx ¡Ô obj T (Rem.2.1); moreover, ¦Ðx preserves tensor product and symmetry (Rem.3.2), and every Tx , x ¡Ê X ¦É , has simple identity object. De?nition 3.10. Let (T , ?, ¦É, ¦Å) be a symmetric tensor C*-category, endowed with the natural C (X ¦É ) -category structure. T is said to be locally trivial if it is locally trivial in the sense of Sec.2.2.2, with the additional property that the local charts preserve tensor product and symmetry. In explicit terms, there is a symmetric tensor C*-category (T? , ?? , ¦É? , ¦Å? ) with simple identity object, and a cover {Xi ? X ¦É } of closed neighborhoods with C*-isofunctors ¦Ði : TXi ¡ú Xi T? satisfying ? ? ¦Ði (¦Ñ) = ¦Ðj (¦Ñ) ¡ä i ¦Ði (t ? t¡ä ) = ¦Ði (t) ?X (3.19) ? ¦Ði (t ) ? Xi ¦Ði (¦Å(¦Ñ, ¦Ò )) = ¦Å? (¦Ñ, ¦Ò ) where ¦Ñ, ¦Ò ¡Ê obj T , t ¡Ê (¦Ñ, ¦Ò ), t¡ä ¡Ê (¦Ñ¡ä , ¦Ò ¡ä ). If X is a compact Hausdor? space, we denote by sym(X, T? ) (3.20)

the set of isomorphism classes of locally trivial, symmetric tensor C*-categories with ?bres isomorphic to T? , and such that the space of intertwiners of the identity object is isomorphic to C (X ). Let (¦Ñ? , ?? , ¦É? , ¦Å? ) be a symmetric tensor C*-category with generating object ¦Ñ? , such that (¦É? , ¦É? ) ? C . If (T , ?, ¦É, ¦Å) ¡Ê sym(X, ¦Ñ? ), then T has the same objects as ¦Ñ? ; in order to avoid confusion, we will denote by ¦Ñ the object of T corresponding to ¦Ñ? , so that T is generated by the tensor powers of ¦Ñ , i.e. T = ¦Ñ . In the following lines, we regard the topological group aut¦Å? ¦Ñ? (3.9) as the ¡±structure group¡± for a locally trivial, symmetric tensor C*-category. Let K be a topological group. A K -cocycle is given by a pair ({Xi } , {gij }), where {Xi } is a ?nite open cover of X and gij : Xij ¡ú K are continuous maps such that gij (x)gjk (x) = gik (x), x ¡Ê Xijk . We say that cocycles ¡ä }) are equivalent if there are continuous maps uil : Xi ¡É Xl¡ä ¡ú K such ({Xi } , {gij }), ({Xl¡ä } , {glm ¡ä ¡ä that gij (x)ujm (x) = uil (x)glm (x), x ¡Ê Xij ¡É Xlm . The set of equivalence classes of K -cocycles is 1 1 denoted by H (X, K ). It is well-known that H (X, K ) classi?es the principal K -bundles over X ([17, Chp.4]). Lemma 3.11. Let ¦Ñ? be amenable. Then, there is a one-to-one correspondence sym(X, ¦Ñ? ) ? H 1 (X, aut¦Å? ¦Ñ? ) . Proof. Let (¦Ñ, ?, ¦É, ¦Å) ¡Ê sym(X, ¦Ñ? ). Then, there are local charts ¦Ði : ¦ÑXi ¡ú Xi ¦Ñ? , where {Xi ? X } is a cover of closed neighborhoods. Let Xij = ? ; then, every ¦Ði restricts in a natu?1 ; ral way to a local chart ¦Ði,ij : ¦ÑXij ¡ú Xij ¦Ñ? . We de?ne ¦Áij : Xij ¦Ñ? ¡ú Xij ¦Ñ? , ¦Áij := ¦Ði,ij ? ¦Ðj,ij by (3.19), we obtain ¦Áij (t ?? ij t¡ä ) = ¦Áij (t) ?? ij ¦Áij (t¡ä ) , ¦Áij (¦Å? ij (r, s)) = ¦Å? ij (r, s) ,

¡ä r s s t ¡Ê (¦Ñr ? , ¦Ñ? )Xij , t ¡Ê (¦Ñ? , ¦Ñ? )Xij . Thus, ¦Áij ¡Ê aut¦Å? (Xij ¦Ñ? ). Now, the DR-algebra associated with ¦Ñ? (regarded as an object of Xij ¦Ñ? ) is the trivial ?eld C (Xij ) ? O¦Ñ? ; we denote by ¦Ðx : C (Xij ) ? O¦Ñ? ¡ú O¦Ñ? the evaluation epimorphism assigned for x ¡Ê Xij . By (3.10), we may regard

¡ä ¡ä

X

X

X

X

17

¦Áij as an element of aut¦Ñ? ,¦Å? (C (Xij ) ? O¦Ñ? ). In particular, ¦Áij is a C (Xij )-automorphism, thus we may regard ¦Áij as a continuous map ¦Áij : Xij ¡ú aut¦Ñ? ,¦Å? O¦Ñ? , [¦Áij (x)](t) := ¦Ðx ? ¦Áij (1ij ? t) ,

?1 = where t ¡Ê O¦Ñ? , x ¡Ê Xij , and 1ij ¡Ê C (Xij ) is the identity. Now, the obvious identity ¦Ði,ijk ? ¦Ðk,ijk ?1 ?1 ¦Ði,ijk ? ¦Ðj,ijk ? ¦Ðj,ijk ? ¦Ðk,ijk implies ¦Áik = ¦Áij ? ¦Ájk (over Xijk ); thus, by applying (3.10), we conclude that the set {¦Áij } de?nes an aut¦Å? ¦Ñ? -cocycle. By choosing another set of local charts ¡ä ¡ä ¡ä ¦Ðh : ¦Ñ ¡ú Yh ¦Ñ? , we obtain a cocycle ¦Âhk := ¦Ðh,hk ? (¦Ðk,hk )?1 which is equivalent to {¦Áij } , in fact ?1 ?1 ¡ä ? ¦Ði . If (¦Ñ¡ä , ?¡ä , ¦É¡ä , ¦Å¡ä ) is a symmetric ¦Âhk = Vhi ? ¦Áij ? Vkj , Vhi : Xi ¡É Yh ¡ú aut¦Å? ¦Ñ? , Vhi := ¦Ðh

tensor C*-category with a C*-isofunctor F : ¦Ñ ¡ú ¦Ñ¡ä , then {¦Ði ? F } is a set of local charts associated ?1 with ¦Ñ¡ä ; thus, ¦Áij = (¦Ði ? F ) ? (F ?1 ? ¦Ðj ) is a cocycle associated with ¦Ñ¡ä . In other terms, we de?ned an injective map i? : sym(X, ¦Ñ? ) ?¡ú H 1 (X, aut¦Å? ¦Ñ? ) . On the converse, let {¦Áij } be an aut¦Å? ¦Ñ? -cocycle associated with a ?nite cover {Xi } of closed neighborhoods. As a preliminary remark, we consider the obvious structure of symmetric tensor C*-category (3.18) on the trivial bundle W ¦Ñ? , W ? X closed. With such a structure, every ¦Áij de?nes a C*-autofunctor ¦Áij : Xij ¦Ñ? ¡ú Xij ¦Ñ? preserving tensor product and symmetry, and such that ¦Áij (¦Ñ? ) = ¦Ñ? . We consider the set of symmetric tensor C*-categories {(Xi ¦Ñ? , ?i , ¦Éi , ¦Åi )} (where ?i , ¦Éi , ¦Åi are de?ned according to (3.18)), and the C*-category T obtained by glueing every Xi ¦Ñ? w.r.t. the C*-isofunctors ¦Áij ¡¯s. By construction, the objects of T are the tensor powers of ¦Ñ? ; the spaces of arrows of T are de?ned according to (2.9). We de?ne a tensor product on T , by posing r +s s , r, s ¡Ê N , and ¦Ñr ? ¦Ñ? := ¦Ñ? ¡ä (ti )i ? (t¡ä (3.21) i )i := (ti ?i ti )i

s where the families {ti ¡Ê C (Xi , (¦Ñr ? , ¦Ñ? ))} , preserves the tensor product, we ?nd r s t¡ä i ¡Ê C (Xi , (¦Ñ? , ¦Ñ? ))

¡ä ¡ä

satisfy (2.9). Since each ¦Áij

¦Çi,Xij (ti ? t¡ä i)

= ¦Çj,Xij (ti ) ?i ¦Çj,Xij (t¡ä i) = ¦Áij (¦Çj,Xij (tj )) ?j ¦Áij (¦Çj,Xij (t¡ä j )) ) , = ¦Áij ? ¦Çj,Xij (tj ?j t¡ä j

so that the l.h.s. of (3.21) is actually an arrow in T ; thus, the tensor product on T is well-de?ned. For the same reason, the operators

s ¦Å(r, s) := ( 1Xi ? ¦Å? (¦Ñr ? , ¦Ñ? ) )i

de?ne a symmetry on T . We denote by T := (¦Ñ, ?, ¦É, ¦Å) the symmetric tensor C*-category obtained in this way. By construction, ¦Ñ is equipped with a set of local charts ¦Ði : ¦ÑXi ¡ú Xi ¦Ñ? such that ?1 ¦Áij = ¦Ði,ij ? ¦Ðj,ij (see (2.10)), thus the map i? is also surjective. Example 3.4 (The Permutation category.). Let (¦Ñ? , ?? , ¦É? , ¦Å? ) be a symmetric tensor C*-category s r r with (¦É? , ¦É? ) ? C . We assume that (¦Ñr ? , ¦Ñ? ) = {0} if r = s ¡Ê N , and that every (¦Ñ? , ¦Ñ? ) is generated as a Banach space by the permutation operators ¦Å? ¦Ñ? (p), p ¡Ê Pr . It is clear that in this case the automorphism group aut¦Å? ¦Ñ? reduces to the identity. Let d ¡Ê N denote the dimension of ¦Ñ? ; by [12, Lemma 2.17] we ?nd that ¦Ñ? is isomorphic as a symmetric tensor C*-category to U(d) r r r (see Ex.3.3). Thus, (¦Ñr ? , ¦Ñ? ) ? (Hd , Hd )U(d) , r ¡Ê N . Let ¦Ñ ¡Ê sym(X, ¦Ñ? ); since aut¦Å? ¦Ñ? = {id} , from the previous lemma we conclude ¦Ñ ? X ¦Ñ? . We denote by PX,d ? X U(d) the unique (up to isomorphism) element of sym(X, U(d)). 18

3.0.8

Special categories.

Let G ? U(d) be a closed group. We denote by N G the normalizer of G in U(d) , and by QG := N G/G the quotient group, so that we have an epimorphism p : N G ¡ú QG . (3.22)

The inclusion G ? U(d) implies that OU(d) ? OG . We denote by aut(Od , OG ) ? aut¦È Od the group of automorphisms of Od leaving OG globally stable, and coinciding with the identity on OU(d) . From [11, Cor.3.3], we conclude that aut(Od , OG ) is isomorphic to a subgroup of U(d) , acting on Od according to (3.14). Theorem 3.12. Let (¦Ñ, d, V ) be a special object, and suppose (¦É, ¦É) = C . Then, there is a closed group G ? SU(d) with a group isomorphism aut¦Å ¦Ñ ? QG . Let ¦Ð : aut(Od , OG ) ¡ú autOG be the map assigning to ¦Á ¡Ê aut(Od , OG ) the restriction on OG ; then, there is a commutative diagram of group morphisms p / QG (3.23) NG

b b ¦Ð

aut(Od , OG )

/ aut¦È OG

The vertical arrows of the above diagram are group isomorphisms. Proof. By Lemma 3.4, there are isomorphisms aut¦Å ¦Ñ ? aut¦È G ? aut¦È OG ; moreover, for every ¦Á ¡Ê aut¦Å ¦Ñ there exists u ¡Ê U(d) such that u ? i = i ? ¦Á . Now i(O¦Ñ ) = OG , so that the previous equality implies that u ¡Ê autOd restricts to an automorphism of OG ; moreover, for every g ¡Ê G we ?nd u ? g ? u? (t) = u ? g(u? (t)) = u ? u? (t) = t (3.24) (we used u? (t) ¡Ê OG , and g ¡Ê autOG Od ). Thus, we conclude that u ? g ? u? ¡Ê autOG Od , i.e. ugu? = g ¡ä for some g ¡ä ¡Ê G ; in other terms, u ¡Ê N G . Moreover, it is clear that ug ? i = u ? i = i ? ¦Á , thus u ¡Ê N G is de?ned up to multiplication by elements of G . Moreover, note that u|OG = v |OG , u, v ¡Ê N G , implies uv ? ¡Ê autOG Od , i.e. uv ? ¡Ê G . On the converse, if u ¡Ê N G , t ¡Ê OG , then g ? u(t) = u ? g ¡ä (t) = u(t) for some g ¡ä ¡Ê G , and this implies u ¡Ê aut(Od , OG ). We conclude that the map ¦Ð (u) ¡ú p(u), u ¡Ê aut(Od , OG ), is an isomorphism. De?nition 3.13. A special category is a locally trivial, symmetric tensor C*-category (¦Ñ, ?, ¦É, ¦Å) with ?bre (¦Ñ? , ?? , ¦É? , ¦Å? ) , such that ¦Ñ? is a special object. We emphasize the fact that a special category is locally trivial in the sense of Def.3.10, thus the local charts preserve tensor product and symmetry. This also implies that (¦É? , ¦É? ) ? C . Theorem 3.14. Let (¦Ñ, ?, ¦É, ¦Å) be a special category with ?bre (¦Ñ? , ?? , ¦É? , ¦Å? ) . Then, ¦Ñ is amenable. There exists d ¡Ê N and a unique up to isomorphism compact Lie group G ? SU(d) such that ¦Ñ? ? G . Thus, O¦Ñ is a locally trivial bundle of C*-algebras with ?bre OG , and there is a one-toone correspondence sym(X ¦É , ¦Ñ? ) ? H 1 (X ¦É , QG) . (3.25) Proof. It follows from point (3) of Lemma 3.4 that the ?bre of ¦Ñ is isomorphic to (G, ?, ¦É? , ¦È), where G ? SU(d) is a compact Lie group unique up to isomorphism. Note that G is amenable s (see Ex.3.3). Let now ¦Ñ? ¡Ê endO¦Ñ be the canonical endomorphism, so that (¦Ñr , ¦Ñs ) ? (¦Ñr ? , ¦Ñ? ), 19

r, s ¡Ê N . We consider a cover of closed neighborhoods {Xi } with local charts ¦Ði : ¦Ñ ¡ú Xi G , and a ¨B i } . Since G is amenable, every Xi G is amenable; thus, if partition of unity {¦Ëi } subordinate to { X ?1 s r s r s r s t ¡Ê (¦Ñr , ¦Ñ ), then ¦Ð ( ¦Ë t ) ¡Ê C ( X , ( ¦Ò , ¦Ò i i 0 i ? ? G G )) = C0 (Xi , (H , H )G ). Since ¦Ði (C0 (Xi , (H , H )G )) is contained in (¦Ñr , ¦Ñs ), we conclude that ¦Ëi t ¡Ê (¦Ñr , ¦Ñs ). Thus t = i ¦Ëi t ¡Ê (¦Ñr , ¦Ñs ), and ¦Ñ is amenable. By Thm.3.12 and Lemma 3.11 we obtain (3.25). The assertions about O¦Ñ follow from Prop.3.2. For every T ¡Ê sym(X, G), we denote by QT ¡Ê H 1 (X, QG) the unique-up-to-isomorphism principal QG -bundle associated with T . The map (3.25) has to be intended as an isomorphism between sets endowed with a distinguished element, in the sense that Q(X G) coincides with the trivial principal QG -bundle X ¡Á QG . Some particular cases follow. If QG is Abelian, then H 1 (X, QG) is a sheaf cohomology group ([16, I.3.1]); this allows one to de?ne a group structure on sym(X, G). Let SY be the suspension of a compact Hausdor? space Y , and QG arcwise connected. By classical arguments ([17, Chp.7.8]), we have an isomorphism sym(SY, G) ? [Y, QG], where [Y, QG] is the set of homotopy classes of continuous maps from Y into QG . In particular, if Y = S n is the n -sphere (i.e. X = S n+1 ), then sym(S n+1 , G) is isomorphic to the homotopy group ¦Ðn (QG). Proposition 3.15. Let (¦Ñ, ?, ¦É, ¦Å) be a special category. Then, there are d ¡Ê N and V ? (¦É, ¦Ñd ) such that the triple (¦Ñ, d, V ) de?nes a twisted special object. Proof. We take d as the dimension of the ?bre ¦Ñ? in the sense of (3.12). Let us consider the totally d d antisymmetric projection P¦Ñ,¦Å,d ¡Ê (¦Ñd , ¦Ñd ). To be concise, we also write P¦È,d := PHd ,¦È,d ¡Ê (Hd , Hd ); if ¦Ði : ¦Ñ ¡ú Xi G is a local chart in the sense of (3.19), then ¦Ði (P¦Ñ,¦Å,d ) = P¦È,d , in fact ¦Ði (¦Å¦Ñ (p)) = ¦È(p), d d d p ¡Ê Pd . Now, P¦È,d ¡Ê (Hd , Hd )G and has rank one, in fact P¦È,d = S ? S ? , where S ¡Ê (¦É? , Hd )G ? d ?1 ?1 satis?es (S ? 1d ) ? (1d ? S ) = (?1) d 1d ([11, Lemma 2.2]). We de?ne V := V ¡Ê (¦É, ¦Ñd ) : V = P¦Ñ,¦Å,d ? V .

It is clear that V is a vector space. Moreover, V has a natural structure of a Hilbert C (X ¦É )bimodule, by considering the actions f, V ¡ú V ? f , f ? V , f ¡Ê C (X ¦É ) = (¦É, ¦É). We now consider ¨B i ; if V ¡Ê V , then a partition of unity {¦Ëi } ? (¦É, ¦É), subordinate to the open cover X ¦Ði (¦Ëi V ) = ¦Ði (¦Ëi P¦Ñ,¦Å,d ? V ) = P¦È,d ? ¦Ði (¦Ëi V ) . Thus, there exists fi ¡Ê C (X ¦É ) such that ¦Ði (¦Ëi V ) = fi S ; if V ¡ä ¡Ê V , with ¦Ði (¦Ëi V ¡ä ) = fi¡ä S , then ¦Ëi V ? ? V ¡ä = fi? fi¡ä . This implies

?1 ? ¡ä ¦Ëi (V ? ? 1¦Ñ ) ? (1¦Ñ ? V ¡ä ) = ¦Ði (fi fi (S ? ?? 1d ) ? (1d ?? S )) = (?1)d?1 d?1 fi? fi¡ä 1d = ¦Ëi (?1)d?1 d?1 (V ? ? V ¡ä ) ? 1¦Ñ . 1/2 1/2 1/2 1/2 1/2

By summing over the index i , we obtain (3.16(2)). In the same way, the equality ¦Ði (¦Ëi V ¡ä ? V ? ) = fi¡ä fi? P¦È,d implies (3.16(3)). Let u ¡Ê N G . Since G ? SU(d) , we ?nd det(ug ) = det(u) for every g ¡Ê G . This means that the determinant factorizes through a morphism detQ : QG ¡ú T . By functoriality of H 1 (X, ¡¤ ), a map detQ,? : H 1 (X, QG) ¡ú H 1 (X, T) ? H 2 (X, Z) is induced. Corollary 3.16. Let (¦Ñ, ?, ¦É, ¦Å) be a special category with associated QG -cocycle Q¦Ñ ¡Ê H 1 (X, QG) . Then, ¦Ñ has Chern class c(¦Ñ) = detQ,? (Q¦Ñ) . 20

Proof. For every y ¡Ê QG , we denote by y ¡Ê aut¦È G ? aut¦È OG the associated autofunctor de?ned according to (3.23). We adopt the same notation if y : X ¡ú QG is a continuous map (so that, y is a continuous aut¦È G -valued map). Let Q := ({Xi } , {yij }) be a QG -cocycle associated with ¦Ñ . ?1 = yij ), then it follows from the If ¦Ði : ¦Ñ ¡ú Xi G are local charts associated with Q (i.e., ¦Ði ? ¦Ðj d d d proof of Prop.3.15 that ¦Ði (V ) = C (Xi ) ? ¡Ä Hd , where ¡Ä Hd := P¦È,d Hd is the rank one Hilbert space of totally antisymmetric vectors. Now, if u ¡Ê U(d) then u(S ) = det u ¡¤ S for every S ¡Ê ¡Äd Hd ; so that, y (S ) = detQ (y ) ¡¤ S , y ¡Ê QG . Thus, for every V ¡Ê C (Xij ) ? ¡Äd Hd we ?nd

?1 ¦Ði ? ¦Ðj (V ) = yij (V ) = detQ (yij ) ¡¤ V .

This implies that the line bundle associated with V has transition maps detQ (yij ) : Xij ¡ú T . Example 3.5. Let us consider the case G = SU(d) , so that QG = T and (3.22) is the determinant map det : U(d) ¡ú T . By Thm.3.14, we obtain sym(X, SU(d)) = H 1 (X, T) ? H 2 (X, Z) , and the map detQ,? de?ned in Cor.3.16 is the identity. The previous considerations imply that elements of sym(X, SU(d)) are labeled by pairs (d, ¦Æ ), d ¡Ê N , ¦Æ ¡Ê H 2 (X, Z). We denote by Td,¦Æ the generic element of sym(X, SU(d)), and by (¦Ñ, d, V ) the twisted special object generating Td,¦Æ . By Cor.3.16, the class ¦Æ is the ?rst Chern class of the line bundle L(¦Æ ) ¡ú X associated with V . The arrows of Td,¦Æ are generated by the symmetries ¦Å¦Ñ (r, s), r, s ¡Ê N , and elements of V , in the same way as the dual SU(d) is generated by the ?ip operators ¦È(r, s) and the totally antisymmetric d isometry S ¡Ê (¦É, Hd ) (see Ex.3.3, [11, Lemma 3.7])

4

A classi?cation for certain OG -bundles.

We recall the reader to the notation of Ex.3.3. Let G ? SU(d) be a compact group, and ¦Ñ ¡Ê s sym(X, G). Since ¦Ñ is amenable (Lemma 3.8, Prop.3.15) we ?nd ¦Ñ? = ¦Ñ , i.e. (¦Ñr , ¦Ñs ) = (¦Ñr ? , ¦Ñ? ), r, s ¡Ê N . By Prop.3.2, the DR-algebra O¦Ñ is a locally trivial continuous bundle with ?bre OG (an OG -bundle, for brevity). The structure group of O¦Ñ is clearly given by aut¦È OG ? QG , in the sense that O¦Ñ admits a set of transition maps taking values in aut¦È OG ? autOG . On the converse, let A be an OG -bundle with structure group aut¦È OG . We consider an aut¦È OG -cocycle ({Xh }n h , {¦Áhk }) associated with A , such that each Xh is a closed neighborhood. We denote by ¦Áx hk ¡Ê aut¦È OG the evaluation of ¦Áhk over x ¡Ê Xhk . By construction, there is a one-to-one correspondence between elements a ¡Ê A and n -ples (ah ) ¡Ê

n h

(C (Xh ) ? OG ) : ah (x) = ¦Áx hk (ak (x)) , x ¡Ê Xhk .

(4.1)

x Now, by de?nition of aut¦È OG we have ¦ÒG ? ¦Áx hk = ¦Áhk ? ¦ÒG , x ¡Ê Xhk . Let us denote by ¦Éh the identity automorphism on C (Xh ); by the above considerations, for every a ¡Ê A the n -ple ((¦Éh ? ¦ÒG )(ah )) satis?es (4.1), and de?nes an element of A , denoted by ¦Ñ(a). An immediate check shows that the map {a ¡ú ¦Ñ(a)} is a C (X )-endomorphism of A ; we call ¦Ñ the canonical endomorphism of A . By construction, we have a set of local charts

¦Ðh : (A, ¦Ñ) ¡ú ( C (Xh ) ? OG , ¦Éh ? ¦ÒG ) , ¦Ðh (a) := ah , so that in particular

r s ¦Ðh (¦Ñr , ¦Ñs ) = C (Xh ) ? (¦ÒG , ¦ÒG ) , r, s ¡Ê N .

(4.2)

21

Since ¦ÒG = G , the tensor category ¦Ñ ? endX A (de?ned as in Ex.3.1) is an element of sym(X, G). Moreover, A is the DR-algebra associated with ¦Ñ , in fact the set {(¦Ñr , ¦Ñs )}r,s is total in A (this r s is easily veri?ed by using (4.2), and the fact that {(¦ÒG , ¦ÒG )}r,s is total in OG ). Thus, there is a unique (up-to-equivalence) QG -cocycle associated with (A, ¦Ñ), namely Q(A, ¦Ñ) := Q¦Ñ ¡Ê H 1 (X, QG) . Let A , A¡ä be OG -bundles with structure group aut¦È OG . We denote by ¦Ñ ¡Ê endX A , ¦Ñ¡ä ¡Ê endX A¡ä 2 2 the canonical endomorphisms, and by ¦Å ¡Ê (¦Ñ2 , ¦Ñ2 ), ¦Å¡ä ¡Ê (¦Ñ¡ä , ¦Ñ¡ä ) the ?ip operators de?ned by the associated symmetries. Moreover, ? (resp. ?¡ä ) denotes the tensor product in endX A (resp. endX A¡ä ), and ¦É ¡Ê autX A (resp. ¦É¡ä ¡Ê autX A¡ä ) the identity automorphism. By recalling (3.10), we obtain a translation of Thm.3.14 in terms of C*-algebra bundles: Proposition 4.1. With the above notation, the following are equivalent: 1. Q(A, ¦Ñ) = Q(A¡ä , ¦Ñ¡ä ) ¡Ê H 1 (X, QG) ; 2. there is a C (X ) -isomorphism ¦Á : (A, ¦Ñ) ¡ú (A¡ä , ¦Ñ¡ä ) , with ¦Á(¦Å) = ¦Å¡ä ; 3. there is an isomorphism ¦Á? : (¦Ñ, ?, ¦Å, ¦É) ¡ú (¦Ñ¡ä , ?¡ä , ¦Å¡ä , ¦É¡ä ) . We recall the reader to Ex.3.5, and brie?y discuss the case G = SU(d) . We consider Td,¦Æ ¡Ê sym(X, SU(d)), d ¡Ê N , ¦Æ ¡Ê H 2 (X, Z); moreover, we denote by Od,¦Æ the DR-algebra associated with the generating twisted special object (¦Ñ, d, V ). Now, Ex.3.4 implies that the C*-subalgebra O¦Å ? Od,¦Æ generated by {¦Å¦Ñ (r, s)}r,s is isomorphic to C (X ) ? OU(d) . Let us consider the (graded) 0 = O¦Å , we ?nd that ¦Í restricts to an endomorphism ¦Í ¡Ê endOd,¦Æ de?ned as in (3.17); since Od,¦Æ endomorphism of O¦Å , that we regard as an endomorphism ¦Õ ¡Ê end C (X ) ? OU(d) . By Ex.3.5 it follows that V is the module of sections of the line bundle L(¦Æ ) ¡ú X with ?rst Chern class ¦Æ , and that Od,¦Æ is generated by O¦Å and V ; thus, (3.17) implies that Od,¦Æ is a crossed product Od,¦Æ ? C (X ) ? OU(d) ?¦Õ

L(¦Æ )

N,

in the sense of [31, ¡ì3]. In the case in which X is the 2-sphere S 2 , it is well-known that H 2 (S 2 , Z) ? Z . By Prop.4.1, the set of isomorphism classes of OSU(d) -bundles with structure group aut¦È OSU(d) and base space S 2 is labeled by Z ; in particular, 0 ¡Ê Z corresponds to the trivial bundle C (S 2 ) ? OSU(d) .

5

Outlooks.

A duality theory for special categories will be the next step w.r.t. the present work. In explicit terms, our aim is to prove a generalization of Lemma 3.4 (i.e., [12, Thm.4.17]): instead of the dual G , our model category will be the one of tensor powers of a vector bundle E ¡ú X , with arrows morphisms equivariant w.r.t. a group bundle G ¡ú X . The G -action on the tensor powers E r , r ¡Ê N , will be de?ned according to the gauge-equivariant K -theory introduced in [25, ¡ì1], so that G will play the role of a dual object. An important step to prove such a duality is to ?nd an embedding functor in the sense of Def.3.3. As outlined in the introduction of the present paper, existence and unicity of the embedding functor (and the dual object G ) are not ensured, in contrast with the case (¦É, ¦É) ? C . In particular, nonisomorphic dual objects may be associated with the same special category, in the case in which more than an embedding functor exists. 22

We will use the cohomological classi?cation (3.25) to provide a complete description of such a phenomenon in geometrical terms. Given a special category T ¡Ê sym(X, G) and the associated principal QG -bundle QT ¡Ê H 1 (X, QG), our tasks will be the following: 1. determine which are the geometrical properties required for QT in order to ?nd an embedding functor i : T ?¡ú vect(X ); 2. in the case in which there exists the embedding i , give a characterization of E and the dual object G in terms of geometrical properties of QT , and determine the dependence of E , G on i . These questions have a natural translation in terms of C*-algebra bundles and C*-dynamical systems. If (A, ¦Ñ) is a C*-dynamical system as in Sec.4, one could ask whether there exists a vector bundle E ¡ú X with associated DR-dynamical system (OE , T, ¦Ò ) (see Ex.3.2), such that there is a C (X ) - monomorphism ¦Õ : (A, ¦Ñ) ?¡ú (OE , ¦Ò ). The existence of an embedding functor for ¦Ñ is equivalent to the existence of ¦Õ , and the obstrution for the existence can be encoded by a cohomological invariant. Acknowledgements. The author wishes to thank an anonymous referee for many precious remarks on a previous version of the present work, in particular for the references [19, 8, 4].

References

[1] C.A. Akemann, G.K. Pedersen, J. Tomiyama, Multipliers in C*-algebras. J. Funct. Anal. 13 (1973) 277-301. [2] M.F. Atiyah, K -Theory, Benjamin, New York (1967). [3] E. Blanchard, D? eformations de C*-alg? ebres de Hopf, Bull. Soc. math. France 124 (1996) 141215. [4] E. Blanchard, E. Kirchberg. Global Glimm halving for C*-bundles. J. Oper. Theory 52 (2004) 385-420. [5] H. Baumg¡§ artel, F. Lled? o, Duality of compact groups and Hilbert C*-systems for C*-algebras with a nontrivial center, Int. J. Math. 15 (8) (2004) 759-812. [6] J. Cuntz, Simple C*-algebras Generated by Isometries, Comm. Math. Phys. 57 (1977) 173-185. [7] P. Deligne, Categories tannakiennes, in The Grothendieck Festschrift Volume II, Cartier, P., et al., Birkhauser, Boston, (1990) 111-196. [8] M.J. Dupr? e, R.M. Gillette. Banach bundles, Banach modules and automorphisms of C*algebras. Pitman (1983). [9] J. Dixmier: C*-algebras, North-Holland Publishing Company, Amsterdam - New York, Oxford (1977). [10] S. Doplicher, C. Pinzari, J.E. Roberts, An Algebraic Duality Theory for Multiplicative Unitaries, Int. J. Math. 12 415-459 (2001). [11] S. Doplicher, J.E. Roberts, Duals of Compact Lie Groups Realized in the Cuntz Algebras and Their Actions on C*-algebras, J. Funct. Anal. 74 (1987) 96-120. 23

[12] S. Doplicher, J.E. Roberts, A New Duality Theory for Compact Groups, Invent. Math. 98 (1989) 157-218. [13] S. Doplicher, J.E. Roberts, Why there is a ?eld algebra with a compact gauge group describing the superselection structure in particle physics, Commun. Math. Phys. 131 (1990) 51-107. [14] S. Doplicher, J.E. Roberts, Endomorphisms of C*-algebras, Cross Products and Duality for Compact Groups, Ann. Math. 130 (1989) 75-119. [15] M.J. Dupr? e, Classifying Hilbert bundles I, J. Funct. Anal. 15 (1974) 244-278. [16] F. Hirzebruch, Topological Methods in Algebraic Geometry, Springer-Verlag, 1966. [17] D. Husemoller: Fiber Bundles, Mc Graw-Hill Series in Mathematics, 1966. [18] T. Kajiwara, C. Pinzari, Y. Watatani, Jones index theory for Hilbert C*-bimodules and its equivalence with conjugation theory, J. Funct. Anal. 215 (1) (2004) 1-49. [19] T. Kandelaki. Multiplier and Hilbert C*-categories. Georgian Academy of Sciences. Proceedings of A. Razmadze Mathematical Institute 127 (2001) 89-111. [20] M. Karoubi: K -Theory, Springer Verlag, Berlin - Heidelberg - New York, 1978. [21] G.G. Kasparov, Equivariant KK -Theory and the Novikov Conjecture, Invent. Math. 91 (1988) 147-201. [22] E. Kirchberg, S. Wassermann, Operations on Continuous Bundles of C*-algebras, Math. Annalen 303 (1995) 677-697. [23] R. Longo, J.E. Roberts, A Theory of Dimension, K -Theory 11 (1997) 103-159. [24] P.D. Mitchener, Symmetric K -theory Spectra of C*-categories, K -theory 24(2) (2001) 157201. [25] V. Nistor, E. Troitsky, An index for gauge-invariant operators and the Dixmier- Douady invariant, Trans. AMS. 356 (2004) 185-218 [26] M. Nilsen, C*-Bundles and C0 (X )-algebras, Indiana Univ. Math. J. 45 (1996) 463-477. [27] G.K. Pedersen, Analysis Now. Springer Verlag (1989). [28] G.K. Pedersen, C*-algebras and their automorphism groups, London Math. Soc. Monographs, Academic Press, London-New York (1979). ? [29] G. Segal, Equivariant K -theory, Inst. Hautes Etudes Sci. Publ. Math. 34 (1968) 129-151. [30] E. Vasselli, Continuous ?elds of C*-algebras Arising from Extensions of Tensor C*-categories, J. Funct. Anal. 199 (2003) 122-152. [31] E. Vasselli, Crossed Products by Endomorphisms, Vector Bundles and Group Duality, Int. J. Math. 16 (2) (2005) 137-171. [32] E. Vasselli, Crossed Products by Endomorphisms, Vector Bundles and Group Duality, II, Int. J. Math. 17(1) (2006) 65-96. [33] E. Vasselli, The C*-algebra of a vector bundle and ?elds of Cuntz algebras, J. Funct. Anal. 222(2) (2005) 491-502. 24

[34] E. Vasselli, Group bundle duality, invariants for certain C*-algebras, and twisted equivariant K -theory, preprint arXiv math.KT/0605114 (2006), to appear on Proceedings of the Conference C*-algebras and elliptic theory, II. [35] S.L. Woronowicz, Tannaka-Krein Duality for Compact Matrix Pseudogroups. Twisted SU (N )groups, Invent. Math. 111 (1987) 35-76. [36] P. Zito, 2-C*-categories with non-simple units, Preprint arXiv math.CT/0509266 (2005), to appear on Adv. Math..

25

- DUALITY FOR SIMPLE #-CATEGORIES AND DISKS
- Bundles of C-correspondences over directed graphs and a theorem of Ionescu
- Koszul duality and equivalences of categories
- Double vector bundles and duality
- Duality for some categories of coalgebras
- A duality model of TCP and Queue management algorithms
- The topology of T-duality for T^n-bundles
- Consistency of the $AdS_7times S_4$ reduction and the origin of self-duality in odd dimensi
- Theory and Applications of Categories, Vol. 8, No. 7, pp. 114¨C243. DUALITY FOR SIMPLE ¦Ø-C
- The GRA Beam-Splitter Experiments and Particle-Wave Duality of Light
- ²ÆÎñ²¿Á¿»¯¿¼ºËÈ«°¸
- Calabi-Yau categories and Poincare duality spaces
- Crossed products by endomorphisms, vector bundles and group duality, II
- Classification of abelian hereditary directed categories satisfying Serre duality
- Duality for some categories of coalgebras

¸ü¶àÏà¹ØÎÄÕÂ£º
¸ü¶àÏà¹Ø±êÇ©£º