31 research outputs found

    A Family of Ovals with Few Collineations

    Get PDF
    A recently discovered [1] family of ovals in PG(2, q), q = 2e, e odd, is shown to have a cyclic collineation group of order 2e

    Abstract hyperovals, partial geometries, and transitive hyperovals

    Get PDF
    Includes bibliographical references.2015 Summer.A hyperoval is a (q+2)- arc of a projective plane π, of order q with q even. Let G denote the collineation group of π containing a hyperoval Ω. We say that Ω is transitive if for any pair of points x, y is an element of Ω, there exists a g is an element of G fixing Ω setwise such that xg = y. In1987, Billotti and Korchmaros proved that if 4||G|, then either Ω is the regular hyperoval in PG(2,q) for q=2 or 4 or q = 16 and |G||144. In 2005, Sonnino proved that if |G| = 144, then π is desarguesian and Ω is isomorphic to the Lunelli-Sce hyperoval. For our main result, we show that if G is the collineation group of a projective plane containing a transitivehyperoval with 4 ||G|, then |G| = 144 and Ω is isomorphic to the Lunelli-Sce hyperoval. We also show that if A(X) is an abstract hyperoval of order n ≡ 2(mod 4); then |Aut(A(X))| is odd. If A(X) is an abstract hyperoval of order n such that Aut(A(X)) contains two distinct involutions with |FixX(g)| and |FixX(ƒ)| ≥ 4. Then we show that FixX(g) ≠ FixX(ƒ). We also show that there is no hyperoval of order 12 admitting a group whose order is divisible by 11 or 13, by showing that there is no partial geometry pg(6, 10, 5) admitting a group of order 11 or of order 13. Finally, we were able to show that there is no hyperoval in a projective plane of order 12 with a dihedral subgroup of order 14, by showing that that there is no partial geometry pg(7, 12, 6) admitting a dihedral group of order 14. The latter results are achieved by studying abstract hyperovals and their symmetries

    Unitals in projective planes revisited

    Get PDF
    This thesis revisits the topic of unitals in finite projective planes. A unital U in a projective plane of order q2 is a set of q3 + 1 points, such that every line meets U in one or q + 1 points. Unitals are an important class of point-set in finite projective planes, whose combinatorial and algebraic properties have been the subject of considerable study. In this work, we summarise, revise, and extend contemporary research on unitals. Chapter 1 covers the necessary prerequisites to study unitals and related objects in finite geometry. In Chapter 2, we focus on Buekenhout-Tits unitals and answer some open problems regarding their equivalence, stabilisers and feet. The results presented in Chapter 2 are also available in a preprint paper [22]. Following this, Chapter 3 summarises recent results on Buekenhout- Metz unitals, and presents a small result on the intersection of ovoidal-Buekenhout-Metz unitals and Buekenhout-Metz unitals. Chapter 4 highlights Kestenband arcs and their relationship to Hermitian unitals, and makes explicit a proof of their equivalence. Finally in Chapter 5, we review our understanding of Figueroa planes. Beyond describing ovals and unitals in Figueroa planes, we also suggest generalisations of their constructions to semi-ovals

    Elation KM-arcs

    Get PDF
    In this paper, we study KM-arcs in PG(2, q), the Desarguesian projective plane of order q. A KM-arc A of type t is a natural generalisation of a hyperoval: it is a set of q+t points in PG(2, q) such that every line of PG(2, q) meets A in 0, 2 or t points. We study a particular class of KM-arcs, namely, elation KM-arcs. These KM-arcs are highly symmetrical and moreover, many of the known examples are elation KM-arcs. We provide an algebraic framework and show that all elation KM-arcs of type q/4 in PG(2, q) are translation KM-arcs. Using a result of [2], this concludes the classification problem for elation KM-arcs of type q=4. Furthermore, we construct for all q = 2(h), h > 3, an infinite family of elation KM-arcs of type q/8, and for q=2(h), where 4, 6, 7 | h an infinite family of KM-arcs of type q/16. Both families contain new examples of KM-arcs
    corecore