A generalization of a theorem on biseparating maps

AbstractIn J. Math. Anal. Appl. 12 (1995) 258–265, Araujo et al. proved that for any linear biseparating map ϕ from C(X) onto C(Y), where X and Y are completely regular, there exist ω in C(Y) and an homeomorphism h from the realcompactification vX of X onto vY, such that ϕ(f)(y)=ω(y)fh(y)for allf∈C(X)andy∈Y. The compact version of this result was proved before by Jarosz in Bull. Canad. Math. Soc. 33 (1990) 139–144. In Contemp. Math., Vol. 253, 2000, pp. 125–144, Henriksen and Smith asked to what extent the result above can be generalized to a larger class of algebras. In the present paper, we give an answer to that question as follows. Let A and B be uniformly closed Φ-algebras. We first prove that every order bounded linear biseparating map from A onto B is automatically a weighted isomorphism, that is, there exist ω in B and a lattice and algebra isomorphism ψ between A and B such that ϕ(a)=ωψ(a)for alla∈A. We then assume that every universally σ-complete projection band in A is essentially one-dimensional. Under this extra condition and according to a result from Mem. Amer. Math. Soc. 143 (2000) 679 by Abramovich and Kitover, any linear biseparating map ϕ from A onto B is automatically order bounded and, by the above, a weighted isomorphism. It turns out that, indeed, the latter result is a generalization of the aforementioned theorem by Araujo et al. since we also prove that every universally σ-complete projection band in the uniformly closed Φ-algebra C(X) is essentially one-dimensional