Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · 2611.01316

Optimal lengths of commutators of idempotents and similarity of nilpotent operators to their negatives

Mohamed Amine Aouichaoui
View original source ↗Read source document ↗Export metadata ↓

Abstract

Let $\HH$ be a complex separable infinite-dimensional Hilbert space. We prove that every operator in $\BH$ is a sum of three commutators of idempotents and a product of two such commutators. Both numbers are best possible. The same is true for differences of idempotents, for operators similar to their negatives, and for operators anticommuting with an involution. Each of these four classes therefore has additive length three and multiplicative length two. We also construct nilpotent operators of order three that are similar to their negatives but cannot be conjugated to their negatives by any bounded involution. These results answer Question~7.22(a)--(c), the question in Remark~7.17, and the question about involutions in Section~2.9 of Marcoux, Radjavi and Zhang, \emph{J. Funct. Anal.} \textbf{284} (2023), 109854.

Explore related subjects

math.FA

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Mohamed Amine Aouichaoui. 2026-10-31. Optimal lengths of commutators of idempotents and similarity of nilpotent operators to their negatives. https://arxiv.org/abs/2611.01316

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

arXiv2026

O-segments on topological measure spaces

Let $μ$ be a finite non-atomic measure on a set $X$. A \emph{segment} for $μ$ is an increasing family $u(t)$, $t\in[0,1]$, of measurable sets with $u(0)=\emptyset$, $u(1)=X$ and $μ(u(t))=t\,μ(X)$; by a theorem of Fryszkowski, finitely many measures $f\,dμ$ admit a common segment. We study \emph{open segments}, i.e.\ segments consisting of open sets, when $X$ carries a topology. We show that weak outer regularity of $μ$ is equivalent to the approximability of measurable sets by open sets, and that it holds for every finite Borel measure on a metrizable space. Our main result states that if $μ$ is finite, non-atomic and weakly outer regular, then for all $f,g\in L^1(μ)$ with $(\int f\,dμ,\int g\,dμ)\neq(0,0)$ there is a common open segment for $f\,dμ$ and $g\,dμ$; in particular, for every $f\in L^1(μ)$ there is an open segment for $μ$ which is simultaneously a segment for $f\,dμ$. Relative versions allow one to prescribe an initial set. We also characterize open segments as upper semicontinuous functions with uniform distribution and show that on separable metrizable spaces a single measure admits such a function which is continuous.

math.FA↗
arXiv2026

A Note On Majorizing Norms on Majorized Spaces

We introduce a new type of norm for ordered vector spaces majorized by a proper (convex) cone that generalizes the notions of order unit norm and base norm. Then we give sufficient conditions to ensure its completeness. In the case of normed Riesz spaces, we also present necessary completeness conditions and describe the completed norm. Finally, we define a particular family of well-behaving sets. Spaces majorized by the cone generated by these sets display surprisingly interesting structural properties. In particular, we generalize two famous standard results in Banach lattice theory. Namely, every principal ideal in a Banach lattice is an AM-space and every Banach lattice having a generating cone with a compact base admits an equivalent L-norm.

math.FA↗
arXiv2026

The Cesàro Operator, Rhaly operators, and the Toeplitz Algebra

Barr\'ıa and Halmos [\emph{Trans. Amer. Math. Soc.} (1982), (10) Example] asked whether the Cesàro operator belongs to the Toeplitz algebra. We answer this question affirmatively and prove that the Cesàro operator is the product of a Toeplitz operator and a continuous function of a self-adjoint Toeplitz operator. Rhaly operators are a natural generalization of the Cesàro operator. We give necessary and sufficient conditions for a Rhaly operator to belong to the Toeplitz algebra or the Hankel algebra. The main approach is to use the Fejér kernels to get localized estimates for operators. This yields a necessary condition for an operator to belong to the Hankel algebra. As an application, we find a class of Rhaly operators that are asymptotic Toeplitz operators and essentially commute with the unilateral shift, but are not in the Hankel algebra. This answers (17) Question in the same paper.

math.FA↗