Does anyone have a handy characterisation of *open* continuous surjections $X \to Y$ in terms of the corresponding injective $\*$-homomorphism $C(Y) \to C(X)$? (I'm only interested in the case where $X$ and $Y$ are compact Hausdorff spaces, but the question could be suitably modified for locally compact Hausdorff spaces.)


Cf. [Reference request for translating from Top to C\*-alg](https://mathoverflow.net/questions/82871/reference-request-for-translating-from-top-to-c-alg/82960#82960)



What is the Gelfand dual of an open surjection?
After more thought, I think the correct statement is the following:


**Theorem:** Let $\pi : X \to Y$ be a continuous map between compact Hausdorff spaces. Then the following condition are equivalents:


(a) $\pi$ is an open map.


(b) The map $\pi^\* : C(Y)^+ \to C(X)^+$ has a left adjoint which is $C(Y)^+$-linear, i.e. there is a (automatically unique) map $\pi\_! : C(X)^+ \to C(Y)^+$ such that for all $f \in C(X)^+$ and $h \in C(Y)^+$ one has $\pi\_!(f) \leqslant h \Leftrightarrow f \leqslant \pi^\*(h)$ and $\pi\_!(f \pi^\*(h)) = \pi\_!(f) h$.


*Note:* By $C(X)^+$ I mean the subset of selfadjoint positive elements, i.e. continuous function with values in non-negative real numbers.


Before proving the theorem, let me a recall:


**Lemma :** Given a continuous map $\pi:X \to Y$ between comapct Hausdorff space, if $y \in Y$ and $U$ is an open containing the fiber $\pi^{-1}(y)$, then there exists a neighborhood $V$ of $y$ such that $\pi^{-1}(V) \subset U$.


**Proof:** It feels like it is a form of openness, but it is actually related to properness. Indeed, let $K$ be the closed complement of $U$, $K$ is compact, so $f(K)$ is a compact of $Y$ not containing $y$, hence the complement $V$ of $f(K)$ is an open neighborhood of $y$, and by construction, its preimage is included in $U$.


**Proof: (a) $\Rightarrow$ (b)**


For $f$ a positive functions on $X$, We define $\pi\_!(f)$ as a function $Y \to \mathbb{R}$ by:


$$ \pi\_!(f)(y) = \sup\_{x \in \pi^{-1}(y)} f(x) $$


The sup is taken in the poset of positive real numbers, so it is $0$ if the fiber is empty, it is always finite by compactness of the fiber, so that $\pi\_!(f)(y)$ is indeed a positive real number for all $y$.


It is immediate that $\pi\_!(f \pi^\*(h))= \pi\_!(f) h$ and $\pi\_!(f) \leqslant h$ if and only if $f \leqslant \pi^\*(h)$, what is not so clear is whether $\pi\_!(f)$ is indeed an element of $C(X)^+$, i.e. is continuous.


The map $\pi\_!(f)$ is always an upper semi-continuous functions. It only rely on the lemma above: If $\pi\_!(f)(y)<q$ then $f(x)<q$ for all $x \in \pi^{-1}(y)$, hence the lemma applied to $U= \{x | f(x) <q\}$ immediately implies that there is a neighborhood $V$ of $y$ such that $\pi^{-1}(V)$ is included in $U$, and hence $\pi\_!(f)(t) \leqslant q$ for all $t \in V$.


The fact that $\pi\_!(f)$ is lower semi-continuous is an immediate consequence of the openness of $\pi$: if $\pi\_!(f)(y)>q$, it means there is an element $x\_0 \in \pi^{-1}(y)$ such that $f(x\_0)>q$, hence there is a neighborhood of $x\_0$ such that $f(x)>q$, the image of this neighborhood is a neighborhood of $y$ on which $\pi\_!(f)>q$.


Together they implies that $\pi\_!(f)$ is continuous which concludes the proof.


**(b) $\Rightarrow$ (a)**


Assume we have such a map $\pi\_!$. For $f$ a continuous positive function, I write $\{f>0\}$ for the open subset $\{ x | f(x) >0 \}$, these forms a basis of the topology, so it is enough to check that the direct image of these by $\pi$ are open subsets. We will show that $\pi\_!$ has to be of the form defined in the previous part of the proof. It then imediately follows that $\pi\{f>0\} = \{ \pi\_! f >0 \}$ and this concludes the proof.


First one show that $\pi\_!(f)(y) \geqslant \sup\_{x \in \pi^{-1} y} f(x)$.


Indeed, assume that $\pi\_!(f)(y) \leqslant a$. Then $\forall \epsilon>0$ there exists a positive function $\chi$ such that $\chi(y)=1$ and $\chi \pi\_!(f) \leqslant (a+\epsilon)\chi$ (take $\chi$ to be $1$ in a small neighborhood of $x$, and $0$ away from $x$).


The adjunction formula give you that $\pi^\*(\chi) f \leqslant (a+ \epsilon)\pi^\*(\chi)$.


Now for any $x \in \pi^{-1}(y)$, evaluating the previous inequality at $x$ gives $f(x) \leqslant a+ \epsilon$, hence $\sup\_{x \in \pi^{-1}(y)} f(x) \leqslant a$.


Conversely, assume that $\sup\_{x \in \pi^{-1} y} f(x) \leqslant a$, i.e. $f(x) \leqslant a$ everywhere on the fiber of $a$, for all $\epsilon>0$ there is an open neighborhood $U$ of $\pi^{-1}(y)$ on which $f(x) < a + \epsilon$.


Applying the lemma again, we get an open neighborhood $V$ of $y$ such that $\pi^{-1}(V)$ is included in $U$. Take $\chi$ such that $\chi(y)=1$ and $\chi$ is $0$ outside of $V$ and run the same argument as above, you have that $ \pi^\*(\chi) f \leqslant a+\epsilon$, hence $\pi^\*(\chi) f \leqslant \pi^\*(a+ \epsilon)$, hence $\pi\_!(\pi^\*(\chi) f) \leqslant a+ \epsilon$, and finally $\chi \pi\_!(f) \leqslant a + \epsilon$


evaluating at $y$ gives $\pi\_!(f)(y) \leqslant a+ \epsilon$, which conclude the proof.


