Adjointable maps between linear orthosets
Fuente:
arXiv
Guardado en:
| Autores principales: | , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2025
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866908300785745920 |
|---|---|
| author | Paseka, Jan Vetterlein, Thomas |
| author_facet | Paseka, Jan Vetterlein, Thomas |
| contents | Given an (anisotropic) Hermitian space $H$, the collection $P(H)$ of at most one-dimensional subspaces of $H$, equipped with the orthogonal relation $\perp$ and the zero linear subspace $\{0\}$, is a linear orthoset and up to orthoisomorphism any linear orthoset of rank $\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 $3$-dimensional Hermitian spaces are induced by quasiunitary maps.
In addition, we point out that orthomodular spaces of dimension $\geq 4$ can be characterised as irreducible Fréchet 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. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2501_06105 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | Adjointable maps between linear orthosets Paseka, Jan Vetterlein, Thomas Rings and Algebras Logic 46C05, 06C15, 15A04, 51A10, 51F20 Given an (anisotropic) Hermitian space $H$, the collection $P(H)$ of at most one-dimensional subspaces of $H$, equipped with the orthogonal relation $\perp$ and the zero linear subspace $\{0\}$, is a linear orthoset and up to orthoisomorphism any linear orthoset of rank $\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 $3$-dimensional Hermitian spaces are induced by quasiunitary maps. In addition, we point out that orthomodular spaces of dimension $\geq 4$ can be characterised as irreducible Fréchet 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. |
| title | Adjointable maps between linear orthosets |
| topic | Rings and Algebras Logic 46C05, 06C15, 15A04, 51A10, 51F20 |
| url | https://arxiv.org/abs/2501.06105 |