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

A Bruen chain forq=19

The one-to-one correspondence between the class of two-dimensional translation planes of orderq ² and the collection of spreads ofPG(3,q) has long provided a natural context for describing new planes. The method often used for constructing interesting spreads is to start with a regular spread, corresponding to a desarguesian plane, and then replace some nice subset of lines by another partial spread covering the same set of points. Indeed the first approach was replacing the lines of a regulus by the lines of its opposite regulus, or doing this process for a set of disjoint reguli. Nontrivial generalizations of this idea include thechains of Bruen and thenests of Baker and Ebert. In this paper we construct a replaceable subset of a regular spread ofPG (3, 19) which is the union of 11 reguli double covering the lines in their union, hence is a chain in the terminology of Bruen or a 11-nest in the Baker-Ebert terminology.     

Boundary reducible handle additions on simple 3-manifolds

Let M be a simple manifold, and F be a component of δM of genus two. For a slope γ on F, we denote by M（γ） the manifold obtained by attaching a 2-handle to M along a regular neighborhood of γon F. In this paper, we shall prove that there is at most one separating slope γ on F such that M（γ） is δ-reducible.     

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.     

Switching Sets Regolari E Cubiche Rigate Di P G (5, q ) Piani Di Tralsazione Ad Essi Associati G (5, q ) Piani Di Tralsazione Ad Essi Associati

In a recent paper, the authors studied some algebraic hypersurfaces of the third order in the projective spacePG(5,q) and they called them ruled cubics, since they possess three systems of planes. Any two of these constitute a regular switching set and furthermore, if Σ is a given regular spread ofPG(5,q), one of the three systems is contained in Σ. The subject of this note is to prove, conversely, that every regular switching set (Φ, Φ′) with Φ ⊂ Σ is a ruled cubic and to construct, for a generic choice of the projective reference system inP G(5,q), the quasifield which coordinatizes the translation plane Π associated with the spread (Σ − Φ) ∪ Φ′. The planes Π, of orderq ³, are a generalization of the finite Hall planes.     

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.     

Non variational basic elliptic systems of second order

Denoting byu a vector in R ^N defined on a bounded open set Ω ⊂ R ⁿ , we setH(u)={Dij u} and consider a basic differential operator of second ordera(H(u)) wherea(ξ) is a vector in R ^N , which is elliptic in the sense that it satisfies the condition (A). After a rapid comparison between this condition (A) and the classical definition of ellipticity, we shall prove that, if seu∈H ² (Ω) is a solution of the elliptic systema(H(u))=0 in Ω thenH(u)∈H _loc ^{2, q} for someq>2. We then deduce from this the so called fundamental internal estimates for the matrixH(u) and for the vectorsDu andu. We shall then present a first risult on h?lder regularity for the solutions of the system withf h?lder continuous in Ω, and a partial h?lder continuity risult for solutionsu∈H ² (Ω) of a differential systema (x, u, Du, H (u))=b(x, u, Du)     

Cyclotomic units over finite fields

Let ζ be a primitivesp-th root of unity for a primep>2, and consider the group Ω(ζ) of cyclotomic units in the ringR(ζ)=ℒ[ζ+ζ^-1]. This paper deals with the image of Ω(ζ) in the unit group ofR(ζ)/qR(ζ), whereq is a prime ≠p. In particular, it obtains criteria for this image to be essentially everything, and a lower bound on the density of primesp (withq fixed) for which it cannot be. These results have a direct bearing on previous work about units in integral group rings for cyclic groups of orderpq. Work supported in part by an operating grant from NSERC (Canada).     

A Geometric Construction of the Hyperbolic Fibrations Associated with a Flock, q Even

Baker et al. [2] show, via algebraic methods, that a regular hyperbolic fibration of PG(3, q) with constant back half gives rise to a flock of a quadratic cone in PG(3, q), and conversely. In this paper a geometric construction for q even of the flock from the hyperbolic fibration, and conversely, will be described. A proof will be given that this geometric construction indeed corresponds to the known algebraic one. Deirdre Luyckx - The author is Postdoctoral Fellow of the Fund for Scientific Research—Flanders (Belgium) (F.W.O.—Vlaanderen).     

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

On the sharpness of a theorem of B. segre

The theorem of B. Segre mentioned in the title states that a complete arc of PG(2,q),q even which is not a hyperoval consists of at mostq−√q+1 points. In the first part of our paper we prove this theorem to be sharp forq=s ² by constructing completeq−√q+1-arcs. Our construction is based on the cyclic partition of PG(2,q) into disjoint Baer-subplanes. (See Bruck [1]). In his paper [5] Kestenband constructed a class of (q−√q+1)-arcs but he did not prove their completeness. In the second part of our paper we discuss the connections between Kestenband’s and our constructions. We prove that these constructions result in isomorphic (q−√q+1)-arcs. The proof of this isomorphism is based on the existence of a traceorthogonal normal basis in GF(q ³) over GF(q), and on a representation of GF(q)³ in GF(q ³)³ indicated in Jamison [4].     

Distance-Regular (0,α)-Reguli

We introduce distance-regular (0,α)-reguli and show that they give rise to (0,α)-geometries with a distance-regular point graph. This generalises the SPG-reguli of Thas [14] and the strongly regular (α,β)-reguli of Hamilton and Mathon [9], which yield semipartial geometries and strongly regular (α,β)-geometries, respectively. We describe two infinite classes of examples, one of which is a generalisation of the well-known semipartial geometry T_n^*(B) arising from a Baer subspace PG(n, q) in PG(n, q²). Research Fellow supported by the Flemish Institute for the Promotion of Scientific and Technological Research in Industry (IWT), grant no. IWT/SB/13367/Tonesi Research assistant of the Fund for Scientific Research Flanders (FWO-Vlaanderen).     

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.     

2-Summing operators on C([0, 1], lp) with values in l1

Let Ω be a compact Hausdorff space, X a Banach space, C(Ω, X) the Banach space of continuous X-valued functions on Ω under the uniform norm, U: C(Ω, X) → Y a bounded linear operator and U ^#, U _# two natural operators associated to U. For each 1 ≤ s < ∞, let the conditions (α) U ∈ Π _s (C(Ω, X), Y); (β)U ^# ∈ Π _s (C(Ω), Π _s (X, Y)); (γ) U _# ε Π _s (X, Π _s (C(Ω), Y)). A general result, [10, 13], asserts that (α) implies (β) and (γ). In this paper, in case s = 2, we give necessary and sufficient conditions that natural operators on C([0, 1], l _p ) with values in l ₁ satisfies (α), (β) and (γ), which show that the above implication is the best possible result.     

Regulus-free Spreads of PG(3,q)

An old conjecture of Bruck and Bose is that every spread of =PG(3,q) could be obtained by starting with a regular spread and reversing reguli. Although it was quickly realized that this conjecture is false, at least forq even, there still remains a gap in the spaces for which it is known that there are spreads which are regulus-free. In several papers Denniston, Bruen, and Bruen and Hirschfeld constructed spreads which were regulus-free, but none of these dealt with the case whenq is a prime congruent to one modulo three. This paper closes that gap by showing that for any odd prime powerq, spreads ofPG(3,q) yielding nondesarguesian flag-transitive planes are regulus-free. The arguments are interesting in that they are based on elementary linear algebra and the arithmetic of finite fields.Dedicated to Hanfried Lenz on the occasion of his 80th birthdayThis work was partially supported by NSA grant MDA 904-95-H-1013.This work was partially supported by NSA grant MDA 904-94-H-2033.     

Some results related to interpolation on hardy spaces of regular martingales

Let (Ω,F, P) be a probability space and {F _n}_n≥0 a regular increasing sequence of sub-σ-fields ofF. LetH ₁(Ω) be the usual Hardy space ofF _n-martingales. We show that the couple (H ₁(Ω),L _∞(Ω)) is a partial retract of (L ₁(Ω),L _∞(Ω)). It is also proved that (L _p(Ω),BMO(Ω)) is a partial retract of (L _p(Ω),L _∞(Ω)) for all 1<p<∞.     

Geometry of Cubic and Quartic Hypersurfaces over Finite Fields

Let YPⁿ be a cubic hypersurface defined over GF(q). Here, we study the Finite Field Nullstellensatz of order [q/3] for the set Y(q) of its GF(q)-points, the existence of linear subspaces of PG(n,q) contained in Y(q) and the possibility to join any two points of Y(q) by the union of two lines of PG(n,q) entirely contained in Y(q). We also study the existence of linear subspaces defined over GF(q) for the intersection of Y with s quadrics and for quartic hypersurfaces.     

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.     

The Ornstein-Uhlenbeck semigroup in exterior domains

Let Ω be an exterior domain in It is shown that Ornstein-Uhlenbeck operators L generate C₀-semigroups on L^p(Ω) for p ∈ (1, ∞) provided ∂Ω is smooth. The method presented also allows to determine the domain D(L) of L and to prove L^p − L^q smoothing properties of e^tL. If ∂Ω is only Lipschitz, results of this type are shown to be true for p close to 2. Received: 16 December 2004; revised: 4 February 2005     

Proper 2-Covers of PG(3,q), q Even

A k-cover of =PG(3q) is a set S of lines of such that every point is on exactly k lines of S. S is proper if it contains no spread. The existence of proper k-covers of is necessary for the existence of maximal partial packings of q ²+q+1–k spreads of . Here we give the first construction of proper 2-packings of PG(3,q) with q even; for q odd these have been constructed by Ebert.