Maximal Algebraic Ideals in Nonunital $C^{\ast }$-Algebras

Motivated by Ozawa’s question of whether every maximal algebraic two-sided ideal in a $C^{\ast }$-algebra must be closed, we study the existence of maximal algebraic two-sided ideals in nonunital $C^{\ast }$-algebras. We formulate singular-distribution estimates intrinsically through lower semicontinuous 2-quasitraces and apply them to control algebraic ideal membership. This allows us to develop a novel criterionthe, the admissible quasitracial projection scale, for establishing the nonexistence of maximal ideals in nonunital $C^{\ast }$-algebras. This criterion applies to a wide class of simple $C^{\ast }$-algebras, including: (i) all $A\otimes K$ where $A$ is unital, simple, stably finite, $Q{T}_2^1(A)$ nonempty, and the radius of comparison $rc(A)$ is finite, as well as all their hereditary $C^{\ast }$-subalgebras whenever $A$ satisfies further assumptions that A is of real rank zero and A has finitely many extreme quasitraces; (ii) all nonunital, simple, separable, stably finite, $Z$-stable $C^{\ast }$-algebras A that have an approximate identity consisting of increasing projections $(p_n)$ and for which the simplex $Q{T}_2^1(A,p_1)$ of normalized traces at $p_1$ has finitely many extreme points. We also show that a large class of $C^{\ast }$-algebras E constructed from extensions of $C^{\ast }$-algebras above such that $E$ still has no maximal ideals. In particular, for these classes, Ozawa’s question could be settled in an unexpected manner.