Planar arcs

From MaRDI portal




Abstract: Let p denote the characteristic of mathbbFq, the finite field with q elements. We prove that if q is odd then an arc of size q+2t in the projective plane over mathbbFq, which is not contained in a conic, is contained in the intersection of two curves, which do not share a common component, and have degree at most t+plfloorlogptfloor, provided a certain technical condition on t is satisfied. This implies that if q is odd then an arc of size at least qsqrtq+sqrtq/p+3 is contained in a conic if q is square and an arc of size at least qsqrtq+frac72 is contained in a conic if q is prime. This is of particular interest in the case that q is an odd square, since then there are examples of arcs, not contained in a conic, of size qsqrtq+1, and it has long been conjectured that if qeq9 is an odd square then any larger arc is contained in a conic. These bounds improve on previously known bounds when q is an odd square and for primes less than 1783. The previously known bounds, obtained by Segre cite{Segre1967}, Hirschfeld and Korchm'aros cite{HK1996} cite{HK1998}, and Voloch cite{Voloch1990b} cite{Voloch1991}, rely on results on the number of points on algebraic curves over finite fields, in particular the Hasse-Weil theorem and the St"ohr-Voloch theorem, and are based on Segre's idea to associate an algebraic curve in the dual plane containing the tangents to an arc. In this paper we do not rely on such theorems, but use a new approach starting from a scaled coordinate-free version of Segre's lemma of tangents. Arcs in the projective plane over mathbbFq of size q and q+1, q odd, were classified by Segre cite{Segre1955b} in 1955. In this article, we complete the classification of arcs of size q1 and q2.



Cites work







This page was built for publication: Planar arcs

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