On Embeddings of the Flag Geometries of Projective Planes in Finite Projective Spaces

The flag geometry =( ) of a finite projective plane of order s is the generalized hexagon of order (s, 1) obtained from by putting equal to the set of all flags of , by putting equal to the set of all points and lines of and where I is the natural incidence relation (inverse containment), i.e., is the dual of the double of in the sense of Van Maldeghem Mal:98. Then we say that is fully and weakly embedded in the finite projective space PG(d, q) if is a subgeometry of the natural point-line geometry associated with PG(d, q), if s = q, if the set of points of generates PG(d, q), and if the set of points of not opposite any given point of does not generate PG(d, q). Preparing the classification of all such embeddings, we construct in this paper the classical examples, prove some generalities and show that the dimension d of the projective space belongs to {6,7,8}.     

A Characterization of Projective Spaces by a Set of Planes

This note deals with the following question: How many planes of a linear space (P, $\mathfrak{L}$ ) must be known as projective planes to ensure that (P, $\mathfrak{L}$ ) is a projective space? The following answer is given: If for any subset M of a linear space (P, $\mathfrak{L}$ ) the restriction (M, $\mathfrak{L}$ )(M)) is locally complete, and if for every plane E of (M, $\mathfrak{L}$ (M)) the plane $\bar E$ generated by E is a projective plane, then (P, $\mathfrak{L}$ ) is a projective space (cf. 5.6). Or more generally: If for any subset M of P the restriction (M, $\mathfrak{L}$ (M)) is locally complete, and if for any two distinct coplanar lines G1, G2 ∈ $\mathfrak{L}$ (M) the lines $\bar G_1 ,\bar G_2 \varepsilon \mathfrak{L}$ generated by G1, G2 have a nonempty intersection and $\overline {G_1 \cup {\text{ }}G_2 }$ satisfies the exchange condition, then (P, $\mathfrak{L}$ ) is a generalized projective space.     

Minimal Symmetric Differences of Lines in Projective Planes

Let q be an odd prime power and let be the minimum size of the symmetric difference of r lines in the Desarguesian projective plane . We prove some results about the function , in particular showing that there exists a constant such that for .     

On Projective Planes of Order 15 Admitting a Collineation of Order 7

In this article we prove that there is no projective plane of order 15 admitting a collineation group of order 21. C. Y. Ho proved that there is no projective plane of order 15 admitting a collineation group of order 49. But his proof is incorrect. We also correct his error. The conclusion remains the same. We used a computer for our research.     

A Note on the Place Topology of Projective Planes

It is shown that the place topology induced by a proper epimorphism of a projective plane , which is known to make a Lenz-topological plane, makes even a topological projective plane, if the extended radical of some underlying ternary field is bounded.     

Bounds for Arcs of Arbitrary Degree in Finite Desarguesian Planes

This paper examines subsets with at most n points on a line in the projective plane . A lower bound for the size of complete ‐arcs is established and shown to be a generalisation of a classical result by Barlotti. A sufficient condition ensuring that the trisecants to a complete (k, 3)‐arc form a blocking set in the dual plane is provided. Finally, combinatorial arguments are used to show that, for , plane (k, 3)‐arcs satisfying a prescribed incidence condition do not attain the best known upper bound.     

Finite Projective Geometries and Classification of the Weight Hierarchies of Codes （Ⅰ）

The weight hierarchy of a binary linear [n,κ] code C is the sequence (d1,d2,...,dκ), where dr is the smallest support of an r-dimensional subcode of C. The codes of dimension 4 are collected in classes and the possible weight hierarchies in each class is determined by finite projective geometries.The possible weight hierarchies in class A, B, C, D are determined in Part (Ⅰ). The possible weight hierarchies in class E, F, G, H, I are determined in Part (Ⅱ).     

On Sets of Planes in Projective Spaces Intersecting Mutually in One Point

Let be a projective space. In this paper we consider sets of planes of such that any two planes of intersect in exactly one point. Our investigation will lead to a classification of these sets in most cases. There are the following two main results:- If is a set of planes of a projective space intersecting mutually in one point, then the set of intersection points spans a subspace of dimension 6. There are up to isomorphism only three sets where this dimension is 6. These sets are related to the Fano plane.- If is a set of planes of PG(d,q) intersecting mutually in one point, and if q3, 3(q²+q+1), then is either contained in a Klein quadric in PG(5,q), or is a dual partial spread in PG(4,q), or all elements of pass through a common point.     

Eigenvalues of Finite Projective Planes with an Abelian Cartesian Group

Let M be an incidence matrix for a projective plane of order n. The eigenvalues of M are calculated in the Desarguesian case and a standard form for M is obtained under the hypothesis that the plane admits a (P,L)-transitivity G, |G| = n. The study of M is reduced to a principal submatrix A which is an incidence matrix for n ² lines of an associated affine plane. In this case, A is a generalized Hadamard matrix of order n for the Cayley permutation representation R(G). Under these conditions it is shown that G is a 2-group and n = 2^r when the eigenvalues of A are real. If G is abelian, the characteristic polynomial |xI – A| is the product of the n polynomials |x – (A)|, a linear character of G. This formula is used to prove n is a prime power under natural conditions on A and spectrum(A). It is conjectured that |xI – A| x ⁿ² mod p for each prime divisor p of n and the truth of the conjecture is shown to imply n = |G| is a prime power.     

Vanishing Ideals of Projective Spaces over Finite Fields and a Projective Footprint Bound

We consider the vanishing ideal of a projective space over a finite field. An explicit set of generators for this ideal has been given by Mercier and Rolland. We show that these generators form a universal Gr¨obner basis of the ideal. Further we give a projective analogue for the so-called footprint bound, and a version of it that is suitable for estimating the number of rational points of projective algebraic varieties over finite fields. An application to Serre's inequality for the number of points of projective hypersurfaces over finite fields is included.     

On Planes of Order p2 in Which Every Quadrangle Generates a Subplane of Order p

After Gleason's result, in the late fifties the following conjecture appeared: if in a finite projective plane every quadrangle is contained in a unique Desarguesian proper subplane of order p, then the plane is Desarguesian (and its order is p ^d for some d). In this paper we prove the conjecture in the case when the plane is of order p ² and p is a prime.     

Partial ‐Parallelisms in Finite Projective Spaces

In this paper, we consider the following question. What is the maximum number of pairwise disjoint k‐spreads that exist in PG()? We prove that if divides and then there exist at least two disjoint k‐spreads in PG() and there exist at least pairwise disjoint k‐spreads in PG(n, 2). We also extend the known results on parallelism in a projective geometry from which the points of a given subspace were removed.     

Projective Planes of Order q whose Collineation Groups have Order q 2

Translation planes of order q are constructed whose full collineation groups have order q ².     

The Classification of Projective Planes of Order q3 with Cone-Representations in PG (6, q)

The classification of cone-representations of projective planes of orderq ³ of index 3 and rank 4 (and so in PG(6,^q)) is completed. Any projective plane with a non-spread representation (being a cone-representation of the second kind) is a dual generalised Desarguesian translation plane, as found by Jha and Johnson, and conversely. Indeed, given any collineation of PG(2,^q) with no fixed points, there exists such a projective plane of order q³ , where q is a prime power, that has the second kind of cone-representation of index 3 and rank 4 in PG(6,q). An associated semifield plane of order q ³ is also constructed at most points of the plane. Although Jha and Johnson found this plane before, here we can show directly the geometrical connection between these two kinds of planes.     

On the Projective Normality of Smooth Surfaces of Degree Nine

The projective normality of smooth, linearly normal surfaces of degree 9 in ^N is studied. All nonprojectively normal surfaces which are not scrolls over a curve are classified. Results on the projective normality of surface scrolls are also given.     

Identifying Models of the Octave Projective Plane

We provide a convenient identification between two models of the projective plane over the alternative field of octaves: Aslaksen's coordinate approach and the classic approach via Jordan algebras. We do this by modifying a 1949 lemma of P. Jordan.     

Projective Completions of Jordan Pairs,Part II: Manifold Structures and Symmetric Spaces

We define symmetric spaces in arbitrary dimension and over arbitrary non-discrete topological fields , and we construct manifolds and symmetric spaces associated to topological continuous quasi-inverse Jordan pairs and -triple systems. This class of spaces, called smooth generalized projective geometries, generalizes the well-known (finite or infinite-dimensional) bounded symmetric domains as well as their ‘compact-like’ duals. An interpretation of such geometries as models of Quantum Mechanics is proposed, and particular attention is paid to geometries that might be considered as ‘standard models’ – they are associated to associative continuous inverse algebras and to Jordan algebras of hermitian elements in such an algebra.Mathematics Subject Classiffications (2000). primary: 17C36, 46H70, 17C65; secondary: 17C30, 17C90     

An Extremal Characterization of the Incidence Graphs of Projective Planes

Let G be a 4-cycle free, bipartite graph on 2n vertices with partitions of equal cardinality n. Let c₆(G) denote the number of cycles of length 6 in G. We prove that for n 3, c₆(G) , where , with equality if and only if G is the incidence point-line graph of a projective plane.     

Some Sets of Type (m,n) in Cubic Order Planes

A (4,9)-set of size 829 in (2,5³) is constructed, as is a (4,11)-set of size 3189 in (2,7³).     

The Eigenspaces of the Bose-Mesner-Algebras of the Association Schemes Corresponding to Projective Spaces and Polar Spaces

In an earlier paper 7, some properties of the eigenspaces of the Bose-Mesner-algebras of association schemes are figured out, leaving open the problem of determining the eigenspaces. In the present paper, these eigenspaces and the eigenvalues are determined for projective spaces and for polar spaces. This allows characterizations of certain sets of subspaces of these geometries.