A characterization of Buekenhout-Metz unitals in PG(2, q 2), q even

The known examples of embedded unitals (i.e. Hermitian arcs) in PG(2, q ²) are B-unitals, i.e. they can be obtained from ovoids of PG(3, q) by a method due to Buekenhout. B-unitals arising from elliptic quadrics are called BM-unitals. Recently, BM-unitals have been classified and their collineation groups have been investigated. A new characterization is given in this paper. We also compute the linear collineation group fixing the B-unital arising from the Segre-Tits ovoid of PG(3, 2 ^r ), r3 odd. It turns out that this group is an Abelian group of order q ².Research supported by MURST.     

A group theoretic characterization of Buekenhout-Metz unitals

It is shown that a unital U embedded in PG(2,q²) is a Buekenhout-Metz unital if and only if U admits a linear collineation group that is a semidirect product of a Sylow p-subgroup of order q³ by a subgroup of order q − 1. This is the full linear collineation group of U except for two equivalence classes of unitals: (i) the classical unitals, and (ii) the Buekenhout-Metz unitals which can be expressed as a union of a partial pencil of conics. The unitals in class (ii) only occur when q is odd, and any two of them are projectively equivalent. © 1996 John Wiley & Sons, Inc.     

The Classification of Projective Planes of Order q3 with Cone-Representations in PG (6, q)

The classification of cone-representations of projective planes of orderq ³ of index 3 and rank 4 (and so in PG(6,^q)) is completed. Any projective plane with a non-spread representation (being a cone-representation of the second kind) is a dual generalised Desarguesian translation plane, as found by Jha and Johnson, and conversely. Indeed, given any collineation of PG(2,^q) with no fixed points, there exists such a projective plane of order q³ , where q is a prime power, that has the second kind of cone-representation of index 3 and rank 4 in PG(6,q). An associated semifield plane of order q ³ is also constructed at most points of the plane. Although Jha and Johnson found this plane before, here we can show directly the geometrical connection between these two kinds of planes.     

On linear sets on a projective line

Linear sets generalise the concept of subgeometries in a projective space. They have many applications in finite geometry. In this paper we address two problems for linear sets: the equivalence problem and the intersection problem. We consider linear sets as quotient geometries and determine the exact conditions for two linear sets to be equivalent. This is then used to determine in which cases all linear sets of rank 3 of the same size on a projective line are (projectively) equivalent. In (Donati and Durante, Des Codes Cryptogr, 46:261–267), the intersection problem for subgeometries of PG(n, q) is solved. The intersection of linear sets is much more difficult. We determine the intersection of a subline PG(1, q) with a linear set in PG(1, q ^h ) and investigate the existence of irregular sublines, contained in a linear set. We also derive an upper bound, which is sharp for odd q, on the size of the intersection of two different linear sets of rank 3 in PG(1, q ^h ).     

On the intersection of Hermitian curves and of Hermitian surfaces

Kestenband [Unital intersections in finite projective planes, Geom. Dedicata 11(1) (1981) 107–117; Degenerate unital intersections in finite projective planes, Geom. Dedicata 13(1) (1982) 101–106] determines the structure of the intersection of two Hermitian curves of PG(2,q²), degenerate or not. In this paper we give a new proof of Kestenband's results. Giuzzi [Hermitian varieties over finite field, Ph.D. Thesis, University of Sussex, 2001] determines the structure of the intersection of two non-degenerate Hermitian surfaces and of PG(3,q²) when the Hermitian pencil defined by and contains at least one degenerate Hermitian surface. We give a new proof of Giuzzi's results and we obtain some new results in the open case when all the Hermitian surfaces of the Hermitian pencil are non-degenerate.     

Normal Spreads

In Dedicata 16 (1984), pp. 291–313, the representation of Desarguesian spreads of the projective space PG(2t – 1, q) into the Grassmannian of the subspaces of rank t of PG(2t – 1, q) has been studied. Using a similar idea, we prove here that a normal spread of PG(rt – 1,q) is represented on the Grassmannian of the subspaces of rank t of PG(rt – 1, q) by a cap V _{r, t} of PG(r ^t – 1, q), which is the GF(q)-scroll of a Segre variety product of t projective spaces of dimension (r – 1), and that the collineation group of PG(r ^t – 1, q) stabilizing V _{r, t} acts 2-transitively on V _{r, t} . In particular, we prove that V _{3, 2} is the union of q ² – q + 1 disjoint Veronese surfaces, and that a Hermitan curve of PG(2, q ²) is represented by a hyperplane section U of V _{3, 2}. For q 0,2 (mod 3) the algebraic variety U is the unitary ovoid of the hyperbolic quadric Q ⁺ (7, q) constructed by W. M. Kantor in Canad. J. Math., 5 (1982), 1195–1207. Finally we study a class of blocking sets, called linear, proving that many of the known examples of blocking sets are of this type, and we construct an example in PG(3, q ²). Moreover, a new example of minimal blocking set of the Desarguesian projective plane, which is linear, has been constructed by P. Polito and O. Polverino.     

Transitive Arcs in Planes of Even Order

When one considers the hyperovals inPG(2,q),qeven,q>2, then the hyperoval inPG(2, 4) and the Lunelli-Sce hyperoval inPG(2, 16) are the only hyperovals stabilized by a transitive projective group [10]. In both cases, this group is an irreducible group fixing no triangle in the plane of the hyperoval, nor in a cubic extension of that plane. Using Hartley's classification of subgroups ofPGL₃(q),qeven [6], allk-arcs inPG(2,q) fixed by a transitive irreducible group, fixing no triangle inPG(2,q) or inPG(2,q³), are determined. This leads to new 18-, 36- and 72-arcs inPG(2,q),q=2^2h. The projective equivalences among the arcs are investigated and each section ends with a detailed study of the collineation groups of these arcs.     

Special sets of the Hermitian surface and indicator sets

An interesting connection between special sets of the Hermitian surface of PG(3,q²), q odd, (after Shult 13 ) and indicator sets of line‐spreads of the three‐dimensional projective space is provided. Also, the CP‐type special sets are characterized. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 18–24, 2008     

On the Geometry of Hermitian Matrices of Order Three Over Finite Fields

Some geometry of Hermitian matrices of order three over GF(q²) is studied. The variety coming from rank 2 matrices is a cubic hypersurface M₇³of PG(8,q ) whose singular points form a variety H corresponding to all rank 1 Hermitian matrices. BesideM₇³ turns out to be the secant variety of H. We also define the Hermitian embedding of the point-set of PG(2, q²) whose image is exactly the variety H. It is a cap and it is proved that PGL(3, q²) is a subgroup of all linear automorphisms of H. Further, the Hermitian lifting of a collineation of PG(2, q²) is defined. By looking at the point orbits of such lifting of a Singer cycle of PG(2, q²) new mixed partitions of PG(8,q ) into caps and linear subspaces are given.     

On a set of lines of PG(3, q) corresponding to a maximal cap contained in the Klein quadric of PG (5, q)

The problem is considered of constructing a maximal set of lines, with no three in a pencil, in the finite projective geometry PG(3, q) of three dimensions over GF(q). (A pencil is the set of q+1 lines in a plane and passing through a point.) It is found that an orbit of lines of a Singer cycle of PG(3, q) gives a set of size q ³ + q ² + q + 1 which is definitely maximal in the case of q odd. A (q ³ + q ² + q + 1)-cap contained in the hyperbolic (or Klein) quadric of PG(5, q) also comes from the construction. (A k-cap is a set of k points with no three in a line.) This is generalized to give direct constructions of caps in quadrics in PG(5, q). For q odd and greater than 3 these appear to be the largest caps known in PG(5, q). In particular it is shown how to construct directly a large cap contained in the Klein quadric, given an ovoid skew to an elliptic quadric of PG(3, q). Sometimes the cap is also contained in an elliptic quadric of PG(5, q) and this leads to a set of q ³ + q ² + q + 1 lines of PG(3,q ²) contained in the non-singular Hermitian surface such that no three lines pass through a point. These constructions can often be applied to real and complex spaces.     

Unitals in Finite Desarguesian Planes

We show that a suitable 2-dimensional linear system of Hermitian curves of PG(2,q ²) defines a model for the Desarguesian plane PG(2,q). Using this model we give the following group-theoretic characterization of the classical unitals. A unital in PG(2,q ²) is classical if and only if it is fixed by a linear collineation group of order 6(q + 1)² that fixes no point or line in PG(2,q ²).     

Projective spread sets

In this paper the notion of a spread set for at-spread ofPG(2t+1,q) is generalised and it is shown that certaint-spreads ofPG(n, q) correspond to these generalised spread sets. Then a projective spread set is defined and it is shown that anyt-spread ofPG(n, q) corresponds to a projective spread set. Connections between the spread set and the projective spread set of at-spread are discussed, in particular in the case of at-spread ofPG(2t + 1,q) the spread set and the projective spread set are equivalent, giving a new and straightforward construction of a spread set. The methods developed are used to show, with the aid of a computer, that the 1-packing ofPG(7,2) constructed by Baker is regulus-free.Dedicated to Professor Giuseppe Tallini on the occasion of his 60th birthday     

A characterization of Denniston's maximal arcs

Our main result is the following characterization of Denniston's maximal arcs: If a maximal arcK in PG(2,q),q even, is invariant under a linear collineation group of PG(2,q) which is cyclic and has orderq+1, thenK is a Denniston's maximal arc.This work was partially supported by a grant of M.P.I. (Research project Strutture geometriche combinatorie e loro applicazioni).     

Derivation techniques on the Hermitian surface

We discuss derivation‐like techniques for transforming one locally Hermitian partial ovoid of the Hermitian surface H(3,q²) into another one. These techniques correspond to replacing a regulus by its opposite in some naturally associated projective 3‐space PG(3,q) over a square root subfield. © 2006 Wiley Periodicals, Inc. J Combin Designs 15: 478–486, 2007     

Two-transitive groups on a hyperbolic unital

A classification given previously of all projective translation planes of order q² that admit a collineation group G admitting a two-transitive orbit of q+1 points is applied to show that the only projective translation planes of order q² admitting a hyperbolic unital acting two-transitively on a secant are the Desarguesian planes and the unital is a Buekenhout hyperbolic unital.     

The small weight codewords of the functional codes associated to non-singular Hermitian varieties

This article studies the small weight codewords of the functional code C _Herm (X), with X a non-singular Hermitian variety of PG(N, q ²). The main result of this article is that the small weight codewords correspond to the intersections of X with the singular Hermitian varieties of PG(N, q ²) consisting of q + 1 hyperplanes through a common (N ? 2)-dimensional space Π, forming a Baer subline in the quotient space of Π. The number of codewords having these small weights is also calculated. In this way, similar results are obtained to the functional codes C ₂(Q), Q a non-singular quadric (Edoukou et al., J. Pure Appl. Algebra 214:1729–1739, 2010), and C ₂(X), X a non-singular Hermitian variety (Hallez and Storme, Finite Fields Appl. 16:27–35, 2010).     

A Combinatorial Characterization of Hermitian Curves

A unital U with parameter q is a 2 – (q ³ + 1, q + 1, 1) design. If a point set U in PG(2, q ²) together with its (q + 1)-secants forms a unital, then U is called a Hermitian arc. Through each point p of a Hermitian arc H there is exactly one line L having with H only the point p in common; this line L is called the tangent of H at p. For any prime power q, the absolute points and nonabsolute lines of a unitary polarity of PG(2, q ²) form a unital that is called the classical unital. The points of a classical unital are the points of a Hermitian curve in PG(2, q ²).Let H be a Hermitian arc in the projective plane PG(2, q ²). If tangents of H at collinear points of H are concurrent, then H is a Hermitian curve. This result proves a well known conjecture on Hermitian arcs.     

Canonical decomposition of projective and affine killing vectors on the tangent bundle

For an affine connection on the tangent bundle T(M) obtained by lifting an affine connection on M, the structure of vector fields on T(M) which generate local one-parameter groups of projective and affine collineations is described. On the T(M) of a complete irreducible Riemann manifold, every projective collineation is affine. On the T(M) of a projectively Euclidean space, every affine collineation preserves the fibration of T(M), and on the T(M) of a projectively non-Duclidean space which is maximally homogeneous (in the sense of affine collineations) there exist affine collineations permuting the fibers of T(M).Translated from Matematicheskie Zametki, Vol. 19, No. 2, pp. 247–258, February, 1976.     

On the nonexistence of certain Hughes generalized quadrangles

In this paper, we prove that the Hermitian quadrangle is the unique generalized quadrangle Γ of order (q ², q ³) containing some subquadrangle of order (q ², q) isomorphic to such that every central elation of the subquadrangle is induced by a collineation of Γ. Dedicated to Dan Hughes on the occasion of his 80th birthday.