{"title":"仿射向量空间分区和四边形展开","authors":"Somi Gupta, Francesco Pavese","doi":"10.1007/s10623-024-01447-1","DOIUrl":null,"url":null,"abstract":"<p>An <i>affine spread</i> is a set of subspaces of <span>\\(\\textrm{AG}(n, q)\\)</span> of the same dimension that partitions the points of <span>\\(\\textrm{AG}(n, q)\\)</span>. Equivalently, an <i>affine spread</i> is a set of projective subspaces of <span>\\(\\textrm{PG}(n, q)\\)</span> of the same dimension which partitions the points of <span>\\(\\textrm{PG}(n, q) \\setminus H_{\\infty }\\)</span>; here <span>\\(H_{\\infty }\\)</span> denotes the hyperplane at infinity of the projective closure of <span>\\(\\textrm{AG}(n, q)\\)</span>. Let <span>\\(\\mathcal {Q}\\)</span> be a non-degenerate quadric of <span>\\(H_\\infty \\)</span> and let <span>\\(\\Pi \\)</span> be a generator of <span>\\(\\mathcal {Q}\\)</span>, where <span>\\(\\Pi \\)</span> is a <i>t</i>-dimensional projective subspace. An affine spread <span>\\(\\mathcal {P}\\)</span> consisting of <span>\\((t+1)\\)</span>-dimensional projective subspaces of <span>\\(\\textrm{PG}(n, q)\\)</span> is called <i>hyperbolic, parabolic</i> or <i>elliptic</i> (according as <span>\\(\\mathcal {Q}\\)</span> is hyperbolic, parabolic or elliptic) if the following hold:</p><ul>\n<li>\n<p>Each member of <span>\\(\\mathcal {P}\\)</span> meets <span>\\(H_\\infty \\)</span> in a distinct generator of <span>\\(\\mathcal {Q}\\)</span> disjoint from <span>\\(\\Pi \\)</span>;</p>\n</li>\n<li>\n<p>Elements of <span>\\(\\mathcal {P}\\)</span> have at most one point in common;</p>\n</li>\n<li>\n<p>If <span>\\(S, T \\in \\mathcal {P}\\)</span>, <span>\\(|S \\cap T| = 1\\)</span>, then <span>\\(\\langle S, T \\rangle \\cap \\mathcal {Q}\\)</span> is a hyperbolic quadric of <span>\\(\\mathcal {Q}\\)</span>.</p>\n</li>\n</ul><p> In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of <span>\\(\\textrm{PG}(n, q)\\)</span> is equivalent to a spread of <span>\\(\\mathcal {Q}^+(n+1, q)\\)</span>, <span>\\(\\mathcal {Q}(n+1, q)\\)</span> or <span>\\(\\mathcal {Q}^-(n+1, q)\\)</span>, respectively.</p>","PeriodicalId":11130,"journal":{"name":"Designs, Codes and Cryptography","volume":"31 1","pages":""},"PeriodicalIF":1.4000,"publicationDate":"2024-06-27","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"title\":\"Affine vector space partitions and spreads of quadrics\",\"authors\":\"Somi Gupta, Francesco Pavese\",\"doi\":\"10.1007/s10623-024-01447-1\",\"DOIUrl\":null,\"url\":null,\"abstract\":\"<p>An <i>affine spread</i> is a set of subspaces of <span>\\\\(\\\\textrm{AG}(n, q)\\\\)</span> of the same dimension that partitions the points of <span>\\\\(\\\\textrm{AG}(n, q)\\\\)</span>. Equivalently, an <i>affine spread</i> is a set of projective subspaces of <span>\\\\(\\\\textrm{PG}(n, q)\\\\)</span> of the same dimension which partitions the points of <span>\\\\(\\\\textrm{PG}(n, q) \\\\setminus H_{\\\\infty }\\\\)</span>; here <span>\\\\(H_{\\\\infty }\\\\)</span> denotes the hyperplane at infinity of the projective closure of <span>\\\\(\\\\textrm{AG}(n, q)\\\\)</span>. Let <span>\\\\(\\\\mathcal {Q}\\\\)</span> be a non-degenerate quadric of <span>\\\\(H_\\\\infty \\\\)</span> and let <span>\\\\(\\\\Pi \\\\)</span> be a generator of <span>\\\\(\\\\mathcal {Q}\\\\)</span>, where <span>\\\\(\\\\Pi \\\\)</span> is a <i>t</i>-dimensional projective subspace. An affine spread <span>\\\\(\\\\mathcal {P}\\\\)</span> consisting of <span>\\\\((t+1)\\\\)</span>-dimensional projective subspaces of <span>\\\\(\\\\textrm{PG}(n, q)\\\\)</span> is called <i>hyperbolic, parabolic</i> or <i>elliptic</i> (according as <span>\\\\(\\\\mathcal {Q}\\\\)</span> is hyperbolic, parabolic or elliptic) if the following hold:</p><ul>\\n<li>\\n<p>Each member of <span>\\\\(\\\\mathcal {P}\\\\)</span> meets <span>\\\\(H_\\\\infty \\\\)</span> in a distinct generator of <span>\\\\(\\\\mathcal {Q}\\\\)</span> disjoint from <span>\\\\(\\\\Pi \\\\)</span>;</p>\\n</li>\\n<li>\\n<p>Elements of <span>\\\\(\\\\mathcal {P}\\\\)</span> have at most one point in common;</p>\\n</li>\\n<li>\\n<p>If <span>\\\\(S, T \\\\in \\\\mathcal {P}\\\\)</span>, <span>\\\\(|S \\\\cap T| = 1\\\\)</span>, then <span>\\\\(\\\\langle S, T \\\\rangle \\\\cap \\\\mathcal {Q}\\\\)</span> is a hyperbolic quadric of <span>\\\\(\\\\mathcal {Q}\\\\)</span>.</p>\\n</li>\\n</ul><p> In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of <span>\\\\(\\\\textrm{PG}(n, q)\\\\)</span> is equivalent to a spread of <span>\\\\(\\\\mathcal {Q}^+(n+1, q)\\\\)</span>, <span>\\\\(\\\\mathcal {Q}(n+1, q)\\\\)</span> or <span>\\\\(\\\\mathcal {Q}^-(n+1, q)\\\\)</span>, respectively.</p>\",\"PeriodicalId\":11130,\"journal\":{\"name\":\"Designs, Codes and Cryptography\",\"volume\":\"31 1\",\"pages\":\"\"},\"PeriodicalIF\":1.4000,\"publicationDate\":\"2024-06-27\",\"publicationTypes\":\"Journal Article\",\"fieldsOfStudy\":null,\"isOpenAccess\":false,\"openAccessPdf\":\"\",\"citationCount\":\"0\",\"resultStr\":null,\"platform\":\"Semanticscholar\",\"paperid\":null,\"PeriodicalName\":\"Designs, Codes and Cryptography\",\"FirstCategoryId\":\"100\",\"ListUrlMain\":\"https://doi.org/10.1007/s10623-024-01447-1\",\"RegionNum\":2,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q3\",\"JCRName\":\"COMPUTER SCIENCE, THEORY & METHODS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Designs, Codes and Cryptography","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1007/s10623-024-01447-1","RegionNum":2,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q3","JCRName":"COMPUTER SCIENCE, THEORY & METHODS","Score":null,"Total":0}
Affine vector space partitions and spreads of quadrics
An affine spread is a set of subspaces of \(\textrm{AG}(n, q)\) of the same dimension that partitions the points of \(\textrm{AG}(n, q)\). Equivalently, an affine spread is a set of projective subspaces of \(\textrm{PG}(n, q)\) of the same dimension which partitions the points of \(\textrm{PG}(n, q) \setminus H_{\infty }\); here \(H_{\infty }\) denotes the hyperplane at infinity of the projective closure of \(\textrm{AG}(n, q)\). Let \(\mathcal {Q}\) be a non-degenerate quadric of \(H_\infty \) and let \(\Pi \) be a generator of \(\mathcal {Q}\), where \(\Pi \) is a t-dimensional projective subspace. An affine spread \(\mathcal {P}\) consisting of \((t+1)\)-dimensional projective subspaces of \(\textrm{PG}(n, q)\) is called hyperbolic, parabolic or elliptic (according as \(\mathcal {Q}\) is hyperbolic, parabolic or elliptic) if the following hold:
Each member of \(\mathcal {P}\) meets \(H_\infty \) in a distinct generator of \(\mathcal {Q}\) disjoint from \(\Pi \);
Elements of \(\mathcal {P}\) have at most one point in common;
If \(S, T \in \mathcal {P}\), \(|S \cap T| = 1\), then \(\langle S, T \rangle \cap \mathcal {Q}\) is a hyperbolic quadric of \(\mathcal {Q}\).
In this note it is shown that a hyperbolic, parabolic or elliptic affine spread of \(\textrm{PG}(n, q)\) is equivalent to a spread of \(\mathcal {Q}^+(n+1, q)\), \(\mathcal {Q}(n+1, q)\) or \(\mathcal {Q}^-(n+1, q)\), respectively.
期刊介绍:
Designs, Codes and Cryptography is an archival peer-reviewed technical journal publishing original research papers in the designated areas. There is a great deal of activity in design theory, coding theory and cryptography, including a substantial amount of research which brings together more than one of the subjects. While many journals exist for each of the individual areas, few encourage the interaction of the disciplines.
The journal was founded to meet the needs of mathematicians, engineers and computer scientists working in these areas, whose interests extend beyond the bounds of any one of the individual disciplines. The journal provides a forum for high quality research in its three areas, with papers touching more than one of the areas especially welcome.
The journal also considers high quality submissions in the closely related areas of finite fields and finite geometries, which provide important tools for both the construction and the actual application of designs, codes and cryptographic systems. In particular, it includes (mostly theoretical) papers on computational aspects of finite fields. It also considers topics in sequence design, which frequently admit equivalent formulations in the journal’s main areas.
Designs, Codes and Cryptography is mathematically oriented, emphasizing the algebraic and geometric aspects of the areas it covers. The journal considers high quality papers of both a theoretical and a practical nature, provided they contain a substantial amount of mathematics.