I am looking for a reference for the following facts in functional analysis and topology. (If these "facts" are not true, I suppose I'm looking for the closest approximation which is true.)


Let $X$ be a locally compact Hausdorff topological space. Let $C(X)$ denote the ring of continuous complex-valued functions on $X$, endowed with the compact-open topology. Then $C(X)$ is a complete locally convex topological (complex) vector space (this can be found in Kothe, vol. 2, I think).


Now let $Y$ be another locally compact Hausdorff topological space. From Kothe, vol. 2, I know that $C(X \times Y)$ is naturally isomorphic to $C(X) \hat \otimes C(Y)$, where $\hat \otimes$ denotes the completion with respect to the injective tensor product topology.


I believe that pointwise multiplication $C(X) \times C(X) \rightarrow C(X)$ extends (uniquely) to a continuous linear map from $C(X) \hat \otimes C(X)$ to $C(X)$.


If $f: X \rightarrow Y$ is a continuous function, then precomposition with $f$ yields a continuous $C$-algebra homomorphism $f^\ast: C(Y) \rightarrow C(X)$.


I believe the following to be true:


Theorem: For every continuous algebra homomorphism $\phi: C(Y) \rightarrow C(X)$, there exists a unique continuous map $f: X \rightarrow Y$ such that $\phi = f^\ast$.


In other words, I wish that $C( \bullet )$ is a faithful functor from the category of locally compact Hausdorff spaces and continuous maps to the category of rings in the (symmetric monoidal under $\hat \otimes$) category of complete locally convex topological vector spaces and continuous linear maps.


Any references and/or corrections would be very welcome!


But an important note: I am *not* looking for well-known modifications, like "try the $C^\ast$-algebra instead" or the von Neumann algebra, etc.. I have good reasons for considering the ring $C(X)$ with the compact-open topology, and I don't wish to mess with it.



Ring of continuous functions, reference request.
Let $X=Y\_1\sqcup Y\_2$, with both $Y\_i$ homeomorphic to $Y$. Then $C(X)=C(Y\_1)\oplus C(Y\_2)$. Given $a\in C(Y)$ let $\phi\colon a\mapsto a\oplus 0$, in the obvious way. This $\phi$ cannot be any $f^\*$, since $f^\*$ would necessarily map $1\mapsto 1\oplus 1$. I believe, this is a counter example to your putative theorem, which shows that you may want a connectedness hypothesis on your spaces.


For more general information, I second Ramsey's recommendation of "Rings of continuous functions" by Gillman and Jerison. Though, I don't think it has the exact theorem you are looking for.


The strongest relevant result from that book is Theorem 10.8, which states that a homomorphism $\mathfrak{s}\colon C(Y)\to C(X)$ determines a unique continuous map $\tau\colon E\to \upsilon Y$ with the properties like what you want. Here $E$ is a clopen subset of $X$ and $\upsilon Y$ is the (Hewitt) *realcompactification* of $Y$, which is a bigger space than $Y$. See the book for full details. The hypotheses on $X$ and $Y$ (implicitly) include *complete regularity*, which is weaker than local compactness. Note that the homomorphism $\mathfrak{s}$ is not assumed to be continuous in any topologies on $C(Y)$ and $C(X)$. Perhaps your continuity requirement is enough to cut $\upsilon Y$ down to $Y$ and give you the desired result.


