×

\(C^*\)-isomorphisms associated with two projections on a Hilbert \(C^*\)-module. (English) Zbl 1528.46047

Summary: 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 \wedge Q\) exists as an element of \(\mathcal{L}(H)\), where \(\mathcal{L}(H)\) denotes the set of all adjointable operators on \(H\). The \(C^*\)-subalgebras of \(\mathcal{L}(H)\) generated by elements in \(\{P - P \wedge Q, Q - P \wedge Q, I\}\) and \(\{P, Q, P \wedge Q, 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 \((\widetilde{\pi}, X)\) of \(i(P, Q, H)\) such that \[ \begin{aligned} \widetilde{\pi} (P - P \wedge Q) = \pi (P) - \pi (P) \wedge \pi (Q),\\ \widetilde{\pi} (Q - P \wedge Q) = \pi (Q) - \pi (P) \wedge \pi (Q). \end{aligned} \] When \((P, Q)\) is semi-harmonious, that is, \(\overline{\mathcal{R}(P + Q)}\) and \(\overline{\mathcal{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 \(\mathcal{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.

MSC:

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

References:

[1] Anoussis, M.; Katavolos, A.; Todorov, I. G., Angles in C*-algebras, Houston J. Math., 37, 501-517 (2011) · Zbl 1258.46022
[2] Corach, G.; Maestripieri, A., Products of orthogonal projections and polar decompositions, Linear Algebra Appl., 434, 1594-1609 (2011) · Zbl 1210.47001 · doi:10.1016/j.laa.2010.11.033
[3] Deutsch, F., NATO Adv. Sci. Inst. Ser. C: Math. Phys. Sci., 454 (1995), Dordrecht: Kluwer Acad. Publ., Dordrecht
[4] Friedrichs, K., On certain inequalities and characteristic value problems for analytic functions and for functions of two variables, Trans. Amer. Math. Soc., 41, 3, 321-364 (1937) · JFM 63.0364.01 · doi:10.1090/S0002-9947-1937-1501907-0
[5] Lance, E. C., Hilbert C*-Modules-A Toolkit for Operator Algebraists (1995), Cambridge: Cambridge University Press, Cambridge · Zbl 0822.46080 · doi:10.1017/CBO9780511526206
[6] Liu, N.; Luo, W.; Xu, Q. X., The polar decomposition for adjointable operators on Hilbert C*-modules and centered operators, Adv. Oper. Theory, 3, 4, 855-867 (2018) · Zbl 1406.46041 · doi:10.15352/aot.1807-1393
[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., 577, 134-158 (2019) · Zbl 1432.46045 · doi:10.1016/j.laa.2019.04.025
[8] Manuilov, V. M.; Moslehian, M. S.; Xu, Q. X., Douglas factorization theorem revisited, Proc. Amer. Math. Soc., 148, 3, 1139-1151 (2020) · Zbl 1462.47012 · doi:10.1090/proc/14757
[9] von Neumann, J., On rings of operators. Reduction theory, Ann. of Math., 50, 401-485 (1949) · Zbl 0034.06102 · doi:10.2307/1969463
[10] Paschke, W. L., Inner product modules over B*-algebras, Trans. Amer. Math. Soc., 182, 443-468 (1973) · Zbl 0239.46062
[11] Pedersen, G. K., C*-Algebras and Their Automorphism Groups (1979), New York: Academic Press, New York · Zbl 0416.46043
[12] Xu, Q. X.; Yan, G. J., Harmonious projections and Haimos’ two projections theorem for Hilbert C*-module operators, Linear Algebra Appl., 601, 265-284 (2020) · Zbl 1444.46038 · doi:10.1016/j.laa.2020.05.012
This reference list is based on information provided by the publisher or from digital mathematics libraries. Its items are heuristically matched to zbMATH identifiers and may contain data conversion errors. In some cases that data have been complemented/enhanced by data from zbMATH Open. This attempts to reflect the references listed in the original paper as accurately as possible without claiming completeness or a perfect matching.