# How do we know the map is $w^{*}$-continuous?

I am reading a paper by David Blecher, which contains the following:

" If $T: Y \to Z$ is a surjective isometric module map between $W^{*}$-modules over $M$, then $T$ is unitary. Also, $T$ is a $w^{*}$-homeomorphism, and the unique preduals of $Y$ and $Z$ are completely isometrically isomorphic via the module map $T_{*}$."

I have no problem with the unitary part. Also, I know that if $T$ is $w^{*}$-continuous then it is a $w^{*}$-homeomorphism. What I don't get is why do we know $T$ is $w^{*}$-continuous?

Since this statement is given without proof, it makes me think that this is a well known fact. I"ll appreciate any explanation or reference to a proof of this.

• Could you please add a link to the paper or add its title?
– user82740
Commented Dec 4, 2015 at 4:24
• The statement is at the end of the first paragraph of pg 68 dmitripavlov.org/scans/blecher.pdf Commented Dec 4, 2015 at 5:02

It is a weak* homeomorphism because the predual of a W*-module is unique. If $T$ weren't a weak* homeomorphism then it could be used to transfer the weak* topology on $Y$ to a new, different weak* topology on $Z$. But $Z$ only has one predual, and hence it only has one weak* topology.
• Thank you Nick, I actually think I got it in a different way. It is easy to show that T is adjointable, which implies is weak$^{*}$ continuous. By the way, how is the map $T_{*}$ between the preduals defined? Commented Dec 4, 2015 at 6:33
• Let $f \in Z_*$, i.e., $f$ is a weak* continuous linear functional on $Z$. Then $f\circ T$ is a weak* continuous linear functional on $Y$, i.e., $f\circ T \in Y_*$. $T_*$ is the map $f \mapsto f\circ T$. Commented Dec 4, 2015 at 12:59
• Thank you Nick. If it's not too much trouble, could you say a few words about the "getting a new , different weak $^{*}$ topology" part of your answer? How would you use $T$ to get that new topology? Commented Dec 4, 2015 at 15:07