{"title":"希尔伯特域上二次空间的正交关系表征。","authors":"Miroslav Korbelář, Jan Paseka, Thomas Vetterlein","doi":"10.1007/s00022-025-00772-7","DOIUrl":null,"url":null,"abstract":"<p><p>An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space <i>H</i>, we may associate the orthoset <math><mrow><mo>(</mo> <mi>P</mi> <mo>(</mo> <mi>H</mi> <mo>)</mo> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> , consisting of the set of one-dimensional subspaces of <i>H</i> and the usual orthogonality relation. <math><mrow><mo>(</mo> <mi>P</mi> <mo>(</mo> <mi>H</mi> <mo>)</mo> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> determines <i>H</i> essentially uniquely.We characterise in this paper certain kinds of Hermitian spaces by imposing transitivity and minimality conditions on their associated orthosets. By gradually considering stricter conditions, we restrict the discussion to a narrower and narrower class of Hermitian spaces. Ultimately, our interest lies in quadratic spaces over countable subfields of <math><mi>R</mi></math> .A line of an orthoset is the orthoclosure of two distinct elements. For an orthoset to be line-symmetric means roughly that its automorphism group acts transitively both on the collection of all lines as well as on each single line. Line-symmetric orthosets turn out to be in correspondence with transitive Hermitian spaces. Furthermore, quadratic orthosets are defined similarly, but are required to possess, for each line , a group of automorphisms acting on transitively and commutatively. We show the correspondence of quadratic orthosets with transitive quadratic spaces over ordered fields. We finally specify those quadratic orthosets that are, in a natural sense, minimal: for a finite <math><mrow><mi>n</mi> <mo>⩾</mo> <mn>4</mn></mrow> </math> , the orthoset <math><mrow><mo>(</mo> <mi>P</mi> <mrow><mo>(</mo> <msup><mi>R</mi> <mi>n</mi></msup> <mo>)</mo></mrow> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> , where <i>R</i> is the Hilbert field, has the property of being embeddable into any other quadratic orthoset of rank <i>n</i>.</p>","PeriodicalId":15854,"journal":{"name":"Journal of Geometry","volume":"116 3","pages":"33"},"PeriodicalIF":0.5000,"publicationDate":"2025-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12446126/pdf/","citationCount":"0","resultStr":"{\"title\":\"Characterisation of quadratic spaces over the Hilbert field by means of the orthogonality relation.\",\"authors\":\"Miroslav Korbelář, Jan Paseka, Thomas Vetterlein\",\"doi\":\"10.1007/s00022-025-00772-7\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p><p>An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space <i>H</i>, we may associate the orthoset <math><mrow><mo>(</mo> <mi>P</mi> <mo>(</mo> <mi>H</mi> <mo>)</mo> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> , consisting of the set of one-dimensional subspaces of <i>H</i> and the usual orthogonality relation. <math><mrow><mo>(</mo> <mi>P</mi> <mo>(</mo> <mi>H</mi> <mo>)</mo> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> determines <i>H</i> essentially uniquely.We characterise in this paper certain kinds of Hermitian spaces by imposing transitivity and minimality conditions on their associated orthosets. By gradually considering stricter conditions, we restrict the discussion to a narrower and narrower class of Hermitian spaces. Ultimately, our interest lies in quadratic spaces over countable subfields of <math><mi>R</mi></math> .A line of an orthoset is the orthoclosure of two distinct elements. For an orthoset to be line-symmetric means roughly that its automorphism group acts transitively both on the collection of all lines as well as on each single line. Line-symmetric orthosets turn out to be in correspondence with transitive Hermitian spaces. Furthermore, quadratic orthosets are defined similarly, but are required to possess, for each line , a group of automorphisms acting on transitively and commutatively. We show the correspondence of quadratic orthosets with transitive quadratic spaces over ordered fields. We finally specify those quadratic orthosets that are, in a natural sense, minimal: for a finite <math><mrow><mi>n</mi> <mo>⩾</mo> <mn>4</mn></mrow> </math> , the orthoset <math><mrow><mo>(</mo> <mi>P</mi> <mrow><mo>(</mo> <msup><mi>R</mi> <mi>n</mi></msup> <mo>)</mo></mrow> <mo>,</mo> <mo>⊥</mo> <mo>)</mo></mrow> </math> , where <i>R</i> is the Hilbert field, has the property of being embeddable into any other quadratic orthoset of rank <i>n</i>.</p>\",\"PeriodicalId\":15854,\"journal\":{\"name\":\"Journal of Geometry\",\"volume\":\"116 3\",\"pages\":\"33\"},\"PeriodicalIF\":0.5000,\"publicationDate\":\"2025-01-01\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"https://www.ncbi.nlm.nih.gov/pmc/articles/PMC12446126/pdf/\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Journal of Geometry\",\"FirstCategoryId\":\"1085\",\"ListUrlMain\":\"https://doi.org/10.1007/s00022-025-00772-7\",\"RegionNum\":0,\"RegionCategory\":null,\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"2025/9/18 0:00:00\",\"PubModel\":\"Epub\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Journal of Geometry","FirstCategoryId":"1085","ListUrlMain":"https://doi.org/10.1007/s00022-025-00772-7","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"2025/9/18 0:00:00","PubModel":"Epub","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
Characterisation of quadratic spaces over the Hilbert field by means of the orthogonality relation.
An orthoset is a set equipped with a symmetric, irreflexive binary relation. With any (anisotropic) Hermitian space H, we may associate the orthoset , consisting of the set of one-dimensional subspaces of H and the usual orthogonality relation. determines H essentially uniquely.We characterise in this paper certain kinds of Hermitian spaces by imposing transitivity and minimality conditions on their associated orthosets. By gradually considering stricter conditions, we restrict the discussion to a narrower and narrower class of Hermitian spaces. Ultimately, our interest lies in quadratic spaces over countable subfields of .A line of an orthoset is the orthoclosure of two distinct elements. For an orthoset to be line-symmetric means roughly that its automorphism group acts transitively both on the collection of all lines as well as on each single line. Line-symmetric orthosets turn out to be in correspondence with transitive Hermitian spaces. Furthermore, quadratic orthosets are defined similarly, but are required to possess, for each line , a group of automorphisms acting on transitively and commutatively. We show the correspondence of quadratic orthosets with transitive quadratic spaces over ordered fields. We finally specify those quadratic orthosets that are, in a natural sense, minimal: for a finite , the orthoset , where R is the Hilbert field, has the property of being embeddable into any other quadratic orthoset of rank n.
期刊介绍:
Journal of Geometry (JG) is devoted to the publication of current research developments in the fields of geometry, and in particular recent results in foundations of geometry, geometric algebra, finite geometries, combinatorial geometry, and special geometries.