No Arabic abstract
Let $K$ be a number field with ring of integers $R$. Given a modulus $mathfrak{m}$ for $K$ and a group $Gamma$ of residues modulo $mathfrak{m}$, we consider the semi-direct product $Rrtimes R_{mathfrak{m},Gamma}$ obtained by restricting the multiplicative part of the full $ax+b$-semigroup over $R$ to those algebraic integers whose residue modulo $mathfrak{m}$ lies in $Gamma$, and we study the left regular C*-algebra of this semigroup. We give two presentations of this C*-algebra and realize it as a full corner in a crossed product C*-algebra. We also establish a faithfulness criterion for representations in terms of projections associated with ideal classes in a quotient of the ray class group modulo $mathfrak{m}$, and we explicitly describe the primitive ideals using relations only involving the range projections of the generating isometries; this leads to an explicit description of the boundary quotient. Our results generalize and strengthen those of Cuntz, Deninger, and Laca and of Echterhoff and Laca for the C*-algebra of the full $ax+b$-semigroup. We conclude by showing that our construction is functorial in the appropriate sense; in particular, we prove that the left regular C*-algebra of $Rrtimes R_{mathfrak{m},Gamma}$ embeds canonically into the left regular C*-algebra of the full $ax+b$-semigroup. Our methods rely heavily on Lis theory of semigroup C*-algebras.
To a proper inclusion Nsubset M of II_1 factors of finite Jones index [M:N], we associate an ergodic C*-action of the quantum group S_mu U(2). The deformation parameter is determined by -1<mu<0 and [M:N]=|mu+mu^{-1}|. The higher relative commutants can be identified with the spectral spaces of the tensor powers of the defining representation of the quantum group. This ergodic action may be thought of as a virtual subgroup of S_mu U(2) in the sense of Mackey arising from the tensor category generated by M regarded as a bimodule over N. mu is negative as M is a real bimodule.
Let O be the ring of integers of a number field K. For an O-algebra R which is torsion free as an O-module we define what we mean by a Lambda_O-ring structure on R. We can determine whether a finite etale K-algebra E with Lambda_O-ring structure has an integral model in terms of a Deligne-Ribet monoid of K. This a commutative monoid whose invertible elements form a ray class group.
The spectral functor of an ergodic action of a compact quantum group G on a unital C*-algebra is quasitensor, in the sense that the tensor product of two spectral subspaces is isometrically contained in the spectral subspace of the tensor product representation, and the inclusion maps satisfy natural properties. We show that any quasitensor *-functor from Rep(G) to the category of Hilbert spaces is the spectral functor of an ergodic action of G on a unital C*-algebra. As an application, we associate an ergodic G-action on a unital C*-algebra to an inclusion of Rep(G) into an abstract tensor C*-category. If the inclusion arises from a quantum subgroup of G, the associated G-system is just the quantum quotient space. If G is a group and the category has permutation symmetry, the associated system is commutative, and therefore isomorphic to the classical quotient space by a closed subgroup of $G$. If a tensor C*-category has a Hecke symmetry making an object of dimension d and q-quantum determinant one then there is an ergodic action of S_qU(d) on a unital C*-algebra, having the spaces of intertwiners from the tensor unit to powers of the object as its spectral subspaces. The special case od S_qU(2) is discussed.
In this paper we consider a bootstrap class $mathfrak C$ of countable discrete groups, which is closed under countable unions and extensions by the integers, and we study actions of such groups on C*-algebras. This class includes all torsion-free abelian groups, poly-$mathbb Z$-groups, as well as other examples. Using the interplay between relative Rokhlin dimension and semi-strongly self-absorbing actions established in prior work, we obtain the following two main results for any group $Gammainmathfrak C$ and any strongly self-absorbing C*-algebra $mathcal D$: (1) There is a unique strongly outer $Gamma$-action on $mathcal D$ up to (very strong) cocycle conjugacy. (2) If $alpha: Gammacurvearrowright A$ is a strongly outer action on a separable, unital, nuclear, simple, $mathcal D$-stable C*-algebra with at most one trace, then it absorbs every $Gamma$-action on $mathcal D$ up to (very strong) cocycle conjugacy. In fact we establish more general relati
Given a C*-algebra $A$, a discrete abelian group $X$ and a homomorphism $Theta: Xto$ Out$A$ defining the dual action group $Gammasubset$ aut$A$, the paper contains results on existence and characterization of Hilbert ${A,Gamma}$, where the action is given by $hat{X}$. They are stated at the (abstract) C*-level and can therefore be considered as a refinement of the extension results given for von Neumann algebras for example by Jones [Mem.Am.Math.Soc. 28 Nr 237 (1980)] or Sutherland [Publ.Res.Inst.Math.Sci. 16 (1980) 135]. A Hilbert extension exists iff there is a generalized 2-cocycle. These results generalize those in [Commun.Math.Phys. 15 (1969) 173], which are formulated in the context of superselection theory, where it is assumed that the algebra $A$ has a trivial center, i.e. $Z=C1$. In particular the well-known ``outer characterization of the second cohomology $H^2(X,{cal U}(Z),alpha_X)$ can be reformulated: there is a bijection to the set of all $A$-module isomorphy classes of Hilbert extensions. Finally, a Hilbert space representation (due to Sutherland in the von Neumann case) is mentioned. The C*-norm of the Hilbert extension is expressed in terms of the norm of this representation and it is linked to the so-called regular representation appearing in superselection theory.