Group C*-algebras, metrics and an operator theoretic inequality

We give an example of a non-trivial asymptotic representation of the reduced C*-algebra of a free group. This example allows to evaluate the asymptotic tensor C*-norm of some elements in tensor product C*-algebras and to show semi-invertibility of the non-invertible extension of $C^*_r(\mathbb F_2)$ considered by Haagerup and Thorbjornsen.

The main purpose of this paper is to study the validity of the Hausdorff-Young inequality for vector-valued functions defined on a non-commutative compact group. The natural context for this research is that of operator spaces. This leads us to formulate a whole new theory of Fourier type and cotype for the category of operator spaces. The present paper is the first step in this program, where the basic theory is presented, the main examples are analyzed and some questions ar...

Let G be a locally compact group L^p(G) be the usual L^p-space for 1 =< p =< infty and A(G) be the Fourier algebra of G. Our goal is to study, in a new abstract context, the completely bounded multipliers of A(G), which we denote M_{cb}A(G). We show that M_{cb}A(G) can be characterised as the ``invariant part'' of the space of (completely) bounded normal L^{infty}(G)-bimodule maps on B(L^2(G)), the space of bounded operator on L^2(G). In doing this we develop a function theor...

An AF C*-algebra has a natural filtration as an increasing sequence of finite dimensional C*-algebras. We show that it is possible to construct a Dirac operator which relates to this filtration in a natural way and which will induce a metric for the weak*-topology on the state space of the algebra. In the particular case of a UHF C*-algebra, the construction can be made in a way, which relates directly to the dimensions of the increasing sequence of subalgebras.The algebra of...

In this paper we construct odd finitely summable spectral triples based on length functions of bounded doubling on noncommutative solenoids. Our spectral triples induce a Leibniz Lip-norm on the state spaces of the noncommutative solenoids, giving them the structure of Leibniz quantum compact metric spaces. By applying methods of R. Floricel and A. Ghorbanpour, we also show that our odd spectral triples on noncommutative solenoids can be considered as direct limits of spectra...

In this article, we give a general construction of spectral triples from certain Lie group actions on unital C*-algebras. If the group G is compact and the action is ergodic, we actually obtain a real and finitely summable spectral triple which satisfies the first order condition of Connes' axioms. This provides a link between the "algebraic" existence of ergodic action and the "analytic" finite summability property of the unbounded selfadjoint operator. More generally, for c...

By employing the external Kasparov product, Hawkins, Skalski, White and Zacharias constructed spectral triples on crossed product C$^\ast$-algebras by equicontinuous actions of discrete groups. They further raised the question for whether their construction turns the respective crossed product into a compact quantum metric space in the sense of Rieffel. By introducing the concept of groups separated with respect to a given length function, we give an affirmative answer in the...

We prove that for every $n\geq 2$, the reduced group $C^*$-algebras of the countable free groups $C^*_r(\mathbb{F}_n)$ have strict comparison. Our method works in a general setting: for $G$ in a large family of non-amenable groups, including hyperbolic groups, free products, mapping class groups, right-angled Artin groups etc., we have $C^*_r(G)$ have strict comparison. This work also has several applications in the theory of $C^*$-algebras including: resolving Leonel Robert'...

Let G be a finitely generated, torsion-free, two-step nilpotent group. Let C^*(G) be the universal C^*-algebra of G. We show that acsr(C^*(G)) = acsr(C((\hat{G})_1)), where for a unital C^*-algebra A, acsr(A) is the absolute connected stable rank of A, and (\hat{G})_1 is the space of one-dimensional representations of G. For the case of stable rank, we have close results. In the process, we give a stable rank estimate for maximal full algebras of operator fields over a metric...

A pseudo-length function defined on an arbitrary group $G = (G,\cdot,e, (\,)^{-1})$ is a map $\ell: G \to [0,+\infty)$ obeying $\ell(e)=0$, the symmetry property $\ell(x^{-1}) = \ell(x)$, and the triangle inequality $\ell(xy) \leqslant \ell(x) + \ell(y)$ for all $x,y \in G$. We consider pseudo-length functions which saturate the triangle inequality whenever $x=y$, or equivalently those that are homogeneous in the sense that $\ell(x^n) = n\,\ell(x)$ for all $n\in\mathbb{N}$. W...