Search arXivSearch

arXiv · math/0101157

Cancellation and stable rank for direct limits of recursive subhomogeneous algebras

Abstract

We prove the following results for a unital simple direct limit $A$ of recursive subhomogeneous algebras with no dimension growth: (1) A has stable rank 1. (2) The projections in $M_{\infty} (A)$ satisfy cancellation: if $e \oplus q \sim f \oplus q$, then $e \sim f$. (3) $A$ satisfies Blackadar's Second Fundamental Comparability Question: if $p, q \in M_{\infty} (A)$ are projections such that $τ(p) < τ(q)$ for all normalized traces $τ$ on $A$, then $p$ is equivalent to a subprojection of $q$. (4) $K_0 (A)$ is unperforated for the strict order: if $η\in K_0 (A)$ and there is $n > 0$ such that $n η> 0$, then $η> 0$. The last three of these results hold under certain weaker dimension growth conditions and without assuming simplicity. We use these results to obtain previously unknown information on the ordered K-theory of the crossed product $C^* (Z, X, h)$ obtained from a minimal homeomorphism of an infinite finite dimensional compact metric space $X$. Specifically, $K_0 (C^* (Z, X, h))$ is unperforated for the strict order, and satisfies the following K-theoretic version of Blackadar's Second Fundamental Comparability Question: if $η\in K_0 (A)$ satisfies $τ_* (\et) > 0$ for all normalized traces $τ$ on $A$, then there is a projection $p \in M_{\infty} (A)$ such that $η= [p]$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

N. Christopher Phillips. 2001-01-18. Cancellation and stable rank for direct limits of recursive subhomogeneous algebras. https://arxiv.org/abs/math/0101157

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Set-theoretic absoluteness for analysts and separable \cstar-algebras without Choice

Basic theory of separable C*-algebras can be developed without the Axiom of Choice, and it does not depend on the Continuum Hypothesis, Martin's Axiom, and other standard set-theoretic assumptions. This can be proved in two ways. First, by showing that the standard proofs do not require Choice. Second, by utilizing set-theoretic absoluteness theorems. We provide an introduction to projective complexity and absoluteness for analysts. We also give some limiting examples consistent with ZF, such as a commutative \cstar-algebra concretely represented on a Hilbert space but not isomorphic to $C(X)$ for any compact Hausdorff space $X$ and whose state space is not compact and has no extreme points.

math.OA

Schur Multipliers with Unequal Operator and Completely Bounded Norms on $S_p$, $1<p\ne 2<\infty $

For every $1<p\neq2<\infty$, we exhibit an explicit Schur multiplier on $S_p$ whose operator norm is strictly smaller than its completely bounded norm. More precisely, for each such $p$, we construct a finitely supported Schur symbol $m_p$ such that \[ \|M_{m_p}\|_{p\to p} < \|M_{m_p}\|_{\mathrm{cb},p}. \] This answers the question raised by Lafforgue and de la Salle in 2011 after their Conjecture~1.8 and gives an affirmative answer to Statement~2 in Section~5 of Caspers and Wildschut (2019). In particular, it disproves Statement~3 of Caspers and Wildschut (2019) throughout the same range of exponents.

math.OA

Stationary states on a $C^*$-algebra for an inner action

We study stationary states for actions of countable discrete groups on unital separable $C^*$-algebras. We prove that the stationary state space associated with an inner action of a subgroup of the unitary group that generates the algebra is a Choquet simplex. We also give a locality criterion covering Bernoulli shifts. The simplex structure yields a canonical decomposition of stationary states into tracial and purely nontracial parts. For inner actions, we characterize extreme stationary states by factoriality of their GNS von Neumann algebras. We further show that a stationary state is tracial if and only if its GNS von Neumann algebra is finite, and that it is purely nontracial if and only if this algebra is of type~$\mathrm{III}$. As applications, for $2\leq d\leq\infty$ the stationary state simplex of $C^*(\mathbb{F}_d)$ has a Poulsen face, while for a nontrivial property~$(T)$ group the stationary state simplex of $C^*(Γ)$ is not Poulsen. Finally, we give a sufficient spectral-gap condition for $S_μ(A)$ to be a Bauer simplex and construct a family $(A_d,Γ_d,μ_d)$ satisfying this condition.

math.OA