English

Linear orthogonality preservers of Hilbert bundles

Operator Algebras 2010-05-26 v1 Functional Analysis

Abstract

Due to the corresponding fact concerning Hilbert spaces, it is natural to ask if the linearity and the orthogonality structure of a Hilbert CC^*-module determine its CC^*-algebra-valued inner product. We verify this in the case when the CC^*-algebra is commutative (or equivalently, we consider a Hilbert bundle over a locally compact Hausdorff space). More precisely, a C\mathbb{C}-linear map θ\theta (not assumed to be bounded) between two Hilbert CC^*-modules is said to be "orthogonality preserving" if <θ(x),θ(y)>=0\left<\theta(x),\theta(y)\right> =0 whenever <x,y>=0\left<x,y\right> =0. We prove that if θ\theta is an orthogonality preserving map from a full Hilbert C0(Ω)C_0(\Omega)-module EE into another Hilbert C0(Ω)C_0(\Omega)-module FF that satisfies a weaker notion of C0(Ω)C_0(\Omega)-linearity (known as "localness"), then θ\theta is bounded and there exists ϕCb(Ω)+\phi\in C_b(\Omega)_+ such that <θ(x),θ(y)> = ϕ<x,y>,x,yE. \left<\theta(x),\theta(y)\right>\ =\ \phi\cdot\left<x,y\right>, \quad \forall x,y \in E. On the other hand, if FF is a full Hilbert CC^*-module over another commutative CC^*-algebra C0(Δ)C_0(\Delta), we show that a "bi-orthogonality preserving" bijective map θ\theta with some "local-type property" will be bounded and satisfy <θ(x),θ(y)> = ϕ<x,y>σ,x,yE \left<\theta(x),\theta(y)\right>\ =\ \phi\cdot\left<x,y\right>\circ\sigma, \quad \forall x,y \in E where ϕCb(Ω)+\phi\in C_b(\Omega)_+ and σ:ΔΩ\sigma: \Delta \rightarrow \Omega is a homeomorphism.

Keywords

Cite

@article{arxiv.1005.4502,
  title  = {Linear orthogonality preservers of Hilbert bundles},
  author = {Chi-Wai Leung and Chi-Keung Ng and Ngai-Ching Wong},
  journal= {arXiv preprint arXiv:1005.4502},
  year   = {2010}
}