Source author record

Chi-Wai Leung

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.FA math.OA math-ph math.MP math.AC math.DG math.GT math.NT math.RA math.SP

Catalog footprint

Research overview

9works

10topics

2close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2020arXiv

Analytic bundle structure on the idempotent manifold

Let $X$ be a (real or complex) Banach space, and $\mathcal{I}(X)$ be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on $X$ whose squares equal themselves. We show that the Banach submanifold $\mathcal{I}(X)$ of $\mathcal{L}(X)$ is a locally trivial analytic affine-Banach bundle over the Grassmann manifold $\mathscr{G}(X)$ , via the map $κ$ that sends $Q\in \mathcal{I}(X)$ to $Q(X)$ , such that the affine-Banach space structure on each fiber is the one induced from $\mathcal{L}(X)$ (in particular, every fiber is an affine-Banach subspace of $\mathcal{L}(X)$ ). Using this, we show that if $K$ is a real Hilbert space, then the assignment $(E,T)\mapsto T^*\circ P_{E^\bot} + P_{E}, \quad \text{ where } E\in \mathscr{G}(K)\text{ and } T\in \mathcal{L}(E,E^\bot),$ induces a bi-analytic bijection from the total space of the tangent bundle, $\mathbf{T}(\mathscr{G}(K))$ , of $\mathscr{G}(K)$ onto $\mathcal{I}(K)$ (here, $E^\bot$ is the orthogonal complement of $E$ , $P_E\in \mathcal{L}(K)$ is the orthogonal projection onto $E$ , and $T^*$ is the adjoint of $T$ ). Notice that this bi-analytic bijection is an affine map on each tangent plane.

preprint2020arXiv

On a variant of Tingley's problem for some function spaces

Let $(Ω, \mathfrak{A}, μ)$ and $(Γ, \mathfrak{B}, ν)$ be two arbitrary measure spaces, and $p\in [1,\infty]$ . Set $L^p(μ)_+^\mathrm{sp}:= \{f\in L^p(μ): \|f\|_p =1; f\geq 0\ μ\text{-a.e.} \}$ i.e., the positive part of the unit sphere of $L^p(μ)$ . We show that every metric preserving bijection $Φ: L^p(μ)_+^\mathrm{sp} \to L^p(ν)_+^\mathrm{sp}$ can be extended (necessarily uniquely) to an isometric order isomorphism from $L^p(μ)$ onto $L^p(ν)$ . A Lamperti form, i.e., a weighted composition like form, of $Φ$ is provided, when $(Γ, \mathfrak{B}, ν)$ is localizable (in particular, when it is $σ$ -finite). On the other hand, we show that for compact Hausdorff spaces $X$ and $Y$ , if $Φ$ is a metric preserving bijection from the positive part of the unit sphere of $C(X)$ to that of $C(Y)$ , then there is a homeomorphism $τ:Y\to X$ satisfying $Φ(f)(y) = f(τ(y))$ ( $f\in C(X)_+^\mathrm{sp}; y\in Y$ ).

preprint2015arXiv

The positive contractive part of a Noncommutative $L^p$ -space is a complete Jordan invariant

Let $1\leq p \leq +\infty$ . We show that the positive part of the closed unit ball of a non-commmutative $L^p$ -space, as a metric space, is a complete Jordan $^*$ -invariant for the underlying von Neumann algebra.

preprint2015arXiv

Transition probabilities of normal states determine the Jordan structure of a quantum system

Let $Φ:\mathfrak{S}(M_1)\to \mathfrak{S}(M_2)$ be a bijection (not assumed affine nor continuous) between the sets of normal states of two quantum systems, modelled on the self-adjoint parts of von Neumann algebras $M_1$ and $M_2$ , respectively. This paper concerns with the situation when $Φ$ preserves (or partially preserves) one of the following three notions of "transition probability" on the normal state spaces: the Uhlmann transition probability $P_U$ , the Raggio transition probability $P_B$ and an "asymmetric transition probability" $P_0$ as defined in this article. It is shown that the two systems are isomorphic, i.e. $M_1$ and $M_2$ are Jordan $^*$ -isomorphic, if $Φ$ preserves all pairs with zero Uhlmann (respectively, Raggio or asymmetric) transition probability, i.e., for any normal states $μ$ and $ν$ , we have $P\big(Φ(μ),Φ(ν)\big) = 0 \quad \text{if and only if} \quad P(μ,ν)=0,$ where $P$ stands for $P_U$ (respectively, $P_R$ or $P_0$ ). Furthermore, as an extension of Wigner's theorem, it is shown that there is a Jordan $^*$ -isomorphism $Θ:M_2\to M_1$ with $Φ= Θ^*|_{\mathfrak{S}(M_1)}$ if and only if $Φ$ preserves the "asymmetric transition probability". This is also equivalent to $Φ$ preserving the Raggio transition probability. Consequently, if $Φ$ preserves the Raggio transition probability, it will preserve the Uhlmann transition probability as well. As another application, the sets of normal states equipped with either the usual metric, the Bures metric or "the metric induced by the self-dual cone" are complete Jordan $^*$ -invariants for the underlying von Neumann algebras.

preprint2014arXiv

Berkovich spectra of elements in Banach Rings

Adapting the notion of the spectrum $Σ_a$ for an element $a$ in an ultrametric Banach algebra (as defined by Berkovich), we introduce and briefly study the Berkovich spectrum $σ^{Ber}_R(u)$ of an element $u$ in a Banach ring $R$ . This spectrum is a compact subset of the affine analytic space $A_Z^1$ over $Z$ , and the later can be identified with the "equivalence classes" of all elements in all complete valuation fields. If $R$ is generated by $u$ as a unital Banach ring, then $σ^{Ber}_R(u)$ coincides with the spectrum of $R$ (as defined by Berkovich). If $R$ is a unital complex Banach algebra, then $σ^{Ber}_R(u)$ is the "folding up" of the usual spectrum $σ_B(u)$ alone the real axis. For a non-Archimedean complete valuation field $k$ and an infinite dimensional ultrametric $k$ -Banach space $E$ with an orthogonal base, if $u\in L(E)$ is a completely continuous operator, we show that many different ways to define the spectrum of $u$ give the same compact set $σ^{Ber}_{L(E)}(u)$ . As an application, we give a lower bound for the valuations of the zeros of the Fredholm determinant $\det(1- t\cdot u)$ (as defined by Serre) in complete valuation field extensions of $k$ . Using this, we give a concrete example of a completely continuous operator whose Fredholm determinant does not have any zero in any complete valuation field extension of $k$ .

preprint2010arXiv

Automatic continuity and $C_0(Ω)$ -linearity of linear maps between $C_0(Ω)$ -modules

Let $Ω$ be a locally compact Hausdorff space. We show that any local $\mathbb{C}$ -linear map (where "local" is a weaker notion than $C_0(Ω)$ -linearity) between Banach $C_0(Ω)$ -modules are "nearly $C_0(Ω)$ -linear" and "nearly bounded". As an application, a local $\mathbb{C}$ -linear map $θ$ between Hilbert $C_0(Ω)$ -modules is automatically $C_0(Ω)$ -linear. If, in addition, $Ω$ contains no isolated point, then any $C_0(Ω)$ -linear map between Hilbert $C_0(Ω)$ -modules is automatically bounded. Another application is that if a sequence of maps $\{θ_n\}$ between two Banach spaces "preserve $c_0$ -sequences" (or "preserve ultra- $c_0$ -sequences"), then $θ_n$ is bounded for large enough $n$ and they have a common bound. Moreover, we will show that if $θ$ is a bijective "biseparating" linear map from a "full" essential Banach $C_0(Ω)$ -module $E$ into a "full" Hilbert $C_0(Δ)$ -module $F$ (where $Δ$ is another locally compact Hausdorff space), then $θ$ is "nearly bounded" (in fact, it is automatically bounded if $Δ$ or $Ω$ contains no isolated point) and there exists a homeomorphism $σ: Δ\rightarrow Ω$ such that $θ(e\cdot φ) = θ(e)\cdot φ\circ σ$ ( $e\in E, φ\in C_0(Ω)$ ).

preprint2010arXiv

Linear orthogonality preservers of Hilbert $C^$ -modules over general $C^$ -algebras

As a partial generalisation of the Uhlhorn theorem to Hilbert $C^*$ -modules, we show in this article that the module structure and the orthogonality structure of a Hilbert $C^*$ -module determine its Hilbert $C^*$ -module structure. In fact, we have a more general result as follows. Let $A$ be a $C^*$ -algebra, $E$ and $F$ be Hilbert $A$ -modules, and $I_E$ be the ideal of $A$ generated by $\{\langle x,y\rangle_A: x,y\in E\}$ . If $Φ: E\to F$ is an $A$ -module map, not assumed to be bounded but satisfying $\langle Φ(x),Φ(y)\rangle_A\ =\ 0\quad\text{whenever}\quad\langle x,y\rangle_A\ =\ 0,$ then there exists a unique central positive multiplier $u\in M(I_E)$ such that $\langle Φ(x), Φ(y)\rangle_A\ =\ u \langle x, y\rangle_A\qquad (x,y\in E).$ As a consequence, $Φ$ is automatically bounded, the induced map $Φ_0: E\to \overline{Φ(E)}$ is adjointable, and $\overline{Eu^{1/2}}$ is isomorphic to $\overline{Φ(E)}$ as Hilbert $A$ -modules. If, in addition, $Φ$ is bijective, then $E$ is isomorphic to $F$ .

preprint2010arXiv

Linear orthogonality preservers of Hilbert bundles

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

preprint2007arXiv

Property (T) for non-unital C*-algebras

Inspired by the recent work of Bekka, we study two reasonable analogues of property (T) for not necessarily unital C*-algebras. The stronger one of the two is called ``property (T)'' and the weaker one is called ``property (T_{e})''. It is shown that all non-unital C*-algebras do not have property (T) (neither do their unitalizations). Moreover, all non-unital $σ$ -unital C*-algebras do not have property (T_e).

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Chi-Wai Leung

Research overview

Is this your work?

9 publications

Analytic bundle structure on the idempotent manifold

On a variant of Tingley's problem for some function spaces

The positive contractive part of a Noncommutative $L^p$ -space is a complete Jordan invariant

Transition probabilities of normal states determine the Jordan structure of a quantum system

Berkovich spectra of elements in Banach Rings

Automatic continuity and $C_0(Ω)$ -linearity of linear maps between $C_0(Ω)$ -modules

Linear orthogonality preservers of Hilbert $C^$ -modules over general $C^$ -algebras

Linear orthogonality preservers of Hilbert bundles

Property (T) for non-unital C*-algebras

See the researcher in context

Building this map preview

Chi-Wai Leung

Research overview

Is this your work?

9 publications

Analytic bundle structure on the idempotent manifold

On a variant of Tingley's problem for some function spaces

The positive contractive part of a Noncommutative LpL^pLp-space is a complete Jordan invariant

Transition probabilities of normal states determine the Jordan structure of a quantum system

Berkovich spectra of elements in Banach Rings

Automatic continuity and C0(Ω)C_0(Ω)C0​(Ω)-linearity of linear maps between C0(Ω)C_0(Ω)C0​(Ω)-modules

Linear orthogonality preservers of Hilbert C∗C^*C∗-modules over general C∗C^*C∗-algebras

Linear orthogonality preservers of Hilbert bundles

Property (T) for non-unital C*-algebras

See the researcher in context

Building this map preview

The positive contractive part of a Noncommutative $L^p$ -space is a complete Jordan invariant

Automatic continuity and $C_0(Ω)$ -linearity of linear maps between $C_0(Ω)$ -modules

Linear orthogonality preservers of Hilbert $C^$ -modules over general $C^$ -algebras