The canonical test case for the non-commutative Singer–Wermer conjecture

Marc P. Thomas ¹

¹ Department of Mathematics and Computer Science California State University at Bakersfield 9001 Stockdale Hwy. Bakersfield, CA 93311-1022, U.S.A.

Studia Mathematica, Tome 194 (2009) no. 1, pp. 43-63

Résumé

It is a famous conjecture that every derivation on each Banach algebra leaves every primitive ideal of the algebra invariant. This conjecture is known to be true if, in addition, the derivation is assumed to be continuous. It is also known to be true if the algebra is commutative, in which case the derivation necessarily maps into the (Jacobson) radical. Because I. M. Singer and J. Wermer originally raised the question in 1955 for the case of commutative Banach algebras, the conjecture is now usually referred to as the non-commutative Singer–Wermer conjecture (the non-commutative situation being the unresolved case).In a previous paper we demonstrated that if the conjecture fails for some non-commutative Banach algebra with discontinuous derivation, then it fails for at most finitely many primitive ideals, and each of these primitive ideals must be of finite codimension. In this paper we first show that one can make an additional reduction of any counter-example to the simplest case of a non-commutative radical Banach algebra with identity adjoined and discontinuous derivation $ D $ such that $ D $ does not leave the (Jacobson) radical (which is of codimension one) invariant. Second, we show that this radical Banach algebra with identity adjoined has a formal power series quotient of the form $ {\cal A}_0[[t]] $ based at an element $ t $ in the radical which is mapped to an invertible element by the discontinuous derivation. Finally, we specialize to the case of a separable Banach algebra and show that the pre-image of the algebra $ {\cal A}_0 $ is a unital subalgebra which is not an analytic set. In particular, this shows that $ {\cal A}_0 $ cannot be countably generated.

Détail

DOI : 10.4064/sm194-1-3

Keywords: famous conjecture every derivation each banach algebra leaves every primitive ideal algebra invariant conjecture known addition derivation assumed continuous known algebra commutative which derivation necessarily maps jacobson radical because nbsp nbsp singer nbsp wermer originally raised question commutative banach algebras conjecture usually referred non commutative singer wermer conjecture non commutative situation being unresolved previous paper demonstrated conjecture fails non commutative banach algebra discontinuous derivation fails finitely many primitive ideals each these primitive ideals finite codimension paper first make additional reduction counter example simplest non commutative radical banach algebra identity adjoined discontinuous derivation does leave jacobson radical which codimension invariant second radical banach algebra identity adjoined has formal power series quotient form cal based element radical which mapped invertible element discontinuous derivation finally specialize separable banach algebra pre image algebra cal unital subalgebra which analytic set particular shows cal cannot countably generated