C^*-isomorphisms associated with two projections on a Hilbert C^*-module

DOI10.1007/S11401-023-0018-9zbMATH Open1528.46047arXiv2203.00827OpenAlexW4378549991MaRDI QIDQ6167101FDOQ6167101

Authors: Chunhong Fu, Qingxiang Xu, Guanjie Yan 

Publication date: 7 July 2023

Published in: Chinese Annals of Mathematics. Series B (Search for Journal in Brave)

Abstract: Motivated by two norm equations used to characterize the Friedrichs angle, this paper studies $C^{*}$-isomorphisms associated with two projections by introducing the matched triple and the semi-harmonious pair of projections. A triple $(P,Q,H)$ is said to be matched if $H$ is a Hilbert $C^{*}$-module, $P$ and $Q$ are projections on $H$ such that their infimum $PwedgeQ$ exists as an element of $mathcalL(H)$, where $mathcalL(H)$ denotes the set of all adjointable operators on $H$. The $C^{*}$-subalgebras of $mathcalL(H)$ generated by elements in $P-PwedgeQ,Q-PwedgeQ,I$ and $P,Q,PwedgeQ,I$ are denoted by $i(P,Q,H)$ and $o(P,Q,H)$, respectively. It is proved that each faithful representation $(pi,X)$ of $o(P,Q,H)$ can induce a faithful representation $(widetildepi,X)$ of $i(P,Q,H)$ such that �egin{align*}&widetilde{pi}(P-Pwedge Q)=pi(P)-pi(P)wedge pi(Q),\ &widetilde{pi}(Q-Pwedge Q)=pi(Q)-pi(P)wedge pi(Q). end{align*} When $(P,Q)$ is semi-harmonious, that is, $overlinemathcalR(P+Q)$ and $overlinemathcalR(2I-P-Q)$ are both orthogonally complemented in $H$, it is shown that $i(P,Q,H)$ and $i(I-Q,I-P,H)$ are unitarily equivalent via a unitary operator in $mathcalL(H)$. A counterexample is constructed, which shows that the same may be not true when $(P,Q)$ fails to be semi-harmonious. Likewise, a counterexample is constructed such that $(P,Q)$ is semi-harmonious, whereas $(P,I-Q)$ is not semi-harmonious. Some additional examples indicating new phenomena of adjointable operators acting on Hilbert $C^{*}$-modules are also provided.

Full work available at URL: https://arxiv.org/abs/2203.00827

Recommendations

• Hilbert \(C^*\)-modules and \(*\)-isomorphisms
• Isomorphisms of Hilbert $C^*$-modules and *-isomorphisms of related operator $C^*$-algebras.
• Isometries of Hilbert \(C^*\)-modules
• scientific article; zbMATH DE number 2074015
• Descriptions of partial isometries on Hilbert \(C^*\)-modules
• Isomorphism of Hilbert modules over stably finite \(C^*\)-algebras
• Hilbert \(C^{*}\)-modules and projective representations associated with multipliers
• Equivalent projective representations on Hilbert \(C^*\)-modules and their multipliers
• Approximate isometries in Hilbert \(C^*\)-modules
• Isometries of real Hilbert \(C^{\ast}\)-modules

zbMATH Keywords

projectionHilbert \(C^*\)-module\(C^*\)-isomorphismorthogonal complementarity

Mathematics Subject Classification ID

(C^*)-modules (46L08) General (adjoints, conjugates, products, inverses, domains, ranges, etc.) (47A05)

Cites Work

• On rings of operators. Reduction theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Inner Product Modules Over B ∗ -Algebras
• Products of orthogonal projections and polar decompositions
• Halmos' two projections theorem for Hilbert \(C^\ast\)-module operators and the Friedrichs angle of two closed submodules
• The polar decomposition for adjointable operators on Hilbert \(C^*\)-modules and centered operators
• Douglas factorization theorem revisited
• Harmonious projections and Halmos' two projections theorem for Hilbert \(C^\ast \)-module operators
• Angles in \(C^*\)-algebras

Cited In (2)

• Characterizations of the harmonious pairs of projections on a Hilbert C*-module
• Harmonious projections and Halmos' two projections theorem for Hilbert \(C^\ast \)-module operators

This page was built for publication: \(C^*\)-isomorphisms associated with two projections on a Hilbert \(C^*\)-module

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6167101)