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.     

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.     

On the intersection of ovoids sharing a polarity

In this article, an ovoidal fibration is used to show that any two ovoids of PG(3, q), q even, sharing a polarity, must meet in an odd number of points. This result was previously known only when one of the ovoids was an elliptic quadric or a Tits ovoid. It is also shown that an ovoid and an elliptic quadric of PG(3, q), sharing all of their tangents, must meet in 1 (mod 4) points.      

Spreads and Ovoids Translation with Respect to Disjoint Flags

It is shown that if a spread of a finite split Cayley hexagon is translation with respect to two disjoint flags then it is either a hermitian spread or a Ree–Tits spread. Analogously, if an ovoid of a classical generalized quadrangle Q(4, q) is translation with respect to two disjoint flags then it is either an elliptic quadric or a Suzuki–Tits ovoid. In the course of obtaining these results, we introduce the notion of local polarity for ovoid-spread pairings and show that if an ovoid-spread pairing is locally polar at each of its elements then it arises from a polarity.     

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.     

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.     

Classification of ovoids inPG(3, 32)

A classification of the ovoids inPG(3, 32) is completed with the aid of a computer. The ovoids are examined in terms of which ovals can possibly appear as secant plane sections. A weak necessary condition for two ovals to appear together as plane sections of an ovoid surprisingly turns out to be sufficient to demonstrate that the only possible secant plane sections are translation ovals. A known result regarding ovoids with such plane sections then identifies the ovoids as either elliptic quadrics or Tits ovoids.     

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.     

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 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.     

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.     

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).     

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 of T 2(o), α-flocks and Ovals

We establish a representation of a spread of the generalized quadrangle T ₂(0), o an oval of PG(2, q), q even, in terms of a certain family of q ovals of PG(2, q) and investigate the properties of this representation. Using this representation we show that to every flock of a translation oval cone in PG(3, q) (-flock), q even, there corresponds a spread of T ₂(o) for an oval o determined by the -flock. This gives constructions of new spreads of T ₂(o), for certain ovals o, and in some cases solves the existence problem for spreads. It also provides a geometrical characterization of the ovals associated with a flock of a quadratic cone.     

Ovoids ofPG(3, 16) are elliptic quadrics,II

In a previous paper [8] the authors have shown that every ovoid ofPG(3, 16) is an elliptic quadric. The arguments used a computer and also depended on the computer-aided classification of hyperovals ofPG(2, 16) (see [3]). Recently (see [9]) the classification of hyperovals ofPG(2,16) has been obtained without the use of a computer. The present paper completes a computer-free proof that every ovoid ofPG(3,16) is an elliptic quadric.     

A condition for the existence of ovals in PG(2, q), q even

A condition is found that determines whether a polynomial over GF(q) gives an oval in PG(2, q), q even. This shows that the set of all ovals of PG(2, q) corresponds to a certain variety of points of PG((q–4)/2, q). The condition improves upon that of Segre and Bartocci, who proved that all the terms of an oval polynomial have even degree. It is suitable for efficient computer searches.     

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.     

Caps Embedded in Grassmannians

This paper is concerned with constructing caps embedded in line Grassmannians. In particular, we construct a cap of size q³ +2q²+1 embedded in the Klein quadric of PG(5,q) for even q, and show that any cap maximally embedded in the Klein quadric which is larger than this one must have size equal to the theoretical upper bound, namely q³+2q²+q+2. It is not known if caps achieving this upper bound exist for even q > 2.     

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     

Flocks and Partial Flocks of Hyperbolic Quadrics via Root Systems

We construct three infinite families of partial flocks of sizes 12, 24 and 60 of the hyperbolic quadric of PG(3, q), for q congruent to -1 modulo 12, 24, 60 respectively, from the root systems of type D ₄, F ₄, H ₄, respectively. The smallest member of each of these families is an exceptional flock. We then characterise these partial flocks in terms of the rectangle condition of Benz and by not being subflocks of linear flocks or of Thas flocks. We also give an alternative characterisation in terms of admitting a regular group fixing all the lines of one of the reguli of the hyperbolic quadric.