English

Some applications of the matched projections of idempotents

Functional Analysis 2026-05-13 v3

Abstract

For every idempotent QQ on a Hilbert space HH, the matched projection m(Q)m(Q) is a well-established concept. This paper explores several applications of the matched projections. The first application addresses the distances from projections on HH to a given idempotent QQ. Using m(Q)m(Q), a complete characterization of these distances is established, covering the minimum, maximum, and intermediate values. The second application focuses on the CC^*-algebra C{Q}C^*\{Q\} generated by a single non-projection idempotent QQ. A new 4×44\times 4 block matrix representation of QQ, induced by m(Q)m(Q), yields novel formulas for QQ, leading to a full characterization of all elements in C{Q}C^*\{Q\} via explicit 4×44\times 4 block matrices. Furthermore, for each r>1r>1, a family of universal rr-idempotents is introduced. These idempotents possess a universal property distinct from known properties of projection pairs. Some necessary and sufficient conditions are provided for such universal rr-idempotents. The third application presents new characterizations of the numerical ranges. An operator version of the elliptical range theorem is established. Using a general non-projection idempotent QQ and its matched projection m(Q)m(Q), a non-quadratic operator is constructed, and its numerical range is described in detail. Additionally, another operator is introduced whose numerical range closure is not an elliptical disk, and the numerical range itself is neither closed nor open.

Keywords

Cite

@article{arxiv.2404.03433,
  title  = {Some applications of the matched projections of idempotents},
  author = {Xiaofeng Zhang and Xiaoyi Tian and Qingxiang Xu},
  journal= {arXiv preprint arXiv:2404.03433},
  year   = {2026}
}

Comments

Revisions include an update to Lemma 4.6, a revised proof of Theorem 4.7, a new Remark 4.3, and updates to References [20]--[22]