Categories of orthogonality spaces

From MaRDI portal
Publication:2229976

DOI10.1016/J.JPAA.2021.106859zbMATH Open1499.81009arXiv2003.03313OpenAlexW3196628277MaRDI QIDQ2229976FDOQ2229976


Authors: Jan Paseka, Thomas Vetterlein Edit this on Wikidata


Publication date: 17 September 2021

Published in: Journal of Pure and Applied Algebra (Search for Journal in Brave)

Abstract: An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a Boolean algebra. Together with the maps that preserve the Boolean structures, we are led to the category mathcalNmathcalOmathcalS of normal orthogonality spaces. Moreover, an orthogonality space of finite rank is called linear if for any two distinct elements e and f there is a third one g such that exactly one of f and g is orthogonal to e and the pairs e,f and e,g have the same orthogonal complement. Linear orthogonality spaces arise from finite-dimensional Hermitian spaces. We are led to the full subcategory mathcalLmathcalOmathcalS of mathcalNmathcalOmathcalS and we show that the morphisms are the orthogonality-preserving lineations. Finally, we consider the full subcategory mathcalEmathcalOmathcalS of mathcalLmathcalOmathcalS whose members arise from positive definite Hermitian spaces over Baer ordered star-fields with a Euclidean fixed field. We establish that the morphisms of mathcalEmathcalOmathcalS are induced by generalised semiunitary mappings.


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




Recommendations




Cites Work


Cited In (11)





This page was built for publication: Categories of orthogonality spaces

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