MathOverflow is a question and answer site for professional mathematicians. Join them; it only takes a minute:

Sign up
Here's how it works:
  1. Anybody can ask a question
  2. Anybody can answer
  3. The best answers are voted up and rise to the top

Given two locally compact topological spaces $X$ and $Y$, and a local homeomorphism $f : X \to Y$, Gelfand duality gives us a homomorhism $Cf : C_0(Y) \to C_0(X)$. How does the fact that $f$ is a local homeomorphism manifest itself in the homorphism $Cf$ between $C^*$-algebras?

share|cite|improve this question
up vote 3 down vote accepted

Your first claim seems to need a small correction. In general, the continuous maps $X\to Y$ that induce homomorphisms $C_0(Y)\to C_0(X)$ are those which are proper, i.e. where preimages of compact sets are compact. (Just take $X={\mathbb R}$ and $Y={\mathbb R}/{\mathbb Z}\cong {\mathbb T}$ to see what can go wrong otherwise.)

So your question is really restricted to local homeomorphisms from one locally compact space to another that are proper. These are then forced to be covering maps (see Wikipedia) and hence $f^*: C_0(Y)\to C_0(X)$ has to be injective, hence an isomorphism onto its range. Martin Brandenburg's answer here explains that the converse is true, namely that a C*-subalgebra of $C_0(X)$ has to correspond to some compact Hausdorff quotient of $X$.

EDIT: see also this earlier MSE question

share|cite|improve this answer

Your Answer


By posting your answer, you agree to the privacy policy and terms of service.

Not the answer you're looking for? Browse other questions tagged or ask your own question.