On the relationship among three types of Birkhoff–James orthogonality

Abstract In this paper, we study three types of Birkhoff–James orthogonality in Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -modules, that is, the strong, quasi-strong, and original Birkhoff–James orthogonality. In general, the strong Birkhoff–James orthogonality is stronger than the quasi-strong Birkhoff–James orthogonality, and the quasi-strong Birkhoff–James orthogonality is stronger than the original Birkhoff–James orthogonality. Meanwhile, each reverse implication in this chain requires additional conditions. As the main results, we show that the strong and quasi-strong Birkhoff–James orthogonality are equivalent in a full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -module if and only if the underlying $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra is commutative, and that the equivalence of the quasi-strong and original Birkhoff–James orthogonality in a full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -module implies the primeness of the underlying $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra. Moreover, two examples, explaining the complexity of conditions for full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -modules in which the quasi-strong and original Birkhoff–James orthogonality are equivalent, are given in the $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra settings.

Authors

Institutions

Publication Details

Journal
Annals of Functional Analysis
Published
2026-07-30
DOI
https://doi.org/10.1007/s43034-026-00531-y
Primary Topic
Advanced Operator Algebra Research
Type
article
Field-Weighted Citation Impact
0.00

Funders

Controls
|||
ALL TIME
JAN
FEB
MAR
APR
MAY
JUN
JUL
AUG
SEP
OCT
article

On the relationship among three types of Birkhoff–James orthogonality

Koki Igarashi, Ryotaro Tanaka, Soumitra Daptari, Jumpei Nakamura
Annals of Functional Analysis
Advanced Operator Algebra Research
article

On the relationship among three types of Birkhoff–James orthogonality

Koki Igarashi, Ryotaro Tanaka, Soumitra Daptari, Jumpei Nakamura
article en

Abstract

Abstract In this paper, we study three types of Birkhoff–James orthogonality in Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -modules, that is, the strong, quasi-strong, and original Birkhoff–James orthogonality. In general, the strong Birkhoff–James orthogonality is stronger than the quasi-strong Birkhoff–James orthogonality, and the quasi-strong Birkhoff–James orthogonality is stronger than the original Birkhoff–James orthogonality. Meanwhile, each reverse implication in this chain requires additional conditions. As the main results, we show that the strong and quasi-strong Birkhoff–James orthogonality are equivalent in a full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -module if and only if the underlying $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra is commutative, and that the equivalence of the quasi-strong and original Birkhoff–James orthogonality in a full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -module implies the primeness of the underlying $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra. Moreover, two examples, explaining the complexity of conditions for full Hilbert $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -modules in which the quasi-strong and original Birkhoff–James orthogonality are equivalent, are given in the $$C^*$$ <mml:math xmlns:mml="http://www.w3.org/1998/Math/MathML"> <mml:msup> <mml:mi>C</mml:mi> <mml:mo>∗</mml:mo> </mml:msup> </mml:math> -algebra settings.

Annals of Functional AnalysisVol. 17(4)
Tokyo University of Science (JP), The University of Tokyo (JP)
Japan Society for the Promotion of Science
Openalex Percentile: Top 4%
Advanced Operator Algebra Research
AI Navigator

Ask Laika to Summarize, Analyze, and Connect papers live on the map.

Summarize Papers & Methodologies

Extract key findings, datasets, and comparative methods across publications.

Benchmark Rankings & Visual Analytics

Rank top research institutions, authors, funders, topics, and journals by Field-Weighted Citation Impact (FWCI) and paper volume with instant charts.

Connect Distant Disciplines

Bridge topological clusters on the map to find hidden collaborative intersections.