Take the 2-minute tour ×
MathOverflow is a question and answer site for professional mathematicians. It's 100% free, no registration required.

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|improve this question
add comment

1 Answer

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|improve this answer
add comment

Your Answer

 
discard

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.