Arcs in a finite projective plane

Cook, G R (2011) Arcs in a finite projective plane. Doctoral thesis (DPhil), University of Sussex.

 Preview
PDF - Published Version
 Preview
PDF (Errata) - Published Version

Abstract

The projective plane of order 11 is the dominant focus of this work. The motivation for working in the projective plane of order 11 is twofold. First, it is the smallest projective plane of prime power order such that the size of the largest (n, r)-arc is not known for all r ∈ {2,...,q + 1}. It is also the smallest projective plane of prime order such that the (n; 3)-arcs are not classified. Second, the number of (n, 3)-arcs is significantly higher in the projective plane of order 11 than it is in the projective plane of order 7, giving a large number of (n, 3)-arcs for study.

The main application of (n, r)-arcs is to the study of linear codes.

As a forerunner to the work in the projective plane of order eleven two algorithms are used to raise the lower bound on the size of the smallest complete n-arc in the projective plane of order thirty-one from 12 to 13.

This work presents the classification up to projective equivalence of the complete (n, 3)- arcs in PG(2, 11) and the backtracking algorithm that is used in its construction. This algorithm is based on the algorithm used in [3]; it is adapted to work on (n, 3)-arcs as opposed to n-arcs. This algorithm yields one representative from every projectively inequivalent class of (n, 3)-arc. The equivalence classes of complete (n, 3)-arcs are then further classified according to their stabilizer group.

The classification of all (n, 3)-arcs up to projective equivalence in PG(2, 11) is the foundation of an exhaustive search that takes one element from every equivalence class and determines if it can be extended to an (n′, 4)-arc. This search confirmed that in PG(2, 11) no (n, 3)-arc can be extended to a (33, 4)-arc and that subsequently m4(2, 11) = 32. This same algorithm is used to determine four projectively inequivalent complete (32, 4)-arcs, extended from complete (n, 3)-arcs.

Various notions under the general title of symmetry are defined both for an (n, r)-arc and for sets of points and lines. The first of these makes the classification of incomplete (n; 3)- arcs in PG(2, 11) practical. The second establishes a symmetry based around the incidence structure of each of the four projectively inequivalent complete (32, 4)-arcs in PG(2, 11); this allows the discovery of their duals. Both notions of symmetry are used to analyze the incidence structure of n-arcs in PG(2, q), for q = 11, 13, 17, 19.

The penultimate chapter demonstrates that it is possible to construct an (n, r)-arc with a stabilizer group that contains a subgroup of order p, where p is a prime, without reference to an (m < n, r)-arc, with stabilizer group isomorphic to ℤ1. This method is used to find q-arcs and (q + 1)-arcs in PG(2, q), for q = 23 and 29, supporting Conjecture 6.7.

The work ends with an investigation into the effect of projectivities that are induced by a matrix of prime order p on the projective planes. This investigation looks at the points and subsets of points of order p that are closed under the right action of such matrices and their structure in the projective plane. An application of these structures is a restriction on the size of an (n, r)-arc in PG(2, q) that can be stabilized by a matrix of prime order p.

Item Type: Thesis (Doctoral) School of Mathematical and Physical Sciences > Mathematics Q Science > QA Mathematics > QA0440 Geometry. Trigonometry. Topology Library Cataloguing 01 Dec 2011 10:34 21 Aug 2015 14:48 http://srodev.sussex.ac.uk/id/eprint/7510 1 Citations