An extension of the direction problem

From MaRDI portal



Abstract: Let U be a point set in the n-dimensional affine space mAG(n,q) over the finite field of q elements and 0leqkleqn−2. In this paper we extend the definition of directions determined by U: a k-dimensional subspace Sk at infinity is determined by U if there is an affine (k+1)-dimensional subspace Tk+1 through Sk such that UcapTk+1 spans Tk+1. We examine the extremal case |U|=qn−1, and classify point sets NOT determining every k-subspace in certain cases.


Let \(AG(n,q)\) and \(PG(n,q)\) be the affine and the projective spaces of dimension \(n\) over the Galois field of \(q\) elements.NEWLINENEWLINE Let \(U\subset AG(n,q) \subset PG(n,q)\) and \(k\leq n-2\) a fixed integer. A \(k\)-dimensional subspace \(S_k \subset H_{\infty}=PG(n,q) \setminus AG(n,q)\) is determined by \(U\) if there exists a \((k+1)\)-dimensional subspace \(T_{k+1}\) such that \(T_{k+1}\cap H_{\infty}=S_{k}\) and containing at least \(k+2\) points of \(U\) in general position.NEWLINENEWLINE If \(U\) does not determine all the \(k\)-dimensional subspaces at infinity, then it is straightforward to check that \(|U|\leq q^{n-1}\).NEWLINENEWLINE In this paper the authors study the case when \(U\) reaches this bound, i.e. \(|U|=q^{n-1}\).NEWLINENEWLINE In the general case, they prove the following. Let \(U_{0}\subset AG(m,q)\subset PG(m,q)\) with \(|U_{0}|=q^{m-1}\) embedded in \(AG(n,q)\) (\(n>m\)) and let \(V\subset H_{\infty}=PG(n,q)\setminus AG(n,q)\) be a \((n-m-1)\)-dimensional subspace completely disjoint from \(PG(m,q)\). Let \(U\) be the cone with base \(U_{0}\) and vertex \(V\). An \(r\)-dimensional subspace \(W\subset H_{\infty}\) is not determined by \(U\) if and only if \(W_{0}=PG(m,q)\cap \langle V,W\rangle\) is not determined by \(U_0\).NEWLINENEWLINE In three dimensional case the authors classify all the affine sets \(U\) which do not determine all the lines in \(H_{\infty}\): these sets can only contain lines in parallel affine planes or \(q\) parallel lines or they are part of a hyperbolic quadric.NEWLINENEWLINE In the paper it is also proven that, in general, if \(U\) is the affine part of a non-singular quadric for which \(H_{\infty}\) is a tangent hyperplane, then the undetermined \(g\)-dimensional subspaces in \(H_{\infty}\), where \(g\) is the projective index of the quadric, are the generators contained in the intersection of the quadric and \(H_{\infty}\), except few cases with \(q=2\).











This page was built for publication: An extension of the direction problem

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q427875)