arXiv subjects
Publications and source records attributed to Ngai-Ching Wong.
In this note, we show that a von Neumann algebra can be written as the linking von Neumann algebra of a W*-TRO if and only if it contains no abelian direct summand. We also provide some new characterizations of nuclear TROs and $W^\ast$-exact TROs in terms of the properties of their linking algebras.
Two vectors $x, y$ in a normed vector space are parallel if there is a scalar $μ$ with $|μ| = 1$ such that $\|x+μy\| = \|x\| + \|y\|$; they form a triangle equality attaining (TEA) pair if $\|x+y\| = \|x\| + \|y\|$. In this paper, we characterize linear maps on $F^n=R^n$ or $C^n$, equipped with the $\ell_p$-norm for $p \in [1, \infty]$, preserving parallel pairs or preserving TEA pairs. Indeed, any linear map will preserve parallel pairs and TEA pairs when $1< p <\infty$. For the $\ell_1$-norm, TEA preservers form a semigroup of matrices in which each row has at most one nonzero entries; adding rank one matrices to this semigroup will be the semigroup of parallel preserves. For the $\ell_\infty$-norm, a nonzero TEA preserver, or a parallel preserver of rank greater than one, is always a multiple of an $\ell_\infty$-norm isometry, except when $F^n = R^2$. We also have a characterization for the exceptional case. The results are extended to linear maps of the infinite dimensional spaces $\ell_1(Λ)$, $c_0(Λ)$ and $\ell_\infty(Λ)$.
Two (real or complex) $m\times n$ matrices $A$ and $B$ are said to be parallel (resp. triangle equality attaining, or TEA in short) with respect to the spectral norm $\|\cdot\|$ if $\|A+ μB\| = \|A\| + \|B\|$ for some scalar $μ$ with $|μ|=1$ (resp. $μ=1$). We study linear maps $T$ on $m\times n$ matrices preserving parallel (resp. TEA) pairs, i.e., $T(A)$ and $T(B)$ are parallel (resp. TEA) whenever $A$ and $B$ are parallel (resp. TEA). It is shown that when $m,n \ge 2$ and $(m,n) \ne (2,2)$, a nonzero linear map $T$ preserving TEA pairs if and only if it is a positive multiple of a linear isometry, namely, $T$ has the form $$(1) \quad A \mapsto γUAV \quad \quad \text{or} \quad \quad (2) \quad A \mapsto γUA^{t} V \quad (\text{in this case}, m = n),$$ for a positive number $γ$, and unitary (or real orthogonal) matrices $U$ and $V$ of appropriate sizes. Linear maps preserving parallel pairs are those carrying form (1), (2), or the form $$ (3) \ A \mapsto f(A) Z$$ for a linear functional $f$ and a fixed matrix $Z$. The case when $(m,n) = (2,2)$ is more complicated. There are linear maps of $2\times 2$ matrices preserving parallel pairs or TEA pairs neither of the form (1), (2) nor (3) above. Complete characterization of such maps is given with some intricate computation and techniques in matrix groups.
Let $ϕ: A\to A$ be a (not necessarily linear, additive or continuous) map of a standard operator algebra. Suppose for any $a,b\in A$ there is an algebra automorphism $θ_{a,b}$ of $ A$ such that \begin{align*} ϕ(a)ϕ(b) = θ_{a,b}(ab). \end{align*} We show that either $ϕ$ or $-ϕ$ is a linear Jordan homomorphism. Similar results are obtained when any of the following conditions is satisfied: \begin{align*} ϕ(a) + ϕ(b) &= θ_{a,b}(a+b), \\ ϕ(a)ϕ(b)+ϕ(b)ϕ(a) &= θ_{a,b}(ab+ba), \quad\text{or} \\ ϕ(a)ϕ(b)ϕ(a) &= θ_{a,b}(aba). \end{align*} We also show that a map $ϕ: M\to M$ of a semi-finite von Neumann algebra $ M$ is a linear derivation if for every $a,b\in M$ there is a linear derivation $D_{a,b}$ of $M$ such that $$ ϕ(a)b + aϕ(b) = D_{a,b}(ab). $$
Let $\mathrm{Lip}(X)$, $\mathrm{Lip}^b(X)$, $\mathrm{Lip}^{\mathrm{loc}}(X)$ and $\mathrm{Lip}^\mathrm{pt}(X)$ be the vector spaces of Lipschitz, bounded Lipschitz, locally Lipschitz and pointwise Lipschitz (real-valued) functions defined on a metric space $(X, d_X)$, respectively. We show that if a weighted composition operator $Tf=h\cdot f\circ φ$ defines a bijection between such vector spaces preserving Lipschitz constants, local Lipschitz constants or pointwise Lipschitz constants, then $h= \pm1/α$ is a constant function for some scalar $α>0$ and $φ$ is an $α$-dilation. Let $U$ be open connected and $V$ be open, or both $U,V$ are convex bodies, in normed linear spaces $E, F$, respectively. Let $Tf=h\cdot f\circφ$ be a bijective weighed composition operator between the vector spaces $\mathrm{Lip}(U)$ and $\mathrm{Lip}(V)$, $\mathrm{Lip}^b(U)$ and $\mathrm{Lip}^b(V)$, $\mathrm{Lip}^\mathrm{loc}(U)$ and $\mathrm{Lip}^\mathrm{loc}(V)$, or $\mathrm{Lip}^\mathrm{pt}(U)$ and $\mathrm{Lip}^\mathrm{pt}(V)$, preserving the Lipschitz, locally Lipschitz, or pointwise Lipschitz constants, respectively. We show that there is a linear isometry $A: F\to E$, an $α>0$ and a vector $b\in E$ such that $φ(x)=αAx + b$, and $h$ is a constant function assuming value $\pm 1/α$. More concrete results are obtained for the special cases when $E=F=\mathbb{R}^n$, or when $U,V$ are $n$-dimensional flat manifolds.
A map $Φ$ between matrices is said to be zero product preserving if $$ Φ(A)Φ(B) = 0 \quad \text{whenever}\quad AB = 0. $$ In this paper, we give concrete descriptions of an additive/linear zero product preserver $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ between matrix algebras of different dimensions over an arbitrary field $\mathbb{F}$. In particular, we show that if $Φ$ is linear and preserves zero products then $$ Φ(A)= S\begin{pmatrix} R_1 \otimes A & 0 \cr 0 & Φ_0(A)\end{pmatrix} S^{-1}, $$ for some invertible matrices $R_1$ in ${\bf M}_k(\mathbb{F})$, $S$ in ${\bf M}_r(\mathbb{F})$ and a zero product preserving linear map $Φ_0: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_{r-nk}(\mathbb{F})$ into nilpotent matrices. If $Φ(I_n)$ is invertible, then $Φ_0$ is vacuous. In general, the structure of $Φ_0$ could be quite arbitrary, especially when $Φ_0({\bf M}_n(\mathbb{F}))$ has trivial multiplication, i.e., $Φ_0(X)Φ_0(Y) = 0$ for all $X, Y$ in ${\bf M}_n(\mathbb{F})$. We show that if $Φ_0(I_n) = 0$ or $r-nk \le n+1$, then $Φ_0({\bf M}_n(\mathbb{F}))$ indeed has trivial multiplication. More generally, we characterize subspaces ${\bf V}$ of square matrices satisfying $XY = 0$ for any $X, Y \in {\bf V}$. Similar results for double zero product preserving maps are obtained.
Let ${\bf M}_n(\mathbb{F})$ be the algebra of $n\times n$ matrices over an arbitrary field $\mathbb{F}$. We consider linear maps $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ preserving matrices annihilated by a fixed polynomial $f(x) = (x-a_1)\cdots (x-a_m)$ with $m\ge 2$ distinct zeroes $a_1, a_2, \ldots, a_m \in \mathbb{F}$; namely, $$ f(Φ(A)) = 0\quad\text{whenever} \quad f(A) = 0. $$ Suppose that $f(0)=0$, and the zero set $Z(f) =\{a_1, \dots, a_m\}$ is not an additive group. Then $Φ$ assumes the form \begin{align}\label{eq:standard} A \mapsto S\begin{pmatrix} A \otimes D_1 &&\cr & A^{T} \otimes D_2& \cr && 0_s\cr\end{pmatrix}S^{-1}, \tag{$\dagger$} \end{align} for some invertible matrix $S\in {\bf M}_r(\mathbb{F})$, invertible diagonal matrices $D_1\in {\bf M}_p(\mathbb{F})$ and $D_2\in {\bf M}_q(\mathbb{F})$, where $s=r-np-nq\geq 0$. The diagonal entries $λ$ in $D_1$ and $D_2$, as well as $0$ in the zero matrix $0_s$, are zero multipliers of $f(x)$ in the sense that $λZ(f) \subseteq Z(f)$. In general, assume that $Z(f) - a_1$ is not an additive group. If $Φ(I_n)$ commutes with $Φ(A)$ for all $A\in {\bf M}_n(\mathbb{F})$, or if $f(x)$ has a unique zero multiplier $λ=1$, then $Φ$ assumes the form \eqref{eq:standard}. The above assertions follow from the special case when $f(x) = x(x-1)=x^2-x$, for which the problem reduces to the study of linear idempotent preservers. It is shown that a linear map $Φ: {\bf M}_n(\mathbb{F}) \rightarrow {\bf M}_r(\mathbb{F})$ sending disjoint rank one idempotents to disjoint idempotents always assume the above form \eqref{eq:standard} with $D_1=I_p$ and $D_2=I_q$, unless ${\bf M}_n(\mathbb{F}) = {\bf M}_2(\mathbb{Z}_2)$.
Let $S$ be a right reversible semitopological semigroup, and let $\operatorname{LUC}(S)$ be the space of left uniformly continuous functions on $S$. Suppose that $\operatorname{LUC}(S)$ has a left invariant mean. Let $K$ be a weakly compact convex subset of a Banach space. We show that there always exists a common fixed point for any jointly weakly continuous and super asymptotically nonexpansive action of $S$ on $K$. Several variances involving the weak* compactness, the RNP, the distality of $K$ and/or the left reversibility of $S$ are also provided.
In this paper, we consider a (nonlinear) transformation $Φ$ of invertible positive elements in $C^*$-algebras which preserves the norm of any of the three fundamental means of positive elements; namely, $\|Φ(A)\mm Φ(B)\| = \|A\mm B\|$, where $\mm$ stands for the arithmetic mean $A\nabla B=(A+B)/2$, the geometric mean $A\#B=A^{1/2}(A^{-1/2}BA^{-1/2})^{1/2}A^{1/2}$, or the harmonic mean $A!B=2(A^{-1} + B^{-1})^{-1}$. Assuming that $Φ$ is surjective and preserves either the norm of the arithmetic mean or the norm of the geometric mean, we show that $Φ$ extends to a Jordan $*$-isomorphism between the underlying full algebras. If $Φ$ is surjective and preserves the norm of the harmonic mean, then we obtain the same conclusion in the special cases where the underlying algebras are $AW^*$-algebras or commutative $C^*$-algebras. In the commutative case, for a transformation $T: F(\mathrm{X})\subset C_0(\mathrm{X})_+\rightarrow C_0(\mathrm{Y})_+$, we can relax the surjectivity assumption and show that $T$ is a generalized composition operator if $T$ preserves the norm of the (arithmetic, geometric, harmonic, or in general any power) mean of any finite collection of positive functions, provided that the domain $F(\mathrm{X})$ contains sufficiently many elements to peak on compact $G_δ$ sets. When the image $T(F(\mathrm{X}))$ also contains sufficiently many elements to peak on compact $G_δ$ sets, $T$ extends to an algebra $*$-isomorphism between the underlying full function algebras.
Let $S$ be a semitopological semigroup, and let $C$ be a nonempty closed convex subset of a reflexive Banach space. Under some amenability conditions on $S$, we provide existence results of fixed points for several Bregman nonexpansive type actions $S\times C\to C$, $(s,x)\mapsto T_s x$, of $S$ on $C$. The mappings $T_s$ we discuss include those being Bregman generalized hybrid, Bregman nonspreading, and Bregman left asymptotically nonexpansive.
Let LUC$(S)$ be the space of left uniformly continuous functions on a semitopological semigroup $S$. Suppose that $S$ is right reversible and $\operatorname{LUC}(S)$ has a left invariant mean. Let $(X,d)$ be a Fréchet space. Let $τ$ be a locally convex topology of $X$ weaker than the $d$-topology such that the metric $d$ is $τ$-lower semicontinuous. Let $K$ be a $d$--separable and $τ$--compact convex subset of $X$. We show that every jointly $τ$-continuous and super asymptotically $d$-nonexpansive action $S\times K\mapsto K$ of $S$ has a common fixed point. Similar results in the locally convex space setting are provided.
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$).
Let $M_{m,n}$ be the space of $m\times n$ real or complex rectangular matrices. Two matrices $A, B \in M_{m,n}$ are disjoint if $A^*B = 0_n$ and $AB^* = 0_m$. In this paper, a characterization is given for linear maps $Φ: M_{m,n} \rightarrow M_{r,s}$ sending disjoint matrix pairs to disjoint matrix pairs, i.e., $A, B \in M_{m,n}$ are disjoint ensures that $Φ(A), Φ(B) \in M_{r,s}$ are disjoint. More precisely, it is shown that $Φ$ preserves disjointness if and only if $Φ$ is of the form $$Φ(A) = U\begin{pmatrix} A \otimes Q_1 & 0 & 0 \cr 0 & A^t \otimes Q_2 & 0 \cr 0 & 0 & 0 \cr\end{pmatrix}V$$ for some unitary matrices $U \in M_{r,r}$ and $V\in M_{s,s}$, and positive diagonal matrices $Q_1, Q_2$, where $Q_1$ or $Q_2$ may be vacuous. The result is used to characterize nonsurjective linear maps that preserve the $JB^*$-triple product, or just the zero triple product, on rectangular matrices, defined by $\{A,B,C\} = \frac{1}{2}(AB^*C+CB^*A)$. The result is also applied to characterize linear maps between rectangular matrix spaces of different sizes preserving the Schatten $p$-norms or the Ky Fan $k$-norms.
We describe the structure of all bijective maps on the cone of positive definite operators acting on a finite and at least two-dimensional complex Hilbert space which preserve the quantum $χ_α^2$-divergence for some $α\in [0,1]$. We prove that any such transformation is necessarily implemented by either a unitary or an antiunitary operator. Similar results concerning maps on the cone of positive semidefinite operators as well as on the set of all density operators are also derived.
We define type $\mathfrak{A}$, type $\mathfrak{B}$, type $\mathfrak{C}$ as well as C*-semi-finite C*-algebras. It is shown that a von Neumann algebra is a type $\mathfrak{A}$, type $\mathfrak{B}$, type $\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 $\mathfrak{A}$ (actually, type $\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 $\mathfrak{B}$. Moreover, any type $\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 $\mathfrak{C}$, and any separable purely infinite C*-algebra with stable rank one is also of type $\mathfrak{C}$. We also prove that type $\mathfrak{A}$, type $\mathfrak{B}$, type $\mathfrak{C}$ and C*-semi-finiteness are stable under taking hereditary C*-subalgebras, multiplier algebras and strong Morita equivalence. Furthermore, any C*-algebra $A$ contains a largest type $\mathfrak{A}$ closed ideal $J_\mathfrak{A}$, a largest type $\mathfrak{B}$ closed ideal $J_\mathfrak{B}$, a largest type $\mathfrak{C}$ closed ideal $J_\mathfrak{C}$ as well as a largest C*-semi-finite closed ideal $J_\mathfrak{sf}$. Among them, we have $J_\mathfrak{A} + J_\mathfrak{B}$ being an essential ideal of $J_\mathfrak{sf}$, and $J_\mathfrak{A} + J_\mathfrak{B} + J_\mathfrak{C}$ being an essential ideal of $A$. On the other hand, $A/J_\mathfrak{C}$ is always C*-semi-finite, and if $A$ is C*-semi-finite, then $A/J_\mathfrak{B}$ is of type $\mathfrak{A}$.
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 $A_{d,1}$, the largest discrete essentially infinite ideal $A_{d,\infty}$, the largest type II finite ideal $A_{II,1}$, the largest type II essentially infinite ideal $A_{II,\infty}$, and the largest type III ideal $A_{III}$ of any C*-algebra $A$ such that $A_{d,1} + A_{d,\infty} + A_{II,1} + A_{II,\infty} + A_{III}$ is an essential ideal of $A$. This "decomposition" extends the corresponding one for $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.
Let $A,B$ be C*-algebras, $B_A(0;r)$ the open ball in $A$ centered at $0$ with radius $r>0$, and $H:B_A(0;r)\to B$ an orthogonally additive holomorphic map. If $H$ is zero product preserving on positive elements in $B_A(0;r)$, we show, in the commutative case when $A=C_0(X)$ and $B=C_0(Y)$, that there exist weight functions $h_n$'s and a symbol map $φ: Y\to X$ such that $$ H(f)=\sum_{n\geq1} h_n (f\circφ)^n, \quad\forall f\in B_{C_0(X)}(0;r). $$ In the general case, we show that if $H$ is also conformal then there exist central multipliers $h_n$'s of $B$ and a surjective Jordan isomorphism $J: A\to B$ such that $$ H(a) = \sum_{n\geq1} h_n J(a)^n, \quad\forall a\in B_A(0;r). $$ If, in addition, $H$ is zero product preserving on the whole $B_A(0;r)$, then $J$ is an algebra isomorphism. %Similar conclusions hold for orthogonally additive $n$-homogeneous polynomials which are $n$-isometries.
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.