arXiv++ Combinatorics

In this paper, we study and characterise the natural embedding of the Ree-Tits octagons. Keywords: Ree-Tits Octagon, Metasymplectic space, generalised octagon, generalised polygon

We characterise sets of points of exceptional Lie incidence geometries, that is, the natural geometries arising from spherical buildings of exceptional types $\mathsf{F_4}$, $\mathsf{E_6}$, $\mathsf{E_7}$, $\mathsf{E_8}$ and $\mathsf{G_2}$, that form a line using the opposition relation. With that, we obtain a classification of so-called ``geometric lines'' in many of these geometries. Furthermore, our results lead to a characterisation of geometric lines in finite exceptional Lie incidence geometries as minimal blocking sets, that is, point sets of the size of a line admitting no object opposite to all of their members, in most cases, and we classify all exceptions. As a further consequence, we obtain a characterisation of automorphisms of exceptional spherical buildings as certain opposition preserving maps.

We consider any classical Grassmannian geometry $Γ$; that is, any projective or polar Grassmann space. Suppose every line in $Γ$ contains $s+1$ points. Then we classify all sets of points in $Γ$ of cardinality $s+1$, with the property, that no object of opposite type in the corresponding building, is opposite every point of the set. It turns out that such sets are either lines, or hyperbolic lines in symplectic residues, or ovoids in large symplectic subquadrangles of rank 2 residues in characteristic 2. This is a far-reaching extension of a famous and fundamental result of Bose & Burton from the 1960s. We describe a new way to classify geometric lines in finite classical geometries and how our results correspond to blocking sets.

We show that the cliques of maximal size in the confluence graph of an arbitrary unital of order $q>2$ have size $q^2$, and that these cliques are the pencils of all blocks through a given point. This solves the Erdős-Ko-Rado problem for all unitals. We also determine all maximal cliques of the confluence graph of the Hermitian unitals. As an application, we show that the confluence graph of an arbitrary unital unambiguously determines the unital. Along the way, we show that each linear space with $q^2$ points such that the sizes of both point rows and line pencils are bounded above by $q+1$ embeds in a projective plane of order $q$.

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a projective space of dimension at least $4$, we show that its point graph is determined by its local structure. This follows from a more general result which classifies graphs whose local structure can vary over all local structures of the point graphs of the aforementioned geometries. In particular, this characterises the strongly regular graphs arising from the line Grassmannian of a finite projective space, from the half spin geometry related to the quadric $Q^+(10,q)$ and from the exceptional group of type $\mathsf{E_6}(q)$ by their local structure.

An automorphism of a spherical building is called domestic if it maps no chamber to an opposite chamber. In this paper we classify domestic automorphisms of spherical buildings of classical type.

If every point of a unital is fixed by a non-trivial translation and at least one translation has order two then the unital is classical (i.e., hermitian).

Every finite subunital of any generalized hermitian unital is itself a hermitian unital; the embedding is given by an embedding of quadratic field extensions. In particular, a generalized hermitian unital with a finite subunital is a hermitian one (i.e., it originates from a separable field extension).

Parapolar spaces are point-line geometries introduced as a geometric approach to (exceptional) algebraic groups. We characterize a wide class of Lie geometries as parapolar spaces satisfying a simple intersection property. In particular many of the exceptional Lie incidence geometries occur. {In an appendix, we extend our result to the locally disconnected case and discuss the locally disconnected case of some other well known characterizations.

We consider unitals of order $q$ with two points which are centers of translation groups of order $q$. The group $G$ generated by these translations induces a Moufang set on the block joining the two points. We show that $G$ is either $\operatorname{SL}(2,\mathbb{F}_q)$ (as in all classical unitals and also in some non-classical examples), or $\operatorname{PSL}(2,\mathbb{F}_q)$, or a Suzuki or a Ree group. Moreover, $G$ is semi-regular outside the special block.

To each automorphism of a spherical building there is naturally associated an "opposition diagram", which encodes the types of the simplices of the building that are mapped onto opposite simplices. If no chamber (that is, no maximal simplex) of the building is mapped onto an opposite chamber then the automorphism is called "domestic". In this paper we give the complete classification of domestic automorphisms of split spherical buildings of types $\mathsf{E}_6$, $\mathsf{F}_4$, and $\mathsf{G}_2$. Moreover, for all split spherical buildings of exceptional type we classify (i) the domestic homologies, (ii) the opposition diagrams arising from elements of the standard unipotent subgroup of the Chevalley group, and (iii) the automorphisms with opposition diagrams with at most $2$ distinguished orbits encircled. Our results provide unexpected characterisations of long root elations and products of perpendicular long root elations in long root geometries, and analogues of the density theorem for connected linear algebraic groups in the setting of Chevalley groups over arbitrary fields.

We geometrically characterise the Veronese representations of ring projective planes over algebras which are analogues of the dual numbers, giving rise to projective Hjelmslev planes of level 2 coordinatised over quadratic alternative algebras. These planes are related to affine buildings of relative type $\widetilde{A}_2$ and respective absolute type $\widetilde{\mathsf{A}}_2$, $\widetilde{\mathsf{A}}_5$ and $\widetilde{\mathsf{E}}_6$.

A symplectic polarity of a building Δ of type E6 is a polarity whose fixed point structure is a building of type F4 containing residues isomorphic to symplectic polar spaces (i.e., so-called split buildings of type F4). In this paper, we show in a geometric way that every building of type E6 contains, up to conjugacy, a unique class of symplectic polarities. We also show that the natural point-line geometry of each split building of type F4 fully embedded in the natural point-line geometry of Δ arises from a symplectic polarity.

We study to which extent the family of pairs of subspaces of a vector space related to each other via intersection properties determines the vector space. In another language, we study to which extent the family of vertices of the building of a projective space related to each other via several natural respective conditions involving the Weyl distance and incidence determines the building. These results can be seen as generalizations of and variations on the Fundamental Theorem of Projective Geometry.

In this paper we define generalised spheres in buildings using the simplicial structure and Weyl distance in the building, and we derive an explicit formula for the cardinality of these spheres. We prove a generalised notion of distance regularity in buildings, and develop a combinatorial formula for the cardinalities of intersections of generalised spheres. Motivated by the classical study of algebras associated to distance regular graphs we investigate the algebras and modules of Hecke operators arising from our generalised distance regularity, and prove isomorphisms between these algebras and more well known parabolic Hecke algebras. We conclude with applications of our main results to non-negativity of structure constants in parabolic Hecke algebras, commutativity of algebras of Hecke operators, double coset combinatorics in groups with $BN$-pairs, and random walks on the simplices of buildings.

We investigate the combinatorial interplay between automorphisms and opposition in (primarily finite) generalised polygons. We provide restrictions on the fixed element structures of automorphisms of a generalised polygon mapping no chamber to an opposite chamber. Furthermore, we give a complete classification of automorphisms of finite generalised polygons which map at least one point and at least one line to an opposite, but map no chamber to an opposite chamber. Finally, we show that no automorphism of a finite thick generalised polygon maps all chambers to opposite chambers, except possibly in the case of generalised quadrangles with coprime parameters.

We introduce an axiom on strong parapolar spaces of diameter 2, which arises naturally in the framework of Hjelmslev geometries. This way, we characterize the Hjelmslev-Moufang plane and its relatives (line Grassmannians, certain half-spin geometries and Segre geometries). At the same time we provide a more general framework for a Lemma of Cohen, which is widely used to study parapolar spaces. As an application, if the geometries are embedded in projective space, we provide a common characterization of (projections of) Segre varieties, line Grassmann varieties, half-spin varieties of low rank, and the exceptional variety $\mathcal{E}_{6,1}$ by means of a local condition on tangent spaces.

We show that every automorphism of a thick twin building interchanging the halves of the building maps some residue to an opposite one. Furthermore we show that no automorphism of a locally finite 2-spherical twin building of rank at least 3 maps every residue of one fixed type to an opposite. The main ingredient of the proof is a lemma that states that every duality of a thick finite projective plane admits an absolute point, i.e., a point mapped onto an incident line. Our results also hold for all finite irreducible spherical buildings of rank at least 3, and as a consequence we deduce that every involution of a thick irreducible finite spherical building of rank at least 3 has a fixed residue.

In this two-part paper we prove an existence result for affine buildings arising from exceptional algebraic reductive groups. Combined with earlier results on classical groups, this gives a complete and positive answer to the conjecture concerning the existence of affine buildings arising from such groups defined over a (skew) field with a complete valuation, as proposed by Jacques Tits. This first part lays the foundations for our approach and deals with the `large minimal angle' case.

In this paper, we present some geometric characterizations of the Moufang quadrangles of mixed type, i.e., the Moufang quadrangles all the points and lines of which are regular. Roughly, we classify generalized quadrangles with enough (to be made precise) regular points and lines with the property that the dual net associated to the regular points satisfy the Axiom of Veblen-Young, or a very weak version of the Axiom of Desargues. As an application we obtain a geometric characterization and axiomatization of the generalized inversive planes arising from the Suzuki-Tits ovoids related to a polarity in a mixed quadrangle. In the perfect case this gives rise to a characterization with one axiom less than in an already known result by the second author.