Purely infinite corona algebras

Let A be a simple, sigma-unital, non-unital C*-algebra, with metrizable tracial simplex T(A), which is projection-surjective and injective and has strict comparison of positive elements by traces. Then the following are equivalent: (i) A has quasicontinuous scale; (ii) The multiplier algebra M(A) has strict comparison of positive elements by traces; (iii) The coronal algebra M(A)/A is purely infinite; (iii') The quotient M(A)/Imin is purely infinite; (iv) M(A) has finitely many ideals; (v) Imin=Ifin. If furthermore algebra of n by n matrices of A is projection-surjective and injective for every n, then the above conditions are equivalent to: (vi) the monoid V(M(A)) has finitely many order ideals. Quasicontinuity of the scale is a notion introduced by Kucerovsky and Perera that extends both the property of having finitely many extremal traces and of having continuous scale. Projection-surjectivity and injectivity permit to identify projections in M(A) that are not in A with lower semicontinuous affine functions on T(A). Imin is the smallest ideal of M(A) properly containing A, and Ifin is the ideal of of M(A) generated by the positive elements with evaluation functions finite over the extremal boundary of T(A).