Categories of orthogonality spaces

DOI10.1016/J.JPAA.2021.106859MaRDI QIDQ2229976zbMATH OpenOpenAlexFDO

Authors Jan Paseka, Thomas Vetterlein

Publication date 17 September 2021

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

Copyright license Creative Commons Attribution 4.0 International

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

zbMATH Keywords

undirected graphsBoolean subalgebrasgeneralised semilinear maplinear orthogonality spacesorthoclosed subsetsorthogonality spaces

Mathematics Subject Classification ID

Hilbert and pre-Hilbert spaces: geometry and topology (including spaces with semidefinite inner product) (46C05) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Complemented lattices, orthocomplemented lattices and posets (06C15)

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.

Recommendations

• Normal orthogonality spaces
• Gradual transitivity in orthogonality spaces of finite rank
• Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\)
• Orthogonality spaces of finite rank and the complex Hilbert spaces
• Orthogonality spaces arising from infinite-dimensional complex Hilbert spaces
• A characterisation of Hilbert spaces via orthogonality and proximinality
• A new description of orthogonal bases
• Publication:4730277
• Orthogonality and dimensionality
• Orthostructures from sesquilinear forms. A primer

Cites work

• scientific article; zbMATH DE number 423848 (Why is no real title available?)
• scientific article; zbMATH DE number 2132158 (Why is no real title available?)
• scientific article; zbMATH DE number 3521027 (Why is no real title available?)
• scientific article; zbMATH DE number 1517950 (Why is no real title available?)
• scientific article; zbMATH DE number 1512853 (Why is no real title available?)
• scientific article; zbMATH DE number 5214898 (Why is no real title available?)
• scientific article; zbMATH DE number 3222127 (Why is no real title available?)
• scientific article; zbMATH DE number 3348150 (Why is no real title available?)
• scientific article; zbMATH DE number 5182234 (Why is no real title available?)
• A Canonical Factorization for Graph Homomorphisms
• An Approach to Empirical Logic
• Boolean subalgebras of orthoalgebras
• Closure
• Constructions of quantum structures
• Existence of states on quantum structures
• Handbook of quantum logic and quantum structures. Quantum logic. With a foreword by Anatolij Dvurečenskij
• Homomorphisms of projective spaces and a generalized semilinear mappings
• Lectures on formally real fields
• Non-injective collineations on some sets in Desarguesian projective planes and extension of non-commutative valuations
• Orthogonality preserving transformations on the set of \(n\)-dimensional subspaces of a Hilbert space
• Orthogonality spaces of finite rank and the complex Hilbert spaces
• Partial lineations between arguesian projective spaces
• Subalgebras of orthomodular lattices
• Test spaces
• ∗ -Valuations and Ordered ∗ -Fields

Cited in

(12)

• Linear orthosets and orthogeometries
• Quantum monadic algebras
• Real-compact spaces and the real line orthogonal
• First-Order Theories of Orthogonality Structures
• scientific article; zbMATH DE number 4095725 (Why is no real title available?)
• Gradual transitivity in orthogonality spaces of finite rank
• Transitivity and homogeneity of orthosets and inner-product spaces over subfields of \(\mathbb{R}\)
• Orthogonality preserving transformations of Hilbert Grassmannians
• Orthogonality spaces associated with posets
• scientific article; zbMATH DE number 3933134 (Why is no real title available?)
• Finitary prelinear and linear orthosets
• Model categories for orthogonal calculus

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)