BZPEERReading, trust and collaboration for researchDiscover
Workspaces
Network
Opportunities
Account
Researcher profile
Gary Weiss contributes to research discovery and scholarly infrastructure.
Trust snapshot
Actions
Identity and collaboration
Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.
Log in to claimDirect collaboration
Claim this author entity first to unlock direct invitations.
Research graph
Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
It is well-known that $AB$ and $BA$ are similar when $A$ and $B$ are complex square Hermitian matrices. In this note we answer a question of F. Zhang by demonstrating that similarity can fail if $A$ is Hermitian and $B$ is normal. Perhaps surprisingly, similarity does hold when $A$ is positive semidefinite and $B$ is normal.
Denote by $U_{\mathcal I}({\mathcal H})$ the group of all unitary operators in ${\bf 1}+{\mathcal I}$ where ${\mathcal H}$ is a separable infinite-dimensional complex Hilbert space and ${\mathcal I}$ is any two-sided ideal of ${\mathcal B}({\mathcal H})$. A Cartan subalgebra ${\mathcal C}$ of ${\mathcal I}$ is defined in this paper as a maximal abelian self-adjoint subalgebra of~${\mathcal I}$ and its conjugacy class is defined herein as the set of Cartan subalgebras $\{V{\mathcal C} V^*\mid V\in U_{\mathcal I}({\mathcal H})\}$. For nonzero proper ideals ${\mathcal I}$ we construct an uncountable family of Cartan subalgebras of ${\mathcal I}$ with distinct conjugacy classes. This is in contrast to the by now classical observation of P. de La Harpe who noted that when ${\mathcal I}$ is any of the Schatten ideals, there is precisely one conjugacy class under the action of the full group of unitary operators on~${\mathcal B}$. In the case when ${\mathcal I}$ is a symmetrically normed ideal and is the dual of some Banach space, we show how the conjugacy classes of the Cartan subalgebras of ${\mathcal I}$ become smooth manifolds modeled on suitable Banach spaces. These manifolds are endowed with groups of smooth transformations given by the action of the group $U_{\mathcal I}({\mathcal H})$ on the orbits, and are equivariantly diffeomorphic to each other. We then find that there exists a unique diffeomorphism class of full flag manifolds of $U_{\mathcal I}({\mathcal H})$ and we give its construction.
A sequel to \cite{gW05}, we address again the single commutator problem \cite{PT71} of Pearcy and Topping: Is every compact operator a single commutator of compact operators? by focusing on a 35 year old test question for this posed in 1976 by the last named author and others: Are there any strictly positive operators that are single commutators of compact operators? The latter we settle here affirmatively with a modest modification of Anderson's fundamental construction \cite{jA77} constructing compact operators whose commutator is a rank one projection. Moreover we provide here a rich class of such strictly positive operators that are commutators of compact operators and pose a question for the rest. We explain also how these methods are related to the study of staircase matrix forms, their equivalent block tri-diagonal forms, and commutator problems. In particular, we present the original test question and solution that led to the negative solution of the Pearcy-Topping question on whether or not every trace class trace zero operator was a commutator (or linear combination of commutators) of Hilbert-Schmidt operators. And we show how this evolved from staircase form considerations along with a Larry Brown result on trace connections to ideals \cite{lB94} which itself is at the core of \cite[Section 7]{DFWW}. The omission in \cite{gW05} of this important 35 year old test question was inadvertent and we correct that in this paper. This sequel starts where [ibid] left off but can be read independently of [ibid]. The present paper also has a section on self-commutator equations $[X^*,X]=A$ within the framework of some classical operator Lie algebras. That problem was solved by Fan and Fong (1980) for the full algebra of compact operators, and we solve it here for the complex symplectic Lie algebra of compact operators and for complex semisimple Lie algebras.
In the framework of operator theory, we investigate a close Lie theoretic relationship between all operator ideals and certain classical groups of invertible operators that can be described as the solution sets of certain algebraic equations, hence can be regarded as infinite-dimensional linear algebraic groups. Historically, this has already been done for only the complete-norm ideals; in that case one can work within the framework of the well-known Lie theory for Banach-Lie groups. That kind of Lie theory is not applicable for arbitrary operator ideals, so we needed to find a new approach for dealing with the general situation. The simplest instance of the aforementioned relationship is provided by the Lie algebra $\ug_{\Ic}(\Hc)=\{X\in\Ic\mid X^*=-X\}$ associated with the group $\U_{\Ic}(\Hc)=\U(\Hc)\cap(\1+\Ic)$ where $\Ic$ is an arbitrary operator ideal in $\Bc(\Hc)$ and $\U(\Hc)$ is the full group of unitary operators. We investigate the Cartan subalgebras (maximal abelian self-adjoint subalgebras) of $\ug_{\Ic}(\Hc)$ for $\{0\}\subsetneqq\Ic\subsetneqq\Bc(\Hc)$, and obtain an uncountably many $\U_{\Ic}(\Hc)$-conjugacy classes of these Cartan subalgebras. The cardinality proof will be given in a follow up paper \cite{BPW13} and stands in contrast to the $\U(\Hc)$-uniqueness work of de la Harpe \cite{dlH72}.