Source author record

Chi-Keung Ng

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

ResearcherUnclaimed source record

Catalog footprint

Research overview

18works
11topics
4close collaborators

Published work

18 publications

preprint2022arXiv

Dual spaces of operator systems

This article is to give an infinite dimensional analogue of a result of Choi and Effros. We say that an (not necessarily unital) operator system TT is \emph{dualizable} if one can find an equivalent dual matrix norm on the dual space T∗T^* such that under this dual matrix norm and the canonical dual matrix cone, T∗T^* becomes a dual operator system. We show that "a complete" operator system TT is dualizable if and only if M∞(T)saM_\infty(T)^\mathrm{sa} satisfies a bounded decomposition property. In this case, ∥f∥d:=sup⁡{∥[fi,j(xk,l)]∥:x∈Mn(T)+;∥x∥≤1;n∈N},\|f\|^\mathrm{d}:= \sup \big\{\big\|[f_{i,j}(x_{k,l})]\big\|: x\in M_n(T)^+; \|x\|\leq 1; n\in \mathbb{N}\big\}, is the largest dual matrix norm that is equivalent to and dominated by the original dual matrix norm on T∗T^* that turns it into a dual operator system, denoted by TdT^\mathrm{d}. TdT^\mathrm{d} is again dualizable. For every completely positive completely bounded map ϕ:S→Tϕ:S\to T between dualizable operator systems, there is a unique weak-∗^*-continuous completely positive completely bounded map ϕd:Td→Sdϕ^\mathrm{d}:T^\mathrm{d} \to S^\mathrm{d} which is compatible with the dual map ϕ∗ϕ^*. This gives a full and faithful functor from the category of dualizable operator systems to that of dualizable dual operator systems. Moreover, we will verify that that if SS is either a C∗C^*-algebra or a unital operator system, then SS is dualizable and the canonical weak-∗^*-homeomorphism from the unital operator system S∗∗S^{**} to the operator system (Sd)d(S^\mathrm{d})^\mathrm{d} is a completely isometric complete order isomorphism. Furthermore, the category of C∗C^*-algebras and that of unital "complete" operator systems can be regarded as full subcategories of the category of dual operator systems.

preprint2022arXiv

Non-unital operator systems that are dual spaces

We will give an abstract characterization of an arbitrary self-adjoint weak∗^*-closed subspace of L(H)\mathcal{L}(H) (equipped with the induced matrix norm, the induced matrix cone and the induced weak∗^*-topology). In order to do this, we obtain a matrix analogues of a result of Bonsall for ∗^*-operator spaces equipped with closed matrix cones. On our way, we observe that for a ∗^*-vector XX equipped with a matrix cone (in particular, when XX is an operator system or the dual space of an operator system), a linear map ϕ:X→Mnϕ:X\to M_n is completely positive if and only if linear functional [xi,j]i,j↦∑i,j=1nϕ(xi,j)i,j[x_{i,j}]_{i,j}\mapsto \sum_{i,j=1}^n ϕ(x_{i,j})_{i,j} on Mn(X)M_n(X) is positive.

preprint2020arXiv

Analytic bundle structure on the idempotent manifold

Let XX be a (real or complex) Banach space, and I(X)\mathcal{I}(X) be the set of all (non-zero and non-identity) idempotents; i.e., bounded linear operators on XX whose squares equal themselves. We show that the Banach submanifold I(X)\mathcal{I}(X) of L(X)\mathcal{L}(X) is a locally trivial analytic affine-Banach bundle over the Grassmann manifold G(X)\mathscr{G}(X), via the map κκ that sends Q∈I(X)Q\in \mathcal{I}(X) to Q(X)Q(X), such that the affine-Banach space structure on each fiber is the one induced from L(X)\mathcal{L}(X) (in particular, every fiber is an affine-Banach subspace of L(X)\mathcal{L}(X)). Using this, we show that if KK is a real Hilbert space, then the assignment (E,T)↦T∗∘PE⊥+PE, where E∈G(K) and T∈L(E,E⊥),(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, T(G(K))\mathbf{T}(\mathscr{G}(K)), of G(K)\mathscr{G}(K) onto I(K)\mathcal{I}(K) (here, E⊥E^\bot is the orthogonal complement of EE, PE∈L(K)P_E\in \mathcal{L}(K) is the orthogonal projection onto EE, and T∗T^* is the adjoint of TT). 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 (Ω,A,μ)(Ω, \mathfrak{A}, μ) and (Γ,B,ν)(Γ, \mathfrak{B}, ν) be two arbitrary measure spaces, and p∈[1,∞]p\in [1,\infty]. Set Lp(μ)+sp:={f∈Lp(μ):∥f∥p=1;f≥0 μ-a.e.}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 Lp(μ)L^p(μ). We show that every metric preserving bijection Φ:Lp(μ)+sp→Lp(ν)+spΦ: L^p(μ)_+^\mathrm{sp} \to L^p(ν)_+^\mathrm{sp} can be extended (necessarily uniquely) to an isometric order isomorphism from Lp(μ)L^p(μ) onto Lp(ν)L^p(ν). A Lamperti form, i.e., a weighted composition like form, of ΦΦ is provided, when (Γ,B,ν)(Γ, \mathfrak{B}, ν) is localizable (in particular, when it is σσ-finite). On the other hand, we show that for compact Hausdorff spaces XX and YY, if ΦΦ is a metric preserving bijection from the positive part of the unit sphere of C(X)C(X) to that of C(Y)C(Y), then there is a homeomorphism τ:Y→Xτ:Y\to X satisfying Φ(f)(y)=f(τ(y))Φ(f)(y) = f(τ(y)) (f∈C(X)+sp;y∈Yf\in C(X)_+^\mathrm{sp}; y\in Y).

preprint2016arXiv

A Murray-von Neumann type classification of C∗C^*-algebras

We define type A\mathfrak{A}, type B\mathfrak{B}, type C\mathfrak{C} as well as C*-semi-finite C*-algebras. It is shown that a von Neumann algebra is a type A\mathfrak{A}, type B\mathfrak{B}, type C\mathfrak{C} or C*-semi-finite C*-algebra if and only if it is, respectively, a type I, type II, type III or semi-finite von Neumann algebra. Any type I C*-algebra is of type A\mathfrak{A} (actually, type A\mathfrak{A} coincides with the discreteness as defined by Peligrad and Zsido), and any type II C*-algebra (as defined by Cuntz and Pedersen) is of type B\mathfrak{B}. Moreover, any type C\mathfrak{C} C*-algebra is of type III (in the sense of Cuntz and Pedersen). Furthermore, any purely infinite C*-algebra (in the sense of Kirchberg and Rordam) with real rank zero is of type C\mathfrak{C}, and any separable purely infinite C*-algebra with stable rank one is also of type C\mathfrak{C}. We also prove that type A\mathfrak{A}, type B\mathfrak{B}, type C\mathfrak{C} and C*-semi-finiteness are stable under taking hereditary C*-subalgebras, multiplier algebras and strong Morita equivalence. Furthermore, any C*-algebra AA contains a largest type A\mathfrak{A} closed ideal JAJ_\mathfrak{A}, a largest type B\mathfrak{B} closed ideal JBJ_\mathfrak{B}, a largest type C\mathfrak{C} closed ideal JCJ_\mathfrak{C} as well as a largest C*-semi-finite closed ideal JsfJ_\mathfrak{sf}. Among them, we have JA+JBJ_\mathfrak{A} + J_\mathfrak{B} being an essential ideal of JsfJ_\mathfrak{sf}, and JA+JB+JCJ_\mathfrak{A} + J_\mathfrak{B} + J_\mathfrak{C} being an essential ideal of AA. On the other hand, A/JCA/J_\mathfrak{C} is always C*-semi-finite, and if AA is C*-semi-finite, then A/JBA/J_\mathfrak{B} is of type A\mathfrak{A}.

preprint2016arXiv

On the decomposition into Discrete, type II and type III C∗C^*-algebras

We obtained a "decomposition scheme" of C*-algebras. We show that the classes of discrete C*-algebras (as defined by Peligard and Zsido), type II C*-algebras and type III C*-algebras (both defined by Cuntz and Pedersen) form a good framework to "classify" C*-algebras. In particular, we found that these classes are closed under strong Morita equivalence, hereditary C*-subalgebras as well as taking "essential extension" and "normal quotient". Furthermore, there exist the largest discrete finite ideal Ad,1A_{d,1}, the largest discrete essentially infinite ideal Ad,∞A_{d,\infty}, the largest type II finite ideal AII,1A_{II,1}, the largest type II essentially infinite ideal AII,∞A_{II,\infty}, and the largest type III ideal AIIIA_{III} of any C*-algebra AA such that Ad,1+Ad,∞+AII,1+AII,∞+AIIIA_{d,1} + A_{d,\infty} + A_{II,1} + A_{II,\infty} + A_{III} is an essential ideal of AA. This "decomposition" extends the corresponding one for W∗W^*-algebras. We also give a closer look at C*-algebras with Hausdorff primitive spectrum, AW*-algebras as well as local multiplier algebras of C*-algebras. We find that these algebras can be decomposed into continuous fields of prime C*-algebras over a locally compact Hausdorff space, with each fiber being non-zero and of one of the five types mentioned above.

preprint2015arXiv

A property for locally convex ∗^*-algebras related to Property (T)(T) and character amenability

For a locally convex ∗^*-algebra AA equipped with a fixed continuous ∗^*-character ε\varepsilon, we define a cohomological property, called property (FH)(FH), which is similar to character amenability. Let Cc(G)C_c(G) be the space of continuous functions on a second countable locally compact group GG with compact supports, equipped with the convolution ∗^*-algebra structure and a certain inductive topology. We show that (Cc(G),εG)(C_c(G), \varepsilon_G) has property (FH)(FH) if and only if GG has property (T)(T). On the other hand, many Banach algebras equipped with canonical characters have property (FH)(FH) (e.g., those defined by a nice locally compact quantum group). Furthermore, through our studies on both property (FH)(FH) and character amenablility, we obtain characterizations of property (T)(T), amenability and compactness of GG in terms of the vanishing of one-sided cohomology of certain topological algebras, as well as in terms of fixed point properties. These characterizations can be regarded as analogues of one another. Moreover, we show that GG is compact if and only if the normed algebra {f∈Cc(G):∫Gf(t)dt=0}\big\{f\in C_c(G): \int_G f(t)dt =0\big\} (under ∥⋅∥L1(G)\|\cdot\|_{L^1(G)}) admits a bounded approximate identity with the supports of all its elements being contained in a common compact set.

preprint2015arXiv

Property TT for general locally compact quantum groups

In this short article, we obtained some equivalent formulations of property TT for a general locally compact quantum group G\mathbb{G}, in terms of the full quantum group C∗C^*-algebras C0u(G^)C_0^\mathrm{u}(\widehat{\mathbb{G}}) and the ∗*-representation of C0u(G^)C_0^\mathrm{u}(\widehat{\mathbb{G}}) associated with the trivial unitary corepresentation (that generalize the corresponding results for locally compact groups). Moreover, if G\mathbb{G} is of Kac type, we show that G\mathbb{G} has property TT if and only if every finite dimensional irreducible ∗*-representation of C0u(G^)C_0^\mathrm{u}(\widehat{\mathbb{G}}) is an isolated point in the spectrum of C0u(G^)C_0^\mathrm{u}(\widehat{\mathbb{G}}) (this also generalizes the corresponding locally compact group result). In addition, we give a way to construct property TT discrete quantum groups using bicrossed products.

preprint2015arXiv

Property TT of reduced C∗C^*-crossed products by discrete groups

We generalize the main result of Kamalov and show that if GG is an amenable discrete group with an action αα on a finite nuclear unital C∗C^*-algebra AA such that the reduced crossed product A⋊α,rGA\rtimes_{α,r} G has property TT, then GG is finite and AA is finite dimensional. As an application, an infinite discrete group HH is non-amenable if and only if the uniform Roe algebra Cu∗(H)C^*_u(H) has property TT.

preprint2015arXiv

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

Let Φ:S(M1)→S(M2)Φ:\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 M1M_1 and M2M_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 PUP_U, the Raggio transition probability PBP_B and an "asymmetric transition probability" P0P_0 as defined in this article. It is shown that the two systems are isomorphic, i.e. M1M_1 and M2M_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(Φ(μ),Φ(ν))=0if and only ifP(μ,ν)=0, P\big(Φ(μ),Φ(ν)\big) = 0 \quad \text{if and only if} \quad P(μ,ν)=0, where PP stands for PUP_U (respectively, PRP_R or P0P_0). Furthermore, as an extension of Wigner's theorem, it is shown that there is a Jordan ∗^*-isomorphism Θ:M2→M1Θ:M_2\to M_1 with Φ=Θ∗∣S(M1)Φ= Θ^*|_{\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Σ_a for an element aa in an ultrametric Banach algebra (as defined by Berkovich), we introduce and briefly study the Berkovich spectrum σRBer(u)σ^{Ber}_R(u) of an element uu in a Banach ring RR. This spectrum is a compact subset of the affine analytic space AZ1A_Z^1 over ZZ, and the later can be identified with the "equivalence classes" of all elements in all complete valuation fields. If RR is generated by uu as a unital Banach ring, then σRBer(u)σ^{Ber}_R(u) coincides with the spectrum of RR (as defined by Berkovich). If RR is a unital complex Banach algebra, then σRBer(u)σ^{Ber}_R(u) is the "folding up" of the usual spectrum σB(u)σ_B(u) alone the real axis. For a non-Archimedean complete valuation field kk and an infinite dimensional ultrametric kk-Banach space EE with an orthogonal base, if u∈L(E)u\in L(E) is a completely continuous operator, we show that many different ways to define the spectrum of uu give the same compact set σL(E)Ber(u)σ^{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⋅u)\det(1- t\cdot u) (as defined by Serre) in complete valuation field extensions of kk. 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 kk.

preprint2013arXiv

Spectral gap actions and invariant states

We define spectral gap actions of discrete groups on von Neumann algebras and study their relations with invariant states. We will show that a finitely generated ICC group ΓΓ is inner amenable if and only if there exist more than one inner invariant states on the group von Neumann algebra L(Γ)L(Γ). Moreover, a countable discrete group ΓΓ has property (T)(T) if and only if for any action αα of ΓΓ on a von Neumann algebra NN, every αα-invariant state on NN is a weak-∗^*-limit of a net of normal αα-invariant states.

preprint2011arXiv

On genuine infinite algebraic tensor products

A genuine infinite tensor product of complex vector spaces is a vector space ⨂i∈IXi{\bigotimes}_{i\in I} X_i whose linear maps coincide with multilinear maps on an infinite family {Xi}i∈I\{X_i\}_{i\in I} of vector spaces. We give a direct sum decomposition of ⨂i∈IXi{\bigotimes}_{i\in I} X_i over a set ΩI;XΩ_{I;X}, through which we obtain a more concrete description and some properties of ⨂i∈IXi{\bigotimes}_{i\in I} X_i. If {Ai}i∈I\{A_i\}_{i\in I} is a family of unital ∗^*-algebras, we define, through a subgroup ΩI;Aut⊆ΩI;AΩ^{\rm ut}_{I;A}\subseteq Ω_{I;A}, an interesting subalgebra ⨂i∈IutAi{\bigotimes}_{i\in I}^{\rm ut} A_i. Moreover, it is shown that ⨂i∈IutC{\bigotimes}_{i\in I}^{\rm ut} \mathbb{C} is the group algebra of ΩI;CutΩ^{\rm ut}_{I;\mathbb{C}}. In general, ⨂i∈IutAi{\bigotimes}_{i\in I}^{\rm ut} A_i can be identified with the algebraic crossed product of a cocycle twisted action of ΩI;AutΩ^{\rm ut}_{I;A}. If {Hi}i∈I\{H_i\}_{i\in I} is a family of inner-product spaces, we define a Hilbert C∗(ΩI;Cut)C^*(Ω^{\rm ut}_{I;\mathbb{C}})-module ⨂ˉi∈ImodHi\bar\bigotimes^{\rm mod}_{i\in I} H_i, which is the completion of a subspace ⨂i∈IunitHi{\bigotimes}_{i\in I}^{\rm unit} H_i of ⨂i∈IHi{\bigotimes}_{i\in I} H_i. If χΩI;Cutχ_{Ω^{\rm ut}_{I;\mathbb{C}}} is the canonical tracial state on C∗(ΩI;Cut)C^*(Ω^{\rm ut}_{I;\mathbb{C}}), then ⨂ˉi∈ImodHi⊗χΩI;CutC\bar\bigotimes^{\rm mod}_{i\in I} H_i\otimes_{χ_{Ω^{\rm ut}_{I;\mathbb{C}}}}\mathbb{C} is a natural dilation of the infinite direct product ∏⊗i∈IHi\prod {{\otimes}_{i\in I}} H_i as defined by J. von Neumann. We will show that the canonical representation of ⨂i∈IutL(Hi){\bigotimes}_{i\in I}^{\rm ut} \mathcal{L}(H_i) on ⨂ˉi∈Iϕ1Hi\bar\bigotimes^{ϕ_1}_{i\in I} H_i is injective. We will also show that if {Ai}i∈I\{A_i\}_{i\in I} is a family of unital Hilbert algebras, then so is ⨂i∈IutAi{\bigotimes}_{i\in I}^{\rm ut} A_i.

preprint2010arXiv

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

Let ΩΩ be a locally compact Hausdorff space. We show that any local C\mathbb{C}-linear map (where "local" is a weaker notion than C0(Ω)C_0(Ω)-linearity) between Banach C0(Ω)C_0(Ω)-modules are "nearly C0(Ω)C_0(Ω)-linear" and "nearly bounded". As an application, a local C\mathbb{C}-linear map θθ between Hilbert C0(Ω)C_0(Ω)-modules is automatically C0(Ω)C_0(Ω)-linear. If, in addition, ΩΩ contains no isolated point, then any C0(Ω)C_0(Ω)-linear map between Hilbert C0(Ω)C_0(Ω)-modules is automatically bounded. Another application is that if a sequence of maps {θn}\{θ_n\} between two Banach spaces "preserve c0c_0-sequences" (or "preserve ultra-c0c_0-sequences"), then θnθ_n is bounded for large enough nn and they have a common bound. Moreover, we will show that if θθ is a bijective "biseparating" linear map from a "full" essential Banach C0(Ω)C_0(Ω)-module EE into a "full" Hilbert C0(Δ)C_0(Δ)-module FF (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⋅φ)=θ(e)⋅φ∘σθ(e\cdot φ) = θ(e)\cdot φ\circ σ (e∈E,φ∈C0(Ω)e\in E, φ\in C_0(Ω)).

preprint2010arXiv

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

As a partial generalisation of the Uhlhorn theorem to Hilbert C∗C^*-modules, we show in this article that the module structure and the orthogonality structure of a Hilbert C∗C^*-module determine its Hilbert C∗C^*-module structure. In fact, we have a more general result as follows. Let AA be a C∗C^*-algebra, EE and FF be Hilbert AA-modules, and IEI_E be the ideal of AA generated by {⟨x,y⟩A:x,y∈E}\{\langle x,y\rangle_A: x,y\in E\}. If Φ:E→FΦ: E\to F is an AA-module map, not assumed to be bounded but satisfying ⟨Φ(x),Φ(y)⟩A = 0whenever⟨x,y⟩A = 0, \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∈M(IE)u\in M(I_E) such that ⟨Φ(x),Φ(y)⟩A = u⟨x,y⟩A(x,y∈E). \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→Φ(E)‾Φ_0: E\to \overline{Φ(E)} is adjointable, and Eu1/2‾\overline{Eu^{1/2}} is isomorphic to Φ(E)‾\overline{Φ(E)} as Hilbert AA-modules. If, in addition, ΦΦ is bijective, then EE is isomorphic to FF.

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

Research graph

See the researcher in context

Open full explorer

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.