We study the problem of extending a state on an abelian $C^{\ast }$ -subalgebra to a tracial state on the ambient $C^{\ast }$ -algebra. We propose an approach that is well suited to the case of regular inclusions, in which there is a large supply of normalizers of the subalgebra. Conditional expectations onto the subalgebra give natural extensions of a state to the ambient $C^{\ast }$ -algebra; we prove that these extensions are tracial states if and only if certain invariance properties of both the state and conditional expectations are satisfied. In the example of a groupoid $C^{\ast }$ -algebra, these invariance properties correspond to invariance of associated measures on the unit space under the action of bisections. Using our framework, we are able to completely describe the tracial state space of a Cuntz–Krieger graph algebra. Along the way we introduce certain operations called graph tightenings, which both streamline our description and provide connections to related finiteness questions in graph $C^{\ast }$ -algebras. Our investigation has close connections with the so-called unique state extension property and its variants.

Recently Houdayer and Isono have proved, among other things, that every biexact group $\unicode[STIX]{x1D6E4}$ has the property that for any non-singular strongly ergodic essentially free action $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ on a standard measure space, the group measure space von Neumann algebra $\unicode[STIX]{x1D6E4}\ltimes L^{\infty }(X)$ is full. In this paper, we prove the same property for a wider class of groups, notably including $\text{SL}(3,\mathbb{Z})$ . We also prove that for any connected simple Lie group $G$ with finite center, any lattice $\unicode[STIX]{x1D6E4}\leqslant G$ , and any closed non-amenable subgroup $H\leqslant G$ , the non-singular action $\unicode[STIX]{x1D6E4}\curvearrowright G/H$ is strongly ergodic and the von Neumann factor $\unicode[STIX]{x1D6E4}\ltimes L^{\infty }(G/H)$ is full.

Let be a single vertex k-graph and let be the von Neumann algebra induced from the Gelfand–Naimark–Segal (GNS) representation of a distinguished state ω of its k-graph C*-algebra . In this paper we prove the factoriality of , and furthermore determine its type when either has the little pullback property, or the intrinsic group of has rank 0. The key step to achieving this is to show that the fixed-point algebra of the modular action corresponding to ω has a unique tracial state.

Wu [‘An order characterization of commutativity for $C^{\ast }$ -algebras’, Proc. Amer. Math. Soc.129 (2001), 983–987] proved that if the exponential function on the set of all positive elements of a $C^{\ast }$ -algebra is monotone in the usual partial order, then the algebra in question is necessarily commutative. In this note, we present a local version of that result and obtain a characterisation of central elements in $C^{\ast }$ -algebras in terms of the order.

Let $\unicode[STIX]{x1D6E4}$ be a countable discrete group that acts on a unital $C^{\ast }$ -algebra $A$ through an action $\unicode[STIX]{x1D6FC}$ . If $A$ has a faithful $\unicode[STIX]{x1D6FC}$ -invariant tracial state $\unicode[STIX]{x1D70F}$ , then $\unicode[STIX]{x1D70F}^{\prime }=\unicode[STIX]{x1D70F}\circ {\mathcal{E}}$ is a faithful tracial state of $A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4}$ where ${\mathcal{E}}:A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4}\rightarrow A$ is the canonical faithful conditional expectation. We show that $(A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D70F}^{\prime })$ has the Haagerup property if and only if both $(A,\unicode[STIX]{x1D70F})$ and $\unicode[STIX]{x1D6E4}$ have the Haagerup property. As a consequence, suppose that $(A\rtimes _{\unicode[STIX]{x1D6FC},r}\unicode[STIX]{x1D6E4},\unicode[STIX]{x1D70F}^{\prime })$ has the Haagerup property where $\unicode[STIX]{x1D6E4}$ has property $T$ and $A$ has strong property $T$ . Then $\unicode[STIX]{x1D6E4}$ is finite and $A$ is residually finite-dimensional.

In the 1970s, Feldman and Moore classified separably acting von Neumann algebras containing Cartan maximal abelian self-adjoint subalgebras (MASAs) using measured equivalence relations and 2-cocycles on such equivalence relations. In this paper we give a new classification in terms of extensions of inverse semigroups. Our approach is more algebraic in character and less point-based than that of Feldman and Moore. As an application, we give a restatement of the spectral theorem for bimodules in terms of subsets of inverse semigroups. We also show how our viewpoint leads naturally to a description of maximal subdiagonal algebras.

Let A = C(X) ⊗ K(H), where X is a compact Hausdorff space and K(H) is the algebra of compact operators on a separable infinite-dimensional Hilbert space. Let A s be the algebra of strong*-continuous functions from X to K(H). Then A s /A is the inner corona algebra of A. We show that if X has no isolated points, then A s /A is an essential ideal of the corona algebra of A, and Prim(A s /A), the primitive ideal space of A s /A, is not weakly Lindelof. If X is also first countable, then there is a natural injection from the power set of X to the lattice of closed ideals of A s /A. If X = βℕ\ℕ and the continuum hypothesis (CH) is assumed, then the corona algebra of A is a proper subalgebra of the multiplier algebra of A s /A. Several of the results are obtained in the more general setting of C 0(X)-algebras.

We show that the property of a C*-algebra that all its Hilbert modules have a frame, in the case of σ-unital C*-algebras, is preserved under Rieffel–Morita equivalence. In particular, we show that a σ-unital continuous-trace C*-algebra with trivial Dixmier–Douady class, all of whose Hilbert modules admit a frame, has discrete spectrum. We also show this for the tensor product of any commutative C*-algebra with the C*-algebra of compact operators on any Hilbert space.

Let $E$ be a (right) Hilbert module over a $C^{\ast }$ -algebra $A$ . If $E$ is equipped with a left action of a second $C^{\ast }$ -algebra $B$ , then tensor product with $E$ gives rise to a functor from the category of Hilbert $B$ -modules to the category of Hilbert $A$ -modules. The purpose of this paper is to study adjunctions between functors of this sort. We shall introduce a new kind of adjunction relation, called a local adjunction, that is weaker than the standard concept from category theory. We shall give several examples, the most important of which is the functor of parabolic induction in the tempered representation theory of real reductive groups. Each local adjunction gives rise to an ordinary adjunction of functors between categories of Hilbert space representations. In this way we shall show that the parabolic induction functor has a simultaneous left and right adjoint, namely the parabolic restriction functor constructed in Clare et al. [Parabolic induction and restriction via $C^{\ast }$ -algebras and Hilbert $C^{\ast }$ -modules, Compos. Math.FirstView (2016), 1–33, 2].

We define the Schur multipliers of a separable von Neumann algebra with Cartan maximal abelian self-adjoint algebra , generalizing the classical Schur multipliers of (ℓ 2). We characterize these as the normal -bimodule maps on . If contains a direct summand isomorphic to the hyperfinite II1 factor, then we show that the Schur multipliers arising from the extended Haagerup tensor product ⊗ eh are strictly contained in the algebra of all Schur multipliers.

We discuss the half-liberation operation X → X*, for the algebraic submanifolds of the unit sphere, $X\subset S^{N-1}_\mathbb C$ . There are several ways of constructing this correspondence, and we take them into account. Our main results concern the computation of the affine quantum isometry group G +(X*), for the sphere itself.

A locally compact group G is compact if and only if its convolution algebras contain non-zero (weakly) completely continuous elements. Dually, G is discrete if its function algebras contain non-zero completely continuous elements. We prove non-commutative versions of these results in the case of locally compact quantum groups.

We present a new construction of crossed-product duality for maximal coactions that uses Fischer’s work on maximalizations. Given a group $G$ and a coaction $(A,\unicode[STIX]{x1D6FF})$ we define a generalized fixed-point algebra as a certain subalgebra of $M(A\rtimes _{\unicode[STIX]{x1D6FF}}G\rtimes _{\,\widehat{\unicode[STIX]{x1D6FF}}}G)$ , and recover the coaction via this double crossed product. Our goal is to formulate this duality in a category-theoretic context, and one advantage of our construction is that it breaks down into parts that are easy to handle in this regard. We first explain this for the category of nondegenerate *-homomorphisms and then, analogously, for the category of $C^{\ast }$ -correspondences. Also, we outline partial results for the ‘outer’ category, which has been studied previously by the authors.

We prove that an operator system is (min, ess)-nuclear if its $C^{\ast }$ -envelope is nuclear. This allows us to deduce that an operator system associated to a generating set of a countable discrete group by Farenick et al. [‘Operator systems from discrete groups’, Comm. Math. Phys.329(1) (2014), 207–238] is (min, ess)-nuclear if and only if the group is amenable. We also make a detailed comparison between ess and other operator system tensor products and show that an operator system associated to a minimal generating set of a finitely generated discrete group (respectively, a finite graph) is (min, max)-nuclear if and only if the group is of order less than or equal to three (respectively, every component of the graph is complete).

If a locally compact group G acts on a C *-algebra B, we have both full and reduced crossed products and each has a coaction of G. We investigate ‘exotic’ coactions in between the two, which are determined by certain ideals E of the Fourier–Stieltjes algebra B(G); an approach that is inspired by recent work of Brown and Guentner on new C *-group algebra completions. We actually carry out the bulk of our investigation in the general context of coactions on a C *-algebra A. Buss and Echterhoff have shown that not every coaction comes from one of these ideals, but nevertheless the ideals do generate a wide array of exotic coactions. Coactions determined by these ideals E satisfy a certain ‘E-crossed product duality’, intermediate between full and reduced duality. We give partial results concerning exotic coactions with the ultimate goal being a classification of which coactions are determined by ideals of B(G).

In this short note we present a common characterisation of the logarithmic function and the subspace of all trace zero elements in finite von Neumann factors.

This paper is about the reduced group $C^{\ast }$-algebras of real reductive groups, and about Hilbert $C^{\ast }$-modules over these $C^{\ast }$-algebras. We shall do three things. First, we shall apply theorems from the tempered representation theory of reductive groups to determine the structure of the reduced $C^{\ast }$-algebra (the result has been known for some time, but it is difficult to assemble a full treatment from the existing literature). Second, we shall use the structure of the reduced $C^{\ast }$-algebra to determine the structure of the Hilbert $C^{\ast }$-bimodule that represents the functor of parabolic induction. Third, we shall prove that the parabolic induction bimodule admits a secondary inner product, using which we can define a functor of parabolic restriction in tempered representation theory. We shall prove in a sequel to this paper that parabolic restriction is adjoint, on both the left and the right, to parabolic induction in the context of tempered unitary Hilbert space representations.

We deduce properties of the Koopman representation of a positive entropy probability measure-preserving action of a countable, discrete, sofic group. Our main result may be regarded as a‘representation-theoretic’ version of Sinaǐ’s factor theorem. We show that probability measure-preserving actions with completely positive entropy of an infinite sofic group must be mixing and, if the group is nonamenable, have spectral gap. This implies that if $\unicode[STIX]{x1D6E4}$ is a nonamenable group and $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ is a probability measure-preserving action which is not strongly ergodic, then no action orbit equivalent to $\unicode[STIX]{x1D6E4}\curvearrowright (X,\unicode[STIX]{x1D707})$ has completely positive entropy. Crucial to these results is a formula for entropy in the presence of a Polish, but a priori noncompact, model.

We give a proof of the Khintchine inequalities in non-commutative $L_{p}$ -spaces for all $0<p<1$ . These new inequalities are valid for the Rademacher functions or Gaussian random variables, but also for more general sequences, for example, for the analogues of such random variables in free probability. We also prove a factorization for operators from a Hilbert space to a non-commutative $L_{p}$ -space, which is new for $0<p<1$ . We end by showing that Mazur maps are Hölder on semifinite von Neumann algebras.

Let $\text{H}$ be a subgroup of some locally compact group $\text{G}$. Assume that $\text{H}$ is approximable by discrete subgroups and that $\text{G}$ admits neighborhood bases which are almost invariant under conjugation by finite subsets of $\text{H}$. Let $m:\text{G}\rightarrow \mathbb{C}$ be a bounded continuous symbol giving rise to an $L_{p}$-bounded Fourier multiplier (not necessarily completely bounded) on the group von Neumann algebra of $\text{G}$ for some $1\leqslant p\leqslant \infty$. Then, $m_{\mid _{\text{H}}}$ yields an $L_{p}$-bounded Fourier multiplier on the group von Neumann algebra of $\text{H}$ provided that the modular function ${\rm\Delta}_{\text{G}}$ is equal to 1 over $\text{H}$. This is a noncommutative form of de Leeuw’s restriction theorem for a large class of pairs $(\text{G},\text{H})$. Our assumptions on $\text{H}$ are quite natural, and they recover the classical result. The main difference with de Leeuw’s original proof is that we replace dilations of Gaussians by other approximations of the identity for which certain new estimates on almost-multiplicative maps are crucial. Compactification via lattice approximation and periodization theorems are also investigated.