Skew-Hermitian operators in real Banach spaces of self-adjoint compact operators
Authors:
B. Aminov,
Vladimir Chilin
Abstract:
Let $\mathcal H$ be a complex infinite-dimensional separable Hilbert space, and let $\mathcal K(\mathcal H)$ be the $C^*$-algebra of compact linear operators in $\mathcal H$. Let $(E,\|\cdot\|_E)$ be a symmetric sequence space. If $\{μ(n,x)\}$ are the singular values of $x\in\mathcal K(\mathcal H)$, let $\mathcal C_E=\{x\in\mathcal K(\mathcal H): \{μ(n,x)\}\in E\}$ with…
▽ More
Let $\mathcal H$ be a complex infinite-dimensional separable Hilbert space, and let $\mathcal K(\mathcal H)$ be the $C^*$-algebra of compact linear operators in $\mathcal H$. Let $(E,\|\cdot\|_E)$ be a symmetric sequence space. If $\{μ(n,x)\}$ are the singular values of $x\in\mathcal K(\mathcal H)$, let $\mathcal C_E=\{x\in\mathcal K(\mathcal H): \{μ(n,x)\}\in E\}$ with $\|x\|_{\mathcal C_E}=\|\{μ(n,x)\}\|_E$, $x\in\mathcal C_E$, be the Banach ideal of compact operators generated by $E$. Let $\mathcal C_E^h=\{x\in\mathcal C_E : x=x^*\}$ be the real Banach subspace of self-adjoint operators in $(\mathcal C_E, \|\cdot\|_{\mathcal C_E})$. We show that in the case when $\mathcal C_E$ is a separable or perfect Banach symmetric ideal, $\mathcal C_E \neq \mathcal C_{l_2}$, for any skew-Hermitian operator $H\colon\mathcal C_E^h \to \mathcal C_E^h$ there exists self-adjoint bounded linear operator $a$ in $\mathcal H$ such that $H(x)=i(xa - ax)$ for all $x\in\mathcal C_E^h$.
△ Less
Submitted 14 July, 2019;
originally announced July 2019.
Isometries of perfect norm ideals of compact operators
Authors:
Behzod Aminov,
Vladimir Chilin
Abstract:
It is proved that for every surjective linear isometry $V$ on a perfect Banach symmetric ideal $\mathcal C_E\neq \mathcal C_2$ of compact operators, acting in a complex separable infnite-dimensional Hilbert space $\mathcal H$ there exist unitary operators $u$ and $v$ on $\mathcal H$ such that $V(x)=uxv$ or $V(x) = ux^tv$ for all $x\in \mathcal C_E$, where $x^t$ is the transpose of an operator $x$…
▽ More
It is proved that for every surjective linear isometry $V$ on a perfect Banach symmetric ideal $\mathcal C_E\neq \mathcal C_2$ of compact operators, acting in a complex separable infnite-dimensional Hilbert space $\mathcal H$ there exist unitary operators $u$ and $v$ on $\mathcal H$ such that $V(x)=uxv$ or $V(x) = ux^tv$ for all $x\in \mathcal C_E$, where $x^t$ is the transpose of an operator $x$ with respect to a fixed orthonormal basis in $\mathcal H$. In addition, it is shown that any surjective 2-local isometry on a perfect Banach symmetric ideal $\mathcal C_E \neq \mathcal C_2$ is a linear isometry on $\mathcal C_E$.
△ Less
Submitted 4 March, 2017;
originally announced March 2017.