On 1-Blocking Sets in PG(n,q), n ≥ 3

In this article we study minimal1-blocking sets in finite projective spaces _PG(n,q),n 3. We prove that in PG(n,q ²),q = p ^h , p prime, p > 3,h 1, the second smallest minimal 1-blockingsets are the second smallest minimal blocking sets, w.r.t.lines, in a plane of PG(n,q ²). We also study minimal1-blocking sets in PG(n,q ³), n 3, q = p ^h, p prime, p > 3,q 5, and prove that the minimal 1-blockingsets of cardinality at most q 3 + q ² + q + ¹ are eithera minimal blocking set in a plane or a subgeometry PG(3,q).     

Some Characterizations of Finite Hermitian Veroneseans

We characterize the finite Veronesean of all Hermitian varieties of PG(n,q²) as the unique representation of PG(n,q²) in PG(d,q), d n(n+2), where points and lines of PG(n,q²) are represented by points and ovoids of solids, respectively, of PG(d,q), with the only condition that the point set of PG(d,q) corresponding to the point set of PG(n,q²) generates PG(d,q). Using this result for n=2, we show that is characterized by the following properties: (1) ; (2) each hyperplane of PG(8,q) meets in q²+1, q³+1 or q³+q²+1 points; (3) each solid of PG(8,q) having at least q+3 points in common with shares exactly q²+1 points with it.51E24     

How many s-subspaces must miss a point set in PG(d, q)

The following result is well-known for finite projective spaces. The smallest cardinality of a set of points of PG(n, q) with the property that every s-subspace has a point in the set is (q ^n+1-s - 1)/(q - 1). We solve in finite projective spaces PG(n, q) the following problem. Given integers s and b with 0 ≤ s ≤ n - 1 and 1 ≤ b ≤ (q ^n+1-s - 1)/(q - 1), what is the smallest number of s-subspaces that must miss a set of b points. If d is the smallest integer such that b ≤ (q ^d+1 - 1)/(q - 1), then we shall see that the smallest number is obtained only when the b points generate a subspace of dimension d. We then also determine the smallest number of s-subspaces that must miss a set of b points of PG(n, q) which do not lie together in a subspace of dimension d. The results are obtained by geometrical and combinatorial arguments that rely on a strong algebraic result for projective planes by T. Szőnyi and Z. Weiner.     

Blocking sets in PG(2, q n ) from cones of PG(2n, q)

Let Ω and be a subset of Σ = PG(2n−1,q) and a subset of PG(2n,q) respectively, with Σ ⊂ PG(2n,q) and . Denote by K the cone of vertex Ω and base and consider the point set B defined by

Ambient Spaces of Dimensional Dual Arcs

A d-dimensional dual arc in PG(n, q) is a higher dimensional analogue of a dual arc in a projective plane. For every prime power q other than 2, the existence of a d-dimensional dual arc (d 2) in PG(n, q) of a certain size implies n d(d + 3)/2 (Theorem 1). This is best possible, because of the recent construction of d-dimensional dual arcs in PG(d(d + 3)/2, q) of size ^d–1 _i=0 q ⁱ, using the Veronesean, observed first by Thas and van Maldeghem (Proposition 7). Another construction using caps is given as well (Proposition 10).     

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

Maximal partial spreads in PG (3, q)

We transfer the whole geometry of PG(3, q) over a non-singular quadric Q_4,q of PG(4, q) mapping suitably PG(3, q) over Q_4,q. More precisely the points of PG(3, q) are the lines of Q_4,q; the lines of PG(3, q) are the tangent cones of Q_4,q and the reguli of the hyperbolic quadrics hyperplane section of Q_4,q. A plane of PG(3, q) is the set of lines of Q_4,q meeting a fixed line of Q_4,q. We remark that this representation is valid also for a projective space over any field K and we apply the above representation to construct maximal partial spreads in PG(3, q). For q even we get new cardinalities for For q odd the cardinalities are partially known.     

Blocking Sets in PG(r, q n )

Let $\mathcal S$ be a Desarguesian (n – 1)-spread of a hyperplane Σ of PG(rn, q). Let Ω and ${\bar B}$ be, respectively, an (n – 2)-dimensional subspace of an element of $\mathcal S $ and a minimal blocking set of an ((r – 1)n + 1)-dimensional subspace of PG(rn, q) skew to Ω. Denote by K the cone with vertex Ω and base ${\bar B}$ , and consider the point set B defined by $$B=\left(K\setminus\Sigma\right)\cup \{X\in \mathcal S\, : \, X\cap K\neq \emptyset\}$$ in the Barlotti–Cofman representation of PG(r, q ⁿ ) in PG(rn, q) associated to the (n – 1)-spread $\mathcal S$ . Generalizing the constructions of Mazzocca and Polverino (J Algebraic Combin, 24(1):61–81, 2006), under suitable assumptions on ${\bar B}$ , we prove that B is a minimal blocking set in PG(r, q ⁿ ). In this way, we achieve new classes of minimal blocking sets and we find new sizes of minimal blocking sets in finite projective spaces of non-prime order. In particular, for q a power of 3, we exhibit examples of r-dimensional minimal blocking sets of size q ⁿ⁺² + 1 in PG(r, q ⁿ ), 3 ≤ r ≤ 6 and n ≥ 3, and of size q ⁴ + 1 in PG(r, q ²), 4 ≤ r ≤ 6; actually, in the second case, these blocking sets turn out to be the union of q ³ Baer sublines through a point. Moreover, for q an even power of 3, we construct examples of minimal blocking sets of PG(4, q) of size at least q ² + 2. From these constructions, we also get maximal partial ovoids of the hermitian variety H(4, q ²) of size q ⁴ + 1, for any q a power of 3.     

On blocking sets of quadrics

We determine the three smallest blocking sets with respect to lines of the quadric Q(2n, q) withn 3 and the two smallest blocking sets with respect to lines of the quadric Q⁺(2n+1,q) withn 2. These results will be used in a forthcoming paper for determining the smallest blocking sets with respect to higher dimensional subspaces in the quadrics Q(2n, q) and Q⁺(2n+ 1, q).     

Small Point Sets that Meet All Generators of W(2n+1,q)

Let W(2n+1,q), n1, be the symplectic polar space of finite order q and (projective) rank n. We investigate the smallest cardinality of a set of points that meets every generator of W(2n+1,q). For q even, we show that this cardinality is q ⁿ⁺¹+q ^{n–1, and we characterize all sets of this cardinality. For q odd, better bounds are known.     

A Family of Caps in Projective 4-Space in Odd Characteristic

We construct caps in projective 4-space PG(4, q) in odd characteristic, whose cardinality is O( q²).     

Blocking Sets and Derivable Partial Spreads

We prove that a GF(q)-linear Rédei blocking set of size q ^t + q ^t–1 + ··· + q + 1 of PG(2,q ^t) defines a derivable partial spread of PG(2t – 1, q). Using such a relationship, we are able to prove that there are at least two inequivalent Rédei minimal blocking sets of size q ^t + q ^t–1 + ··· + q + 1 in PG(2,q ^t), if t 4.     

Special point sets inPG(n,q) and the structure of sets with the maximal number of nuclei

The structure of _{n– 1}-sets inPG(n, q) with more thanq – 1 nuclei is investigated. It is shown that classification of these sets with the maximal numberq ^{n– 1}-q ^{n– 2} of nuclei is equivalent to the classification of (q + l)-sets inPG(2,q) havingq –1 nuclei.Dedicated to Professer Walter Benz for his 60^th birthday     

Partial t-Spreads in PG(2t+1,q)

This article first of all discusses the problem of the cardinality of maximal partial spreads in PG(3,q), q square, q>4. Let r be an integer such that 2rq+1 and such that every blocking set of PG(2,q) with at most q+r points contains a Baer subplane. If S is a maximal partial spread of PG(3,q) with q ²-1-r lines, then r=s( +1) for an integer s2 and the set of points of PG(3,q) not covered byS is the disjoint union of s Baer subgeometriesPG(3, ). We also discuss maximal partial spreads in PG(3,p ³), p=p ₀ ^h , p ₀ prime, p ₀ 5, h 1, p 5. We show that if p is non-square, then the minimal possible deficiency of such a spread is equal to p ²+p+1, and that if such a maximal partial spread exists, then the set of points of PG(3,p ³) not covered by the lines of the spread is a projected subgeometryPG(5,p) in PG(3,p ³). In PG(3,p ³),p square, for maximal partial spreads of deficiency p ²+p+1, the combined results from the preceding two cases occur. In the final section, we discuss t-spreads in PG(2t+1,q), q square or q a non-square cube power. In the former case, we show that for small deficiencies , the set of holes is a disjoint union of subgeometries PG(2t+1, ), which implies that 0 (mod +1) and, when (2t+1)( -1) <q-1, that 2( +1). In the latter case, the set of holes is the disjoint union of projected subgeometries PG(3t+2, ) and this implies 0 (mod q ^2/3+q ^1/3+1). A more general result is also presented.     

Linear Point Sets and Rédei Type k-blocking Sets in PG(n, q)

In this paper, k-blocking sets in PG(n, q), being of Rédei type, are investigated. A standard method to construct Rédei type k-blocking sets in PG(n, q) is to construct a cone having as base a Rédei type k-blocking set in a subspace of PG(n, q). But also other Rédei type k-blocking sets in PG(n, q), which are not cones, exist. We give in this article a condition on the parameters of a Rédei type k-blocking set of PG(n, q = p ^h ), p a prime power, which guarantees that the Rédei type k-blocking set is a cone. This condition is sharp. We also show that small Rédei type k-blocking sets are linear.     

On an Isomorphism Problem of Some Dual Hyperovals in PG(2d + 1, q) with q even

Let q = 2^l with l≥ 1 and d ≥ 2. We prove that any automorphism of the d-dimensional dual hyperoval over GF(q), constructed in [3] for any (d + 1)-dimensional GF(q)-vector subspace V in GF(qⁿ) with n≥ d + 1 and for any generator σ of the Galois group of GF(qⁿ) over GF(q), always fixes the special member X(∞). Moreover, we prove that, in case V = GF(q^d+1), two dual hyperovals and in PG(2d + 1,q), where σ and τ are generators of the Galois group of GF(q^d+1) over GF(q), are isomorphic if and only if (1) σ = τ or (2) σ τ = id. Therefore, we have proved that, even in the case q > 2, there exist non isomorphic d-dimensional dual hyperovals in PG(2d + 1,q) for d ≥ 3.     

Mixed Partitions of Projective Geometries

Starting from a linear collineation of PG(2n–1,q) suitably constructed from a Singer cycle of GL(n,q), we prove the existence of a partition of PG(2n–1,q) consisting of two (n–1)-subspaces and caps, all having size (qⁿ–1)/(q–1) or (qⁿ–1)/(q+1) according as n is odd or even respectively. Similar partitions of quadrics or hermitian varieties into two maximal totally isotropic subspaces and caps of equal size are also obtained. We finally consider the possibility of partitioning the Segre variety of PG(8,q) into caps of size q²+q+1 which are Veronese surfaces.     

Minimal Blocking Sets in Projective Spaces of Square Order

In this paper minimal m-blocking sets of cardinality at most in projective spaces PG(n,q) of square order q, q 16, are characterized to be (t, 2(m-t-1))-cones for some t with . In particular we will find the smallest m-blocking sets that generate the whole space PG(n,q) for 2m n m.     

Embedded Thick Finite Generalized Hexagons in Projective Space

We show that every embedded finite thick generalized hexagon of order (s, t) in PG(n,q) which satisfies the conditions

1. s = q
2. the set of all points of generates PG(n, q)
3. for anypoint x of , the set of all points collinear in withx is containedin a plane of PG(n, q)
4. for any point x of , the set of allpoints of not oppositex in is contained in a hyperplane ofPG,(n, q)

is necessarily the standard representation of H(q) in PG(6,q) (on the quadric Q(6, q)), the standard representation ofH(q) for q even in PG(5, q) (inside a symplectic space), orthe standard representation of H(q, ) in PG(7, q) (where the lines of are the lines fixed by a trialityon the quadric Q⁺(7, q)). This generalizes a result by Cameronand Kantor [3], which is used in our proof.     

Arcs fixed byA 5 andA 6

The complete list of thek-arcsK inPG(n, q) fixed by a projective group isomorphic toA ₅ orA ₆, which acts primitively on the points ofK, is presented. This leads to new classes of 10-arcs inPG(n, q), 3 n 5. Our results also show that the non-classical 10-arc inPG(4, 9), discovered by D.G. Glynn [3], belongs to an infinite class of 10-arcs inPG(4, 3^h),h 2, fixed by a projective group isomorphic toA ₆.The first author wishes to thank the Belgian National Fund for Scientific Research for financial supportSenior research assistant of the Belgian National Fund for Scientific ResearchDedicated to Professor M. Scafati Tallini on the occasion of her sixtyfifth birthday