Com. Banach Algebra over C: ΦX×ΦY is Homeomorphic to ΦX⊗pY

If X and Y are Commutative Banach Algebra over C then ΦX×ΦY is Homeomorphic to ΦX⊗pY

Proposition: Let $X$ and $Y$ be commutative Banach algebras over $\mathbf{C}$ with unit (though this is not a necessary requirement). Then $\Phi_X \times \Phi_Y$ is homeomorphic to $\Phi_{X \otimes_p Y}$.

Recall that a map $T$ between two topological spaces is a homeomorphism if it is a bijection such that $T$ and $T^{-1}$ are continuous.

\begin{align} \quad [f \square g](x \otimes y) = f(x)g(y) \quad \forall x \in X, \: \forall y \in Y \end{align}
  • Furthermore, $f \square g$ is actually a bounded linear operator on $X \otimes Y$ (via the projective tensor norm) with $\| f \square g \| \leq 1$, since for all $u = \sum_{i} x_i \otimes y_i \in X \otimes Y$ we have that:
\begin{align} \quad | ([f \square g](u) | &= \left | [f \square g] \left ( \sum_{i} x_i \otimes y_i \right ) \right | \\ &= \left | \sum_{i} [f \square g](x_i \otimes y_i) \right | \\ &= \left | \sum_{i} f(x_i)g(y_i) \right | \\ & \leq \sum_{i} \| f(x_i) \| \| g(y_i) \| \\ & \leq \underbrace{\| f \| \| g \|}_{\leq 1 \: \mathrm{since \:} f \in \Phi_X, \: g \in \Phi_Y} \sum_{i} \| x_i \| \| y_i \| \\ & \leq \sum_{i} \| x_i \| \| y_i \| \end{align}
  • Since the above inequality holds for all representations of $u$ we have that $| [f \square g](u) | \leq p(u)$ for all $u \in X \otimes Y$, so $\| f \square g \| \leq 1$. Furthermore, each $f \square g$ is multiplicative since if $u = \sum_{i} x_i \otimes y_i$ and $v = \sum_{j} x_j' \otimes y_j'$ then:
\begin{align} \quad [f \square g](uv) = [f \square g] \left ( \sum_{i} x_i \otimes y_i \sum_{j} x_j' \otimes y_j' \right ) &= [f \square g] \left ( \sum_{i,} \sum_{j} x_ix_j \otimes y_iy_j \right ) \\ &= \sum_{i} \sum_{j} [f \square g](x_ix_j \otimes y_jy_j) \\ &= \sum_{i} \sum_{j} f(x_ix_j') g(y_iy_j') \\ &= \sum_{i} \sum_{j} f(x_i)f(x_j')g(y_i)g(y_j') \\ &= \sum_{i} f(x_i)g(y_i) \sum_{j} f(x_j')g(y_j') \\ &= \sum_{i} [f \square g](x_i \otimes y_i) \sum_{j} [f \square g](x_j' \otimes y_j') \\ &= [f \square g] \left ( \sum_{i} x_i \otimes y_i \right ) [f \square g] \left ( \sum_{j} x_j' \otimes y_j' \right ) \\ &= [f \square g](u) [f \square g](v) \end{align}
  • So $f \square g : X \otimes Y \to \mathbf{F}$ is a multiplicative linear functional on $X \otimes Y$ such that $| [f \square g](u)| \leq p(u)$ for all $u \in X \otimes Y$, so $f \square g$ can be UNIQUELY extended to a multiplicative linear functional on $X \otimes_p Y$, i.e., $f \square g$ can be uniquely extended to a member of $\Phi_{X \otimes_p Y}$.
  • On the other hand, if $\chi \in \Phi_{X \otimes_p Y}$ then let $f : X \to \mathbf{F}$ and $g : Y \to \mathbf{F}$ be defined as:
\begin{align} \quad f(x) &= \chi (x \otimes 1_Y) \quad \forall x \in X \\ \quad g(y) &= \chi(1_X \otimes y) \quad \forall y \in Y \end{align}
  • Observe that $f$ linear and further $f$ is multiplicative since for all $x_1, x_2 \in X$ we have that:
\begin{align} \quad f(x_1x_2) = \chi(x_1x_2 \otimes 1_Y) = \chi((x_1 \otimes 1_Y)(x_2 \otimes 1_Y)) = \chi(x_1 \otimes 1_Y)\chi(x_2 \otimes 1_Y) = f(x_1)f(x_2) \end{align}
  • Also observe that $g$ is linear and further $g$ multiplicative since for all $y_1, y_2 \in Y$ we have that:
\begin{align} \quad g(y_1y_2) = \chi(1_X \otimes y_1y_2) = \chi((1_X \otimes y_1)(1_X \otimes y_2)) = \chi(1_X \otimes y_1) \chi(1_X \otimes y_2) = g(y_1)g(y_2) \end{align}
  • So $f \in \Phi_X$ and $g \in \Phi_Y$.
  • Furthermore we have that $\chi = f \square g$ since for all $u \in X \otimes_p Y$ with $u = \sum_{i} x_i \otimes y_i$ we have that:
\begin{align} \quad \chi (u) = \chi \left ( \sum_{i} x_i \otimes y_i \right )= \sum_{i} \chi (x_i \otimes y_i) = \sum_{i} \chi((x_i \otimes 1_Y)(1_X \otimes y_i)) = \sum_{i} \chi(x_i \otimes 1_Y) \chi(1_X \otimes y_i) &= \sum_{i}f(x_i)g(y_i) \\ &= \sum_{i} [f \square g](x_i \otimes y_i) \\ &= [f \square g] \left ( \sum_{i} x_i \otimes y_i \right ) \\ &= [f \square g](u) \end{align}
  • So $\chi(u) = [f \square g](u)$ for all $u \in X \otimes_p Y$. Thus $\chi = f \square g$. So for all $\chi \in \Phi_{X \otimes_p Y}$ there exists $f \in \Phi_X$ and $g \in \Phi_Y$ with $\chi = f \square g$.
  • Let $T : \Phi_X \times \Phi_Y \to \Phi_{X \otimes_p Y}$ be defined for all $(f, g) \in \Phi_X \times \Phi_Y$ by $T(f, g) = f \square g$. Then $T$ is injective and surjective by the remarks made above. We further claim that $T$ is a homeomorphism of $\Phi_X \times \Phi_Y$ to $\Phi_{X \otimes_p Y}$.
  • 1. Showing that $T$ is continuous: It can be shown that $T$ is weak-* continuous, and since weak-* continuity implies continuity, we have that $T$ is continuous.
  • 2. Showing that $T^{-1}$ is continuous: Since $T : \Phi_X \times \Phi_Y \to \Phi_{X \otimes_p Y}$ is continuous, in order to show that $T^{-1}$ is continuous it is sufficient to show that $\Phi_X \times \Phi_Y$ and $\Phi_{X \otimes_p Y}$ are both compact.
  • First, from the proposition on The Carrier Space of a Commutative Banach Algebra page, since $X$ is a commutative Banach algebra WITH unit, $\Phi_X$ is compact. Similarly, since $Y$ is a commutative Banach algebra WITH unit, $\Phi_Y$ is compact. By Tychonoff's theorem, the product $\Phi_X \times \Phi_Y$ is compact.
  • Secondly, the spaces $\Phi_X$ and $\Phi_Y$ are compact, they are complete and totally bounded. Furthermore, $\Phi_X \times \Phi_Y$ is complete and totally bounded, and hence compact.
  • Thus $T$ is a continuous bijection from the compact space $\Phi_X \times \Phi_Y$ to the compact space $\Phi_{X \otimes_p Y}$, and so $T^{-1}$ is continuous.
  • Thus we conclude that $T$ is a homeomorphism of $\Phi_X \times \Phi_Y$ onto $\Phi_{X \otimes_p Y}$. $\blacksquare$
Unless otherwise stated, the content of this page is licensed under Creative Commons Attribution-ShareAlike 3.0 License