Maps between Banach function algebras satisfying certain norm conditions (Q352728): Difference between revisions

Let \({\mathcal A}\) and \({\mathcal B}\) be Banach function algebras on compact Hausdorff spaces \(X\) and \(Y\), respectively, and let \(M_{{\mathcal A}}\), \(M_{{\mathcal B}}\) be the maximal ideal spaces. Let \(I\), \(I^\prime\) be arbitrary non-empty sets, \(\alpha\) a non-zero complex number, and \(\rho:I\to {\mathcal A}\), \(\tau:I^\prime\to {\mathcal A}\), \(S:I\to {\mathcal B}\), \(T:I^\prime\to {\mathcal B}\) be maps such that their images are closed under multiplication and contain \(\exp{\mathcal A}\), respectively \(\exp{\mathcal B}\). If \(\| \rho(p)\tau(p^\prime)-\alpha\|_X=\| S(p)T(p^\prime)-\alpha\|_Y\) holds for all \(p\in I\), \(p^\prime \in I^\prime\), then there exist a real algebra isomorphism \({\mathcal S}: {\mathcal A} \to {\mathcal B}\), a clopen set \({\mathcal K}\subseteq M_B\), and a homeomorphism \(\phi: M_B \to M_A\) such that \( \widehat{{\mathcal S}f}=\widehat{f}\circ \phi\) on \( {\mathcal K}\) and \( \widehat{{\mathcal S}f}=\overline{\widehat{f}\circ \phi}\) on \(M_B\setminus {\mathcal K}\), where \(\widehat{\cdot}\) denotes the Gelfand transform. Moreover, \({\mathcal S}\) can be extended to a real algebra isomorphism from \(\overline{{\mathcal A}}\) onto \(\overline{{\mathcal B}}\) inducing a homeomorphism between \(M_{\overline{{\mathcal A}}}\) and \(M_{\overline{{\mathcal B}}}\) (note that bar denotes the uniform closure of the algebra). Under additional conditions on the peripheral range, it is proved that \({\mathcal S}\) is complex linear. At the end of the paper, the case \(\alpha=0\) is considered as well.