English

Adjointable maps between linear orthosets

Rings and Algebras 2025-04-07 v2 Logic

Abstract

Given an (anisotropic) Hermitian space HH, the collection P(H)P(H) of at most one-dimensional subspaces of HH, equipped with the orthogonal relation \perp and the zero linear subspace {0}\{0\}, is a linear orthoset and up to orthoisomorphism any linear orthoset of rank 4\geq 4 arises in this way. We investigate in this paper the correspondence of structure-preserving maps between Hermitian spaces on the one hand and between the associated linear orthosets on the other hand. Our particular focus is on adjointable maps. We show that, under a mild assumption, adjointable maps between linear orthosets are induced by quasilinear maps between Hermitian spaces and if the latter are linear, they are adjointable as well. Specialised versions of this correlation lead to Wigner-type theorems; we see, for instance, that orthoisomorphisms between the orthosets associated with at least 33-dimensional Hermitian spaces are induced by quasiunitary maps. In addition, we point out that orthomodular spaces of dimension 4\geq 4 can be characterised as irreducible Fr\'echet orthosets such that the inclusion map of any subspace is adjointable. Together with a transitivity condition, we may in this way describe the infinite-dimensional classical Hilbert spaces.

Keywords

Cite

@article{arxiv.2501.06105,
  title  = {Adjointable maps between linear orthosets},
  author = {Jan Paseka and Thomas Vetterlein},
  journal= {arXiv preprint arXiv:2501.06105},
  year   = {2025}
}