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

A spectrum result on minimal blocking sets with respect to the planes of PG(3, q), q odd

This article presents a spectrum result on minimal blocking sets with respect to the planes of PG(3, q), q odd. We prove that for every integer k in an interval of, roughly, size [q ²/4, 3q ²/4], there exists such a minimal blocking set of size k in PG(3, q), q odd. A similar result on the spectrum of minimal blocking sets with respect to the planes of PG(3, q), q even, was presented in Rößing and Storme (Eur J Combin 31:349–361, 2010). Since minimal blocking sets with respect to the planes in PG(3, q) are tangency sets, they define maximal partial 1-systems on the Klein quadric Q ⁺(5, q), so we get the same spectrum result for maximal partial 1-systems of lines on the Klein quadric Q ⁺(5, q), q odd.     

Partial Ovoids in Classical Finite Polar Spaces

Ovoids in finite polar spaces are related to many other objects in finite geometries. In this article, we prove some new upper bounds for the size of partial ovoids in Q ^–(2n+1,q) and W(2n+ 1,q). Further, we give a combinatorial proof for the non-existence of ovoids of H(2n +1,q ²) for n>q ³.     

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.     

On 1-Systems of Q(6, q), q Even

In this paper, a method is developed to study locally hermitian 1-systems of Q(6, q), q even, by associating a kind of flock in PG(4, q) to them. This method is applied to a known locally hermitian 1-system of Q(6, 2^2e ), which was discovered by Offer as a spread of the hexagon H(2^2e ). The results concerning this spread appear to be suitable for generalization and enable us to find new classes of 1-systems of Q(6, q), q even. We also prove that a locally hermitian 1-system of Q(6, q), q even, which is not contained in a 5-dimensional subspace, is semi-classical if and only if it belongs to the new classes we describe. Finally, from the new classes of 1-systems arise new classes of semipartial geometries.     

Ovoids and translation planes revisited

Kantor has previously described the translation planes which may be obtained by projecting sections of ovoids in ⁺(8, q)-spaces to ovoids in corresponding ⁺(6, q)-spaces. Since the Klein correspondence associates spreads in 4-dimensional vector spaces with ovoids in ⁺(6, q)-spaces, there are corresponding translation planes of order q ² and kernel containing GF(q). In this article, we revisit some of these translation planes and give some presentations of the spreads. Motivated by various properties of the planes, we study, in general, translation planes which admit certain homology groups and/or elation groups. In particular, we develop new constructions of projective planes of Lenz-Barlotti class II-1.Finally, we show how certain projective planes of order q ² of Lenz-Barlotti class II-1 may be considered equivalent to flocks of quadratic cones in PG(3, q).This work was partially supported by NSF grant DMS-8800843.     

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     

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

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

On algebraic relations for Ramanujan’s functions

Let P,Q, and R denote the Ramanujan Eisenstein series. We compute algebraic relations in terms of P(q ⁱ ) (i=1,2,3,4), Q(q ⁱ ) (i=1,2,3), and R(q ⁱ ) (i=1,2,3). For complex algebraic numbers q with 0<|q|<1 we prove the algebraic independence over ? of any three-element subset of {P(q),P(q ²),P(q ³),P(q ⁴)} and of any two-element subset of {Q(q),Q(q ²),Q(q ³)} and {R(q),R(q ²),R(q ³)}, respectively. For all the results we use some expressions of $P(q^{i_{1}}), Q(q^{i_{2}}) $ , and $R(q^{i_{3}}) $ in terms of theta constants. Computer-assisted computations of functional determinants and resultants are essential parts of our proofs.     

Tight sets and m-ovoids of finite polar spaces

An intriguing set of points of a generalised quadrangle was introduced in [J. Bamberg, M. Law, T. Penttila, Tight sets and m-ovoids of generalised quadrangles, Combinatorica, in press] as a unification of the pre-existing notions of tight set and m-ovoid. It was shown in [J. Bamberg, M. Law, T. Penttila, Tight sets and m-ovoids of generalised quadrangles, Combinatorica, in press] that every intriguing set of points in a finite generalised quadrangle is a tight set or an m-ovoid (for some m). Moreover, it was shown that an m-ovoid and an i-tight set of a common generalised quadrangle intersect in mi points. These results yielded new proofs of old results, and in this paper, we study the natural analogue of intriguing sets in finite polar spaces of higher rank. In particular, we use the techniques developed in this paper to give an alternative proof of a result of Thas [J.A. Thas, Ovoids and spreads of finite classical polar spaces, Geom. Dedicata 10 (1-4) (1981) 135-143] that there are no ovoids of H(2r,q²), Q⁻(2r+1,q), and W(2r−1,q) for r>2. We also strengthen a result of Drudge on the non-existence of tight sets in W(2r−1,q), H(2r+1,q²), and Q⁺(2r+1,q), and we give a new proof of a result of De Winter, Luyckx, and Thas [S. De Winter, J.A. Thas, SPG-reguli satisfying the polar property and a new semipartial geometry, Des. Codes Cryptogr. 32 (1-3) (2004) 153-166; D. Luyckx, m-Systems of finite classical polar spaces, PhD thesis, The University of Ghent, 2002] that an m-system of W(4m+3,q) or Q⁻(4m+3,q) is a pseudo-ovoid of the ambient projective space.     

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     

Maximal partial ovoids and maximal partial spreads in hermitian generalized quadrangles

Maximal partial ovoids and maximal partial spreads of the hermitian generalized quadrangles H(3,q²) and H(4,q²) are studied in great detail. We present improved lower bounds on the size of maximal partial ovoids and maximal partial spreads in the hermitian quadrangle H(4,q²). We also construct in H(3,q²), q=2^2h+1, h≥ 1, maximal partial spreads of size smaller than the size q²+1 presently known. As a final result, we present a discrete spectrum result for the deficiencies of maximal partial spreads of H(4,q²) of small positive deficiency δ. © 2007 Wiley Periodicals, Inc. J Combin Designs 16: 101–116, 2008     

On arcs sharing the maximum number of points with ovals in cyclic affine planes of odd order

The sporadic complete 12‐arc in PG(2, 13) contains eight points from a conic. In PG(2,q) with q>13 odd, all known complete k‐arcs sharing exactly ½(q+3) points with a conic 𝒞 have size at most ½(q+3)+2, with only two exceptions, both due to Pellegrino, which are complete (½(q+3)+3) arcs, one in PG(2, 19) and another in PG(2, 43). Here, three further exceptions are exhibited, namely a complete (½(q+3)+4)‐arc in PG(2, 17), and two complete (½(q+3)+3)‐arcs, one in PG(2, 27) and another in PG(2, 59). The main result is Theorem 6.1 which shows the existence of a (½(q^r+3)+3)‐arc in PG(2,q^r) with r odd and q≡3 (mod 4) sharing ½(q^r+3) points with a conic, whenever PG(2,q) has a (½(q^r+3)+3)‐arc sharing ½(q^r+3) points with a conic. A survey of results for smaller q obtained with the use of the MAGMA package is also presented. © 2009 Wiley Periodicals, Inc. J Combin Designs 18: 25–47, 2010     

Caps in PG(n,q),q even,n⩾3

Letm′₂(3,q) be the largest value ofk(k<q ²+1) for which there exists a completek-cap in PG(3,q),q even. In this paper, the known upper bound onm′₂(3,q) is improved. We also describe a number of intervals, fork, for which there does not exist a completek-cap in PG(3,q),q even. These results are then used to improve the known upper bounds on the number of points of a cap in PG(n, q),q even,n?4.     

On codewords in the dual code of classical generalised quadrangles and classical polar spaces

In [J.L. Kim, K. Mellinger, L. Storme, Small weight codewords in LDPC codes defined by (dual) classical generalised quadrangles, Des. Codes Cryptogr. 42 (1) (2007) 73-92], the codewords of small weight in the dual code of the code of points and lines of Q(4,q) are characterised. Inspired by this result, using geometrical arguments, we characterise the codewords of small weight in the dual code of the code of points and generators of Q⁺(5,q) and H(5,q²), and we present lower bounds on the weight of the codewords in the dual of the code of points and k-spaces of the classical polar spaces. Furthermore, we investigate the codewords with the largest weights in these codes, where for q even and k sufficiently small, we determine the maximum weight and characterise the codewords of maximum weight. Moreover, we show that there exists an interval such that for every even number w in this interval, there is a codeword in the dual code of Q⁺(5,q), q even, with weight w and we show that there is an empty interval in the weight distribution of the dual of the code of Q(4,q), q even. To prove this, we show that a blocking set of Q(4,q), q even, of size q²+1+r, where 0<r<(q+4)/6, contains an ovoid of Q(4,q), improving on [J. Eisfeld, L. Storme, T. Sz?nyi, P. Sziklai, Covers and blocking sets of classical generalised quadrangles, Discrete Math. 238 (2001) 35-51, Theorem 9].     

Slices of the unitary spread

We prove that slices of the unitary spread of Q⁺(7,q)\mathcal{Q}^{+}(7,q), q≡2 (mod 3), can be partitioned into five disjoint classes. Slices belonging to different classes are non-equivalent under the action of the subgroup of PΓO ⁺(8,q) fixing the unitary spread. When q is even, there is a connection between spreads of Q⁺(7,q)\mathcal{Q}^{+}(7,q) and symplectic 2-spreads of PG(5,q) (see Dillon, Ph.D. thesis, 1974 and Dye, Ann. Mat. Pura Appl. (4) 114, 173–194, 1977). As a consequence of the above result we determine all the possible non-equivalent symplectic 2-spreads arising from the unitary spread of Q⁺(7,q)\mathcal{Q}^{+}(7,q), q=2^2h+1. Some of these already appeared in Kantor, SIAM J. Algebr. Discrete Methods 3(2), 151–165, 1982. When q=3 ^h , we classify, up to the action of the stabilizer in PΓO(7,q) of the unitary spread of Q(6,q), those among its slices producing spreads of the elliptic quadric Q^-(5,q)\mathcal{Q}^{-}(5,q).     

Infinitely many Gerretsen-Blundon style quadratic inequalities, all strongest in Blundon’s sense

Blundon has proved that if R, r and s are respectively the circumradius, the inradius and the semiperimeter of a triangle, then the strongest possible inequalities of the form q(R, r) ≤ s ² ≤ Q(R, r) that hold for all triangles becoming equalities for the equilaterals where q, Q real quadratic forms, occur for the Gerretsen forms q _B (R, r) = 16Rr ? 5r ² and Q _B (R, r) = 4R ² + 4Rr + 3r ²; strongest in the sense that if Q is a quadratic form and s ² ≤ Q(R, r) ≤ Q _B (R, r) for all triangles then Q(R, r) = Q _B (R, r), and similarly for q _B (R, r). In this paper we prove that Q _B (resp. q _B ) is just one of infinitely many forms that appear as minimal (resp. maximal) elements in the partial order induced by the comparability relation in a certain set of forms, and we conclude that all these minimal forms are strongest in Blundon’s sense. We actually find all possible such strongest forms. Moreover we find all possible quadratic forms q, Q for which q(R, r) ≤ s ² ≤ Q(R, r) for all triangles and which hold as equalities for the equilaterals.     

Some New Maximal Sets of Mutually Orthogonal Latin Squares

Two ways of constructing maximal sets of mutually orthogonal Latin squares are presented. The first construction uses maximal partial spreads in PG(3, 4) \ PG(3, 2) with r lines, where r ∈ {6, 7}, to construct transversal-free translation nets of order 16 and degree r + 3 and hence maximal sets of r + 1 mutually orthogonal Latin squares of order 16. Thus sets of t MAXMOLS(16) are obtained for two previously open cases, namely for t = 7 and t = 8. The second one uses the (non)existence of spreads and ovoids of hyperbolic quadrics Q ⁺ (2m + 1, q), and yields infinite classes of q ^{2n ? 1} ? 1 MAXMOLS(q ²ⁿ ), for n ≥ 2 and q a power of two, and for n = 2 and q a power of three.