Arxiv:2105.05587V1 [Math.OA]

arXiv:2105.05587v1 [math.OA] 12 May 2021 h esrfcos)Hwvr esalso ht vnfrtype for even that, show shall we However, factors.) tensor the oe oatoso nt ruson groups finite of actions to Jones II amenable acting) (separably ([ unique the Connes be to proven was n h ahmtclIsiue nvriyo Oxford. St w of by University SGP awarded Institute, Scholarship EP/R025061/2; Mathematical James grant the Rosemary EPSRC and and Ioan by the and by AMAREC, ported by - supported 834267 partially Grant also a Mathematics was 1442, 390685587, and SFB 2044 namics–Geometry–Structure, EXC – Strategy 427320536 Excellence Project-ID Germany’s – Foundation) Research man write may we C algebra C unital separable, on groups amenable C symmet quantum and classical on results of these which to extent the htaycutbedsrt group discrete countable any that nvra offiin hoe ([ theorem coefficient universal ([ invariant standard amenable omyhprnt UF algebras (UHF) hyperfinite formly rpris(eenfe eerdt as to referred (hereinafter properties ojgc ([ conjugacy ∗ ∗ h yefiieII hyperfinite The Ewsprilyspotdb h etceForschungsgemeinsch Deutsche the by supported partially was SE simple, infinite-dimensional, of classification recent the by Motivated nti ae,w ilfcso h xsec usin ti known is It question. existence the on focus will we paper, this In aaousof -analogues -algebra R NMLU YMTISO CLASSIFIABLE OF SYMMETRIES ANOMALOUS ar vrt h etn fC of setting the to over carry o non-trivial for aih eddc htteuiayfso aeoisHilb( categories fusion unitary the that deduce We vanish. h xsec fa btuto opossible to obstruction an of existence the rv htwhen that prove rmcnieigteuiayalgebraic unitary the considering from φ Abstract. Z : 8 AULEIGO N EGOGIR SERGIO AND EVINGTON SAMUEL G ) onsas lsie uoopim of automorphisms classified also Connes ]). ([ A 7 → 31 Ide,b [ by (Indeed, . , A 9 )aeo atclritrs ste a evee as viewed be can they as interest particular of are ]) Out( ) hscasfiainwssbeunl eeaie by generalised subsequently was classification This ]). R = ∼ esuythe study We . ∗ A ω A agba ffiiencerdmninstsyn the satisfying dimension nuclear finite of -algebras ,where ), R 1 ∈ A ⊗ factor H ([ steJagS algebra Jiang–Su the is N 3 47 C*-ALGEBRAS ( G, Introduction g ) n yPp osubfactors to Popa by and ]), ∈ 31 A T G H R antaton act cannot ) oolr .]ad[ and 8.8] Corollary , 39 50 Z sacasfibeC classifiable a is 3 nain fagophomomorphism group a of invariant , fMra n o emn ([ Neumann von and Murray of ]). n en a define and 49 1 G ∗ N R agba ihteaforementioned the with -algebras classifiable , csfihul nayclassifiable any on faithfully acts k 23 ([ ∈ K N 36 , 1 M 17 ) yOnaut cin of actions to Ocneanu by ]), ru.I atclr we particular, In group. n , Z Z k H 57 . ∗ ([ 3 agba eshow We -algebra. hsivratmust invariant this G NPACHECO ON ´ ) eaeitrse in interested are we ]), C 21 nainsarising invariants ato ypermuting by -action ∗ agba) h uni- The -algebras). )adteJiang–Su the and ]) 60 oolr 7.3], Corollary , R R Advanced ERC ela under as well s f DG Ger- (DFG, aft N onsCollege John’s ¨ ntr Dy- Münster: pt outer to up ,ω G, 1 R ⊂ atrby factor ) ssup- as with 44 of s ries ]) 2 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO quantum symmetry that are very closely related to group actions, the existence question is subtle and can have both positive and negative answers. The symmetries that we consider are the ω-anomalous G-actions ([32]), where G is a group and ω ∈ Z3(G, T) is a 3-cocyle; see Definition 2.1. Whereas a G-action is a group homomorphism G → Aut(A), an ω- anomalous G-action comes from a group homomorphism G → Out(A) and the 3-cocyle ω, or more precisely its cohomology class, can be viewed as an obstruction to lifting this group homomorphism to a group action. (We review these cohomological computations in Section 2.1.) Anomalous actions arise naturally in the classification of group actions on R up to outer conjugacy because the first invariant of a G- action α : G → Aut(A) is the normal subgroup K = α−1(Inn(A)) and there is an induced homomorphism G/K → Out(A). Indeed, it follows from a result of Jones ([35]) that every countable discrete group G has an ω-anomalous action on R for every 3-cocyle ω ∈ Z3(G, T). Our main results show that this can fail in the C∗-setting. Theorem A. Let G be a group. Suppose there exists an ω-anomalous action of G on the Jiang–Su algebra Z. Then [ω]=0 in H3(G, T). Theorem B. Let G be a finite group. Suppose there is an ω-anomalous action of G on the the UHF algebra k∈N Mnk . Let r be the order of [ω] in H3(G, T). Then r divides |G| and r∞ divides the supernatural N number k∈N nk. TheseQ results are obtained by using algebraic K1, which we compute with the aid of the Skandalis–de la Harpe determinant ([13]). In addition to these no-go theorems, we show how to construct examples of ω-anomalous actions of finite groups on a variety of classifiable C∗-algebras. In particular, we obtain a partial converse to Theorem B. Theorem C. Let G be a finite group and let ω ∈ Z3(G, T) be any 3- cocycle. There exists an ω-anomalous action of G on the UHF algebra

k∈N M|G|. NThe strategy for proving this result is to adapt Vaughan Jones’ construction of ω-anomalous actions of finite groups on R ([36]) to the C∗-setting and computing the Bratteli diagram of the resulting ap- proximately finite-dimensional C∗-algebra. We make use of a technical simplification of Vaughan Jones’ argument recently obtained by Corey Jones in his study of anomalous actions on commutative C∗-algebras and their stabilisations ([32]). As a corollary of Theorem C, we obtain ω-anomalous actions of G on the Jacelon–Razak algebra W ([30]), and ω-anomalous actions of G on the Cuntz algebras O|G| and O2 (which can also be obtained using [28, 29]). We have chosen to present our main results in the language of anomalous actions and highlight the close connections with group actions. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 3

However, our results can also be formulated in the more general setting of C∗-tensor categories (see Section 5 for full definitions). This provides a common framework for studying group actions, anomalous group actions, and the more general notions of symmetry arising from subfactor theory ([43, 50, 24, 41, 19, 34]). ∗ The model example of a C -tensor category is HilbC, whose objects are finite-dimensional complex Hilbert spaces. Loosely speaking, an action of C∗-tensor category C on an operator algebra A is a representation of C as a collection of bimodules over A such that tensor products in C corresponds to tensor products of bimodules. This is formalised by the notion of a C∗-tensor functor into the C∗-tensor category Bim(A), whose objects are Hilbert-A-bimodules ([15, 38, 37]). ∗ Group actions give rise to actions of the C -tensor category HilbC(G), whose objects are G-graded Hilbert spaces, and anomalous actions give rise to actions of the closely related categories HilbC(G,ω). In the setting of Theorems A and B, we show that any action of HilbC(G,ω) comes from an anomalous action of G. We obtain the following corollaries. Corollary D. Let G be a group. There exists a C∗-tensor functor 3 HilbC(G,ω) → Bim(Z) if and only if [ω]=0 in H (G, T). Corollary E. Let G be a finite group. There exists a C∗-tensor functor

HilbC(G,ω) → Bim( k∈N Mnk ) only if, letting r be the order of [ω] in H3(G, T), r divides |G| and r∞ divides the supernatural number N k∈N nk. QThese results show that there are additional obstructions to the existence of action of C∗-tensor categories on C∗-algebra beyond restrictions on the dimensions of simple objects ([37]). In the case of Theorem C, the existence of a C∗-tensor functor

HilbC(G,ω) → Bim( k∈N M|G|) is an immediate corollary. In fact, in the general setting of C∗-tensor categories an alternative strategy for proving Theorem NC becomes apparent, based on an adaptation of the Ocneanu compactness argument to the C∗-setting ([46]). Structure of the paper. In Section 1, we ﬁx our notation for the paper and review preliminary material on group cohomology and algebraic K1. In Section 2, we recall the deﬁnition of anomalous actions and the related notion of a G-kernel. In Section 3, we prove Theorems A and B. In Section 4, we discuss existence results for anomalous actions and prove Theorem C. In Section 5, we review C∗-tensor categories and prove Corollaries D and E. Acknowledgements. This paper is based on research started during the OSU Summer Research Program on Quantum Symmetries (supported by National Science Foundation grant DMS 1654159). The authors would also like to thank Roberto Hernandez Palomares, Corey 4 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

Jones, David Penneys and Stuart White for contributing to discussions that have informed this paper.

1. preliminaries 1.1. Notation. For a non-unital C∗-algebra A, we write A∼ for the minimal unitisation and M(A) for the multiplier algebra. Let A be a unital C∗-algebra. We write U(A) for the unitary group of A, and we write Aut(A) for the group of automorphisms of A. Given u ∈ U(A), we write Ad(u) for the inner automorphism a 7→ uau∗. The normal subgroup of Aut(A) consisting of all inner automorphisms is denoted Inn(A), and we write Out(A) for the quotient Aut(A)/Inn(A). We write K0(A) and K1(A) for the topological K-groups of A. We denote the tracial state space by T (A), and we write Aff(T (A)) for the space of continuous affine functions T (A) → R. We recall that the pairing map ρA : K0(A) → Aff(T (A)) is characterised by ρA([e])(τ) = (τ ⊗ Trn)(e) for projections e ∈ A ⊗ Mn. We set U∞(A) = n∈N Un(A), where Un(A) denotes the unitary group of Mn(A) and we view Un(A) ⊆ Un+1(A) via the embedding S u 7→ u ⊕ 1A. We endow U∞(A) with the direct limit topology, i.e. V ⊆ U∞(A) is open if and only if V ∩ Un(A) ⊆ Un(A) is open for all n ∈ N. Strictly speaking, U∞(A) endowed with this topology may not be a topological group as multiplication may not be jointly continuous (see [55]). However, this naive choice of topology will suffice for our purposes because every compact subset K ⊆ U∞(A) lies in UN (A) for some N ∈ N by [22, Lemma 1.7]. In particular, continuous paths 2 [0, 1] → U∞(A) and homotopies [0, 1] → U∞(A) will factor through ∼ UN (A) for some N ∈ N. Consequently, K1(A) = π0(U∞(A)) and ∼ K0(A) = π1(U∞(A)), with the later using Bott periodicity. (0) We write Un (A) for the path component of the identity in Un(A) (0) (0) for n ∈ N ∪ {∞}. Note that U∞ (A)= n∈N Un (A).

1.2. Group cohomology. For the benefitS of the reader, we recall the definition of the cohomology groups Hn(G, M) where G is a group and M is a ZG-module. Further information can be found in [3]. Fix G and M. A n-cochain is a function φ : Gn → M. The set of all n-cochains Cn(G, M) inherits a ZG-module structure from M. The coboundary maps dn+1 : Cn(G, M) → Cn+1(G, M) are defined by

n+1 (1) d (φ)(g1,g2,...,gn+1)= g1φ(g2,...,gn+1) n i + (−1) φ(g1,...,gigi+1,...,gn+1) i=1 X n+1 +(−1) φ(g1,...,gn). ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 5

An n-cocycle is a n-cochain φ satisfying dn+1φ = 0; the set of all n-cocyles from an abelian group Zn(G, M) under addition. An n- coboundary is a n-cochain φ satisfying φ = dnψ for some (n−1)-cochain φ; the set of all n-coboundary from an abelian group Bn(G, M) under addition. Since dn+1 ◦dn = 0, it follows that Bn(G, M) ⊆ Zn(G, M). The quotient group Hn(G, M) = Zn(G, M)/Bn(G, M) is the n-th cohomology group of G with coefficients in M. We warn the reader that the formula (1) assumes that M is written additively. In multiplicative notation, the right hand side would be n ǫi ǫn+1 αg1 (φ(g2,...,gn+1)) · φ(g1,...,gigi+1,...,gn+1) · φ(g1,...,gn) , i=1 Y i where ǫi =(−1) and where αg denotes the action of g on M. In this paper, M will often be an abelian group endowed with a trivial ZG-module structure, where gm = m (additive notation) or αg(m) = m (multiplicative notation) for all g ∈ G and m ∈ M. However, for some of our more general results, we shall need coefficient modules with non-trivial G-actions. 1.3. The Skandalis–de la Harpe determinants. Let A be a unital C∗-algebra. Given a tracial state τ ∈ T (A), Skandalis and de la Harpe defined a group homomorphism

(0) R ∆τ : U∞ (A) → , τ∗(K0(A)) where τ∗ is the induced state on K0(A). We outline the construction below, referring the reader to [13] or [12] for the full details. (0) Suppose u ∈ Un (A). Let ξ : [0, 1] → Un(A) be a smooth path with 1 ξ(0) = 1A and ξ(1) = u. Then 1 1 (2) ∆ (u)= (τ ⊗ Tr )(ξ′(t)ξ(t)−1) dt + τ (K (A)). τ 2πi n ∗ 0 Z0 It’s not immediately clear that ∆τ is independent of the choice of path ξ. However, Skandalis and de la Harpe prove this in [13, Lemme 1]. The main ingredient in their argument is the Bott periodicity theorem (see for example [1, Section 9]), which says that up to homotopy loops in U∞(A) come from elements of K0(A). A direct computation using the product rule ′ ′ ′ (3) (ξ1ξ2) (t)= ξ (t)ξ2(t)+ ξ1(t)ξ2(t) and the trace identity for τ, shows that ∆τ is a group homomorphism. We draw special attention to the case where u = exp(2πih) for some

1By [52, Proposition 2.1.6] for example, u can be written as a product of expo- nentials, so there exists a path of the form ξ(t) = exp(ith1) ··· exp(ithr), which is clearly C∞-smooth. 6 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO self-adjoint h ∈ Mn(A). Taking ξ to be the path ξ(t) = exp(2πith), direct computation gives ∆τ (u)= τ(h)+ τ∗(K0(A)). In particular, for x ∈ R, we have 2πix (4) ∆τ (e 1A)= x + τ∗(K0(A)).

Combining the Skandalis–de la Harpe determinants ∆τ for all τ ∈ T (A), we obtain a group homomorphism

(0) Aff(T (A)) (5) ∆A : U∞ (A) → , ρA(K0(A)) where Aff(T (A)) denotes the real-valued, continuous affine functions on the trace space of A and ρA is the paring map. We call this map the universal Skandalis–de la Harpe determinant. Remark 1.1. In [13], Skandalis and de la Harpe carry out their construction any continuous linear map τ : A → E into a Banach space E satisfying the trace identity τ(ab)= τ(ba). The universal Skandalis–de la Harpe determinant can also be obtained by this method starting with the universal trace Tr : A → AffC(T (A)). By [10, Proposition 2.7], we have Ker(Tr) = span{ab − ba : a, b ∈ A}, and the universal trace can alternatively be viewed as taking the quotient of A by this closed subspace.

∗ 1.4. Unitary algebraic K1. Let A be a unital C -algebra. Then the unitary algebraic K1-group of A is deﬁned as the abelianisation of U∞(A), i.e.

alg U∞(A) (6) K1 (A)= . [U∞(A), U∞(A)]

A couple of variants of algebraic K1-group are possible. Firstly, one can replace unitary groups with general linear groups throughout (see for example [26]). Secondly, one can define Hausdorffised unitary algebraic K1 by replacing the commutator subgroup [U∞(A), U∞(A)] by its closure in the direct limit topology on U∞(A) (see for example [56]). We will not use these variants in our main results but may refer to them in some remarks. alg ։ There is a canonical surjection κA : K1 (A) K1(A), which is typically not injective. For example, K1(C) = 0 as the unitary groups alg ։ Un(C) are path connected, whereas K1 (C) T as the determinant alg is well-defined on K1 (C)-classes. (In fact, by an elementary diago- nalisation argument, every unitary matrix with determinant one is a alg ∼ product of commutators, so K1 (C) = T.) More generally, Skandalis–de la Harpe determinants can be used to extract some information about the kernel of the map κA. Using a result of Ng and Robert ([45]), the kernel of κA is completely determined by this information when A is a classifiable C∗-algebra. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 7

Theorem 1.2. Let A be a unital, simple, separable, exact and Z-stable C∗-algebra with T (A) =6 ∅. There is a short exact sequence

¯ −1 Aﬀ(T (A)) (∆A) alg κA (7) 0 → −−−−→ K1 (A) −→ K1(A) → 0. ρA(K0(A))

Proof. The K1-class of a unitary u ∈ U∞(A) is precisely its path component in U∞(A). Moreover, for any u, v ∈ UN (A), we have ∗ ∗ (8) [u, v] ⊕ 1A ⊕ 1A = [u ⊕ u ⊕ 1A, v ⊕ 1A ⊕ v ]. Therefore, (0) U∞ (A) (9) Ker(κA)= (0) (0) . [U∞ (A), U∞ (A)] It remains to show that the universal Skandalis–de la Harpe determinant

(0) Aff(T (A)) (10) ∆A : U∞ (A) → ρA(K0(A)) (0) (0) is surjective and that its kernel is precisely [U∞ (A), U∞ (A)]. For every f ∈ Aff(T (A)), there is a self-adjoint h ∈ A with τ(h) = f(τ) for all τ ∈ T (A) by [10, Proposition 2.7]. Then ∆A(exp(2πih)) = f + ρ(K0(A)). Therefore, ∆A is surjective. (0) (0) By construction Ker(∆A) ⊇ [U∞ (A), U∞ (A)]. The reverse inclusion follows from [45, Theorem 1.1] since A is a simple, separable, pure C∗-algebra with stable rank one and where all quasitraces are traces. (Pureness is a consequences of Z-stability; see [60, Proposition 2.7]. Stable rank one also follows from Z-stability when A is stably finite; see [51, Theorem 6.7]. All quastritraces are traces as A is exact; see [25].) Remark 1.3. By [14, Theorem 3], every unitary in a unital, simple, infinite C∗-algebra in the path component of the identity is a product of alg ։ commutators. Hence, the canonical surjection κA : K1 (A) K1(A) is an isomorphism in this case. Together with Theorem 1.2 this facilitates alg ∗ the computation of K1 (A) for any classifiable C -algebra. Given a unital ∗-homomorphism f : A → B. There is a well de- alg alg alg fined group homomorphism K1 (f): K1 (A) → K1 (B) given by alg [u] alg 7→ [f(u)] alg . In the language of category theory, K1 (·) K1 (A) K1 (B) is a covariant functor from the category of unital C∗-algebras to the category of abelian groups. The same is true of K1(·) and Aff(T (·)). The short exact sequence (7) is natural in the sense that a morphism of unital C∗-algebra will induce a morphism between the corresponding short exact sequences. For every A, the short exact sequence (7) will split, since Aff(T (A)) is a divisible group. However, the splitting is not natural. 8 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

2. G-kernels and anomalous actions Let A be a unital C∗-algebra and let G be a group. A G-kernel is a group homomorphism G → Out(A). Motivated by an analogous con- cept of the same name in group theory ([16]), the study of G-kernels in the von Neumann setting was initiated by Takeda ([54]) and developed by Sutherland ([53]) and Jones ([36]). In this section, we review the definition of the H3 invariant of a G-kernel and the definition of an anomalous action. 2.1. The H3 invariant. Let A be a unital C∗-algebra and let G be a group. Fix a G-kernel θ¯ : G → Out(A). For each g ∈ G, choose a lift θg ∈ Aut(A) for θ¯(g). Since θ¯ is a group homomorphism, there exist unitaries ug,h ∈ U(A) such that θgh = Ad(ug,h)θgθh for each g, h ∈ G. Given g,h,k ∈ G, we may compute θghk in two different ways:

(11) θghk = Ad(ugh,k)θghθk

= Ad(ugh,k)Ad(ug,h)θgθhθk

= Ad(ugh,kug,h)θgθhθk,

(12) θghk = Ad(ug,hk)θgθhk

= Ad(ug,hk)θgAd(uh,k)θhθk

= Ad(ug,hk)Ad(θg(uh,k))θgθhθk

= Ad(ug,hkθg(uh,k))θgθhθk.

Hence, Ad(ugh,kug,h) = Ad(ug,hkθg(uh,k)). The kernel of the group homomorphism Ad : U(A) → Aut(A) is the centre of the unitary group Z(U(A)). Therefore, we may define a function ω : G3 → Z(U(A)) by −1 −1 (13) ω(g,h,k)= ug,hkθg(uh,k)ug,hugh,k for all g,h,k ∈ G. The group Z(U(A)) is abelian, and can be endowed with a ZG- module structure where g acts via θg|Z(U(A)). Hence, ω is a 3-cochain with coefficients in Z(U(A)). Moreover, a simple but tedious computation shows that dω = 0; see [16, Lemma 7.1]. Hence, ω ∈ Z3(G,Z(U(A))). The cohomology class [ω] ∈ H3(G,Z(U(A)) is the H3 invariant of the G-kernel θ¯. It does not depend on the choice of lifts θg or the choice of unitaries ug,h; see [16, Theorem 7.1]. 2.2. Anomalous actions. We now recall the definition of an anomalous action from [32, Definition 1.1]. Definition 2.1. Let G be a group and let ω ∈ Z3(G, T). An ω- anomalous action of G onaC∗-algebra A consists of an automorphism θg for every g ∈ G and unitaries ug,h ∈ U(M(A)) such that ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 9

(1) θgh = Ad(ug,h)θgθh for g, h ∈ G, (2) ω(g,h,k)ugh,kug,h = ug,hkθg(uh,k) for g,h,k ∈ G.

Formally, the data for an ω-anomalous action is a pair of functions (θ,u) where θ : G → Aut(A) and u : G × G → U(M(A)). However, we shall typically use the subscript notation θ(g) = θg and u(g, h)= ug,h to improve readability. The relationship between anomalous actions of G and G-kernels is straightforward when A is a unital and has trivial centre.

Remark 2.2. Let A be a unital C∗-algebra with Z(A)= C. • Every G-kernel lifts to an ω-anomalous action of G on A, where ω is in cohomology class of the H3 invariant. This follows from the derivation of the H3 invariant in Section 2.1 as Z(U(A)) = U(Z(A)) = T. • Suppose (θ,u) is an ω-anomalous actions of the group G on a C∗-algebra and ω′ is cohomologous to ω. Then ω′ = dλ · ω for 2 ′ some 2-cochain λ ∈ C (G, T). Setting ug,h = λ(g, h)ug,h, we have that (θ,u′) is an ω′-anomalous action of G on A. • Conversely, every ω-anomalous action of G induces a G-kernel with H3-invariant [ω].

Suppose A is a unital C∗-algebra with Z(A) =6 C. Then lifting a G-kernel gives a cocycle ω ∈ Z3(G,Z(U(A))). In [32], the decision to restrict to cocycles with coeﬃcients in T ⊆ Z(U(A)) is justiﬁed by physical interpretations. While we are mostly interested in simple C∗-algebras, which necessarily have Z(A) = C, our methods don’t fundamentally require A to have trivial centre, so could be extended to work with a more general notion of anomalous actions.

2.3. Anomalous Actions on R. In [9], Connes considers automorphisms α ∈ Aut(R) such that αn = Ad(u) for some u ∈ U(R). He shows that α(u)= γu for some n-th root of unity γ ∈ C. These computations can be viewed as a special case of those of Sec- tion 2.1, when G is the cyclic group Zn. In particular, the cohomology 3 group H (Zn, T) is cyclic of order n and can be identiﬁed with the group of n-roots of unity; see for example [27, Proposition 2.3]. γ Moreover, Connes constructs an automorphism sn with order n in γ Out(R) and such that sn(u) = γu for every n-th root of unity γ. We record this result of Connes below.

Theorem 2.3 (cf. [9, Proposition 1.6]). Fix n ∈ N. View R =

i∈N(Mn, trn). Let πi : Mn → R be the embedding into the i-th tensor factor, and let θ : R → R be the endomorphism such that θπi = πi+1 Nfor all i ∈ N. 10 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

Let γ be an n-th root of unity. Set n j (14) u = γ π1(ejj) j=1 X n−1

(15) v = π1(en1)θ(u)+ π1(ej,j+1). j=1 X 2 k ∞ Then the sequence (Ad(vθ(v)θ (v) ··· θ (v)))k=1 converges pointwise in γ γ n the k·k2-norm topology to an automorphism sn such that (sn) = Ad(u) γ and sn(u)= γu. Remark 2.4. (cf. [9, Proposition 1.6]) For the purposes of Section 4, we wish to draw attention to one aspect of Connes proof.

For any element of the algebraic tensor product i∈N Mn, Connes 2 k ∞ shows that the sequence (Ad(vθ(v)θ (v) ··· θ (v))(x))k=1 is eventually γ J constant. It follows that sn restricts to an automorphism of the UHF 2 k ∞ algebra i∈N Mn and (Ad(vθ(v)θ (v) ··· θ (v)))k=1 converges in the point norm topology on this subalgebra. N γ ¯ Given Connes’ automorphism sn, we can deﬁne a Zn-kernel θ on R ¯ γ i by θ(i)=(sn) + Inn(R). As γ ranges over all n-th roots of unity, all possible H3 invariants are realised. As outlined in Remark 2.2, it 3 follows that for any ω ∈ Z (Zn, T), there is an ω-anomalous Zn-action on R. Connes result was later generalised by Jones to cover all countable discrete groups. We record this result of Jones below, translated into the language of anomalous actions using Remark 2.2. Theorem 2.5 (cf. [35, Theorem 2.5]). Let G be a countable discrete group and ω ∈ Z3(G, T). Then there exists a ω-anomalous action of G on R. In Jones’ construction, R is realised as a (twisted) crossed product. We will revisit this construction in Section 4.

3. C∗-obstructions In this section, we showcase the obstructions to the existence of ω- anomalous actions on C∗-algebras, which we will then use to prove Theorem A and Theorem B. The obstruction arises as the unitary group of a C∗-algebra can have non-trivial abelian quotients. This is not the case for R, as every unitary in R can be written as a product of commutators (see for example [2]). We begin by isolating the key computation as a proposition. Proposition 3.1. Let G be a group and ω ∈ Z3(G, T). Let (θ,u) be an ω-anomalous action of G on a unital C∗-algebra A. Suppose q : U(A) → M is a group homomorphism into some ZG-module M, ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 11 such that q(θg(v)) = g · q(v) for all v ∈ U(A) and g ∈ G. Then [q ◦ ω]=0 in H3(G, M). Proof. Let g,h,k ∈ G. Since addition in M is commutative, applying q to (13) yields

(16) q(ω(g,h,k)1A)= q(ug,hk)+ q(θg(uh,k)) − q(ug,h) − q(ugh,k)

= g · q(uh,k) − q(ugh,k)+ q(ug,hk) − q(ug,h) = dη(g,h,k) where η the 2-cochain defined by η(g, h)= q(ug,h). In order to make use of Proposition 3.1, we need a candidate for the homomorphism q. This is where the unitary algebraic K1 group alg enters the picture (see Section 1.4). By construction, K1 (A) is an abelian group and every automorphism of A induces an automorphism alg of K1 (A) with inner automorphisms acting trivially. Hence, an anoma- alg lous action on A gives rise to a ZG-module structure on K1 (A). alg The reason for working with K1 (A) instead of K1(A) is that scalars alg λ1A always have trivial K1 class but can have non-trivial K1 class. This is necessary in order for the conclusion of Proposition 3.1 to be non-trivial when Z(A) = C. In the case of the Jiang-Su algebra Z it would be sufficient to use the Hausdorffised version of algebraic K1. However, for UHF algebra the non-Hausdorffised version of unitary algebraic K1 is required. Theorem 3.2. Let G be a group and ω ∈ Z3(G, T). Let (θ,u) be an ∗ alg ω-anomalous action of G on a unital C -algebra A. View K1 (A) as alg a ZG-module where g acts via K1 (θg). Then the 3-cocycle given by 3 alg (g,h,k) 7→ [ω(g,h,k)1A] alg is trivial in H (G,K1 (A)). K1 alg Proof. The result follows from Proposition 3.1, taking M = K1 (A) alg with the induced ZG-module structure and q : U(A) → K1 (A) to be the map u 7→ [u] alg . K1

Theorem 1.2 can compute the unitary algebraic K1-groups of classi- ﬁable C∗-algebras, and extract information about the ZG-action. The following special case can be deduced from Theorem 3.2; however, we choose to derive it directly from Proposition 3.1. Corollary 3.3. Let G be a group and ω ∈ Z3(G, T). Let A be a unital ∗ C -algebra with K1(A)=0. Let (θ,u) be an ω-anomalous action of G on A. Let τ ∈ T (A) be invariant under θg for all g ∈ G. Then 3 [∆τ ◦ ω]=0 in H (G, R/τ∗(K0(A))), where

(0) R (17) ∆τ : U∞ (A) → τ∗(K0(A)) is the Skandalis–de la Harpe determinant with respect to τ, and the abelian group R/τ∗(K0(A)) has the trivial ZG-module structure. 12 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

(0) Proof. Since K1(A) = 0, we have U∞(A)= U∞ (A). Therefore, we can apply Proposition 3.1 with q = ∆τ . The fact that ∆τ (θg(v)) = ∆τ (v) follows from (2) since τ is invariant under θg.

We are now ready to prove Theorem A.

Proof of Theorem A. The Jiang–Su algebra Z has a unique tracial state ∼ τ. Moreover, K0(Z) = Z with the isomorphism given by τ∗, and K1(Z) = 0; see [31, Theorem 1]. As τ is the unique tracial state, it is invariant under all automorphisms. Suppose there exists an ω-anomalous action of G on Z. Then, by 3 Corollary 3.3, we have [∆τ ◦ ω] = 0 in H (G, R/Z). However, ∆τ restricted to Z(U(Z)) = T is an isomorphism by (4). Hence, [ω]=0 in H3(G, T).

When G is countable, the converse to Theorem A is true. There ∼ exists an action of G on Z = g∈G Z deﬁned by permuting the tensor factors. Using Remark 2.2, there exists ω-anomalous actions of G on Z for all ω ∈ Z3(G, T) with [ωN] = 0 in H3(G, T). We now turn to the proof of Theorem B. We begin with a preliminary result that is of independent interest. Given an anomalous-action on A, the following lemma will allow us, under certain conditions, to induce anomalous-actions on corners of A. We recall that a C∗-algebra A is said to have the cancellation property if any two projections that agree in K0(A) are Murray von Neumann equivalent. Lemma 3.4. Let G be a group and ω ∈ Z3(G, T). Let A be a unital C∗-algebra with the cancellation property. Then an ω-anomalous action on A which preserves the K0-class of a projection p ∈ A, induces an ω-anomalous action on pAp. Proof. Suppose (θ,u) is an ω-anomalous action of G on A. Since A has the cancellation property, there exist partial isometries vg ∈ A such ∗ ∗ that vgvg = p and vg vg = θg(p) for each g ∈ G. Deﬁne

′ (18) θg = Ad(vg) ◦ θg|pAp, ′ ∗ ∗ (19) ug,h = vghug,hθg(vh)vg .

′ Then ug,h ∈ U(pAp) and we have

′ ′ ′ ∗ ′ (20) Ad(ug,h)θgθh = Ad(vghug,hθg(vh))θgθh ∗ ′ = Ad(vghug,h)θgAd(vh)θh

= Ad(vghug,h)θgθh

= Ad(vgh)θgh ′ = θgh ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 13

Computing the 3-cocycle ω′(g,h,k) associated to (θ′,u′) using (13), we ﬁnd that ′ ′ ′ ′ ′∗ ′∗ (21) ω (g,h,k)= ug,hkθg(uh,k)ug,hugh,k ∗ ∗ ∗ ∗ ∗ = vghkug,hkθg(vhk)vg · vgθg(vhkuh,kθh(vk)vh)vg ∗ ∗ ∗ ∗ · vgθg(vh)ug,hvgh · vghθgh(vk)ugh,kvghk ∗ ∗ ∗ ∗ = vghkug,hkθg(uh,k)θg(θh(vk))ug,hθgh(vk)ugh,kvghk ∗ ∗ ∗ ∗ = vghkug,hkθg(uh,k)ug,hθgh(vk)θgh(vk)ugh,kvghk ∗ ∗ ∗ = vghkug,hkθg(uh,k)ug,hugh,kvghk ∗ = vghkω(g,h,k)vghk = ω(g,h,k)p Therefore, (θ′,u′) is an ω-anomalous action of G on pAp. We are now ready to prove Theorem B. Proof of Theorem B. Let G be a ﬁnite group and ω ∈ Z3(G, T). Let r be the order of [ω] in H3(G, T). Then r divides |G| by [3, Corollary 10.2].

Let A be the UHF algebra k∈N Mnk with supernatural number n = nk. Then A has a unique tracial state τ, which is therefore k∈N N invariant under all automorphisms. As A is AF, K1(A) = 0. The K0 Q group of A is isomorphic via τ∗ to the subgroup Q(n) ⊆ R generated 1 n by { n : n ∈ N, n | }. Suppose there exists an ω-anomalous action of G on A. By Corollary 3 3.3, we have [∆τ ◦ ω] = 0 in H (G, R/Q(n)). The short exact sequence of coeﬃcient groups Q(n) ι ∆ R (22) 0 → −−−−→ T −−−−→τ → 0, Z Q(n) where ι(x)= e2πix, induces a long exact sequence of cohomology groups; see for example [3, Section III.6]. Therefore, since ∆τ∗[ω] = 0 in 3 3 H (G, R/Q(n)), we have that [ω]= ι∗(η) for some η ∈ H (G, Q(n)/Z). Every element in Q(n)/Z has order dividing the supernatural number n. Since G is ﬁnite, the same is true for elements of C3(G, Q(n)/Z) and so for elements of H3(G, Q(n)/Z). Therefore, r divides the supernatural number n. An inductive argument, based on Lemma 3.4 now shows that in fact r∞ divides n. Suppose rk divides n. Then there exists a projection p ∈ A of trace r−k. As A is a UHF algebra, A has the cancellation property and all automorphisms of A act trivially on K0(A). Therefore, we may apply Lemma 3.4 to obtain an ω-anomalous action on pAp. Since pAp is a UHF algebra with supernatural number r−kn, we can apply the argument above to pAp to get that r divides r−kn. Hence, rk+1 divides n. 14 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

∗ We end this section with a general result for C -algebras with K1(A)= 0, which encompasses both Theorem A and Theorem B. Its proof re- quires additional concepts in homological algebra, for which we shall refer the reader to [3]. Proposition 3.5. Let G be a group and ω ∈ Z3(G, T). Let A be a ∗ unital C -algebra with K1(A)=0. Let (θ,u) be an ω-anomalous action of G on A. Let τ ∈ T (A) be invariant under θg for all g ∈ G. Suppose 3 1 [ω] has ﬁnite order r in H (G, T). Then r ∈ τ∗(K0(A)). If [ω] has inﬁnite order, then τ∗(K0(A)) is dense in R. Proof. Consider the short exact sequence of abelian groups

τ(K0(A)) ι ∆ R (23) 0 → −−−−→ T −−−−→τ → 0. Z τ(K0(A)) Applying the universal coefficient theorem for group cohomology (see for example [58, Proposition 11.9.2]), and using the fact that the universal coefficient theorem is natural with respect to the coefficient groups, we obtain the following commuting diagram

1 R 3 R ρ1 R Ext (H (G, Z), ) H (G, ) HomZ(H (G, Z), ) Z 2 τ(K0(A)) τ(K0(A)) 3 τ(K0(A))

∆τ∗ ∆τ∗

1 3 ρ2 ExtZ(H2(G, Z), T) H (G, T) HomZ(H3(G, Z), T)

ι∗ ι∗

1 τ(K0(A)) 3 τ(K0(A)) ρ3 τ(K0(A)) ExtZ(H2(G, Z), Z ) H (G, Z ) HomZ(H3(G, Z), Z ), where the rows are short exact sequences and the middle column is exact at H3(G, T). Our diagram chase is based on two facts. The first is ∆τ∗([ω]) = 0 by Corollary 3.3. Since the middle column is exact at H3(G, T), 3 [ω] = ι∗(η) for some η ∈ H (G, τ(K0(A))/Z). The second is that 1 ExtZ(H2(G, Z), T) = 0, which follows as T is a divisible group. There- fore, ρ2 is in fact an isomorphism. In particular, ρ2([ω]) has the same order as [ω]. As the diagram commutes, we deduce that ρ2([ω]) = ι∗(ρ3(η)). There- fore, ρ2([ω]) is a group homomorphism f : H3(G, Z) → T that ac- tually takes values in ι(τ∗(K0(A))/Z). Since the group operation of HomZ(H3(G, Z), T) is just pointwise multiplication, the order of f is the same as the exponent of the group Im(f) ⊆ T. Suppose [ω] has finite order r. The only subgroup of T with exponent r is the group of r-th roots of unity, so Im(f) is this subgroup. 1 Since f takes values in ι(τ∗(K0(A))/Z), this means that r ∈ τ∗(K0(A)). Suppose [ω] has infinite order. Then Im(f) is a infinite subgroup of T. All such subgroups are dense. It follows that ι(τ∗(K0(A))/Z) is dense in T. Therefore, τ∗(K0(A)) is dense in R. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 15

Note that Proposition 3.5 allows us to generalise Theorem B to the case when G is not necessarily ﬁnite but the order of the cocycle ω is ﬁnite. In Section 4.4, we shall show that the conclusion of Proposition 3.5 can fail when K1(A) =6 0.

4. C∗-Existence In this section, we construct examples of anomalous actions of groups on C∗-algebras. The general strategy is to adapt the von Neumann algebraic results for anomalous actions on R (see Section 2.3). The result is typically an anomalous action on a simple separable nuclear C∗-algebra A with a unique trace τ, in which case the GNS- ′′ ∼ ∗ closure πτ (A) = R. Up to isomorphism, there are many such C - algebras. The ﬁne details of the von Neumann algebraic construction determine which of these C∗-algebra arises. However, the results of Section 3 restrict the possible C∗-algebras based on the group and the 3-cocyle. A good example is the case of anomalous actions of the cyclic group Zn. When the von Neumann algebraic construction was reviewed in Section 2.3, we observed that the Connes’ automorphisms preserved 3 the UHF algebra n∈N Mn. Hence, for any ω ∈ Z (Zn, T), there is an ω-anomalous action of Zn on k∈N Mn. Note that the size of the group is reﬂected inN the supernatural number of the UHF algebra. Conversely, the only UHF algebrasN for which there exists an ω- 3 anomalous action of Zn for all ω ∈ Z (Zn, T) are those that absorb k∈N Mn tensorially. This follows from Theorem B and the fact that 3 H (Zn, T) is cyclic of order n. NWe begin this section with a review of Vaughan Jones’ construction of anomalous actions on R using twisted crossed products and its recent adaptation to the C∗-setting by Corey Jones in [32]. We will then prove Theorem C. We shall end this section with a discussion of free anomalous actions and some examples where the C∗-algebras has non- trivial K1 group. 4.1. Anomalous actions on twisted crossed products. We assume that the reader is familiar with the construction of the crossed product(s) of a unital C∗-algebra A by a discrete group G with respect to an action α : G → Aut(A). The crossed product construction can be generalised by twisting the multiplication in G by a 2-cocyle c ∈ Z2(G, T), i.e. the canonical unitaries {vg : g ∈ G} in a twisted crossed product satisfy

(24) vgvh = c(g, h)vgh, (g, h ∈ G), ∗ (25) vgavg = αg(a), (g ∈ G, a ∈ A). alg We write A ⋊α,c G for the algebraic twisted crossed product, whose elements can be viewed as (ﬁnite) formal sums g∈G agvg with ag ∈ A. P 16 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

As in the non-twisted case, there are two natural choices of completions: r the reduced twisted crossed product A ⋊α,c G and the maximal twisted max crossed product A ⋊α,c G; see [5] or [48] for full details. Note that when c is trivial, we recover the usual crossed products. We can now state an existence theorem for anomalous actions, due to Corey Jones ([32]), which in turn is based on Vaughan Jones’ construction in the von Neumann setting ([35]). Theorem 4.1. Suppose we have the following data: • a group Q and [ω] ∈ H3(Q, T) with a normalised representative ω ∈ Z3(Q, T);2 • a group G and a surjective homomorphism ρ : G ։ Q with kernel K; • a normalised cochain c ∈ C2(G, T) such that dc = ρ∗(ω); • a C∗-algebra B and an action π : G → Aut(B). Then there exists an ω-anomalous action of Q on the reduced twisted r 2 crossed product B ⋊π,c K, where c ∈ Z (K, T) is the restriction of c ∈ C2(G, T) to K. A detailed proof of Theorem 4.1 can be found in [32, Theorem 3.1]. For the beneﬁt of the reader, we provide an outline how the anomalous action is constructed. The anomalous action is in fact deﬁned on the algebraic twisted crossed product and shown to extend to the reduced twisted crossed 3 r product. The automorphisms θq ∈ Aut(B ⋊π,c K) are given by

−1 −1 (26) θq akvk = c(ˆqkqˆ , qˆ) c(ˆq,k)πqˆ(ak)vqkˆ qˆ−1 , ! kX∈K kX∈K where q 7→ qˆ is a choice of set theoretic section of ρ : G ։ Q. The r unitaries uq,r ∈ U(B ⋊π,c K) are given by −1 ∗ (27) uq,r = c(ˆq, rˆ) c(γ(q,r), qr)vγ(q,r), where γ : Q × Q → K is deﬁned byq ˆrˆ = γ(q,r)qr. b In order to access Theorem 4.1, we will also need the following lemma of a cohomological nature. This lemma also goesb back to Vaughan Jones ([35]) with the additional observations in the case when Q is ﬁnite due to Corey Jones ([32]). 3 Lemma 4.2. Let Q be a group and [ω0] ∈ H (Q, T). There exist • a group G, • a surjective homomorphism ρ : G ։ Q with abelian kernel K,

2 n An n-cochain φ : G → T is said to be normalised if φ(g1,...,gn) = 1 whenever gi = 1 for some i. Every cohomology class has a normalised representative; see for example [59, Section 6.5]. 3The action also extends by universality to the full twisted crossed product. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 17

• a normalised 2-cochain c ∈ C2(G, T) and a normalised 3 cocycle ∗ ω ∈ [ω0] such that dc = ρ (ω). Moreover, when Q is finite, then K can be chosen to be a finite abelian group whose order is a power of |Q|, and c can be chosen such that c|K =1. Proof. See [35, Lemma 2.3] for the general case and [32, Lemma 3.7] for the technical improvements when Q is finite. We observe that, in the proof of [32, Lemma 3.7], K is defined to be the quotient of |Q|−1 HomZ(ZQ, Z|Q|) bya copyof Z|Q|. Hence, the order of K is |Q| . 4.2. Anomalous actions on UHF algebras. We now prove Theo- rem C using the machinery of Section 4.1. For compatibility with the notation of [35] and [32], we shall write Q for the starting group and use G for a group extension.

Theorem 4.3 (Theorem C). Let Q be a finite group and let ω0 ∈ 3 Z (Q, T) be any 3-cocycle. There exists an ω0-anomalous action of Q on the UHF algebra j∈N M|Q|. 2 Proof. Let G, K, ρ :NG ։ Q, ω ∈ [ω0] and c ∈ C (G, T) be as in the conclusion of Lemma 4.2 where |K| is a power of |Q| and c|K = 1. Note 2 that |G| = |K||Q| is finite. Let λG : G → U(B(ℓ (G))) denote the left regular representation of G. Write Ad(λG) for the induced action on 2 ∗ 2 B(ℓ (G)) given by Ad(λG)g(T ) = λG(g)TλG(g) for all T ∈ B(ℓ (G)) 2 ⊗∞ and g ∈ G. Let B = j∈N B(ℓ (G)) and let π = Ad(λG) . Applying Theorem 4.1, we obtain an ω-anomalous action of Q on r N B ⋊π,c K. By Remark 2.2, we also obtain an ω0-anomalous action of Q r on B⋊π,cK. The remainder of this proof consists of demonstrating that this twisted crossed product is in fact isomorphic to the UHF algebra with supernatural number |Q|∞. First, we observe that, since c|K = 1, the twisted crossed product r B ⋊π,c K is in fact not twisted in this case. Moreover, as K is finite, there is no distinction to be made between the algebraic, the reduced and the full crossed products. Therefore, we shall simplify our notation r and write B ⋊π K instead of B ⋊π,c K. Next, we consider the restriction of λG to K. By decomposing G into right K-cosets, we see that λG|K is equivalent to |G/K| = |Q| copies 2 of the left regular representation λK : K → B(ℓ (K)). Hence, λG|K is equivalent to λK ⊗ 1ℓ2(Q) where 1ℓ2(Q) denotes the trivial representation of K on the Hilbert space ℓ2(Q). It follows that we have an equivariant isomorphism of C∗-algebras (28) B(ℓ2(G)) ∼= (B(ℓ2(K)) ⊗ B(ℓ2(Q)), N N Oj∈ Oj∈ ⊗∞ where K acts by π on the left hand side and by σ := Ad(λK ⊗1ℓ2(Q)) on the right hand side. 18 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

Taking crossed products, we have

∼ 2 2 (29) B ⋊π K = B(ℓ (K)) ⊗ B(ℓ (Q) ⋊σ K N ! Oj∈ 2 2 ⊗∞ ∼ ⊗∞ = B(ℓ (K)) ⋊Ad(λK ) K ⊗ B(ℓ (Q)) . N ! Oj∈ Since B(ℓ2(Q))⊗∞ is a UHF algebra with supernatural number |Q|∞, 2 ⊗∞ it suﬃces show that the crossed product k∈N B(ℓ (K)) ⋊Ad(λK ) K is isomorphic to a UHF algebra with supernatural number |K|∞. Since K is a ﬁnite abelian group it is isomorphicN to a product of cyclic groups K = K1 ×···×Kr. Since the left regular regular representation

λK is equivalent to the tensor product λK1 ⊗···⊗ λKr of the respective left regular representations, we see that r 2 2 (30) B(ℓ (K)) ⋊ ⊗∞ K ∼ B(ℓ (K )) ⋊ ⊗∞ K . Ad(λK ) = i Ad(λKi ) i N i=1 N Oj∈ O Oj∈ 2 Therefore, it suffices to show that B(ℓ (K )) ⋊ ⊗∞ K is j∈N i Ad(λKi ) i ∞ isomorphic to a UHF algebra with supernatural number |Ki| . The final step of the proof is to explicitlyN compute the crossed prod- 2 ⊗∞ uct j∈N B(ℓ (Zm)) ⋊ Zm, where the action is Ad(λZm ) . Since this action leaves the finite-dimensional subalgebras A = n B(ℓ2(Z )) N n j=1 m invariant, we have N 2 (31) B(ℓ (Zm)) ⋊ Zm = lim An ⋊Ad(λZ )⊗n Zm. n→∞ m N Oj∈ Each crossed product in the inductive limit on the right hand side is a finite-dimensional C∗-algebra and we shall compute the Brattelli diagram of this inductive limit. 2 We set u = λZm (1+ mZ) ∈ B(ℓ (Zm)), and write v for the canonical unitary in the crossed products An ⋊ Zm coming from the generator 1+ mZ of Zm. (Note that v is common to all stages of the inductive limit.) We have (32) vav∗ =(u⊗n)a(u∗⊗n) ⊗n for all a ∈ An. In particular, v and u commute. m−1 i Any element in x ∈ An ⋊Zm may be written as a sum x = i=0 aiv with ai ∈ An. Let a ∈ An. We compute that P m−1 i i (33) ax − xa = aaiv − aiv a i=0 mX−1 i ⊗n ∗i ⊗n i = [aai − ai(u ) a(u ) ]v . i=0 X ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 19

i ⊗n Thus, x commutes with a if and only if ai(u ) commutes with a for ∼ i =0,...m−1. Since Z(An) = C, we see that the only possible central m−1 ∗i ⊗n i elements of An ⋊ Zm are i=0 ci(u ) v where ci ∈ C. Since v and u⊗n commute these elements are indeed central. P Therefore, Z(An ⋊ Zm) has dimension m and is isomorphic to the group algebra of Zm. In particular, the minimal central projections of An ⋊ Zm are

1 m−1 (34) p(n) = ξi(u∗i)⊗nvi, ξ m i=0 X where ξ ranges over the set of m-th roots of unity.

We now consider the dual action of Zm on An ⋊ Zm. By deﬁni- tion, α ∈ Zm = Hom(Zm, T) ﬁxes elements in An and maps v to (n) (n) c α(1)v. Hence, α maps pξ to pα(1)ξ. Therefore, Zm acts transitiv- ity on the minimalc central projections of An ⋊ Zm. Consequently, (n) (n) the matrix algebras pξ (An ⋊ Zk)pξ are mutuallyc isomorphic. Since dim(An ⋊ Zm) = m dim An, we conclude that An ⋊ Zm is isomorphic m to j=1 Mmn . To compute the Bratelli diagram, we need to consider the inclusion L of An ⋊ Zm into An+1 ⋊ Zm. Let ξ1 and ξ2 be any m-th roots of unity. We compute that

1 m−1 m−1 (35) p(n)p(n+1) = ξi ξj(u∗i)⊗n(u∗j)⊗n+1vi+j. ξ1 ξ2 m2 1 2 i=0 j=0 X X

Applying the canonical conditional expectation EAn+1 : An+1 ⋊ Zm → An+1, we get

m−1 (n) (n+1) 1 i −i ∗i ⊗n i ⊗n+1 (36) EA +1(p p )= ξ ξ (u ) (u ) n ξ1 ξ2 m2 1 2 i=0 X 1 m−1 = ξi ξ−i(1⊗n ⊗ ui) m2 1 2 i=0 X =06 ,

m−1 2 since 1,u,...,u are linearly independent in B(ℓ (Zm)). Therefore, (n) (n+1) pξ1 pξ2 =6 0. It follows that the Bratelli diagram for the inclusion An ⋊ Zm in An+1 ⋊ Zm is a complete bipartite graph Km,m. The multiplicity of each edge must be one by dimension counting. Therefore, the Bratteli diagram for the inductive limit is of the form

⊕m Km,m ⊕m Km,m ⊕m Km,m ⊕m Km,m (37) Mm −−−→ Mm2 −−−→ Mm3 −−−→ Mm4 −−−→· · · . 20 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

The AF algebra with this Bratelli diagram at each stage is known to be the UHF algebra with supernatural number m∞. (See for example [11, Example III.2.4], where the m = 2 case is analysed in detail.) 2 We have now shown that the crossed product j∈N B(ℓ (Zm))⋊Zm, ⊗∞ where the action is Ad(λZm ) is isomorphic to the UHF algebra with supernatural number m∞. The result now followsN by (29)and (30). As a corollary of Theorem C, we obtain anomalous actions on UHF- stable algebras. Corollary 4.4. Let G be a finite group and let ω ∈ Z3(G, T) be any 3- cocycle. Let A be a unital C∗-algebra that tensorially absorbs the UHF algebra j∈N M|G|. Then there exists an ω-anomalous action of G on A. N Proof. By Theorem C, there exists an ω-anomalous action (θ,u) on ′ ′ ′ ′ j∈N M|G|. Set θg = idA ⊗θg and ug,h = 1A ⊗ ug,h. Then (θ ,u ) is an ω-anomalous action of G on A ⊗ M ∼= A. N j∈N |G| ∗ Examples of C -algebras thatN absorb the UHF algebra j∈N M|G| tensorially include UHF algebras whose supernatural number is divis- ∞ N ible by |G| as well as the Cuntz algebras O|G| and O2. In the non-unital setting, an interesting example is the Jacelon— Razak algebra W (see [30]). The proof of Corollary 4.4 is easily adapted ′ to the non-unital setting with unitaries ug,h now living in the multiplier algebra M(W). In general, the unitaries can not be taken cannot live in the minimal unitisation W∼, else we could apply Proposition 3.1 with q : U(A∼) → T the restriction of the quotient map A∼ ։ A∼/A ∼= C to obtain that [ω] = 0. Theorem C provides us with a partial converse to Theorem B. By Theorem B, a finite group G has an ω-anomalous action on a UHF alge- 3 bra with supernatural number n only if the order rω of [ω] ∈ H (G, T) ∞ n satisfies rω | . Hence, all ω-anomalous actions exist only if the exponent e of H3(G, T) satisfies e∞|n. Since |G| annihilates H3(G, T), the exponent e of is a factor of |G| in general. Note that when G is a cyclic group |G|∞ = e∞. 4.3. Free anomalous actions. Following the terminology of [47] for group actions on von Neumann algebras, we will call an ω-anomalous action (θ,u) free if θg 6∈ Inn(G) for g =16 G. Actions with this property have also been called outer actions in the literature (e.g. [36]). A non-free ω-anomalous (θ,u) action of G will descend to an ω′- anomalous action of the quotient of G/K where K = θ−1(Inn(A)). Moreover, [ω] will be the pullback of [ω′] under the quotient map. This observation can be used to prove that freeness is automatic is certain situations, for example if [ω] has order |G|. The following tensor product trick can be used to obtain free anomalous actions on Z-stable C∗-algebras. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 21

Proposition 4.5. Let (θ,u) be an ω-anomalous action of G on A. Let

α : G y g∈G Z be the action given by permuting the tensor factors. Set θ′ = θ ⊗α and u′ = u ⊗1 . Then (θ′,u′) is a free ω-anomalous g Ng g g,h g,h Z action of G on A ⊗ ( g∈G Z). Proof. Since α is an action,N it follows immediately from Deﬁnition 2.1 that (θ′,u′) is an ω-anomalous action. It remains to show that (θ′,u′) is free. ∞ Let (zn)n=1 be a central sequence in Z where each zn is a self-adjoint element with spectrum [−1, 1]. Set x =1 ⊗ z ⊗ ( 1 ). Then n A n g6=1G Z ′ (38) kθg(xn) − xnk = kzn ⊗ 1Z − 1Z ⊗ znkZ⊗ZN = sup |s − t| s,t∈[−1,1] =2 for all n ∈ N and g =6 1G. However, limn→∞ |φ(xn) − xn| = 0 for all inner automorphisms φ, since zn is a central sequence in Z.

4.4. Examples with non-trivial K1 groups. In this section, we construct anomalous actions of ﬁnite cyclic groups on the irrational rotation algebras and the Bunce–Deddens algebras. These examples could be constructed with the general machinery of Section 4.1. However, we will take a more concrete approach. Indeed, since we are working with a cyclic group Zn it suﬃces to construct an automorphism φ ∈ Aut(A) and a unitary u ∈ U(A) such that φn = Ad(u) and φ(u) = γu for some n-th root of unit γ ∈ C. The same arguments made in Section 2.3, where we discussed Connes’ automorphisms of R, apply in this case.

Proposition 4.6 (cf. [32, Corollary 3.6]). Let θ ∈ R\Q. Let Aθ be the irrational rotation algebra. For any n ∈ N and any n-th root of unity γ ∈ C, there exists φ ∈ Aut(Aθ) and a unitary u ∈ U(A) such that (39) φn = Ad(u), (40) φ(u)= γu. ∗ Proof. We view Aθ as the universal C -algebra generated by two uni- 2πiθ taries u, v ∈ Aθ such that uv = e vu. By the universal property of Aθ, we may deﬁne φ ∈ Aut(Aθ) by setting φ(u)= γu and φ(v)= e2πiθ/nv. By construction (40) holds. We compute that φn(u) = u and φn(v) = e2πiθv = uvu∗. Since u and v generate Aθ, we have (39).

The irrational rotation algebra Aθ has a unique trace τ. Moreover, ∼ K0(Aθ) = Z+Zθ ⊆ R with the isomorphism induced by the trace τ (see [11, Example VIII.5.1]). It follows from Proposition 4.6 that there are 3 ω-anomalous actions of Zn on Aθ for all n ∈ N and all [ω] ∈ H (Zn, T). ∼ This does not contradict Proposition 3.5 since K1(Aθ) = Z ⊕ Z. 22 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

We now turn to the Bunce–Deddens algebras (see [11, Section V.3]). These algebras arise as the crossed product of a Cantor space by an odometer action. Like the UHF algebras, Bunce–Deddens algebras are n classiﬁed up to isomorphism by a supernatural number = k∈N nk. In the odometer construction nk is the number of values on the k-th dial of the odometer (see [11, Theorem VIII.4.1]). The Bunce–DeddensQ algebra Bn has a unique trace τ, K0(Bn)= Q(n) and K1(Bn)= Z. n Proposition 4.7. Let = k∈N nk be a supernatural number. Let Bn be the corresponding Bunce–Deddens algebra. For any m ∈ N, which is coprime to n and anyQ m-th root of unity γ ∈ C, there exists φ ∈ Aut(Bn) and a unitary u ∈ U(A) such that (41) φm = Ad(u), (42) φ(u)= γu.

Proof. Let X = k∈N Xk where Xk is a discrete topological space ∗ with nk points. Let α ∈ Homeo(X) be the odometer map and α ∈ Q ∼ Aut(C(X)) be the induced automorphism. Then Bn = C(X) ⋊α∗ Z. The key to the construction is the observation that α has an m-th root whenever m is coprime to n. In the case where n = p∞, this is just the observation that m is invertible in the ring of p-adic integers. In general, we work in the topological ring R that arises as the inverse limit of the system Z Z Z Z (43) ···→ → → → . n4n3n2n1Z n3n2n1Z n2n1Z n1Z We identify X with the underlying topological space of R and α with addition by 1R. Since the image of m · 1R is invertible at each stage of the system, it is invertible in R. Let β ∈ Homeo(X) be given by −1 addition by (m · 1R) . Let u ∈ Bn be the canonical unitary of the crossed product. By the universal property of the crossed product, we may deﬁne φ ∈ Aut(B) by φ(u) = γu and φ(f) = f ◦ β for all f ∈ C(X). Note that α and β commute since α = βm. By construction (42) holds, and (41) follows since φm(u) = u = Ad(u)(u) and φm(f) = Ad(u)(f) for all f ∈ C(X).

5. C∗-tensor categories In this section, we show how to translate our results on anomalous actions to the language of C∗-tensor categories and C∗-tensor functors. We begin with an introduction to the basic terminology and the key examples. 5.1. C∗-tensor categories. We assume the reader is familiar with the basic language of category theory (see for example [42]). All categories that we shall consider will be C-linear categories, meaning that the ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 23 space of morphisms Hom(X,Y ) between any two objects of the category is endowed with a C-vector space structure and composition of morphisms is bilinear.

Deﬁnition 5.1. ([20]; see also [33, Section 2]) A C∗-category is a C- linear category C equipped with a conjugate linear maps ∗ : Hom(X,Y ) → Hom(Y,X) for every X,Y ∈ C such that

(1) φ∗∗ = φ for all φ ∈ Hom(X,Y ); (2) (φ ◦ ψ)∗ = ψ∗ ◦ φ∗ for all ψ ∈ Hom(X,Y ),φ ∈ Hom(Y,Z); (3) The function k·k : Hom(X,Y ) → [0, ∞] given by

2 ∗ kφk = sup{λ> 0 : φ ◦ φ − λ idX is not invertible}

is a complete norm on Hom(X,Y ); (4) kφ ◦ ψk≤kφkkψk for all ψ ∈ Hom(X,Y ),φ ∈ Hom(Y,Z); (5) kφ∗ ◦ φk = kφk2 for all φ ∈ Hom(X,Y ); (6) For all φ ∈ Hom(X,Y ), φ∗ ◦ φ is a positive element of the C∗- algebra Hom(X,X).

A C∗-functor F : C→D between C∗-categories is required to be C- linear on morphisms and ∗-preserving. A natural isomorphism ν : F → ∗ G is said to be unitary if νx ∈ Hom(F (X),G(X)) satisﬁes νX ◦ νX = ∗ 1F (X) and νX ◦ νX =1G(X) for all X ∈ C.

∗ A simple example of a C -category is HilbC, whose objects are ﬁnite- dimensional Hilbert spaces over C and morphism are linear maps. The map φ 7→ φ∗ is the Hilbert space adjoint. More generally, for any C∗- algebra A, the (right) Hilbert A-modules and adjointable maps form a C∗-category (see for example [40]). We now consider tensor product structures on a C∗ category.

Deﬁnition 5.2. (see for example [18, 33]) A C∗-tensor category is a C∗-category C together with a C-linear bifunctor − ⊗ − : C×C→C, a distinguished object 1C ∈ C and unitary natural isomorphisms

(44) αX,Y,Z :(X ⊗ Y ) ⊗ Z → X ⊗ (Y ⊗ Z),

λX : (1C ⊗ X) → X,

ρX :(X ⊗ 1C) → X, such that (φ ⊗ ψ)∗ = (φ∗ ⊗ ψ∗) and the following diagrams commute for any X,Y,Z,W ∈ C 24 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

(45) ((W ⊗ X) ⊗ Y ) ⊗ Z

αW ⊗X,Y,Z

αW,X,Y ⊗idZ (W ⊗ (X ⊗ Y )) ⊗ Z (W ⊗ X) ⊗ (Y ⊗ Z)

αW,X⊗Y,Z αW,X,Y ⊗Z id ⊗α W ⊗ ((X ⊗ Y ) ⊗ Z) W X,Y,Z W ⊗ (X ⊗ (Y ⊗ Z)),

αX,1,Y (X ⊗ 1C) ⊗ Y X ⊗ (1C ⊗ Y ) (46) ρX ⊗idY idX ⊗λY X ⊗ Y.

∗ The C -category HilbC can be endowed with the additional structure ofaC∗-tensor category by taking − ⊗ − to be the Hilbert space tensor product, 1HilbC to be the 1-dimensional Hilbert space C, and taking

(47) αX,Y,Z :(x ⊗ y) ⊗ z 7→ x ⊗ (y ⊗ z),

λX :1C ⊗ x 7→ x,

ρX : x ⊗ 1C, 7→ x for X,Y,Z Hilbert spaces and x, y, z in X,Y,Z respectively. We now deﬁne the additional examples of C∗-tensor categories that we will be using in this paper. Example 5.3. In the following examples, G is a discrete group, ω ∈ Z3(G, T) is a 3-cocyle, and A is a unital C∗-algebra.

(1) HilbC(G): The objects are ﬁnite-dimensional, G-graded Hilbert spaces, i.e. ﬁnite-dimensional Hilbert spaces X endowed with

a decomposition X = g∈G Xg. The morphisms are linear maps that preserve the G-grading. The tensor product is the usual Hilbert space tensorL product with the G-grading deﬁned

by (X ⊗ Y )g = h∈G Xh ⊗ Yh−1g. The remaining structure is the same as for HilbC. L (2) HilbC(G,ω): Deﬁned exactly the same as HilbC(G) except that the associators are now given by

αX,Y,Z :(x ⊗ y) ⊗ z 7→ ω(g,h,k) x ⊗ (y ⊗ z)

for x ∈ Xg, y ∈ Yh, z ∈ Zk. (3) Bim(A): The objects are (right) Hilbert A-modules X endowed with a unital ∗-homomorphism A →L(X). The morphisms are the adjointable A-A bilinear maps. The tensor product is the internal tensor product. (See for example [15, Chapter 1].) Finally, we recall the notion of a C∗-tensor functor. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 25

Deﬁnition 5.4. A C∗-tensor functor (F,J): C→D is a C∗-functor ∼ F : C→D such that F (1C) = 1D together with unitary natural isomorphisms JX,Y : F (X) ⊗ F (Y ) → F (X ⊗ Y ) such that the following diagram commutes

αF X ,F Y ,F Z (F (X) ⊗ F (Y )) ⊗ F (Z) ( ) ( ) ( ) F (X) ⊗ (F (Y ) ⊗ F (Z))

JX,Y ⊗idF (Z) idF (X) ⊗JY,Z (48) F (X ⊗ Y ) ⊗ F (Z) F (X) ⊗ F (Y ⊗ Z)

JX⊗Y,Z JX,Y ⊗Z F (α ) F ((X ⊗ Y ) ⊗ Z) X,Y,Z F (X ⊗ (Y ⊗ Z)). We are particularly interested in fully faithful C∗-tensor functors F : C→D, i.e. functors for which the the induced map Hom(X,Y ) → Hom(F (X), F (Y )) is an isomorphism for all X,Y ∈ C. 5.2. Anomalous actions and C∗-tensor functors. We now consider the relationship between anomalous actions of a group G on a ∗ ∗ C -algebra A and C -tensor functors HilbC(G,ω) → Bim(A). We begin by recalling an important class of bimodules. Example 5.5. (cf. [4, Section 3]) Let A be a unital C∗-algebra and θ ∈ Aut(A). Let Aθ be the (right) Hilbert A-A-bimodule with underlying vector space A, where the A-actions and (right) A-inner product are given by (49) a · x · b = axθ(b), (50) hx, yi = θ−1(x∗y).

Suppose θ,φ ∈ Aut(A). Any morphism f ∈ Hom(Aθ, Aφ) must be given by right multiplication by f(1), and f(1) must intertwine the right A-actions. It follows that Aθ and Aφ are unitary isomorphic if and only if there is a unitary u ∈ A with θ = Ad(u)φ. Moreover, Hom(Aθ, Aθ) = Z(A), so Aθ is a simple bimodules when A has trivial ∼ centre. We also have Aθ ⊗ Aφ = Aθ◦φ via the unitary isomorphism J(x ⊗ y)= xθ(y). We now record the construction of a tensor functor from an anomalous action. In the following proposition, we writeω ¯ for the complex 3 conjugate of ω ∈ Z (G, T), and we write Cg for the Hilbert space C viewed as as G-graded Hilbert space that is homogeneous of degree g. Proposition 5.6. Let G be a group, ω ∈ Z3(G, T), and A be a unital C∗-algebra. Given an ω-anomalous action (θ,u) of G, there exists a ∗ C -tensor functor (F,J) : HilbC(G, ω¯) → Bim(A) such that

(51) F (Cg)= Aθg , ∗ (52) JCg,Ch (x ⊗ y)= xθg(y)ug,h, 26 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO which is fully faithful whenever Z(A)= C and (θ,u) is free. Conversely, if (F,J) : HilbC(G, ω¯) → Bim(A) is such that for each ∼ g ∈ G, F (Cg) = Aθg for some θg ∈ Aut(G). Then there exists a ω-anomalous action of G on A.

Proof. We define F on a general object X = g∈G Xg of HilbC(G, ω¯) by F (X)= X ⊗C A . On a general morphisms f = f ∈ g∈G g θ L g∈G g Hom(X,Y ), we define F (f)= f ⊗C id . L g∈G g Aθg L Since (θ,u) is an ω-anomalous action, after taking adjoints, we have L ∗ ∗ (53) ug,hθgh(a)= θg(θh(a))ug,h, ∗ ∗ ∗ ∗ (54) ω¯(g,h,k)ug,hugh,k = θg(uh,k)ug,hk, ∗ for a ∈ A and g,h,k ∈ G. It follows that JCg,Ch (x ⊗ y) = xθg(y)ug,h ∼ defines a unitary isomorphism of bimodules Aθg ⊗ Aθh = Aθgh , and the monoidal structure axiom (48) holds when X = Cg, Y = Ch,Z = Ck. The definition of the tensorator JX,Y for general objects X = g∈G Xg and Y = Y is uniquely determined by naturality. It has the h∈G h L form JX,Y = g,h∈G idXg ⊗C idYh ⊗C JCg,Ch . The monoidal structure axiom remainsL valid by naturality. Suppose Z(LA) = C and (θ,u) is a free anomalous action. Then ∼ Hom(Aθg , Aθh ) = 0 whenever g =6 h and Hom(Aθg , Aθg ) = C; see Ex- ample 5.5. It follows that F is fully faithful. ∗ For the converse, suppose (F,J) : HilbC(G, ω¯) → Bim(A) is a C - tensor functor and for all g ∈ G, F (Cg) is unitary isomorphic to Aθg for some θg ∈ Aut(G). Let g, h ∈ G. Then ∼ ∼ ∼ (55) Aθgh = F (Cg ⊗ Ch) = F (Cg) ⊗ F (Ch) = Aθgθh . This unitary isomorphism of bimodules must be implemented by right ∗ multiplication by a unitary ug,h ∈ U(A) satisfying (53). Moreover, (54) holds since F and J satisfy the monoidal structure axiom (48). Hence, (θ,u) is an ω-anomalous action of G on A. Remark 5.7. The fact that an ω-anomalous action corresponds to a functor from HilbC(G, ω¯) instead of HilbC(G,ω) results from a discrep- ancy of conventions between [4] and [32]. One way to resolve this issue is to reverse the order of the tensor product in Bim(A) and work with bimodules of the form θg Aid. This is the approach used in [6]. In order to access the converse of Proposition 5.6, we need a lemma for determining when an A-A bimodule is unitary isomorphic to one of the form Aθ for some θ ∈ Aut(A). To this end we recall that a object X in a C∗-tensor category C is invertible if there exists an object Y ∈ C ∼ ∼ with X ⊗ Y = 1C = Y ⊗ X. We shall say that X has finite order if ⊗N ∼ X = 1C for some N ∈ N. Lemma 5.8. Let A be a unital, simple C∗-algebra with the cancellation property. If Aut(K0(A),K0(A)+) is trivial, then every invertible ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 27 element X ∈ Bim(A) is unitary isomorphic to a bimodule of the form Aθ for some θ ∈ Aut(A). Similarly, if Aut(K0(A),K0(A)+) has no non-trivial elements of finite order, then every invertible element X ∈ Bim(A) of finite order is unitary isomorphic to a bimodule of the form Aθ for some θ ∈ Aut(A). Proof. Let X ∈ Bim(A) be an invertible bimodule. Then X is a self- 2 Morita equivalence of A by [15, Lemma 2.4]. Let H = Aℓ (A)A⊗K be the standard Morita equivalence between A and its stabilisation A⊗K. Then Y = H¯ ⊗X ⊗H is a self-Morita equivalence of A⊗K. As ∼ A ⊗ K is stable and σ-unital, Y = (A ⊗ K)θ for some θ ∈ Aut(A ⊗ K) by [4, Corollary 3.5]. Let θ∗ ∈ Aut(K0(A),K0(A)+) be the induced automorphism.

Suppose Aut(K0(A),K0(A)+) is trivial. Then θ∗ = idK0(A). There- fore, [θ(1A ⊗ e11)]K0(A) = [1A ⊗ e11]K0(A). Since A has the cancellation ∗ property, there exists a partial isometry v ∈ A ⊗ K with v v =1 ⊗ e11 ∗ and vv = θ(1 ⊗ e11). The series ∞

(56) u = θ(1 ⊗ ei1)v(1 ⊗ e1i) i=1 X converges in the strict topology on M(A ⊗ K) and defines a unitary u ∈ U(M(A ⊗ K)) such that θ(1 ⊗ eij ) = Ad(u)(1 ⊗ eij) for all i, j ∈ N. ∗ ′ It follows that Ad(u )θ fixes 1 ⊗ K, and so is of the form θ ⊗ idK ′ ∼ ∼ for some θ ∈ Aut(A). Hence, Y = (A ⊗ K)θ′⊗idK , and we have X = ∼ H ⊗ Y ⊗ H¯ = Aθ′ , as required. ⊗N ∼ N If X = 1Bim(A), then in the above argument θ is an inner auto- N morphism, so θ∗ = idK0(A). Hence, in this case, it suffice to know that Aut(K0(A),K0(A)+) has no non-trivial elements of finite order. We are now ready to prove Corollary D and Corollary E. Proof of Corollary D. Suppose there exists a C∗-tensor functor (F,J): HilbC(G,ω) → Bim(Z). As K0(Z) = Z with its usual order, there are no non-trivial elements of Aut(K0(Z),K0(Z)+). Moreover, Z is simple, unital and has the cancellation property by virtue of having stable rank one (see [1, Proposition 6.5.1]). Hence, by Lemma 5.8, up to unitary isomorphism all invertible bimodules in Bim(Z) are of the form Zθ for some θ ∈ Aut(Z). ∗ Since (J, F ) is a C -tensor functor, we have that F (Cg) is invertible with inverse F (Cg−1 ) for each g ∈ G. We may therefore apply Propo- sition 5.6 and deduce that there exists anω ¯-anomalous action of G on Z. By Theorem A, [¯ω] = 0 in H3(G, T). Hence, [ω]= −[¯ω] = 0.

Proof of Corollary E. Let A = k∈N Mnk be a UHF algebra with su- n pernatural number = k∈N nk. Let G be a ﬁnite group and ω ∈ 3 N ∗ Z (G, T). Let (F,J) : HilbC(G,ω) → Bim(A) be C -tensor functor. Q 28 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

The ordered group K0(A) is isomorphic subgroup Q(n) ⊆ Q gener- 1 n ated by { n : n ∈ N, n | } with the order inherited from Q. Since Q is uniquely divisible, any automorphism of Q(n) is determined by the image of 1. It follows that the only automorphism of Q(n) with finite order is multiplication by -1, which doesn’t preserve the order structure. Hence, Aut(K0(A),K0(A)+) has no non-trivial elements of finite order. Since UHF algebras are simple, unital and have the cancellation property, we may use Lemma 5.8 to deduce that, up to unitary isomorphism, all invertible bimodules of finite order in Bim(A) are of the form Aθ for some θ ∈ Aut(A). ∗ Since (J, F ) is a C -tensor functor, we have that F (Cg) is invertible with inverse F (Cg−1 ) for each g ∈ G. Moreover, as G is finite, F (Cg) has finite order for each g ∈ G. We may therefore apply Proposition 5.6 and deduce that there exists anω ¯-anomalous action of G on A. Since [¯ω] = −[ω] in H3(G, T), they have the same order. Therefore, by Theorem B, the order of [ω] divides both |G| and the supernatural number n.

References [1] B. Blackadar. K-theory for operator algebras, volume 5 of Mathematical sci- ences research institute publications. Cambridge University Press, Cambridge, second edition, 1998. [2] M. Broise. Commutateurs dans le groupe unitaire d’un facteur. J. Math. Pures Appl., 46(3):299–312, 1967. [3] K. S. Brown. Cohomology of groups, volume 87 of Graduate texts in mathematics. Springer Science and Business Media, 2012. [4] L. G. Brown, P. Green, and M. A. Rieffel. Stable isomorphism and strong Morita equivalence of C∗-algebras. Pac. J. Math., 71(2):349–363, 1977. [5] R. C. Busby and H. A. Smith. Representations of twisted group algebras. Trans. Amer. Math. Soc., 149:503–537, 1970. [6] A. Buss, R. Meyer, and C. Zhu. A higher category approach to twisted actions on C∗-algebras. Proc. Edinb. Math. Soc. (2), 56(2):387–426, 2013. [7] A. Connes. Outer conjugacy classes of automorphisms of factors. Ann. Sci. Ecole´ Norm. Sup. (4), 8(3):383–419, 1975. [8] A. Connes. Classification of injective factors cases II1, II∞, IIIλ, λ 6= 1. Ann. of Math. (2), pages 73–115, 1976. [9] A. Connes. Periodic automorphisms of the hyperfinite factor of type II1. Acta Sci. Math., 39:39–66, 1977. [10] J. Cuntz and G. K. Pedersen. Equivalence and traces on C∗-algebras. J. Funct. Anal., 33(2):135–164, 1979. [11] K. R. Davidson. C∗-algebras by example, volume 6 of Fields institute monographs. American Mathematical Society, Providence, RI, 1996. [12] P. de la Harpe. Fuglede-Kadison determinant: theme and variations. Proc. Natl. Acad. Sci. U.S.A., 110(40):15864–15877, 2013. [13] P. de la Harpe and G. Skandalis. Déterminant associéàune trace sur une algébre de Banach. Ann. Inst. Fourier (Grenoble), 34(1):241–260, 1984. [14] P. de la Harpe and G. Skandalis. Produits finis de commutateurs dans les C∗-algèbres. Ann. Inst. Fourier (Grenoble), 34(4):169–202, 1984. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 29

[15] S. Echterhoff, S. Kaliszewski, J. Quigg, and I. Raeburn. A categorical approach to imprimitivity theorems for C∗-dynamical systems. Mem. Amer. Math. Soc., 180, 2006. [16] S. Eilenberg and S. MacLane. Cohomology theory in abstract groups. II: Group extensions with a non-abelian kernel. Ann. of Math. (2), pages 326–341, 1947. [17] G. A. Elliott, G. Gong, H. Lin, and Z. Niu. On the classification of simple amenable C∗-algebras with finite decomposition rank, II. arXiv:1507.03437, 2015. [18] P. Etingof, S. Gelaki, D. Nikshych, and V. Ostrik. Tensor categories, volume 205 of Mathematical surveys and monographs. American Mathematical Society, Providence, RI, 2016. [19] D. E. Evans and Y. Kawahigashi. Quantum symmetries on operator algebras, volume 147 of Oxford mathematical monographs. Clarendon Press Oxford, 1998. [20] P. Ghez, R. Lima, and J. E. Roberts. W∗-categories. Pac. J. Math., 120(1):79– 109, 1985. [21] J. G. Glimm. On a certain class of operator algebras. Trans. Amer. Math. Soc., 95:318–340, 1960. [22] H. Glöckner. Fundamentals of direct limit Lie theory. Compos. Math., 141(6):1551–1577, 2005. [23] G. Gong, H. Lin, and Z. Niu. Classification of finite simple amenable Z-stable C∗-algebras I,II. C. R. Math. Acad. Sci. Soc. R. Can., 42(3-4):63–539, 2020. [24] P. Grossman, M. Izumi, and N. Snyder. The Asaeda-Haagerup fusion categories. J. Reine Angew. Math., 743:261–305, 2018. [25] U. Haagerup. Quasitraces on exact C∗-algebras are traces. C. R. Math. Acad. Sci. Soc. R. Can., 36:67–92, 2014. [26] N. Higson. Algebraic K-theory of stable C∗-algebras. Adv. Math., 67(1):1–140, 1988. [27] H.-L. Huang, G. Liu, and Y. Ye. The braided monoidal structures on a class of linear Gr-categories. Alg. and Rep. Theory, 17(4):1249–1265, 2014. [28] M. Izumi. Subalgebras of infinite C∗-algebras with finite Watatani indices. I. Cuntz algebras. Comm. Math. Phys., 155(1):157–182, 1993. [29] M. Izumi. Subalgebras of infinite C∗-algebras with finite Watatani indices. II. Cuntz-Krieger algebras. Duke Math. J., 91(3):409–461, 1998. [30] B. Jacelon. A simple, monotracial, stably projectionless C∗-algebra. J. Lond. Math. Soc. (2), 87(2):365–383, 2013. [31] X. Jiang and H. Su. On a simple unital projectionless C∗-algebra. Amer. J. Math., pages 359–413, 1999. [32] C. Jones. Remarks on anomalous symmetries of C∗-algebras. arXiv:2011.13898, 2020. [33] C. Jones and D. Penneys. Operator algebras in rigid C∗-tensor categories. Comm. Math. Phys., 355(3):1121–1188, 2017. [34] C. Jones and D. Penneys. Realizations of algebra objects and discrete subfactors. Adv. Math., 350:588–661, 2019. [35] V. F. R. Jones. An invariant for group actions. In Algèbres d’opérateurs (Sém., Les Plans-sur-Bex, 1978), volume 725 of Lecture Notes in Mathematics, pages 237–253. Springer, Berlin, 1979. [36] V. F. R. Jones. Actions of finite groups on the hyperfinite type II1 factor. Mem. Amer. Math. Soc., 28(237):v+70, 1980. [37] T. Kajiwara, C. Pinzari, and Y. Watatani. Jones index theory for Hilbert C∗-bimodules and its equivalence with conjugation theory. J. Funct. Anal., 215(1):1–49, 2004. 30 SAMUEL EVINGTON AND SERGIO GIRON´ PACHECO

[38] T. Kajiwara and Y. Watatani. Jones index theory by Hilbert C∗-bimodules and K-theory. Trans. Amer. Math. Soc., 352(8):3429–3472, 2000. [39] E. Kirchberg. Exact C∗-algebras, tensor products, and the classification of purely infinite algebras. In Proc. of the Inter. Congress of Math., Vol. 1, 2 (Zürich, 1994), pages 943–954. Birkhäuser, Basel, 1995. [40] E. C. Lance. Hilbert C∗-modules, volume 210 of London mathematical society lecture note series. Cambridge University Press, Cambridge, 1995. [41] R. Longo and J. Roberts. A theory of dimension. K-Theory, 11:103–159, 1997. [42] S. MacLane. Categories for the working mathematician, volume 5 of Graduate texts in mathematics. Springer Science and Business Media, 2013. [43] M. Müger. From subfactors to categories and topology. I. Frobenius algebras in and Morita equivalence of tensor categories. J. Pure Appl. Algebra, 180(1):81– 157, 2003. [44] F. J. Murray and J. von Neumann. On rings of operators. Ann. of Math. (2), 37(1):116–229, 1936. [45] P. W. Ng and L. Robert. The kernel of the determinant map on pure C∗- algebras. Houston J. Math., 43(1):139–168, 2017. [46] A. Ocneanu. Quantized groups, string algebras and Galois theory for algebras. In Operator algebras and applications, Vol. 2, volume 136 of London Math- ematical Society Lecture Note Series, pages 119–172. Cambridge University Press, Cambridge, 1988. [47] A. Ocneanu. Actions of discrete amenable groups on von Neumann algebras, volume 1138 of Lecture notes in mathematics. Springer, 2006. [48] J. A. Packer and I. Raeburn. Twisted crossed products of C∗-algebras. Math. Proc. Camb. Phil. Soc., 106(2):293–311, 1989. [49] N. C. Phillips. A classification theorem for nuclear purely infinite simple C∗- algebras. Doc. Math., 5(49):114, 2000. [50] S. Popa. Classification of amenable subfactors of type II. Acta Math., 172(2):163–255, 1994. [51] M. Rørdam. The stable and the real rank of Z-absorbing C∗-algebras. Int. J. Math., 15(10):1065–1084, 2004. [52] M. Rørdam, F. Larsen, and N. Laustsen. An introduction to K-theory for C∗- algebras, volume 49 of London mathematical society student texts. Cambridge University Press, 2000. [53] C. E. Sutherland. Cohomology and extensions of von Neumann algebras. I, II. Publ. Res. Inst. Math. Sci., 16(1):105–133, 135–174, 1980. [54] Z. Takeda. On the extensions of finite factors. II. Proc. Japan Acad., 35:215– 220, 1959. [55] N. Tatsuuma, H. Shimomura, and T. Hirai. On group topologies and unitary representations of inductive limits of topological groups and the case of the group of diffeomorphisms. J. Math. Kyoto Univ., 38(3):551–578, 1998. [56] K. Thomsen. Traces, unitary characters and crossed products by Z. Publ. Res. Inst. Math. Sci., 31(6):1011–1029, 1995. [57] A. Tikuisis, S. White, and W. Winter. Quasidiagonality of nuclear C∗-algebras. Ann. of Math. (2), 185(1):229–284, 2017. [58] T. tom Dieck. Algebraic topology, volume 8 of European mathematical society textbooks in mathematics. European Mathematical Society, 2008. [59] C. A. Weibel. An introduction to homological algebra, volume 38 of Cambridge studies in advanced mathematics. Cambridge University Press, Cambridge, 1994. [60] W. Winter. Nuclear dimension and Z-stability of pure C∗-algebras. Invent. Math., 187(2):259–342, 2012. ANOMALOUS SYMMETRIES OF CLASSIFIABLE C*-ALGEBRAS 31

Samuel Evington, Mathematical Institute, University of Munster,¨ Einsteinstrasse 62, 48149 Munster,¨ Germany Email address: [email protected] Sergio Giron´ Pacheco, Mathematical Institute, University of Oxford, Oxford, OX2 6GG, UK. Email address: [email protected]