C-algebras with dense nilpotent subalgebras

In a beautiful result, Herrero (D. A. Herrero, 'Normal limits of nilpotent operators, Indiana Univ. Math. J. 23 (1973/74) 1097-1108) showed that a normal operator on 12 lies in the closure of the set of nilpotent operators if and only if its spectrum is connected and contains zero. In the quest for an automatic continuity result for algebra homomorphisms between C*-algebras, Dales showed that, if a discontinuous algebra homomorphism theta : A --> U exists between C*-algebras A and U, and if theta(A) is dense in U, then there is a C*-algebra U-2 with a dense subalgebra N subset of U-2 such that every x is an element of N is quasinilpotent (see p. 685 of H. G. Dales, Banach algebras and automatic continuity, London Mathematical Society Monographs 24, Oxford University Press, 2001). (A discontinuous homomorphism theta(2) : A(2) --> U-2 can be defined with the same basic properties as theta, but the revised target space U-2 has a dense subalgebra consisting of quasinilpotent elements.) As remarked by Dales, no such C*-algebra was then known; but here we present one. Indeed, using the full power of Herrero's result, one may arrange that, every x is an element of N is nilpotent. The C*-algebra is constructed in a 'neat' way; it is most naturally constructed as a non-separable, concrete C*-algebra of operators on a separable Hilbert space K; but one can arrange that the algebra V itself be separable if desired.