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

Marc P. Thomas. "The canonical test case for the non-commutative Singer-Wermer conjecture." Studia Mathematica 194.1 (2009): 43-63. <http://eudml.org/doc/286395>.

@article{MarcP2009,
abstract = { 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 𝓐₀[[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 𝓐₀ is a unital subalgebra which is not an analytic set. In particular, this shows that 𝓐₀ cannot be countably generated. },
author = {Marc P. Thomas},
journal = {Studia Mathematica},
keywords = {derivation; Singer-Wermer conjecture; primitive ideal; radical},
language = {eng},
number = {1},
pages = {43-63},
title = {The canonical test case for the non-commutative Singer-Wermer conjecture},
url = {http://eudml.org/doc/286395},
volume = {194},
year = {2009},
}

TY - JOUR
AU - Marc P. Thomas
TI - The canonical test case for the non-commutative Singer-Wermer conjecture
JO - Studia Mathematica
PY - 2009
VL - 194
IS - 1
SP - 43
EP - 63
AB - 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 𝓐₀[[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 𝓐₀ is a unital subalgebra which is not an analytic set. In particular, this shows that 𝓐₀ cannot be countably generated.
LA - eng
KW - derivation; Singer-Wermer conjecture; primitive ideal; radical
UR - http://eudml.org/doc/286395
ER -