Ovoids and monomial ovals

This paper is a contribution to the classification of ovoids. We show, under some rather technical assumptions, that if an ovoid of PG(3, q) has a pencil of monomial ovals, then it is either an elliptic quadric or a Tits ovoid. Further, we show that if an ovoid of PG(3, q) has a bundle of translation ovals, again under some extra assumptions, then the ovoid is an elliptic quadric or a Tits ovoid.     

On Ovoids of Parabolic Quadrics

It is known that every ovoid of the parabolic quadric Q(4, q), q=p ^h , p prime, intersects every three-dimensional elliptic quadric in 1 mod p points. We present a new approach which gives us a second proof of this result and, in the case when p=2, allows us to prove that every ovoid of Q(4, q) either intersects all the three-dimensional elliptic quadrics in 1 mod 4 points or intersects all the three-dimensional elliptic quadrics in 3 mod 4 points. We also prove that every ovoid of Q(4, q), q prime, is an elliptic quadric. This theorem has several applications, one of which is the non-existence of ovoids of Q(6, q), q prime, q>3. We conclude with a 1 mod p result for ovoids of Q(6, q), q=p ^h , p prime.     

The determination of ovoids of PG(3,q) containing a pointed conic

It is shown that if a plane of PG(3,q),q even, meets an ovoid in a pointed conic, then eitherq=4 and the ovoid is an elliptic quadric, orq=8 and the ovoid is a Tits ovoid.     

Ovoids with a pencil of translation ovals

We show that if an ovoid of PG(3, q), where q>2 is even, has a pencil of translation ovals and if the carrier of the pencil is not an axis of at least one of the ovals in the pencil, then the ovoid is a Tits ovoid. It follows, as a corollary of this and a result of Penttila and Praeger, that if an ovoid of PG(3, q), where q>2 is even, has a pencil of translation ovals then the ovoid is either an elliptic quadric or a Tits ovoid.     

Triads, Flocks of Conics and Q -(5,q)

We show that if an ovoid of Q (4,q),q even, admits a flock of conics then that flock must be linear. It follows that an ovoid of PG (3,q),q even, which admits a flock of conics must be an elliptic quadric. This latter result is used to give a characterisation of the classical example Q ^-(5,q) among the generalized quadrangles T ₃( ), where is an ovoid of PG (3q) and q is even, in terms of the geometric configuration of the centres of certain triads.     

Ovoids of PG(3,q), q Even, with a Conic Section

It is shown that if a plane of PG(3,q), q even, meets an ovoidin a conic, then the ovoid must be an elliptic quadric. Thisis proved by using the generalized quadrangles T₂(C) (C a conic),W(q) and the isomorphism between them to show that every secantplane section of the ovoid must be a conic. The result thenfollows from a well-known theorem of Barlotti.     

Commuting polarities and maximal partial ovoids of H(4,q2)

In PG(4,q²), q odd, let Q(4,q²) be a non‐singular quadric commuting with a non‐singular Hermitian variety H(4,q²). Then these varieties intersect in the set of points covered by the extended generators of a non‐singular quadric Q₀ in a Baer subgeometry Σ₀ of PG(4,q²). It is proved that any maximal partial ovoid of H(4,q²) intersecting Q₀ in an ovoid has size at least 2(q²+1). Further, given an ovoid O of Q₀, we construct maximal partial ovoids of H(4,q²) of size q³+1 whose set of points lies on the hyperbolic lines 〈P,X〉 where P is a fixed point of O and X varies in O\{P}. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 307–313, 2009     

Spreads and ovoids in finite generalized quadrangles

This paper is a survey on the existence and non-existence of ovoids and spreads in the known finite generalized quadrangles. It also contains the following new results. We prove that translation generalized quadrangles of order (s,s ²), satisfying certain properties, have a spread. This applies to three known infinite classes of translation generalized quadrangles. Further a new class of ovoids in the classical generalized quadranglesQ(4, 3 ^e ),e3, is constructed. Then, by the duality betweenQ(4, 3 ^e ) and the classical generalized quadrangleW (3 ^e ), we get line spreads of PG(3, 3 ^e ) and hence translation planes of order 3^2e . These planes appear to be new. Note also that only a few classes of ovoids ofQ(4,q) are known. Next we prove that each generalized quadrangle of order (q ²,q) arising from a flock of a quadratic cone has an ovoid. Finally, we give the following characterization of the classical generalized quadranglesQ(5,q): IfS is a generalized quadrangle of order (q,q ²),q even, having a subquadrangleS isomorphic toQ(4,q) and if inS each ovoid consisting of all points collinear with a given pointx ofS\S is an elliptic quadric, thenS is isomorphic toQ(5,q).     

Cyclic caps in PG(3,q)

This article investigates cyclic completek-caps in PG(3,q). Namely, the different types of completek-capsK in PG(3,q) stabilized by a cyclic projective groupG of orderk, acting regularly on the points ofK, are determined. We show that in PG(3,q),q even, the elliptic quadric is the only cyclic completek-cap. Forq odd, it is shown that besides the elliptic quadric, there also exist cyclick-caps containingk/2 points of two disjoint elliptic quadrics or two disjoint hyperbolic quadrics and that there exist cyclick-caps stabilized by a transitive cyclic groupG fixing precisely one point and one plane of PG(3,q). Concrete examples of such caps, found using AXIOM and CAYLEY, are presented.     

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.     

Note: A remark on a result of B. Segre concerning pseudoregular points of an elliptic quadric ofAG(2,q), q odd

In [1] S. ILKKA conjectured that pqeudoregular points of an elliptic quadric ofAG(2,q),q odd, only exist for small values ofq. In [3] B. SEGRE proves that an elliptic quadric ofAG(2,q),q odd, has pseudoregular points iffq=3 or 5. In [2], however, F. KáRTESZI shows that an elliptic quadric ofAG(2,7) has eight pseudoregular points. In this note we prove that part of B. Segre's proof is not correct, and that an elliptic quadric ofAG(2,q),q odd, has pseudoregular points iffq=3, 5 or 7.     

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.     

Ovoids and spreads of finite classical polar spaces

LetP be a finite classical polar space of rankr, r2. An ovoidO ofP is a pointset ofP, which has exactly one point in common with every totally isotropic subspace of rankr. It is proved that the polar spaceW _n (q) arising from a symplectic polarity ofPG(n, q), n odd andn > 3, that the polar spaceQ(2n, q) arising from a non-singular quadric inPG(2n, q), n > 2 andq even, that the polar space Q^–(2n + 1,q) arising from a non-singular elliptic quadric inPG(2n + 1,q), n > 1, and that the polar spaceH(n,q ²) arising from a non-singular Hermitian variety inPG(n, q ²)n even andn > 2, have no ovoids.LetS be a generalized hexagon of ordern (1). IfV is a pointset of order n³ + 1 ofS, such that every two points are at distance 6, thenV is called an ovoid ofS. IfH(q) is the classical generalized hexagon arising fromG ₂ (q), then it is proved thatH(q) has an ovoid iffQ(6, q) has an ovoid. There follows thatQ(6, q), q=3^2h+1, has an ovoid, and thatH(q), q even, has no ovoid.A regular system of orderm onH(3,q ²) is a subsetK of the lineset ofH(3,q ²), such that through every point ofH(3,q ²) there arem (> 0) lines ofK. B. Segre shows that, ifK exists, thenm=q + 1 or (q + l)/2.If m=(q + l)/2,K is called a hemisystem. The last part of the paper gives a very short proof of Segre's result. Finally it is shown how to construct the 4-(11, 5, 1) design out of the hemisystem with 56 lines (q=3).     

A spectrum result on maximal partial ovoids of the generalized quadrangle , even

This article presents a spectrum result on maximal partial ovoids of the generalized quadrangle Q(4,q), q even. We prove that for every integer k in an interval of, roughly, size [q²/10,9q²/10], there exists a maximal partial ovoid of size k on Q(4,q), q even. Since the generalized quadrangle W(q), q even, defined by a symplectic polarity of PG(3,q) is isomorphic to the generalized quadrangle Q(4,q), q even, the same result is obtained for maximal partial ovoids of W(q), q even. As equivalent results, the same spectrum result is obtained for minimal blocking sets with respect to planes of PG(3,q), q even, and for maximal partial 1-systems of lines on the Klein quadric Q⁺(5,q), q even.     

Generalized Veronesean embeddings of projective spaces

We classify all embeddings θ: PG(n, q) → PG(d, q), with $d \geqslant \tfrac{{n(n + 3)}} {2}$d \geqslant \tfrac{{n(n + 3)}} {2}, such that θ maps the set of points of each line to a set of coplanar points and such that the image of θ generates PG(d, q). It turns out that d = ?n(n+3) and all examples are related to the quadric Veronesean of PG(n, q) in PG(d, q) and its projections from subspaces of PG(d, q) generated by sub-Veroneseans (the point sets corresponding to subspaces of PG(n, q)). With an additional condition we generalize this result to the infinite case as well.     

The classical 1-system of Q?(7, q) and two-character sets

We will show that associated with the classical 1-system of the elliptic quadric Q ⁻(7, q) are certain infinite families of two-character sets with respect to hyperplanes, and partial ovoids of Q ⁺(15, q).     

Sublines of Prime Order Contained in the Set of Internal Points of a Conic

In [2] it was shown that if q ≥ 4n²−8n+2 then there are no subplanes of order q contained in the set of internal points of a conic in PG(2,qⁿ), q odd, n≥ 3. In this article we improve this bound in the case where q is prime to , and prove a stronger theorem by considering sublines instead of subplanes. We also explain how one can apply this result to flocks of a quadratic cone in PG(3,qⁿ), ovoids of Q(4,qⁿ), rank two commutative semifields, and eggs in PG(4n−1,q). AMS Classification:11T06, 05B25, 05E12, 51E15     

A Characterization of the Complement of a Hyperbolic Quadric in PG (3, q), for q Odd

The incidence structure NQ⁺(3, q) has points the points not on a non-degenerate hyperbolic quadric Q⁺(3, q) in PG(3, q), and its lines are the lines of PG(3, q) not containing a point of Q⁺(3, q). It is easy to show that NQ⁺(3, q) is a partial linear space of order (q, q(q−1)/2). If q is odd, then moreover NQ⁺(3, q) satisfies the property that for each non-incident point line pair (x,L), there are either (q−1)/2 or (q+1)/2 points incident with L that are collinear with x. A partial linear space of order (s, t) satisfying this property is called a ((q−1)/2,(q+1)/2)-geometry. In this paper, we will prove the following characterization of NQ⁺(3,q). Let S be a ((q−1)/2,(q+1)/2)-geometry fully embedded in PG(n, q), for q odd and q>3. Then S = NQ⁺(3, q).     

Varietà di Segre e ovoidi dello spazio polare Q+(7, q)

Summary In this paper, for q even, we construct an ovoid O ₃ and a spread S of the finite classical polar space Q⁺(7, q) determinated by a hyperbolic quadric Q⁺ of PG(7, q) such that there is a subgroup of PGO ₊ ⁸ (q) isomorphic to PGL₂(q ³), which maps O ₃ in itself and S in S and is 3-transitive on O ₃ and on S; for q>2, S is not a Desarguesian spread of Q⁺(7, q) and O ₃ is a Desarguesian ovoid.

---

Varietà di Segre e ovoidi dello spazio polare Q⁺(7, q)

---

Al Prof. Adriano Barlotti in occasione del suo 60^o compleanno     

Ovoidal blocking sets and maximal partial ovoids of Hermitian varieties

In Mazzocca et al. (Des. Codes Cryptogr. 44:97–113, 2007), large minimal blocking sets in PG(3, q ²) and PG(4, q ²) have been constructed starting from ovoids of PG(3, q), Q(4, q) and Q(6, q). Some of these can be embedded in a Hermitian variety as maximal partial ovoids. In this paper, the geometric conditions assuring these embeddings are established.