Hermitian operators and isometries on Banach algebras of continuous maps with values in unital commutative \(C^\ast\)-algebras (Q1796309): Difference between revisions

Let $X$ be a compact Hausdorff space and let $B$ be a unital self-adjoint natural Banach algebra of complex-valued continuous functions on $X$ (where natural means that the evaluation functionals (at points on $X$) are in one-to-one correspondence with the character of $B$). Let $Y$ be another compact Hausdorff space. The author defines a unital self-adjoint natural Banach algebra $\widetilde{B}$ of complex-valued continuous functions on $X\times Y$ to be a \emph{natural $C(Y)$-valuezation of $B$} if $B\otimes C(Y)\subseteq \widetilde{B}$ and there exists a self-adjoint complex-linear map $D:\widetilde{B}\to C(\mathfrak{M})$, where $\mathfrak{M}$ is a compact Hausdorff space, such that $\ker D=1\otimes C(Y)$ and \[ \left\|F\right\|_{\widetilde{B}}=\left\|F\right\|_{\infty(X\times Y)}+\left\|D(F)\right\|_{\infty(\mathfrak{M})}\quad (F\in \widetilde{B}). \] Various spaces of $C(Y)$-valued Lipschitz functions fall under this setting, and the main theorem of this paper states: \par Theorem. Let $\widetilde{B}_j$ be natural $C(Y_j)$-valuezation of $B_j\subset C(X_j)$ for $j=1,2$. Suppose that \[ \left\|(1\otimes h)F\right\|_{\widetilde{B}_j}=\left\|F\right\|_{\widetilde{B}_j} \] for every $F\in \widetilde{B}_j$ and $h\in C(Y_j)$ with $|h|=1$ on $Y_j$ for each $j$. If $U:\widetilde{B}_1\to \widetilde{B}_2$ is a surjective complex-linear isometry, then there exist $h\in C(Y_2)$ such that $|h|=1$ on $Y_2$, a continuous map $\varphi:X_2\times Y_2\to X_1$ such that $\varphi(\cdot,y):X_2\to X_1$ is a homeomorphism for each $y\in Y_2$, and a homeomorphism $\tau:Y_2\to Y_1$ such that \[ U(F)(x,y)=h(y)F(\varphi(x,y),\tau(y)),\quad(x,y)\in X_2\times Y_2, \] for every $F\in\widetilde{B}_1$. \par This theorem subsumes various known results in [\textit{N. V. Rao} and \textit{A. K. Roy}, Pac. J. Math. 38, 177--192 (1971; Zbl 0218.46026)] and in [\textit{O. Hatori} and \textit{S. Oi}, Acta Sci. Math. 84, No. 1--2, 151--183 (2018; Zbl 1413.46039)] as special cases.