C*-Isomorphisms Associated with Two Projections on a Hilbert C*-Module

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 P ∧ Q exists as an element of ${\cal L}(H)$, where ${\cal L}(H)$ denotes the set of all adjointable operators on H. The C*-subalgebras of ${\cal L}(H)$ generated by elements in {P − P ∧ Q, Q − P ∧ Q, I} and {P, Q, P ∧ Q, I} are denoted by i(P, Q, H) and o(P, Q, H), respectively. It is proved that each faithful representation (π, X) of o(P, Q, H) can induce a faithful representation $(\tilde \pi ,X)$ of i(P, Q, H) such that $\matrix{{\tilde \pi (P - P \wedge Q) = \pi (P) - \pi (P) \wedge \pi (Q),} \hfill \cr {\tilde \pi (Q - P \wedge Q) = \pi (Q) - \pi (P) \wedge \pi (Q).} \hfill \cr } $

When (P, Q) is semi-harmonious, that is, $\overline {{\cal R}(P + Q)} $ and $\overline {{\cal R}(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 ${\cal L}(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.

Keywords

Hilbert C*-module / Projection / Orthogonal complementarity / C*-Isomorphism

References

[1] Anoussis M, Katavolos A, Todorov I G. Angles in C*-algebras. Houston J. Math., 2011, 37: 501-517

[2] Corach G, Maestripieri A. Products of orthogonal projections and polar decompositions. Linear Algebra Appl., 2011, 434: 1594-1609

[3] Deutsch F. NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 454, 1995, Dordrecht: Kluwer Acad. Publ. Deutsch, F., The angle between subspaces of a Hilbert space. Approximation theory, wavelets and applications (Maratea, 1994), 107–130

[4] Friedrichs K. On certain inequalities and characteristic value problems for analytic functions and for functions of two variables. Trans. Amer. Math. Soc., 1937, 41(3): 321-364

[5] Lance E C. Hilbert C*-Modules–A Toolkit for Operator Algebraists, 1995, Cambridge: Cambridge University Press

[6] Liu N, Luo W, Xu Q X. The polar decomposition for adjointable operators on Hilbert C*-modules and centered operators. Adv. Oper. Theory, 2018, 3(4): 855-867

[7] Luo W, Moslehian M S, Xu Q X. Haimos’ two projections theorem for Hilbert C*-module operators and the Friedrichs angle of two closed submodules. Linear Algebra Appl., 2019, 577: 134-158

[8] Manuilov V M, Moslehian M S, Xu Q X. Douglas factorization theorem revisited. Proc. Amer. Math. Soc., 2020, 148(3): 1139-1151

[9] von Neumann J. On rings of operators. Reduction theory. Ann. of Math., 1949, 50: 401-485

[10] Paschke W L. Inner product modules over B*-algebras. Trans. Amer. Math. Soc., 1973, 182: 443-468

[11] Pedersen G K. C*-Algebras and Their Automorphism Groups, 1979, New York: Academic Press

[12] Xu Q X, Yan G J. Harmonious projections and Haimos’ two projections theorem for Hilbert C*-module operators. Linear Algebra Appl., 2020, 601: 265-284