Are commutative C*-algebras really dual to locally compact Hausdorff spaces?

Question

Several online sources (e.g. Wikipedia, the nLab) assert that the Gelfand representation defines a contravariant equivalence from the category of (non-unital) commutative $C^{\ast}$-algebras to the category of locally compact Hausdorff (LCH) spaces. This seems wrong to me.

The naive choice is to take all continuous maps between LCH spaces. This doesn't work. For example, the constant map $\mathbb{R} \to \bullet$ does not come from a morphism $\mathbb{C} \to C_0(\mathbb{R})$, the problem being that composing with the map $\bullet \to \mathbb{C}$ sending $\bullet$ to $1$ gives a function on $\mathbb{R}$ which doesn't vanish at infinity. It is necessary for us to restrict our attention to proper maps.

But this still doesn't work. If $A, B$ are any commutative $C^{\ast}$-algebras we can consider the morphism $$A \ni a \mapsto (a, 0) \in A \times B.$$

This morphism does not define a map on Gelfand spectra; if $\lambda : A \times B \to \mathbb{C}$ is a character factoring through the projection $A \times B \to B$, then composing with the above morphism gives the zero map $A \to \mathbb{C}$. This contradicts the nLab's claim that taking Gelfand spectra gives a functor into locally compact Hausdorff spaces (if one requires that the morphisms are defined everywhere on the latter category).

The correct statement appears to be that commutative $C^{\ast}$-algebras are contravariantly equivalent to the category $\text{CHaus}_{\bullet}$ of pointed compact Hausdorff spaces; the functor takes an algebra to the Gelfand spectrum of its unitization (we adjoin a unit whether or not the algebra already had one). There is an inclusion of the category of LCH spaces and proper maps into this category but it is not an equivalence because maps $(C, \bullet) \to (D, \bullet)$ in $\text{CHaus}_{\bullet}$ may send points other than the distinguished point of $C$ to the distinguished point of $D$.

So do sources mean something else when they claim the equivalence with locally compact Hausdorff spaces?

Answer 1

So, for the sake of having an answer written down to this question: as t.b. says in the comments, we simply don't have this duality as stated.

Answer 2

The above negative response means that in order to get a duality theory for locally compact spaces one has to leave the categories of Banach spaces or algebras. This problem has long been recognised and addressed, initially by Beurling, Herz and Buck in the context of harmonic analysis (spectral synthesis) and the Riesz representation theorem. The appropriate topology on the space of bounded, continuous functions was called the strict topology. In the sixties, it was extended to the case of completely regular spaces by several authors. A systematic approach to these topics can be found in the book "Saks spaces and Applications to Functional Analysis".

Answer 3

It was recognised in the 50's that if one wants a duality theory for more general spaces than compact ones, then one has to go beyond the category of Banach spaces. In the context of a linear duality for locally compact spaces (generalising the Riesz representation theorem), R.C. Buck introduced the strict topology. This was later extended to the completely regular case by several authors---for example, by using the techniques of mixed topologies and Saks spaces which had been developed by the polish school. In this context, Gelfand-Naimark duality can be also extended and in the book Saks spaces and applications to functional analysis, a class of so-called Saks algebras (see eg these notes) was identified as the dual to the category of locally compact spaces. In the language of category theory, this provides a concrete representation of the opposite category to that of locally compact spaces (with continuous mappings as morphisms) extending the celebrated duality between compact spaces and commutative $C^*$-algebras with unit.