We study a class of stably projectionless simple C*-algebras which may be viewed as having generalized tracial rank one in analogy with the unital case. A number of structural questions concerning these simple C*-algebras are studied, pertinent to the classification of separable stably projectionless simple amenable Jiang-Su stable C*-algebras.
NotationDefinition 2.1. Let A be a C*-algebra. Denote by Ped(A) the Pedersen ideal (see Section 5.6 of [38]). Definition 2.4. Let A be a C*-algebra and let a, b ∈ A + . We write a b if there exists a sequence (x n ) in A such that x * n bx n → a in norm. If a b and b a, we write a ∼ b and say that a and b are Cuntz equivalent. It is known that ∼ is an equivalence relation. Denote by Cu(A) the set of Cuntz equivalence classes of positive elements of A ⊗ K. It is an ordered abelian semigroup ([7]). Denote by Cu(A) + the subset of those elements which cannot be represented by projections. We shall write a for the equivalence class represented by a. Thus, a b will be also written as a ≤ b . Recall that we write a ≪ b if the following holds: for any increasing sequence ( y n ), if b ≤ sup{ y n } then there exists n 0 ≥ 1 such that a ≤ y n 0 In what follows we will also use the objects Cu ∼ (A) and Cu ∼ (ϕ) introduced in [43].Definition 2.5. If B is a C*-algebra, we will use QT(B) for the set of quasitraces τ with τ = 1 (see [2]). Let A be a σ-unital C*-algebra. Suppose that every quasitrace of every hereditary sub-C*-algebra B of A is a trace.If τ ∈ T(A), we will extend it to (A ⊗ K) + by the rule τ (a ⊗ b) = τ (a)Tr(b), for all a ∈ A and b ∈ K, where Tr is the canonical densely defined trace on K.Recall that A has the (Blackadar) property of strict comparison for positive elements, if for any two elements a, b ∈ (A ⊗ K) + with the property that d τ (a) < d τ (b) < +∞ for all τ ∈ T(A) \ {0}, necessarily a b. In general (without knowing that quasitraces are traces), this property will be called strict comparison for positive elements using traces.Let S be a topological convex set. Denote by Aff(S) the set of all real continuous affine functions, and by Aff + (S) the set of all real continuous affine functions f with f (s) > 0 for all s, together with zero function.Recall T(A) w denotes the closure of T(A) in T(A) with respect to pointwise convergence on Ped(A) (see the end of 2.1). Suppose that 0 ∈ T(A) w and that T(A) generates T(A), in particular. (By 4.5 below, these properties hold, in the case that A = Ped(A).) Then A has strict comparison for positive elements using traces if and only if d τ (a) < d τ (b) for all τ ∈ T(A) w implies a b, for any a, b ∈ (A ⊗ K) + .Definition 2.6. Let A be a C*-algebra such that 0 ∈ T(A) w . There is a linear map r aff : A s.a. →
Aff(T(A)w ), from A s.a. to the set of all real affine continuous functions on T(A) w , defined byw and for all a ∈ A s.a. . Denote by A q s.a. the space r aff (A s.a. ) and by A q + the cone r aff (A + ) (see [9]). Denote by Aff 0 (T 1 (A)) the set of all real continuous affine functions which vanish at zero, and de...
We prove that every unital simple separable C*-algebra A with finite decomposition rank which satisfies the UCT has the property that A ⊗ Q has generalized tracial rank at most one, where Q is the universal UHF-algebra. Consequently, A is classifiable in the sense of Elliott.K 0 (A) has torsion free rank one, belongs to N 1 . The present paper is a continuation of [11] with, now, a definitive result.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.