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

From MaRDI portal





scientific article; zbMATH DE number 6957209
Language Label Description Also known as
default for all languages
No label defined
    English
    Hermitian operators and isometries on Banach algebras of continuous maps with values in unital commutative \(C^\ast\)-algebras
    scientific article; zbMATH DE number 6957209

      Statements

      Hermitian operators and isometries on Banach algebras of continuous maps with values in unital commutative \(C^\ast\)-algebras (English)
      0 references
      0 references
      17 October 2018
      0 references
      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.
      0 references
      0 references
      isometry
      0 references
      Banach algebra of functions
      0 references
      Lipschitz functions
      0 references
      0 references
      0 references
      0 references

      Identifiers