A multiplicative Kowalski–Słodkowski theorem for 
$C^\star $
 -algebras

Abstract We present here a multiplicative version of the classical Kowalski–Słodkowski theorem, which identifies the characters among the collection of all functionals on a complex and unital Banach algebra A. In particular, we show that, if A is a 
$C^\star $
 -algebra, and if 
$\phi :A\to \mathbb C $
 is a continuous function satisfying 
$ \phi (x)\phi (y) \in \sigma (xy) $
 for all 
$x,y\in A$
 (where 
$\sigma $
 denotes the spectrum), then either 
$\phi $
 is a character of A or 
$-\phi $
 is a character of A.


Introduction
Over the past two decades, there has been considerable interest in the area of nonlinear preserver problems (see a detailed introduction in [1] and the references therein). Loosely speaking, these problems deal with characterizing maps between algebras that preserve a certain (given) algebraic aspect of the spectrum, but without assuming any algebraic conditions, like linearity or multiplicativity, of the map itself. One of the earliest results in this direction is a theorem of Kowalski and Słodkowski [7]; they discovered a nonlinear version of the renowned Gleason-Kahane-Żelazko theorem [3,6,17], which states that every unital, invertibility-preserving, linear functional on a Banach algebra is necessarily multiplicative, and hence a character of A. The Gleason-Kahane-Żelazko theorem continues to attract attention, and some recent papers of Mashreghi, Ransford, and Ransford include [9,10]. The main result of the current paper simultaneously improves the main result of [16] and the main result of [2], thereby settling the problem for general C ⋆ -algebras. We start with the statement of the Kowalski-Słodkowski theorem. Theorem 1.1 ) Let B be a complex Banach algebra. Then a function ϕ ∶ B → C is linear and multiplicative if and only if ϕ satisfies: One may observe that the hypothesis of Theorem 1.1 can be stated more economically by requiring only the condition ϕ(x) + ϕ(y) ∈ σ(x + y) for every pair x, y ∈ B. 952 C. Touré, R. Brits, and G. Sebastian Furthermore, as a consequence of the Kowalski-Słodkowski theorem, one can prove, in a few lines, the following generalization due to Hatori et al. [5,Theorem 3.1] Let B be a unital Banach algebra, and let B ′ be a unital, semisimple, commutative Banach algebra. Suppose that T is a map from B into B ′ such that σ(T(a) + T(b)) ⊆ σ(a + b) holds for every pair a and b in B. Then T is linear and multiplicative.
Very close to the current paper are the results that appear in [4,5,[11][12][13]: In [11], Molnár studied multiplicatively spectrum-preserving maps T ∶ B(H) → B(H) where H is an infinite-dimensional Hilbert space, as well as for maps T ∶ C(X) → C(X) where X is a first countable compact Hausdorff space. Specifically, he proved that surjective maps T on the aforementioned Banach algebras B satisfying are "almost" automorphisms. In particular, if T preserves the unit, then T is an automorphism. His results were extended, in several directions, for uniform algebras and semisimple commutative Banach algebras by, among others, Hatori et al. in [4], and by Rao and Roy in [12,13]. Hatori et al., in [5], proposed that if the Kowalski-Słodkowski theorem could be modified (multiplicatively) so that a map ϕ from a Banach algebra B (with unit 1) into C satisfying was always linear and multiplicative, then some theorems of Molnár and their generalizations could be proved in a way similar to the proof of Theorem 1.2. However, as one sees in [8, pp. 44-45] and [15, p. 56], a raw multiplicative version of the Kowalski-Słodkowski theorem does not even hold for commutative C ⋆ -algebras. However, one should observe that in these examples, the map ϕ is not continuous, and hence any hope of proving the multiplicative result would require continuity to be added as an assumption. What we will show here, at least for the case where A is a C ⋆ -algebra, is that continuity is the only problem which needs to be addressed. To formalize our main result: then ϕ must be a character of A.
As an easy corollary of our main result, we can then obtain a multiplicative version of Hatori et al. ' s Theorem 1.2 (stated above).

Preliminaries
Throughout the remainder of this paper, A denotes a complex and unital C ⋆ -algebra with unit 1 and additive identity 0. Since our proofs are elementary (but far from trivial), it suffices to consult a standard reference, such as [14], for the basics of C ⋆algebras. We denote by S A the set of self-adjoint elements of A, and by G(A) the set of invertible elements of A. Furthermore, we write G 1 (A) for the connected component of the group G(A) containing the unit. It is well known that For any x in A, we shall use σ and ρ to denote, respectively, the spectrum For every x ∈ A, |x| denotes the positive square root of x ⋆ x. By a functional on A, we shall mean any function that maps A to C; specifically, for the purpose of this paper, a functional is not necessarily linear. A character of A is a linear functional χ ∶ A → C which is simultaneously multiplicative, i.e., χ(ab) = χ(a)χ(b) for every a, b ∈ A. To shorten the statements of some results, we also introduce the following general terminology.

Definition 2.1 (Multiplicatively spectral functional) Let B be a unital complex
Banach algebra. Then a functional ϕ ∶ B → C is said to be a multiplicatively spectral functional on B whenever ϕ satisfies the following two conditions: Definition 2.2 (Spectrally multiplicative functional) Let B be a unital complex Banach algebra. Then a functional ϕ ∶ B → C is said to be a spectrally multiplicative functional on B whenever ϕ satisfies the following condition: Our motivation for this terminology follows from the observation that if ϕ satisfies (P1) and (P2), then ϕ takes values in the spectrum; if ϕ satisfies only (P1), then either ϕ or −ϕ takes values in the spectrum. So, if ϕ is a spectrally multiplicative functional, then either ϕ or −ϕ is a multiplicatively spectral functional. For x ∈ A, we will denote the real and imaginary parts of x by, respectively, R x and I x , that is, If there is no danger of confusion, we will simply write In [16], the authors showed that if ϕ ∶ A → C is continuous and satisfies (P1) and (P2), then ϕ generates a character ψ ϕ of A, and, moreover, ψ ϕ and ϕ agree on certain subsets of A; the precise statement, which will be the starting point of the proof of our main result, is as follows.
defines a character on A. Furthermore, ϕ(x) = ψ ϕ (x) whenever x belongs to G 1 (A) ∪ S A .

Proof of the main result
Proceeding through a series of lemmas, we show that any continuous multiplicatively spectral functional on a C ⋆ -algebra is a character. Our first three results are rather easy, and we give the short proofs for the sake of completeness. Furthermore, throughout this section, the function ψ ϕ refers to the character in Theorem 2.1.

Lemma 3.1 Let a, b be positive elements of a C ⋆ -algebra A such that a 2 ≤ b 2 , and let
(v n ) be a sequence in A such that lim n bv n = 0. Then lim n av n = 0.
Proof It suffices to show that ∥av n ∥ 2 ≤ ∥bv n ∥ 2 for every n. Observe first that

Corollary 3.2 Let
A be a C ⋆ -algebra, a ∈ S A , and let (v n ) be a sequence in A such that lim n |a|v n = 0. Then lim n av n = 0.
Proof Clearly, 0 ≤ (|a| − a) 2 ≤ (2|a|) 2 . Invoking Lemma 3.1, we infer that lim n (|a| − a)v n = 0 ⇒ lim n av n = 0. ∎ Proof We shall prove the result where a is any positive element of A: by the Gelfand-Naimark theorem, we can assume, without loss of generality, that A is commutative so that A = C(X) for some compact set X. For each n ∈ N, define b n = ae −na and c n = a (1 + ina) −1 . Then

Lemma 3.3 Let x be an element of S
and hence lim n b n = 0. Similarly, so that lim n c n = 0. Since |x| is positive, we have the result. ∎ The next three lemmas progressively narrow down the connection between ϕ and ψ ϕ : the idea is to construct two sequences (from the sequences b n and c n which were defined in the proof of Lemma 3.3) and then to filter them through the spectrum while simultaneously keeping track of ϕ and ψ ϕ via the condition (P1) and Theorem 2.1. The main result then follows from a compactness argument using the results obtained in the preceding lemmas.
Proof Let α be an arbitrary nonzero complex number. With W n defined as in the proof of Lemma 3.4, let Y n ∶= 1 α xW n , and set c α ∶= 1 α ϕ(α1 + x). Then, using (P1) together with ϕ (W n ) = 1, for each n ∈ N, Observe, from the proof of Lemma 3.4, that lim n Y n = 0. To show that c α ∈ [0, 1], assume, to the contrary, that c α ∉ [0, 1]. For each n, we have that W n ∈ S A and σ(W n ) ⊆ [0, 1]. From (3.2), we see that Since (c α 1 − W n ) −1 is normal for each n, we have the estimation from which it follows that lim n Y n (c α 1 − W n ) −1 = 0, hence contradicting the fact that G (A) is open. Therefore, c α ∈ [0, 1], and thus ϕ(α1 + x) = c α α. ∎ The final lemma shows that the value of c α in Lemma 3.5 can be narrowed down to one of two possibilities. Lemma 3.6 Let ϕ be a continuous multiplicatively spectral functional on a C ⋆ -algebra A. If α ∈ C and x ∈ A satisfies ψ ϕ (x) = 0, then ϕ(α1 + x) ∈ {0, α}.
. Again, using Lemmas 3.1 and 3.3 and Corollary 3.2, we have that Similarly, lim n IV n = 0. Observe that each V n belongs to G 1 (A), whence it follows 1]. To obtain the result, we have to show that c α ∈ {0, 1}: For the sake of a contradiction, assume that 0 < c α < 1. If we set Z n ∶= 1 α xV n = 1 α (R + iI)V n , then The first paragraph of the proof shows that lim n Z n = 0, and (3. Owing to the fact that C r ∩ R = {0, 1}, we infer that c α ∉ σ (V n ). Thus, Since V n is normal, we obtain the estimate is open. Subsequently, c α ∈ {0, 1}, and ϕ(α1 + x) ∈ {0, α} follows as advertised. ∎ We are now in a position to prove the main result.

Theorem 3.7 Let ϕ be a continuous multiplicatively spectral functional on a C ⋆algebra A. Then ϕ(x) = ψ ϕ (x) for all x in A, and hence ϕ is a character of A.
Proof For x ∈ A, define K x ∶= {α ∈ C ∶ ϕ(α1 + x) = 0}, and assume first that ψ ϕ (x) = 0. Our aim is to prove that K x = {0}. Observe that 0 ∈ K x (by Lemma 3.4), K x ⊆ σ(−x) (by P(1) and P(2)), and K x is closed (since ϕ is continuous). Thus, K x is nonempty and compact. Let m be a maximum modulus element of K x . From the definition of m, there is a sequence (k n ) ⊂ C/K x which converges to m. Therefore, by Lemma 3.6, lim n ϕ(k n 1 + x) = lim n k n = m, and by continuity of ϕ, lim n ϕ(k n 1 + x) = ϕ(m1 + x) = 0. Thus, m = 0 from which it follows that K x = {0}.

Corollary 3.8 Let ϕ be a continuous spectrally multiplicative functional on a C ⋆algebra A. Then either ϕ is a character of A or −ϕ is a character of A.
Proof If ϕ is spectrally multiplicative, then either ϕ or −ϕ is multiplicatively spectral. The result then follows from Theorem 3.7. ∎ As a further consequence of Theorem 3.7, we can now address a problem raised by Hatori et al. [5, p. 286] in the case where A is a C ⋆ -algebra.
Then ϕ is a homomorphism.
Proof Let χ be an arbitrary character of B. Then χ ○ ϕ is a continuous multiplicatively spectral functional on A. Hence, by Theorem 3.7, χ ○ ϕ is a character. The result then follows from the semisimplicity of B. ∎