Strict comparison and stable rank one (2301.09250v2)

Abstract: Let $A$ be a $\sigma$-unital finite simple $C^*$-algebra which has strict comparison property. We show that if the canonical map $\Gamma$ from the Cuntz semigroup to certain lower semi-continuous affine functions is surjective, then $A$ has tracial approximate oscillation zero and stable rank one. Equivalently, if $A$ has an almost unperforated and almost divisible Cuntz semigroup, then $A$ has stable rank one and tracial approximate oscillation zero.