Automatic continuity for Banach algebras

The basic question in automatic continuity theory is the following. Let and be Banach algebras (cf. Banach algebra), and let be a homomorphism. What algebraic conditions on and/or ensure that the homomorphism is automatically continuous? A variation of the question is the following. Let be a Banach algebra, let be a Banach -bimodule, and let be a derivation (cf. also Derivation in a ring). What algebraic conditions on and/or ensure that is automatically continuous? There are important generalizations of the latter question: for various purposes it is important to replace the derivation by the more general notion of an "intertwining mapping" . A special case of the automatic continuity problem for homomorphisms is the uniqueness-of-norm problem, which asks which Banach algebras have a unique complete algebra norm. For a substantial recent (as of 2000) account of automatic continuity theory for Banach algebras, see [a4]; all the terms that are used here are defined in [a4].

The starting point for automatic continuity theory is the easily proved fact that every character on a Banach algebra (i.e., every homomorphism from onto the complex field ) is automatically continuous (cf. also Continuous function). This was already stated in the seminal work of I.M. Gel'fand around 1940. Note that there is a deep related question. Let be a Fréchet algebra (so that the topology of is given by a sequence of algebra semi-norms on , and is complete). Then it is an open question (as of 2000) whether or not every character on is automatically continuous. This is called Michael's problem, because it was raised in [a12]. A positive result is known in many cases; a striking sufficient condition, involving analytic functions of several complex variables, for the continuity of all such characters is given in [a7].

It follows easily from the continuity of characters that every homomorphism from a Banach algebra into a commutative semi-simple Banach algebra is continuous. A closely related result is Johnson's uniqueness-of-norm theorem: Every semi-simple Banach algebra has a unique complete algebra norm. For lovely alternative proofs of this theorem, see [a1] and [a13]. There are non-semi-simple commutative Banach algebras having a unique complete algebra norm. For example, this is true of the convolution algebras , where is a weight function on (see [a4], § 5.2). On the other hand, there are even commutative Banach algebras with a one-dimensional (Jacobson) radical which do not have a unique complete algebra norm (see [a4], § 5.1). Nevertheless there are striking open questions in this area: it is not known (as of 2000) whether a commutative Banach algebra which is an integral domain necessarily has a unique complete algebra norm; the question is also open for Banach algebras with a finite-dimensional radical; for partial results, see [a5]. The following question is also open. Let and be Banach algebras, and let be a homomorphism. Suppose that is semi-simple and that . Is automatically continuous?

The separating space of a linear mapping , where and are Banach spaces, is defined to be the set of elements such that there is a sequence in with in and in . Clearly, is a closed linear subspace of and, by the closed-graph theorem, if and only if is continuous. A key result in automatic continuity theory is the stability lemma. One version of this is as follows; there are many variations. Let and be Banach spaces, let be a linear mapping, let be a sequence of Banach spaces with , and let (). Then is a nest in that stabilizes. This leads to a proof [a11] that all derivations from a semi-simple Banach algebra to itself are automatically continuous, and to many other results.

Let be a Banach algebra, let and be Banach -bimodules, and let be a linear mapping. The continuity ideal of is defined to be . This is an ideal in , and the "bigger IT is, the more continuous T is" . This leads to proofs that all derivations from various Banach algebras into each Banach -bimodule are automatically continuous; see [a4], § 5.3. For example, this is true whenever is a -algebra, [a14].

Let be a homomorphism between Banach algebras. The main boundedness theorem of W.G. Bade and P.C. Curtis Jr. [a2] asserts that, in the case where has many idempotents, the continuity ideal is necessarily "large" . This leads to a proof that every homomorphism from many algebras, including the algebra of all bounded linear operators on a Banach space for certain Banach spaces , is automatically continuous.

Let be the commutative -algebra of all continuous functions on a compact space , taken with the uniform norm on . The theory of Bade and Curtis shows that each homomorphism from into a Banach algebra must be continuous on a dense subalgebra of ; they left open the question of whether such a homomorphism is necessarily continuous on the whole of . Eventually it was proved [a3], [a8] (see [a4], § 5.7) that this is not the case: For each infinite compact space , there is a discontinuous homomorphism from into certain commutative Banach algebras. Indeed, it is known just which Banach algebras arise in this situation. Note that the proof of this theorem requires the assumption of the continuum hypothesis CH; that some additional set-theoretic hypothesis is required is a remarkable result that is discussed in [a6]. In fact, there is a discontinuous homomorphism from "most" , perhaps all, infinite-dimensional, commutative Banach algebras. It is an attractive result of J.R. Esterle [a9] that all epimorphisms from onto a Banach algebra are automatically continuous; the analogous question for -algebras is open (as of 2000).

Let be a locally compact group, and let be the corresponding group algebra. It is an active area of research to determine whether or not all derivations from into a Banach -bimodule are automatically continuous. That this is true for many such groups is proved in [a4], §5.6; a key paper on which this work is based is [a15]. It is a challenging open question (as of 2000) to determine whether or not this is true for all groups , or even for all discrete groups, in which case the corresponding group algebra is denoted by .

References

[a1]	B. Aupetit, "The uniqueness of complete norm topology in Banach algebras and Banach Jordan algebras" J. Funct. Anal. , 47 (1982) pp. 1–6
[a2]	W.G. Bade, P.C. Curtis Jr., "Homomorphisms of commutative Banach algebras" Amer. J. Math. , 82 (1960) pp. 589–608
[a3]	H.G. Dales, "A discontinuous homomorphism from " Amer. J. Math. , 101 (1979) pp. 647–734
[a4]	H.G. Dales, "Banach algebras and automatic continuity" , London Math. Soc. Monographs , 24 , Clarendon Press (2001)
[a5]	H.G. Dales, R.J. Loy, "Uniqueness of the norm topology for Banach algebras with finite-dimensional radical" Proc. London Math. Soc. (3) , 74 (1997) pp. 633–661
[a6]	H.G. Dales, W.H. Woodin, "An introduction to independence for analysts" , London Math. Soc. Lecture Notes , 115 , Cambridge Univ. Press (1987)
[a7]	P.G. Dixon, J.R. Esterle, "Michael's problem and the Poincaré–Bieberbach phenomenon" Bull. Amer. Math. Soc. , 15 (1986) pp. 127–187
[a8]	J.R. Esterle, "Sur l'existence d'un homomorphisme discontinu de " Proc. London Math. Soc. (3) , 36 (1978) pp. 46–58
[a9]	J.R. Esterle, "Theorems of Gelfand–Mazur type and continuity of epimorphisms from " J. Funct. Anal. , 36 (1980) pp. 273–286
[a10]	B.E. Johnson, "The uniqueness of the (complete) norm topology" Bull. Amer. Math. Soc. , 73 (1967) pp. 537–539
[a11]	B.E. Johnson, A.M. Sinclair, "Continuity of derivations and a problem of Kaplansky" Amer. J. Math. , 90 (1968) pp. 1067–1073
[a12]	E.A. Michael, "Locally multiplicatively-convex topological algebras" Memoirs Amer. Math. Soc. , 11 (1952)
[a13]	T.J. Ransford, "A short proof of Johnson's uniqueness-of-norm theorem" Bull. Amer. Math. Soc. , 21 (1989) pp. 487–488
[a14]	J.R. Ringrose, "Automatic continuity of derivations of operator algebras" J. London Math. Soc. (2) , 5 (1972) pp. 432–438
[a15]	G.A. Willis, "The continuity of derivations from group algebras: factorizable and connected groups" J. Austral. Math. Soc. (Ser. A) , 52 (1992) pp. 185–204