Maps related to polar spaces preserving a Weyl distance or an incidence condition
A. De Schepper, H. Van Maldeghem

TL;DR
This paper characterizes permutations of polar space elements that preserve a Weyl distance or incidence condition, showing they are mostly induced by automorphisms of the associated Tits-building, with specific exceptions.
Contribution
It provides a detailed classification of distance-preserving permutations in polar spaces, linking them to automorphisms of Tits-buildings and identifying exceptions with embeddings into larger structures.
Findings
Most distance-preserving permutations are induced by Tits-building automorphisms.
Identifies exceptions where permutations are not automorphisms but relate to embeddings into larger buildings.
Provides combinatorial characterizations of automorphism groups of polar spaces.
Abstract
Let and be the sets of elements of respective types and of a polar space~ of rank at least , viewed as a Tits-building. For any Weyl distance between and , we show that is characterised by and and two additional numerical parameters and . We consider permutations of that preserve a single Weyl distance . Up to a minor technical condition on , we prove that, up to trivial cases and two classes of true exceptions, is induced by an automorphism of the Tits-building associated to , which is always a type-preserving automorphism of (and hence preserving all Weyl-distances), unless is hyperbolic, in which case there are outer automorphisms. For each class of exceptions, we determine a Tits-building in which…
| orth., not hyperbolic | ||||||||
| hyperbolic, |i|,|j|<n-1 | ||||||||
| other |
| : | |||||||
| : , | |||||||
| : , | |||||||
| : (so ) | |||||||
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Maps related to polar spaces preserving a Weyl distance or an incidence condition
Anneleen De Schepper Supported by the Fund for Scientific Research - Flanders (FWO - Vlaanderen)
Hendrik Van Maldeghem Partly supported by the Fund for Scientific Research - Flanders (FWO - Vlaanderen)
(Department of Mathematics,
Ghent University,
Krijgslaan 281-S25,
B-9000 Ghent, BELGIUM
∗Corresponding author)
Abstract
Let and be the sets of elements of respective types and of a polar space of rank at least , viewed as a Tits-building. For any Weyl distance between and , we show that is characterised by and and two additional numerical parameters and . We consider permutations of that preserve a single Weyl distance . Up to a minor technical condition on , we prove that, up to trivial cases and two classes of true exceptions, is induced by an automorphism of the Tits-building associated to , which is always a type-preserving automorphism of (and hence preserving all Weyl-distances), unless is hyperbolic, in which case there are outer automorphisms. For each class of exceptions, we determine a Tits-building in which naturally embeds and is such that is induced by an automorphism of . At the same time, we prove similar results for permutations preserving a natural incidence condition. These yield combinatorial characterisations of all groups of algebraic origin which are the full automorphism group of some polar space as the automorphism group of many bipartite graphs.
Keywords: Polar spaces, Weyl distance, Grassmannian
AMS classification: 51E24, 51A50
1 Introduction
Let be a polar space of rank with , with its set of types and its set of singular subspaces of type (the type of a singular subspace is its dimension, except for the maximal singular subspaces of a hyperbolic quadric). The following situation is the central theme of some recent papers: Define some natural (adjacency) relation on and determine the full automorphism group of the corresponding graph , hoping for the full automorphism group of . For instance, Liu, Ma & Wang [22] essentially prove that when is a finite unitary polar space, is arbitrary but not maximal, and adjacency is “being incident with common singular subspaces of types and ”, then the automorphism group of coincides with the full automorphism group of the polar space. Zeng, Chai, Feng & Ma [30] prove the same thing for finite symplectic polar spaces. Pankov [24] shows this for general polar spaces, and points out the only exception, namely the polar space related to the triality quadric, where also trialities and dualities preserve this adjacency relation on the set of lines of the polar space (however, implicitly, this result was known long before, see Section 5). M. Pankov, K. Prazmovski & M. Zynel [25] show for an arbitrary polar space and arbitrary that, when adjacency is “being incident with a common singular subpace of type ”, then the automorphism group of coincides with the full automorphism group of the polar space (without exception). Huang & Havlicek [19] develop a technique that can be applied to this problem when the adjacency relation is given by “opposition” (see below for the precise definition of this notion). However, their result can not be applied to all polar spaces. Kasikova & Van Maldeghem [20] solve the case of opposition for all polar spaces and all possible types (pointing out several exceptions to the expectation of getting the full automorphism group of the polar space). Huang [17, 18] shows that for many polar spaces, when is maximal and adjacency is given by “intersecting in a singular subspace of type at most some fixed number”, the automorphism groups of the graph and the polar space coincide. Liu, Pankov & Wang [23] treat the case where adjacency is given by “being incident with a common singular subpace of type and not with one of type ”, and also the case where adjacency is defined as “being contained in a unique maximal singular subpace”. In the present paper we consider adjacency relations that contain and generalise all previously mentioned relations. Moreover, we consider these relations between singular subspaces of possibly different types, which gives rise to bipartite graphs and yields slightly more general results and more counter examples. We note that the adjacency relations in [25, 17, 18] express an intersection property of the singular subspaces in question, while the adjacency relations in [22, 30, 19, 20, 23] express a certain Weyl distance in the associated Tits-building.
Hence we study permutations of , for (note that in most cases represent dimensions, only when is hyperbolic there are two types of -dimensional subspaces; hence, in general, and denote the corresponding dimensions), preserving either
a single Weyl distance between elements of and in the Tits-building associated to ,
or
the members of which intersect in a subspace of given dimension,
or
the members of whose intersection has dimension at least some given value.
In graph-theoretical terms, this amounts to automorphisms of bipartite graphs having and as bipartition classes, where and are adjacent if, for some (defining the type of the empty set as and including in case is a hyperbolic polar space, as then ), the type of is and the type of is in Case (this will be explained below), the type of is in Case , and the type of is at least in Case . With only a single restriction on the parameters, being “ implies ”, we prove that, up to two classes of exceptions and trivial graphs (meaning that the adjacency relation is empty, the graph is complete bipartite, a matching or the bipartite complement of a matching), every automorphism of these graphs is induced by an automorphism of the Tits-building corresponding to , which is just an automorphism of the polar space if is not hyperbolic. The mentioned restriction is not expected to give rise to counterexamples, yet it does require a different approach which does not fit in the current paper (and as such we leave this case for future work). If , then by considering all possible Weyl distances between elements of type and , Case provides a partition of the complete bipartite graph such that the automorphism group of each class of the partition coincides with the full automorphism group of the polar space. This is a nice and unexpected, though theoretical combinatorial property of these groups.
In [13], we studied a similar problem for a projective space , which gave rise to two types of graphs. Both have and as bipartition classes (with similar notation as above and ). In the first case (resp. the second case), and are adjacent if (resp. ) for a fixed with . The main result of [13] states that if these graphs are nontrivial, then all their automorphisms are induced by automorphisms of (possibly including a duality). Both cases fit in an incidence geometric setting, since in the first case (resp. the second case), and are adjacent whenever there is exactly one -space (resp. at least one -space) incident with both of them. However, the first case in fact also fits in a metric setting, since it corresponds with the preservation of a single Weyl distance in the Tits-building corresponding to . As a projective space is a particular type of Tits-building and the Weyl distance is defined for Tits-buildings in general, it is natural to ask whether this also holds for other types of (spherical) Tits-buildings. This paper answers this question for Tits-buildings associated to polar spaces. Yet, we are also able to treat analogs of the incidence-geometric case at the same time. Precise definitions and statements will be given in Section 3. The case of the preservation of a Weyl distance yields a rather general Beckman-Quarles [3] type result for the vertices of spherical Tits-buildings of classical type.
Since the analogous problem in the rank 2 spherical case is completely solved by Govaert & Van Maldeghem [15], only the exceptional Tits-buildings of types remain. These yield a finite number of possible Weyl distances. Note that a similar question for chambers of any Tits-building has been answered by Abramenko & Van Maldeghem [2].
2 Preliminaries
To avoid ambiguity, we give definitions of the concepts that we will frequently use.
2.1 Polar spaces and related notions
A * polar space* of rank , , consists of a set of points and a family of subsets of , satisfying the following axioms.
- (PS)
Each element of together with all elements of contained in is a projective space of dimension at most (this dimension will be called the dimension of and is denoted by ). A projective space of dimension is just the empty set, a projective space of dimension 0 is a point and a projective space of dimension 1 is a set of at least three points with no further structure.
- (PS)
The intersection of any number of elements of is again contained in .
- (PS)
For with and , the union of all elements of of dimension 1 containing and intersecting nontrivially is an element of of dimension which intersects in a hyperplane.
- (PS)
There are two disjoint elements of of dimension .
A set of cardinality at least two, together with is considered to be a polar space of rank 1. Henceforth, denotes a polar space of rank with .
Collinearity and opposition An element of of dimension is called a maximal singular subspace (MSS for short) and an element of of dimension 1 is called a line. Let and be two distinct points. If they are on a common line, they are called collinear and we write , if not, they are called opposite. The set of points equal or collinear with is denoted by . A subspace of is a subset of such that the lines joining any two collinear points of are contained in . Moreover, if contains no pair of opposite points, the subspace is called singular. The elements of are precisely the singular subspaces of . If and are singular subspaces with , then the codimension of in is defined as .
For a singular subspace , we define as . For any singular subspace , we say that and are collinear if . If they are collinear but disjoint, we write . Let be a set of pairwise collinear singular subspaces. We denote by the smallest singular subspace containing all members of , and we also say that the members of generate or that is spanned by the members of . If consists of two distinct collinear points , we denote the unique line joining these points by . The projection of a singular subspace on a singular subspace is and the subspace spanned by and is denoted by (note that ). If or is empty, we say that and are semi-opposite. Now let and be semi-opposite singular subspaces. If , then both and are empty and and are just called opposite; in case , the projection is empty whereas is not, more precisely, it has dimension .
Embeddable and non-embeddable polar spaces A polar space is called embeddable when is a (spanning) subset of the point set of a projective space and the elements of are subspaces of that projective space.
According to the classification of polar spaces of rank at least by Jacques Tits, there are only two classes which are not embeddable. Both occur when the rank equals and are denoted by and , respectively. The first one has diagram of type , more precisely, it is a line Grassmannian of a projective space of dimension over a non-commutative skew field and hence it has projective planes over both and its opposite field, ; the second has diagram of type and has planes over an octonion Cayley-Dickson division algebra (hence these planes are non-Desarguesian). We now turn to the embeddable polar spaces.
An embeddable polar space does not necessarily admit a unique representation in projective space. However, it will suffice for us to have one specific representation, namely, the one arising from a pseudo-quadratic form. The following is based on Chapter 10 of [5], slightly modified by Tits in [29]. Let be an embeddable polar space of rank at least . Then there are a skew field , a right vector space over (of possibly infinite dimension), an isomorphism of order at most 2 between and its dual , and a -linear form (i.e., is -linear in the first argument and linear in the second argument) such that can be described as follows. Put for , and consider it as an additive group. Let be the -linear mapping defined by , and define the pseudo-quadratic form as
[TABLE]
where is considered as a quotient of additive groups. We must assume that is anisotropic over the radical of , i.e., for , (this is the zero of the additive group ) if and only if . Then the point set of consists precisely of the points of the projective space represented by vectors which vanish under , i.e., . Two points of , say corresponding with the 1-spaces generated by respective vectors , are collinear precisely if .
In the above, we can always assume that if is nontrivial. If is trivial, then is commutative and is either symmetric () or alternating ().
Depending on , and , we get different kinds of polar spaces, on which we will now comment. First note though that is not uniquely determined by . In spite of this, the pseudo-quadratic form , if nontrivial, does determine the form uniquely.
We start assuming that , in which case the polar spaces described below correspond to non-degenerate alternating forms, bilinear forms and Hermitian forms, respectively.
- •
Every point of is a point of . In this case , and is alternating. Then for some and we can choose a basis for such that, for with ,
[TABLE]
These polar spaces are called symplectic. They have the property that every line of is either a line of or a full hyperbolic line (see later on).
- •
Not all points of are points of . Here, as alluded to above, we may always assume . In this case, there is a subspace of of (vectorial) codimension and an anisotropic pseudo-quadratic form (meaning that if and only if , for all ) and a basis of a subspace complementary to in such that for any vector with and we have
[TABLE]
We now distinguish between being the identity, and not being the identity. Let be any pair of non-collinear points of . Let be the line in joining and .
If is the identity, then * always intersects precisely in .* These polar spaces are called orthogonal (and sometimes also strictly orthogonal for consistency with the case of characteristic 2). In particular, if , then is hyperbolic; if then is parabolic. Note that can be arbitrary, even every infinite cardinal.
If is nontrivial, then * always intersects in at least 3 points.* Then is called unitary or Hermitian. Note that is not necessarily commutative here, as opposed to the previous cases.
In both cases one sees that is the maximum dimension of a subspace of entirely contained in the point set of .
If , the situation is richer.
- •
If is a perfect field, then a parabolic polar space (similarly defined as above for characteristic different from 2, in particular we assume trivial) is isomorphic to a symplectic polar space (of the same rank and over ). Consequently, the parabolic polar space can now be embedded in as the symplectic one, and we will consider this as its standard embedding.
- •
If is an imperfect field, is trivial, then we consider as standard embedding the embedding of the polar space induced in . If, and only if, Rad is nontrivial, then a line of intersecting the polar space in at least two points, intersects it in at least three points. If Rad is trivial, we say that the polar space is strictly orthogonal; otherwise mixed.
- •
If is not trivial, it could happen that the corresponding polar space can also be obtained as the zeros of the diagonal of a non-degenerate Hermitian form (and this always happens if is commutative), but if is not commutative, then this is not necessarily true. In any case, we will refer to a polar space from a pseudo-quadratic form with nontrivial as a Hermitian polar space. Again, we consider as standard embedding the embedding of the polar space induced in . Independently of the dimension of , every line intersecting the polar space in at least two points, intersects it in at least three points.
Residues of Let be a singular subspace of dimension with and put If is an element of containing , we let represent the elements of contained in . We then define as . The resulting structure , i.e., the residue, is a polar space of rank of the same “kind” as , e.g. the residue of a parabolic polar space is parabolic too, and likewise for hyperbolic, unitary, mixed and so on. As such, we extend this terminology to rank 2 and rank 1 residues. An element has dimension and will often be identified with . If , then has rank . This residue contains at least points and it contains precisely if and only if is hyperbolic.
The Tits-building associated to Denote by the Tits-building associated to . Note that, if is hyperbolic, is in fact the Tits-building associated to the oriflamme complex of . This is the geometry having as elements of type , with , the elements of dimension of , and as elements of types and the elements of of dimension , hereby distinguishing between the two natural families of MSS. Incidence between elements of the latter two types is given by intersecting in an -space of , incidence between all other pairs of elements is given by incidence in . We define the type set of in this case as ; in case is not hyperbolic, is just . For , we denote by the corresponding dimension if confusion is possible. The type of a flag of elements is then the set of types of these elements. If is hyperbolic however, the type of a flag of type will conveniently be denoted by sometimes, as this is the dimension of the corresponding subspace. Furthermore, to the empty subspace we assign the type , as this is its projective dimension.
Automorphisms of and We denote by the group of all automorphisms of the polar space , i.e., all permutations of the point set of preserving collinearity and opposition of points. Further, we denote by the group of automorphisms of the building , i.e., all permutations of the elements of the building preserving incidence and non-incidence. Finally, we denote by the group of type preserving automorphisms of . However, an automorphism of the Tits-building associated to is always type-preserving (recall that we assume that the rank of is at least 3), unless possibly if is hyperbolic as then allows dualities, or even trialities if . So assume that is hyperbolic. A duality is an automorphism of preserving all types but the maximal ones, which are interchanged. If , a triality is an automorphism of only preserving type and cyclically permuting the types . The composition of a duality and a triality of yields an automorphism of preserving types and for some while interchanging types [math] and . We call this automorphism a -duality. Analogously, we sometimes also speak of a [math]-duality.
Hyperbolic subspaces Let and be opposite -spaces with non-maximal. We define the double perp of and as the set of points collinear with . If , this double perp induces a polar space of rank , which is called a hyperbolic -space. A hyperbolic -space is just called a hyperbolic line and hence has at least three points. In the standard embedding of in a projective space , we obtain by intersecting with the -space of generated by and . This way it is easily seen that each point in which is collinear with two opposite -spaces of is collinear with all elements of , though this property also holds when is not embeddable.
If each point collinear to and should also be collinear with some point , then it follows immediately that belongs to , since for all . This property will often be used.
If , two opposite points determine a hyperbolic line unless is a strictly orthogonal polar space. In case is Moufang (which it certainly is if ), the existence of one hyperbolic line is equivalent with all pairs of opposite points contained in a hyperbolic line. If , a hyperbolic -space is a hyperbolic quadrangle (that is, a hyperbolic polar space of rank 2) precisely if is orthogonal. This is the only kind of polar spaces in which a maximal set of pairwise opposite lines of a hyperbolic -space has the property that each line intersecting two of them intersects all of them ( is a regulus of a hyperbolic quadrangle then). For , the hyperbolic -space is given by , for any two points .
2.2 Weyl distance between two subspaces of a polar space
We recall the definition of the Weyl distance but assume the reader to be familiar with its basic properties. For more details, see for example Sections 3.5 and 4.8 of [1], or Section 11 of [6]. The Weyl distance is defined in any Tits-building, in particular in . First assume that is not of hyperbolic type.
Let denote the set of nonzero integers not smaller than and not larger than , for any natural number. Let be the graph of a cross-polytope with vertices (where is now indeed the rank of ), i.e., consists of the vertices and is adjacent with , , if and only if . The automorphism group of is a Coxeter group of type , and we choose the following canonical set of generators. The automorphism , is given by the involution interchanging with and with . The automorphism is given by interchanging with . The group is generated by and by no proper subset of it, and we have the relations , where is really the order of the product , given by
[TABLE]
A chamber of is a maximal set of nested cliques. The standard chamber is the nested chain . One easily verifies that acts sharply transitively on the set of all chambers of (there are chambers in ). Hence, given any chamber , there exists a unique such that . We say that is the Weyl distance from to , in symbols . In general, for two chambers , we define . The numerical distance is the minimal length of any expression of in terms of the generators in (that number is also called the length of the corresponding element of ).
It is well known that , just like each finite Coxeter group, contains a unique element of maximal length. In our case, the maximal length is and is given by
[TABLE]
An apartment of is a set of all singular subspaces spanned by a subset of the set , of points for which is the unique point of opposite and the unique point of opposite , for . The set is called a frame. A chamber of is a maximal chain of nested nonempty singular subspaces. A chamber is contained in the apartment if each of the singular subspaces of is contained in , i.e., each member of is generated by a subset of the point set . By Theorem 7.4 of [28], for every pair of chambers there exists an apartment containing both and . The frame of that apartment can be numbered so that contains the singular subspace spanned by , for every . We can then attach to a nested sequence of subsets of such that each subset generates a singular subspace of . The bijection , , , identifies this sequence with a chamber of . A similar identification maps to the standard chamber of . The Weyl distance is now by definition equal to . It is independent of the choice of the apartment containing and . If , then we say that and are opposite.
This Weyl distance can also be defined in a natural way on pairs of singular subspaces of as follows. Let and be two singular subspaces of . Let be the set of Weyl distances from a chamber of containing to a chamber of containing . Then one shows (Proposition 4.88 in [1]) that contains a unique element of minimal length. We set .
Now suppose that is hyperbolic and of rank . Then the building associated with is identified with the oriflamme complex rather than with itself. We still consider the cross polytope graph as above, but we define the chambers in a different way. A chamber is now a nested set of cliques of size at most , together with two cliques of size intersecting in a clique of size which contains each clique of the nested set of cliques. Note that the set of maximal cliques of falls naturally into two classes in such a way that the size of the intersection of two elements (not) belonging to the same class has (does not have) the same parity as . Every chamber contains a maximal clique of each class. The Coxeter group is now defined as the group of automorphisms of preserving the two classes of maximal cliques. It is a Coxeter group of type . It is generated by the same elements and a new element interchanging with and with (and then ). Writing for a moment as for convenience (), we again have relations , where is really the order of the product , given by
[TABLE]
Again, there is a unique longest element in , and it has length . It reads
[TABLE]
The standard chamber is now
[TABLE]
The Weyl distance from to any other chamber of is defined as above, now using the Coxeter group and the set of generators. Similarly as above, also the Weyl distance between two arbitrary chambers is defined. Also, if we define a chamber in as the union of a set of nested singular subspaces of dimension [math] up to with a pair of maximal singular subspaces intersecting in a singular subspace of dimension which contains each element of , then we can define the Weyl distance from one chamber to another in the same way as for type above. Similarly, one also defines the Weyl distance between singular subspaces in .
Before we prove the next lemma, we note that, if is an element of type of , where is not of hyperbolic type, and is an element of type not incident with , , then any shortest expression of in terms of the generators in starts with and ends with . Indeed, it follows from the proof of Proposition 3.87 in [1] that is the shortest element of the double coset , where denotes the (Weyl) subgroup generated by , ; hence if the shortest expression of would start with , , then we can absorb it in and get a shorter representative of the double coset, a contradiction (similarly if the shortest expression of would not end with ). Hence the Weyl distance between two distinct elements reveals the type of the elements. Similarly for the case that is hyperbolic (but then, if has type or , then starts with or , respectively, and similar for ).
2.1 Lemma**.**
Let , , , be four singular subspaces of conforming to a type of the building and such that neither nor are flags. Then if and only if , , and .
Proof.
First suppose that . By the definition of Weyl distance, we find chambers and containing and , respectively, such that . As acts strongly transitively on , it acts transitively on the family of pairs of chambers at the same Weyl distance (see e.g. Proposition 7.11 in [1]). Hence there is a type-preserving automorphism of mapping on . Since the Weyl distance determines the types of , we deduce that the types of and are the same, and also the types of and coincide. This means that is mapped by onto (because each chamber contains a unique element of each type), and moreover, is mapped on and on . As is type preserving, the assertion follows.
To show the converse, it suffices to find an element of that sends to , since such a map preserves the Weyl distance. Without loss, , for there is a type preserving automorphism mapping onto and this of course preserves the respective types of intersection and projection. We may also assume that and are in a common apartment determined by the frame (with previous notation). Indeed, suppose that is an apartment containing and and an apartment containing and . Then by the strong transitivity of , there is a type preserving automorphism mapping on while fixing . We now look for a type preserving automorphism in that fixes and maps on . Let (resp. ) be a subspace of (resp. ) complementary to . The subspaces and their subspaces correspond to subsets of . Applying the bijection , , , the assertion is now easily checked in the graph (for both cases of type and ). .
2.2 Remark**.**
- •
The condition that both and are not flags is necessary but harmless. Indeed, it is necessary because if and are flags then , regardless of the types of . It is harmless because, in our case we always have and and, given this, we also have if and only if and .
- •
The previous lemma also holds if are flags (with an obvious definition of Weyl distance). However, we would only need this when is hyperbolic of rank , when dealing with singular subspaces of dimension , i.e., flags with type set . Yet, in that situation we will consider as a non-thick building of type and then we can apply the previous lemma anyway. So we do not need the flag version of the lemma after all.
3 Statements of the results
Let be a polar space of rank , with , having type set . Again, denote by the set of singular subspaces of having type . We define, for each pair , three classes of bipartite graphs with bipartition classes and (this entails two disjoint copies of if ). The first one’s adjacency corresponds to a Weyl distance between some -space and some -space . By Lemma 2.1, are adjacent if and . The latter type sets can also be and, in case is hyperbolic, also . Therefore, we let be elements of and, if is hyperbolic, we also allow (which we abbreviate to ).
3.1 Definition**.**
- •
In the -Weyl graph , a pair of vertices is adjacent precisely if and ,
- •
In the -incidence graph , a pair of vertices is adjacent precisely if ,
- •
In the -incidence graph , a pair of vertices is adjacent precisely if .
Convention In short, we will determine the automorphism groups of the above graphs. However, there is just one case that we will not consider in this paper, being the -Weyl graph where when or , i.e., we only allow in case . This is a very specific case that does not fit in the technique used in this paper.
Clearly, the definitions of the -incidence graphs and the -incidence graphs are independent of the order of and . We now discuss what happens for the -Weyl graph if we switch the roles of and . Let and be adjacent vertices in and put . If is not hyperbolic or , then and hence switching the roles of and yields the same graph. If and is hyperbolic, possibly (i.e., then ) and in that case , however, .
As we are only concerned with the automorphism group of the graphs, isomorphic graphs are considered equivalent.
Trivial and equivalent cases The above graphs are considered trivial if they or their bipartite complements (which are obtained by interchanging edges and non-edges between the biparts while keeping no edges within the biparts) are empty or matchings. We list the cases for which it is obvious that they are trivial or equivalent to other cases.
- •
Suppose first that is not hyperbolic. In order for the graphs to be nonempty, we need and for we also need . A matching occurs if . If , then is the bipartite complement of a matching; if , then is a complete bipartite graph. Also note that, if , then (as anyhow).
- •
Next suppose that is hyperbolic. The previous paragraph still applies if we replace by . However, if , we need to be more precise: if then the graphs are matchings if and empty if ; if then they are empty. Moreover, there are additional trivial/equivalent cases when . To study those cases, assume the previously mentioned measures have already been taken into account. This implies that we may assume that .
Assume . Note that this is always the case for the -Weyl graph as soon as , by our convention. In order for this graph to be non-empty, , and, moreover, if then should be odd, if then should be even. The latter also holds when when , note that in fact when . If (resp., ) and is even (resp., odd), then . As the latter two graphs are equivalent, we will choose not to work with , since intersecting in exactly a -space does not occur. Lastly, if , we also have that (and hence also ) is isomorphic to the bipartite complement of . The latter graph is easier to work with, so that is what we will do.
If then as we can apply a triality. Hence in this specific situation, we can treat a case where and .
The automorphism groups of the trivial graphs are readily deduced. For the nontrivial graphs, it is clear that each automorphism of the associated building induces an automorphism of the graph. We aim for the converse, which roughly says that each automorphism of the graph is induced by an automorphism of the associated building. This statement is made precise in Main Theorems 3.5 and 3.7, including the description of the two cases in which there are more automorphisms. In each of the latter two cases, the graph , related to some building , turns out to be isomorphic to a graph related to another building in which the original building can be embedded naturally, and as such, each automorphism of this other building, also those not preserving , will induce an automorphism of . We first discuss those two cases in detail.
3.2 Example** (Special equivalent case 1).**
Let be a parabolic polar space of rank and a hyperbolic polar space of rank containing as a subspace. Put (hence adjacent vertices in correspond to opposite MSS of ) and
[TABLE]
(in , adjacent vertices correspond to opposite MSS of ) and denote the bipartition classes of by and again, and those of by and .
We claim that . Indeed, let be one of the two families of MSS of and let be the family of MSS of of the opposite type (i.e., if is odd and and are distinct if is even). We may assume that and then our choice of implies that . For , consider the mappings which takes an element to the the unique element of containing it. Then the mapping
[TABLE]
defines a graph isomorphism between and : if is an adjacent pair of , i.e., if they are disjoint, then and are also disjoint and hence adjacent (precisely by our choice of ); if are disjoint, then clearly and are disjoint.
We now describe the action of an automorphism of on (note that does not necessarily stabilise , i.e., possibly ). Each vertex , , is mapped to the vertex . As preserves the adjacency of and defines an isomorphism between and , this map preserves the adjacency of and as such, induces an automorphism of . Note that, in the non-bipartite case, i.e., for (as treated in [20]), we can only work with one class of MSS of at a time, so there is only such an isomorphism for odd. Note that its bipartite double is isomorphic to , so when is even, taking the bipartite double yields additional automorphisms.
3.3 Example** (Special equivalent case 2).**
Let be a symplectic polar space of rank . Then arises from a symplectic polarity in a projective space , for some field . Let (hence adjacent vertices in correspond to opposite points of ) and be the bipartite graph with bipartition classes and containing the points and hyperplanes of , respectively, and a point and a hyperplane are adjacent if (hence and are opposite in ).
Again, we claim that . The points of are precisely those of , so . Let be a vertex in . We define as the set of vertices of not adjacent with . Then equals the set of points of equal to or collinear with , i.e., this is exactly as a set of points. Hence the morphism is well defined. As , it follows that is an isomorphism. Putting , we have that defines an isomorphism between and : is an adjacent pair of , i.e., , if and only if , i.e., if is an adjacent pair of .
Like above, an automorphism of (not necessarily preserving ) induces an automorphism of by mapping each vertex on . The smallest example of this case has already been explained in [13] (Theorem 4.2).
In the non-bipartite case, i.e., for , there is no meaningful isomorphism like above to consider, since we worked with two types of subspaces. Also here, the bipartite double of is isomorphic to , which has additional automorphisms.
As one can see, there is a similarity between those two special cases, even more when we observe that also in the first case, the vertex sets and are point sets of certain geometries: the dual parabolic polar space and the half spin geometry, respectively.
3.4 Remark**.**
The pairs of point-line geometries corresponding to the two counter examples above, namely,
the pair of a projective space of odd dimension and a symplectic polar space of rank , , over the same field, and 2. 2.
the pair of a half spin geometry of type and a dual parabolic polar space of type , , defined over the same field (for , this pair coincides with the first pair for , using the same field),
are precisely the pairs of geometries related to split spherical buildings with the property that their point sets have a common projective representation as a projective variety, and the line set of the second is strictly contained in the line set of the first (the line set of the first one consists of all lines on the projective variety). Such pairs are classified by Cohen & Cooperstein [11]. The explanation why exactly these pairs turn up in our result is that the relation of being not opposite induces geometric hyperplanes in these geometries, which are induced by ordinary projective hyperplanes; these hyperplanes coincide for both geometries in the pair, and so the opposition relation in both geometries are indistinguishable. This points to the conjecture that there are no more examples of this phenomenon to be found in the non-split case. It is conceivable that our result, together with the analogue for the exceptional buildings, can be used to prove this. Note that Cardinali, Giuzzi and Pasini [8] verify the conjecture for (Grassmannians of) polar spaces arising from reflexive bilinear and sesquilinear forms in finite dimensional vector spaces over commutative fields.
We now state our main results. Denote by the group of automorphisms of preserving the bipartition classes of . We use the terminology regarding automorphisms of defined in the previous section.
3.5 Main Theorem**.**
Let be nontrivial and assume moreover that if , then . Let be an arbitrary element of .
If is a parabolic polar space, and , then is induced by an automorphism of a hyperbolic polar space of rank containing and every such automorphism induces an element of (see Example 3.2). 2.
If is a symplectic polar space, and , then is induced by an automorphism of its ambient projective space for some field and every such automorphism induces an element of (see Example 3.3). 3.
In all other cases, is induced by an automorphism of . Moreover, the automorphisms of inducing an element of are precisely the type-preserving ones, except if is hyperbolic and one of the following holds.
- (a)
The dualities of also induce elements of if . 2. (b)
If , then for each , the -dualities of also induce elements of if either [math] and do not occur in (including ), or if . 3. (ab)
If and all conditions mentioned in both (a) and (b) are satisfied, i.e., if and , then also the trialities of induce elements of .
If or if has an automorphism switching and then ; otherwise .
3.6 Example**.**
As an example to the cases mentioned in Main Theorem 3.5, we explain the following situation. Suppose is hyperbolic, and . We show that the -dualities, for each , indeed preserve the adjacency of (hence also their compositions, trialities in particular, preserve the adjacency). Let and be adjacent lines in . This means that is a point and there is a -space and a -space containing . Equivalently, there is a set of pairwise incident elements which are all incident with both and . If we apply a -duality , then is also a set containing a point, a -space and a -space which are pairwise incident, and all of them are incident with both lines and . Hence and are indeed adjacent vertices of . The types play the same role in the adjacency relation.
3.7 Main Theorem**.**
Let be or and suppose is nontrivial. If , assume moreover that , since . Let be an arbitrary element of . Then is induced by an automorphism of . Moreover, the automorphisms of inducing an element of are precisely the type-preserving ones, except if is hyperbolic and one of the following holds.
- (a)
The dualities of also induce elements of if . 2. (b)
If , then for , the -dualities of also induce elements of if .
If or if has an automorphism switching and then ; otherwise .
3.8 Remark**.**
If is of type , then the nontrivial graphs are all equivalent with for some or the complement of such a graph. Indeed, ; if or then , respectively; if or then ; lastly, (in this case in order for the graph to be nontrivial). This, together with the fact that the presence of -dualities () only depends on and , explains why we do not distinguish between those two types of graphs in Main Theorem 3.7 and .
3.9 Example**.**
Note that in Main Theorem 3.7, there are no trialities of inducing elements of . Indeed: for example, if , two lines corresponding to adjacent vertices are mapped by a triality on two lines that possibly share a point, which happens if the original lines were contained in a -space (). Like before, there is only a -duality () if the relations of an adjacent pair of vertices w.r.t. subspaces of types [math] and is symmetrical.
One could also consider the non-bipartite versions of the graphs defined above, denoted by , and , respectively, with self-explaining notation. In general, the (extended) bipartite double () of a given graph is obtained by taking two copies of the vertex set of , without the edges, and defining a vertex of one copy to be adjacent to a vertex of the other copy if the corresponding vertices are (equal or) adjacent in . It is clear that is isomorphic to a (possibly proper) subgroup of and of . This almost immediately yields the following corollaries. Note that there is no counterpart of Main Theorem 3.5 for is even, nor for Main Theorem 3.5, as was explained in Examples 3.2 and 3.3.
3.10 Corollary**.**
Let be nontrivial and assume moreover that if , then . Let be an arbitrary element of .
If is a parabolic polar space and , and is odd, then is induced by an automorphism of hyperbolic polar space of rank containing and every such automorphism induces an element of (see Example 3.2).
In all other cases, is induced by an automorphism of . Moreover, the automorphisms of inducing an element of are precisely the type-preserving ones, except if is hyperbolic and one of the following holds.
- (a)
The dualities of also induce elements of if . 2. (b)
If , then for , the -dualities of also induce elements of if either do not occur in (including ), or if . 3. (ab)
If and the conditions mentioned in both (a) and (b) are satisfied, i.e., if and , the trialities of also induce elements of .
3.11 Corollary**.**
Let be or and suppose is nontrivial. If , assume moreover that since . Let be an arbitrary element of . Then is induced by an automorphism of . Moreover, the automorphisms of inducing an element of are precisely the type-preserving ones, except if is hyperbolic one of the following holds.
- (a)
The dualities of also induce elements of if . 2. (b)
If , then for , the -dualities of also induce elements of if .
For simplicity, we henceforth denote the graphs , and by , and , respectively. We always assume these graphs to be nontrivial. According to the following remark, we may also assume that is an infinite polar space which is not .
3.12 Remark**.**
When is a finite polar space, Main Theorems 3.5 and 3.7 can be proven using a group-theoretical result of Liebeck, Praeger and Saxl [21] on the maximal subgroups of the alternating and symmetric groups. For more details, see [13]. Also, if , then is isomorphic to a projective space of dimension over and all occurring graphs in this case are also graphs that occurred in [13]. Hence the result follows from this paper.
4 Sketch of the proof
It is in fact possible to prove Main Theorem 3.7 along the lines of [13], though extra cases arise. However, Main Theorem 3.5 requires another approach, as only the concept of the so-called * round-up triples* and round-up quadruples can be recycled from [13]. This new approach is general enough to cover Main Theorem 3.5 and 3.7 at the same time and provides a more elegant proof for Main Theorem 3.7.
We start by (re)defining the round-up triples and quadruples, stated in terms of , but equally valid for . For any graph and any subset of its vertices, we denote by the set of all common neighbours of , i.e., , with the neighbourhood of .
4.1 Definition**.**
A set of three distinct element of is called a round-up triple if no vertex is adjacent to exactly two of them and is nonempty.
4.2 Definition**.**
A set of four distinct elements of is called a round-up quadruple if every vertex that is adjacent to at least two of them is adjacent to at least three of them and the sets and are nonempty for any permutation of the indices.***
When , we aim to classify round-up triples; when , we aim to classify round-up quadruples. To this end, we give a construction of an -space adjacent to two -spaces at distance in (Section 6). Since such an -space then has to be adjacent to a third member of the round-up triple or quadruple, this limits the possible configurations of such triples and quadruples. We narrow down these possibilities until we obtain a Grassmann graph or a graph strongly related to it (Section 7 for and Section 8 for ). The latter graphs determine completely (see Section 5).
As such, an automorphism of extends to an automorphism of . We even claim that is the restriction of to the - and -spaces. Suppose that we constructed out of its -spaces (which is the case if we first construct from ). By definition of , its action on the -spaces coincides with the action of on the -spaces. Now the action of on one of the biparts of uniquely determines the action on the other bipart, since if and only if (of course still under the assumption that is nontrivial). Hence also the actions of and on the -spaces coincides. This shows that is indeed the restriction of an automorphism of .
Convention In order to consider round-up triples and round-up quadruples at the same time, a round-up triple will be written as . Conversely, if in fact represents a round-up triple, we assume . For simplicity, we will refer to a round-up quadruple simply by a quadruple, whenever we need ordinary quadruples, we will make this clear by calling these -tuples; likewise for the (round-up) triples.
5 Grassmann graphs
The -Grassmann graph is the collinearity graph of the so-called -Grassmannian geometry associated to and is defined as follows.
5.1 Definition**.**
For , the -Grassmann graph has as vertex set, and two vertices and are adjacent if and .
If is hyperbolic, we also consider and , whose definitions are analogous up to the indices that now refer to dimensions only. If no confusion is possible, we omit . Throughout the proofs of Main Results 3.5 and 3.7, we will encounter a graph with the same vertex set as where two -spaces are adjacent precisely if their intersection has maximal dimension amongst all elements of . This graph will be denoted and can be reconstructed from it, as the following lemma says.
5.2 Lemma**.**
For all , we can construct from .
Proof.
If , clearly . So suppose . A standard arguments yields two types of maximal cliques in : One consisting of all -spaces in a -space, and one containing all -spaces containing a common -space. Either way, two -spaces in such a maximal clique are contained in a singular subspace precisely if there exists a vertex outside the clique that is adjacent to both of them. Removing the edges in between vertices for which this is not the case, is obtained. .
The following proposition can be found in the literature ([24]), but we include a proof written in the same spirit as the rest of this paper for completeness’ sake. Note also that this result was implicitly contained in the characterisations of polar Grassmannians obtained in the eighties mainly ([4], [7], [10], [12], [14], [16], [27]).
5.3 Proposition**.**
For all , the -Grassmann graph uniquely determines . That is, it uniquely determines if is not hyperbolic and, if is hyperbolic, up to triality or -duality for if , up to -duality if and up to duality if .
As a consequence of Lemma 5.2, we immediately have the following corollary.
5.4 Corollary**.**
For all , the graph uniquely determines . That is, it uniquely determines if is not hyperbolic and, if is hyperbolic, up to triality or -duality for if , up to -duality if and up to duality if .
5.5 Lemma**.**
For all with , we can construct from , unless is of type and . In the latter case, uniquely determines , i.e., it uniquely determines up to -duality for .
Proof.
As , . A set consisting of all -spaces in a -space is clearly a clique of , as is a set consisting of all -spaces that go through a fixed -space and are contained in some MSS. Denote by all cliques of the first type and by all cliques of the second type. A clique maximal with the property of being contained in more than one maximal clique is the set of all lines through a -space and contained in a -space. Such a clique is denoted by if and are two of its members.
Suppose first that . Again, standard arguments imply that coincides with the set of maximal cliques of . Let be the poset consisting of elements . A member of is the set of all -spaces through a -space and contained in a -space for some with (denote the subset of consisting of those members by ). A maximal clique is of the second type precisely if it contains an element of . By taking the cliques of the first type, we obtain the vertices of . They correspond to adjacent vertices of this graph if they have a one element (a -space) in common. By Lemma 5.2, we obtain and we can continue up to . Hence we still need to deal with .
- ()
In this case, the set of maximal cliques is given by and hence we obtain all -spaces. Considering the poset again, it is easily seen that we can determine when two such MSS intersect in an -space.
- ()
Now, is the set of all maximal cliques and again, we obtain all -spaces. They intersect each other in an -space if they share precisely one element.
- ()
Note that, when endowed with the elements of as lines, a clique of type , is isomorphic to a -space and a clique of type to an -space. If , which happens if , we can distinguish the cliques by their dimension. Indeed, in our graph this comes down to the following: in a maximal clique of type , each two elements of have a -space in common, whereas, if , a maximal clique of type contains elements of that do not share a -space. This way we can again recognise the cliques of type , after which we can proceed by constructing from this, like above.
If , then and we consider two lines and at distance 2 in having at least two common neighbours. Either and are disjoint collinear lines and hence is a -space , or and are intersecting non-collinear lines and hence is a point, which we also call (to deal with both cases at the same time). We now construct their convex closure (called a symplecton), which in the first case consists of all lines incident with . We start with all members of , which are clearly incident with . For any , we also take all members of and of . This way we have already obtained the set which are, in the first case, all lines incident with and intersecting and, in the second case, all lines incident with that are collinear with ; likewise we have a set . Finally, for any pair having distance two in , we add all members of . It is easily verified that we have all elements of incident with .
Now, the set of all lines an -space is, regardless of the type of , a Klein quadric (note that we also have its lines, which are the planar line pencils). However, the set of lines through a point is a hyperbolic polar space of rank 3 if and only if is hyperbolic. So if is of type , we cannot distinguish between the two types of symplecta; if is not of type , we can. In order to do so, take two such symplecta that have more than one line in common. It is impossible that both symplecta are of the second type; if the symplecta are both of the first type, this means that the -spaces intersect in a plane, moreover, as is not of type , there are more symplecta through this intersection; if the symplecta are of different types, the point is contained in the -space and, regardless of the type of , there are no other symplecta through this intersection. Hence we can indeed distinguish between the two types of symplecta.
We conclude that, if is of type , the set of all symplecta yields a tripartite graph by letting two of them be adjacent whenever they have more than one line in common. So up to a permutation of the types , we obtain . In all other cases, we construct the graph having the symplecta corresponding to the -spaces as vertices and with adjacency “having more than one line in common” and obtain .
.
Let denote the incidence graph of and, for , let denote its restriction to elements of types in . We will use the notation for all types in between and .
5.6 Lemma**.**
- •
For any polar space , the graph completely determines if is not hyperbolic and up to duality if is hyperbolic.
- •
For any hyperbolic polar space , the graph , for , completely determines if ; and up to -duality if .
Proof.
Let be one of with . In the latter case, we assume to be hyperbolic and (note that, if , is the collinearity graph of a projective -space). We now construct and , respectively. First observe that the maximal cliques in correspond to the -spaces, and are determined by any two of its members, say and , and then the clique is denoted by . The maximal cliques in correspond to the -spaces and the -spaces. Those are not determined by any two of their members: suppose is a subset of a maximal clique which all contain a common -space , then is contained in all maximal cliques corresponding to -spaces containing and in all maximal cliques corresponding to -spaces containing . In general, “submaximal” cliques (cliques which are maximal with the property of being contained in more than two maximal cliques) correspond to the -spaces and are determined by any two of its members and and we also denote this by .
Now take two elements and at distance two in . Their convex closure can be obtained as in the proof of the previous lemma and yields all elements of containing . In the first case, this readily gives us . In the second case, we can construct , as two distinct -spaces intersect in an -space if they have at least two -spaces in common; and the intersection of the two sets of -spaces through those two -spaces is then exactly the set of -spaces through this -space.
Given , for , we can build the graph . Let and be two -spaces contained in an -space . Then is -dimensional and we aim for all -spaces through . We start by taking all -spaces such that and are nonempty. Then contains . Also, the members of that have a common neighbour with are all -spaces in through . This way, we already obtained all -spaces through collinear with . Now let be such an -space that is not contained in . Then any -space through is collinear with at least an -space of each of , and at least two of these -spaces are, or can be chosen, distinct. Hence, repeating the previous argument for all pairs in , we obtain all -spaces through .
Finally, we deal with the graph in the case where is hyperbolic and . As before, we can construct the lines of , and given the lines and the -spaces, we can construct up to a -duality. Indeed, using the fact that allows a triality, we may assume that we are given its points and lines, and then the planes and the -spaces (so without distinction between the - and -spaces) can be constructed from this. .
The above lemmas now prove Proposition 5.3.
6 Construction of an -space adjacent to two -spaces at distance in
Let be one of . Most of the time, it will be most convenient to assume , up to one particular situation:
Convention on and If , we suppose ; if , we suppose that .
Let and be elements of at distance . In general, an element of is generated by three kinds of subspaces (those will be called the ‘building bricks’) which we want to be able to place in “good” positions, as will be explained below. We first introduce notation regarding these building bricks, after which we start the construction.
6.1 The building bricks
The mutual position of any pair of subspaces of is determined by their intersection and projection on each other.
The mutual position of and Let be throughout this section. The mutual position of and is described as follows (see Figure 1).
The intersection is the subspace and is denoted by , its dimension by ;
the collinear part is the set and is denoted by . We fix a subspace such that , and denote by the dimension of ;
the semi-opposite part is the set and is denoted by . Let be a fixed subspace such that , and denote by the dimension of .
As the notation suggests, and do not depend on the value of . The subspace spanned by the intersection and the collinear part, i.e., , is sometimes denoted by and it is equal to .
The position of w.r.t. For , its position w.r.t. and has an analogous description but we use , and instead of and to denote each of the previous subsets (see Figure 1). Again we fix subspaces and such that . The adjacency relation in puts restrictions on the dimensions , and of , and . Clearly, . If , then , if , then and if , all values are determined and independent of the index :
[TABLE]
For , is a subspace incident with/collinear with/semi-opposite both and and will be referred to by , or simply whenever . One should picture this for choices of and for which ; likewise with and such that is complimentary to and to (i.e., the subspaces and , respectively, and , are chosen such that their intersection is maximal).
We say that a subspace avoids a set of subspaces if it is disjoint from each of its members. Fact 6.1 below describes how we can choose collinear parts and (semi-)opposite parts while avoiding a finite set of subspaces. Parts of the proofs of these facts can be found in the literature; yet the “avoiding”-part cannot and this will be essential for us.
6.1 Fact**.**
Let be infinite and let . Let and be finite sets.
Suppose and let be such that each of its members intersects and in subspaces of dimension at most . Then there is a subspace in if and only if . Moreover, can be chosen such that it avoids . 2.
Suppose and let be such that each of its members intersects and in subspaces of dimension at most . Then there is a singular subspace avoiding collinear with and if and only if . Moreover, can be chosen such that it avoids , unless if is hyperbolic, and , then we only have for all . 3.
Combining and , there is a subspace such that if and only if . Moreover, can be chosen such that it avoids , unless if is hyperbolic, and , in this case there are exactly two subspaces and containing as a hyperplane and such that is contained in one of them, say in , then for all with we only have . 4.
There is an element such that it is opposite each member of for some type (if is hyperbolic, and is odd, then ; in all other cases ). Moreover, can be chosen such that it avoids , unless if is hyperbolic and , then can be chosen such that it avoids and intersects each member of in exactly a point. 5.
Let with and put . If , there is an element such that and with and semi-opposite. Moreover, can be chosen such that it avoids , except if is hyperbolic and and , then avoids and intersects each member with in exactly a point.
Proof.
Put , , and write for and for . We show that we can find a subspace of dimension in that avoids , and , which then also shows that any subspace of smaller dimension with the same properties can be found as a subspace of this one.
By assumption, each member intersects and , hence also and , in subspaces of dimension at most . This implies , for if not, would intersect in a subspace with a dimension strictly bigger than .
Hence, has to be a subspace complementary to and in , which implies would not be found if . Moreover, has to avoid , a finite set of subspaces of dimensions at most . As is an infinite projective space, this is possible. 2.
We keep on using the notation introduced above. We first establish , afterwards we verify whether we can do this while avoiding . Again, it suffices to do this for and show that we cannot find such a with .
We look in , where and correspond to opposite subspaces and . In , consider , which is isomorphic to a polar space of rank . Note that since we may assume that . Indeed, if , necessarily each subspace belongs to since no point outside can be collinear with both and , as it would be collinear with the -dimensional subspaces and . Observe moreover that each point collinear with both and and not contained in corresponds to a point of .
Now, in , let be a maximal singular subspace, i.e., a subspace of dimension (this, and the above observation, shows that will not work). If has infinitely many MSS then we can choose in such that it avoids the set corresponding to , i.e., the set . The only case in which does not have infinitely many MSS is when is hyperbolic and , so . 3.
First note that . Now, if , then we choose and by means of and respectively such that and . Then and imply that we can choose such that it avoids and in such that it avoids , implying that in , avoids . If then we are forced to choose and . If is not hyperbolic or , everything is as above. If is hyperbolic and , then by , there are exactly two subspaces and containing as a hyperplane which are collinear with and . If we aim for a subspace of dimension in that avoids , and , then this is possible unless for some , as then . 4.
We prove this fact by induction on . The induction basis depends on and . Up to now, we have assumed but since these proofs are of general nature and we want the lowest possible induction basis, we include .
- (IH0)
Suppose that and that either is not hyperbolic or . Note that this assumption says that there are infinitely many points in . Let there be given a finite set ) of points. We aim for a point opposite all of them, now by using induction on . First suppose . Let be any MSS not containing and not coinciding with any member of . Then the set is finite and hence its union cannot cover , yielding the existence of a point opposite and avoiding . Now suppose . By induction there is a point which is opposite all points of and not contained in any member of . If , take any line through . Note that no member of contains as they do not contain . Since has infinitely many points, there is a point on not in . So we may assume that and are distinct collinear points. Now take a line through such that, in , the lines and correspond to opposite points. Clearly, any point on disjoint from satisfies the requirements.
- (IH1)
Suppose that and that is a hyperbolic polar space of rank 2. Note that is a grid and is a subset of one of its reguli, whereas is a subset of the other regulus. As a regulus contains infinitely many elements, the first mentioned regulus contains an element opposite the members of while avoiding the members of and intersecting the members of in a point.
Now suppose (in particular, ), and if , we may assume that is not a hyperbolic polar space of rank 2, since that case has been dealt with already. Let () be a finite subset of . Take a point for all with . We already know that there is a point opposite all these points and avoiding . In , the -spaces correspond to -spaces . By induction (up to case (IH1) if is hyperbolic and , otherwise up to case (IH0)), there is a -space opposite all of them and avoiding the set corresponding to , or, if is hyperbolic and , intersecting the members of in a point only. The corresponding -space in is opposite all members of and avoids and up to a point, it avoids (this cannot be more than a point by going back to , since the dimension of intersection could only grow by one whereas the parity has to remain unchanged). 5.
If , there is nothing to prove, so assume . Consider , in which corresponds to a singular subspace of dimension . By the previous fact, there is a singular subspace opposite that avoids the set corresponding to , unless , as then it avoids the set corresponding to and intersects each member of the set corresponding to in exactly a point. Now let be the singular subspace in through corresponding to and let be a subspace in complimentary to . If avoids the set corresponding to , then avoids . If for some , the subspace corresponding to it intersects in exactly a point of it, then also contains exactly a point of . Only if some contains , we are not able to choose such that it avoids . This shows the lemma.
.
6.2 The construction of an element of .
We define to be the subset of consisting of those -spaces for which has dimension . As mentioned, an element consists of the building bricks . We now want to give a construction for some members of as build up from these buildings bricks. These members will then help us to narrow down the mutual positions for a round-up quadruple. To make this a powerful tool, we need ‘many’ elements in , ‘many’ in the sense that we need to be able to choose our building bricks such that they avoid certain subspaces, cf. Fact 6.1. Yet we can limit ourselves to ‘easy’ members, ‘easy’ in the sense that, for any in , we choose and such that is as large as possible. This part is rather technical, but it is a key element of the proof.
Some assumptions We list assumptions on the parameters that we use throughout the construction and in the rest of the proof.
- •
In view of Subsection 7.1, we may assume and, if is hyperbolic, .
- •
As mentioned at the beginning of this section, either or .
Our construction depends on the mutual position of and and also on . The cases of interest turn out to be those with in case , in case and if (note that also in the last case, ). So we restrict our attention to those cases, despite the fact that a construction equal or similar to ours would also work for other values of . We first suppose for a non-trivial Weyl graph . Afterwards we deal with the other types of graphs, which do not need much additional effort as their adjacency imposes less constraints. Moreover, we first study the case in which is not hyperbolic and afterwards we summarise the differences. At the conclusion of this section, we summarise our findings.
6.2 Construction**.**
Our construction consists of three steps. In the first step, we examine the possibilities for and . Then, given , we do the same for and and afterwards, taking into account , we do this again for and . In each step we verify some “avoiding properties”. Figure 2 depicts an element of as generated by its different “building bricks”, with respect to and respectively.
6.2.1****Selection of and .
We will choose such that , i.e., we choose subspaces of and which, together with the part of chosen in , generate . The parts and need to be chosen carefully, as has to be singular and, moreover, and . Our method depends on .
[] In this case, is simply any -space in .
[] Now with and . If , we can choose any pair of collinear points and such a pair always exists if . If then necessarily , which is possible unless . Likewise, if then , which is possible unless .
Here we still have to choose two collinear -spaces to complete and . We call a 4-tuple of integer numbers allowed values if we can find an element of for which is such that , (still assuming ). This -tuple is sometimes abbreviated by and, in case and for some and , we will sometimes write . Note that this definition does not depend on the choices of and in and , respectively, as they all play the same role. The following constraints apply to .
[TABLE]
Furthermore, as needs to be collinear with , the latter needs to be contained inside , resulting in the condition
[TABLE]
We also have to keep in mind that and are related by
[TABLE]
Now let be values satisfying (1), (2) and (3) and let and be such that and with and collinear subspaces of dimensions and , respectively. By choosing and , i.e., by finishing the construction and obtaining an element in , we will show that are indeed allowed values, so it will then follow that are allowed values if and only if (1), (2) and (3) hold. To see that there are values satisfying (1), (2) and (3), take any . The -spaces and are generated by subspaces , and of respective dimensions , and with . Clearly, satisfies (1) and (2) and . This means that there are and with and such that , i.e., (3) is satisfied for . Furthermore, as satisfies (1) and (2), so does .
We encounter our first “avoiding property”. Suppose ; if not, we switch the roles of and .
6.2.2-avoiding.
Suppose and let be a finite set of -spaces intersecting in at most a subspace of dimension . We can choose and in such a way that for each , unless if for some or if . In the latter case, each member contains .
To show this, we start from -spaces in such that takes allowed values, i.e., such that there is an element of containing , or equivalently, values satisfying conditions (1), (2) and (3) (as explained above we prove this later, independently of this). Suppose that for some . A dimension argument yields that . If for all , we show that, when , we can choose and such that for all and hence . If , it readily follows that there are no other allowed values and that each has to contain .
We want to replace by a -space through , possibly by also replacing by a -space with . Recall that . We use the following (independent) actions.
The subspace may be replaced by any other -space in .
The subspace may be replaced by any other -space in and may be replaced by any other -space in , if we replace the subspace by any -space in .
Then we put and (and hence , ). Note that replacing by any other -space in would not make a difference, as .
First note that it is possible that contains as it can contain (at least if ) but it is not possible that contains as then it would contain , contradicting . We may suppose that for all , because as noted before, if , then automatically . For each , set , and . Denote the subsets and by and , respectively.
- •
First suppose that is non-empty. Then we may assume that , as otherwise cannot contain for . We use to replace such that does not contain for each . Indeed, since cannot contain , we can always make sure that avoids a point of each subspace of , as is finite.
- •
Suppose next that is non-empty. If for some , then clearly cannot contain , hence we may assume that . Now, if , we can use to change such that does not contain (not containing a point from each subspace of suffices).
If and , we replace by another -space through , one for which . We claim that these are allowed values, i.e., that conditions (1), (2) and (3) are satisfied. First note that implies and . Since , and by assumption . If , then . However, this would imply , whereas we know that or . Either way, this implies and then, since , this contradicts our assumption that and the claim holds. Since , we can again apply the above argument (if necessary).
Since and , we have , so . Hence, this shows that, if we can choose and such that for all , under the assumption that for any .
6.3 Remark**.**
Note that for each , also if , we can make sure that , as long as .
We continue with our construction. First note that the dimensions can also be used in the case . In this case, and belong to , satisfy conditions (1) and (2) and condition (3) with becomes . In the sequel, we handle the cases and simultaneously as they behave the same with respect to choosing , , and .
6.2.3****Selection of and .
As and have to be collinear with and , they are automatically collinear with , the part of our -space that has been constructed up to now. Denote by the set of all -spaces belonging to . By Fact 6.1, is certainly nonempty for all with , since .
[] Take arbitrarily.
[] In these cases, and . Assume and let . As we prefer to be as large as possible, we choose it in the set , which is nonempty as . Then . Put .
If , we also put ; if , we still need a -space that together with and will generate the -space , as . This subspace has to be collinear with and semi-opposite , and also needs to be collinear with . We define . A -space collinear with and semi-opposite will be collinear with , and and will be semi-opposite . By Fact 6.1, such a subspace exists if . One can verify that (note that has dimension ) . Now if and only if , which is true. Note that equality holds if and only if . We set .
We encounter some more avoiding properties. Recall that .
6.2.4-avoiding.
Let be a finite subset of , all of whose members intersect and in subspaces of dimension at most . Suppose . Then:
If , we can choose such that for each , unless if either , or, if and for some . If for some , then we can always choose such that for all with . 2.
If , we can choose , and such that for each , unless if either for some , or, if for some , and . If for some , then we can always choose such that for all with .
We now verify that this is true. Let be an arbitrary member of and put .
Clearly, if , then . We start with the first assertion, so suppose and suppose for all choices of . This means that . Now , and (as otherwise ). We obtain that and equality only holds when and . We conclude that only when these conditions are fulfilled, it is not possible for and to intersect in a subspace of dimension strictly less than . On the other hand, this also reveals that if , it is always possible to choose such that . 2.
Let and be such that are allowed values. We consider the singular subspace , which has dimension . As before, we assume . Suppose again that for all choices of , while assuming for each .
Hence, as above, we then conclude . Now and (otherwise ). This yields and equality only holds when , and . Note that this, like in the previous item, reveals that it is always possible to choose such that for all with .
Now, we claim that there are allowed values for which if and only if . So suppose that and . Then is not a tuple of allowed values if and only if either or or ; likewise, is not a tuple of allowed values if and only if either or or . First note that if or if , then necessarily so this contradicts our assumptions. Hence we may assume that (otherwise the second tuple would be allowed after all). Now for the first tuple not to be allowed, we should have , or , or . The first possibility would imply that , which contradicts , so we conclude that , showing the claim. However, we also need to make sure that this does not conflict with the -avoiding used when proving property 6.2.2. Indeed, there was one situation in which we changed the values , namely from to . Yet here, so , while we assume .
We conclude that only when (and hence ), and , we cannot choose , and such that .
Before we continue with our construction, we give one more avoiding property, concerning the selection of and . In constructing these, we used Facts 6.1 and 6.1, and as we still assume that is not hyperbolic, these facts also give the following property:
6.2.5-avoiding.
Let be a finite subset of such that for all . Then the parts of and outside can be chosen such that avoids .
6.2.6****Selection of and .
Let denote . Possibly, and nothing more needs to be done. So suppose . As and have to be collinear with , we look for them in . Now, by definition and since , which has dimension (recall ), is a subspace of maximal with the property of being semi-opposite . Hence, in , corresponds to a subspace of dimension . Likewise, and as a maximal subspace of semi-opposite is , which has dimension . Therefore, corresponds to a subspace in of dimension too.
As before, we choose as large as possible. If , we aim for a -space semi-opposite and . If , then and . Both subspaces are -dimensional, as . So in this case we need a -space to define and . This can be achieved as follows. Put in case and define . In , we select two arbitrary -spaces and in and , respectively. This is possible as (recall that ). By Fact 6.1, we know that there is some -space in which is opposite and , hence the subspace of corresponding to is precisely a member of .
6.4 Remark**.**
* The way we select has some nice features.*
- •
As we choose in a residue, each -space in is semi-opposite and .
- •
The above implies a generalisation of Fact 6.1, stated here informally and not including the case where is hyperbolic: For each finite set of subspaces of dimensions at least , there is a -dimensional subspace semi-opposite them all.
- •
The subspaces and can be chosen in and wherever we want, a feature we will exploit at some point.
We end this construction with one last avoiding property, which again follows immediately from Fact 6.1 and our assumption that is not hyperbolic.
6.2.7-avoiding.
Let be a finite subset of . Then and outside can be chosen such that avoids .
Intermediate summary If , we have with for all and clearly, and . If , we have with , , , and with notation as before (recall that is a subspace collinear with and semi-opposite ). In each stage, we checked that , and , so the resulting singular subspace is indeed an -space in . If , then the structure of the resulting -spaces can be seen in Figure 2.
Note that it now follows that all values of satisfying (1), (2) and (3) are indeed allowed values. For any pair of collinear -spaces in and satisfying those conditions, can, by means of the construction, be extended to an -space . If , then we will sometimes call a pair of -spaces allowed -spaces if , i.e., if , abbreviating “-spaces as obtained in the construction in the case when ”.
The hyperbolic case We list the differences that occur when is hyperbolic.
The selection of and . It is easy to see that choosing and can be done in the same way, once we know that we do not have to do anything special for and (if we would have to, then and could need special care). Also Avoiding Property 6.2.2 remains unchanged.
The selection of and . There could be a problem as the types should be correct. Recall that our definition is such that if then , and we put . Now, our assumptions are such that unless , in which case and (and if is odd and and if is even). When , choosing and is not different than before; if , then .
Avoiding Property 6.2.4 also holds in this case, but Property 6.2.5 has one exception.
6.2.8-avoiding.
If and , then possibly for some with . In all other cases, .
The first assertion follows immediately from Fact 6.1 and 6.1. According to Fact 6.1, a problem could occur in selecting if, with the notation used during the selection of , . Note that and hence , furthermore, we have already verified that . So recalling that we assume except when , we are fine (note that, if , then there is no need a subspace collinear with and semi-opposite ).
The selection of and . Also and can be chosen as before.
Avoiding Property 6.2.7 has one exception too.
6.2.9-avoiding.
If then possibly for some , in all other cases, the dimension of the intersection with does not increase for any .
Again with the notation as used during the selection of , we run into problems when and is a MSS in . The latter is a polar space of rank , in which . Recalling that and , we obtain that is a MSS if and only if . Furthermore, if and only if , i.e., if . Hence and . Together with , we hence obtain .
Final summary Before we get to the other graphs (for which the construction follows almost immediately from this one), we give a brief overview of the selection procedure and all avoiding properties. Let be a finite set of -spaces intersecting and in subspaces of dimension at most .
- •
If and if , the values should satisfy conditions (1), (2) and (3). Property 6.2.2 describes, for , when we can choose and such that .
- •
Property 6.2.4 says when we can choose such that .
- •
In general, we can complete and (i.e., choose the part of outside and choose the subspace ) such that equals ; only when is hyperbolic, this dimension increases by one. This is described in Properties 6.2.5 and 6.2.8.
- •
In general, we can complete and (i.e., choose ) such that ; only when is hyperbolic, possibly this dimension increases by one. This is described in Properties 6.2.7 and 6.2.9.
The other graphs If then Construction 6.2 gets easier as we do not longer have to take into account the dimensions and . We quickly go through the steps of the construction. Again, let be a finite set of -spaces intersecting and in subspaces of dimension at most .
The selection of and can be done similarly. If , nothing changes; if we only need in order to find a pair of collinear points in and ; if then condition (1) becomes
[TABLE]
and like before, we can show that conditions (1’), (2) and (3) give allowed values . If , we can choose and such that unless some member of contains .
If , we now just need an arbitrary -space in avoiding the subspaces corresponding to , and to complete our -space . Only if is hyperbolic and , and hence also , it could be the case that for some , as the parity of the dimension of the intersection is fixed. In all other cases, there is no problem choosing such that it avoids .
This concludes our construction.
7 The -incidence graphs and -Weyl graphs for
Let be one of , and . We will assume throughout this section. Yet, a couple of general lemmas also hold when , and this will be mentioned explicitly. On all other occasions, we assume . Recall that we assume that or either . We need two more preliminary lemmas.
7.1 Lemma**.**
Let (possibly ) be singular subspaces of respective dimensions , with , and such that . Let be a point not contained in . If, for each , the line intersects or in a point , then . Moreover, contains at least one of and . If, say, is not contained in , then for all .
Proof.
Put . Assume for a contradiction that . Then there is some line contained in . Let be three points on . At least two of the lines must then intersect either or , say , by the condition. Hence the plane intersects in a line . But then the point belongs to , contradicting the fact that is disjoint from . We conclude .
The line joining and a point of intersects , clearly in a point not belonging to . Hence at most one of , say , does not belong to . One can easily see that if intersects for some , then belongs to as well and vice versa. .
7.2 Lemma**.**
Let be subspaces of the same dimension, with , and opposite . If each point collinear with and is also collinear with or , then each point collinear with and is collinear with all four of them.
Proof.
Take any point collinear with and . As , and are opposite , we have . Our assumptions imply that is collinear with or , say . The subspace then contains a point collinear with . If we are done, so suppose . As is collinear with and , it has to be collinear with or . But then the point is collinear with or , contradicting that they are opposite . Hence after all and the lemma is proven. .
In the next section, we deal with a special case that needs to be treated separately.
7.1 Adjacency given by incidence
There are two types of graphs where adjacency is given by incidence:
When is hyperbolic, the adjacency of the graph coincides with the notion of being incident in the building associated to . 2.
The graphs , and with (hence in the first case also ), are identical, and their adjacency is given by incidence, i.e., containment made symmetric. This means that they are equal to (recall that this is a restriction of the incidence graph of to the types and ). In this special case we can safely ignore our convention on and and just assume .
We readily have the following proposition.
7.3 Proposition**.**
Suppose is a hyperbolic polar space and let . Then each automorphism of is induced by an automorphism of . Moreover, each automorphisms of inducing an automorphism of is either type-preserving or a duality (in which case the bipartition classes of are switched).
Proof.
Given , we can construct the Grassmann graph by considering the bipartition class containing the -spaces and declaring two of them adjacent when they are at distance two in . The proposition now follows from Proposition 5.3. .
We now prove that any automorphism of is induced by an element of . The non-triviality of the graphs implies that , so as we assume , we may assume .
7.4 Proposition**.**
For all with , each automorphism of the graph is induced by an element of . Moreover, each automorphisms of inducing an automorphism of is either type-preserving or a duality if is hyperbolic and , or, if is of type , the automorphism can also be a -duality if (the biparts are switched) or a -duality if (the biparts are not switched).
Proof.
Put . First assume that there is no type between and , i.e., for no type there can be a -space such that , and are all incident (for clarity: this does include the case where and ). We define as a graph with vertex set where two vertices are adjacent if they have a common neighbour in . Clearly, and hence the assertion follows from Corollary 5.4.
Next, assume there are types between and . For any vertex , let denote the set of vertices of in the same bipart as . Consider the poset , ordered by inclusion. The length of a maximal chain in is precisely , regardless of the bipart where is in. Indeed, an element in such a chain corresponds to a set of -spaces or to a set of -spaces incident with and some -space, with . We define as the graph having the elements of as vertices and adjacency given by containment made symmetric. Clearly, . Therefore it is clear that has a subgraph isomorphic to , where is the biggest type smaller than , which brings us back to the first case and hence concludes the proof. .
We now embark on the rest of the proof, with the extra conditions and, if is hyperbolic, . Note that the first condition implies as .
7.2 Properties of the round-up triples and quadruples
Let be a quadruple. We narrow down the possibilities for the mutual position of its members. We start by showing that at least one pair of them intersect in a subspace of dimension at least and then continue by proving that they all have one common intersection. These two steps are the crux of the proof. Though the intuitive idea behind them is easy, the proofs are quite long. We keep using the earlier introduced notation.
7.5 Lemma**.**
Up to renumbering, .
Proof.
Renumbering if necessary, the dimension of is maximal amongst the dimensions of the intersections of all distinct pairs of the quadruple. By way of contradiction, suppose . Let denote and again. According to property 6.2.2, there are allowed -spaces and such that for each (case 0) unless either (case 1) or for some (case 2), as in those cases possibly for all choices of and (note that is not possible since by assumption). Of course, case 1 only yields problems if , as it involves the parameter which is only relevant in this case. The reader should keep this in mind, we will not make an explicit distinction between the three types of graphs during this proof. For clarity, the end of each case is marked by a black square.
**Case 0: There exist and such that for all . ** Following Construction 6.2, we below construct an -space with for which for all (note that ). Then would be adjacent to exactly two members of the quadruple, a contradiction to the latter’s definition.
Since for all , Property 6.2.4 says that we can choose such that for each , unless , and . This, however, is no problem: if we can choose ; if then , in which case (so is empty).
Next, Properties 6.2.5 and 6.2.7 state that we can choose the remaining parts of such that for the resulting -space holds that for all , except when is hyperbolic and we are in one of the below situations, in which possibly for some .
- •
Case 0.1: and . In this case, it is the selection of the part of outside that could cause a problem. Suppose is such that . According to Property 6.2.8, then and , so in particular, . Then a dimension argument implies that , so the maximality of implies . Note that is a -space collinear with , which implies that . Hence we can work with the pair instead, without ending up in Case 0.1 again (minor remark: later in this proof we sometimes switch the roles of the -spaces again, but will assure us that we can keep working with this pair).
- •
Case 0.2: . Since , it is only the selection of which could be a problem. First note that, as mentioned in Section 3, the graphs and are equal and, as we assume they are non-empty, they are isomorphic to , which we work with instead; moreover, if contains no adjacent pair with , then we agreed to work with instead, and if it does contain such a pair then is a complete bipartite graph, which we excluded. Hence we may suppose that . This enables us to choose a hyperplane of such that for all . Then we choose such that . Let be the unique -space through the -space . As is a hyperplane of and since the parity of the dimensions of intersection is fixed, it is easily verified that and .
We obtained an -space with for all , and as explained in the beginning of this case, this is a contradiction.
For the sequel of this proof we may thus assume that for every pair of allowed -spaces , holds that for some , likewise for any permutation of for which (the permutation also affects of course).
Note that either all pairs of -spaces of the quadruple intersecting in an -space are such that the only allowed values are , or there is a pair, say , for which there are allowed values . In the latter situation we will suppose that we are in Case 2, since clearly Case 1 is not applicable and Case 0 is excluded by the previous paragraph. Therefore, when we are in Case 1, we may assume the first situation occurs.
**Case 1: Suppose, for every pair of distinct -spaces , from the quadruple, that if , then for (which implies ). ** Consider the pair , from which we know that and hence . This implies that each contains (cf. Property 6.2.2). Let and be any pair of allowed -spaces. Analogously as in Case 0 and using the fact that is empty now (since ), we can take an -space through such that for all : in Case 0.1, we obtain that the pair is such that and , contradicting our assumption; in Case 0.2 it is the selection of which is a problem whereas in the current case, is empty since , so this does not occur. Since is adjacent to and , the definition of a quadruple implies that is adjacent to or as well. Suppose . This has the following consequences.
- (A)
By construction, is a -space contained in . Since , we know that , whereas by assumption. We conclude that and has dimension . By our assumption, .
- (B)
Noting that , we see that (as , cannot contain a subspace of dimension bigger than which is semi-opposite ). Hence . However, , and the latter’s dimension is . We conclude that and that ; likewise with the indices and switched.
Put for . We show that (possibly by changing the roles of and – which is only sensible to do if (A) and (B) also apply when is replaced by ). By (A), we already know that , so if we can show that , then . By definition, is contained in , so it belongs to if and only if it belongs to . Furthermore, in the above we deduced that is contained in , so this subspace belongs to if and only if . So we try to show that . Observe that, since and has the same mutual position as , it follows as in the beginning of the proof that and hence we also know that and so also .
- •
Firstly, let . Then , and hence and by the above observation and equality of dimensions. Since in this case, indeed.
- •
Next, suppose . Put and suppose for a contradiction that . From the above observation we know . Yet, using property , we can choose other -spaces and such that . Similarly as before, we take an -space through such that for all . Since , is not adjacent to , hence and the above conclusions also hold for . In particular, . Either and then , or and then we can again choose -spaces and such that contains neither nor . This however leads to a contradiction, as a corresponding -space would not be adjacent to , neither to . The assertion follows.
Note that, even when both and satisfy (A) and (B), we cannot (yet) conclude that .
We obtain that, in , , and correspond to -spaces , and , with and opposite . As the notation suggests, we can identify and in with and in . Recall that . We distinguish the following three cases.
Suppose and . Let and be allowed -spaces. In , and correspond to collinear -spaces and . First suppose that for all -spaces in such that are allowed -spaces. Note that, in , any -space in collinear with would yield a -space such that are allowed -spaces. So let be a -space in collinear with and intersecting in a -space (here we use and ). Then and are -spaces and in , respectively. The subspaces and have dimension (at least) and are contained in the -space , implying that . This however contradicts .
Next suppose that there is a -space such that are allowed -spaces for which , and so (as otherwise we are back to Case 0). We claim that . If not, then , according to the paragraph in which we showed . But then we could re-choose such that , which would imply that , and hence again, for all -spaces in for which are allowed -spaces, bringing us back to the previous paragraph. Hence indeed , and thus plays the same role w.r.t. and as . We extend our reasoning of the previous paragraph. Let be the -space in corresponding to . Since plays the same role as , is also opposite . In , we now take a third -space through that is collinear with . We know that , and intersect or in respective -spaces , , . Since and play the same role, we may assume that at least two of those -spaces are contained in . We then obtain the same contradiction as in the previous paragraph.
We conclude that or .
Suppose and . We claim that, for all allowed -spaces and , is a -space. Suppose first that and suppose for a contradiction that there are -spaces and such that . Then (otherwise we are back in Case 0) and, as in the beginning of Case 1, we can again deduce consequences (A) and (B) with replaced by . Recall that we then have . As before, when we proved , is equivalent with . Consequently, there are (many) -spaces with , and for every pair of -spaces and with , we know that is a -space . In , we obtain that, for every -space disjoint from and for , the subspace intersects in a -space . But then one can verify that also has to be a -space, contradicting . Next, suppose that . Then and play the same role and in , corresponds to a -space opposite . Moreover, since , and play the same role w.r.t. , we may assume that each pair of collinear -spaces in and , for generates a subspace intersecting at least one of the two remaining -spaces in a -space. Let be any -space in and put . Then we may suppose that . But then we may also assume that , from which it follows that intersects both and in a -space. Our claim is shown.
Let be any -space adjacent to and . We show that . First note that implies . Our convention on and yields that either or . In both cases, if and only if and contains no points collinear to . Put and . By the previous paragraph, we obtain that is a -space . Moreover, looking in again, it is easily seen that cannot contain points of , nor points collinear to , since those points would be points of collinear with , contradicting . But then , contradicting the definition of a quadruple. This case is ruled out as well.
Suppose . We show that plays the same role w.r.t. and as , i.e., and . We first claim that . By way of contradiction, suppose . The definition of a quadruple yields an -space , which necessarily contains . In particular, contains , which has dimension . Since no point of is collinear with and because , we have . Hence . However, , so there has to be a point which is collinear to and but not to . Note that , since if then, together with , this yields , but then would be the only element in , contradicting the definition of a quadruple. So let be an -space collinear with and such that (note that then) and that such a subspace exists by Property 6.2.5, even if is hyperbolic: if and , then, since , and , and as , , which is at its turn equal to , contradicting when ). Put . By construction, . As and , necessarily , so the definition of a quadruple implies that . Consequently, is a -space contained in . Our assumption on implies that , hence contains a point collinear with and and non-collinear with . Likewise, there exists a point which is collinear to and but not to . On the line , any point distinct from and is collinear with , but not with nor with . Now take an -space through and (note that ). But then is not adjacent to , neither to . This contradiction shows the claim. Then, since , we also have , so by our assumptions we know , or equivalently, . Now any -space adjacent with , and contains and is collinear with and . Consequently, and , so and , respectively. As those subspaces are all -dimensional, inclusion is in fact equality and follows.
Furthermore, each point collinear with and has to be collinear with or , for otherwise we could find an -space like in the previous paragraph which is not adjacent to nor to , a contradiction. Applying Lemma 7.2 in on the respective subspaces corresponding to , , and , it follows from Lemma 7.2, in fact has to be collinear with both and . Let be any member of . Then shares exactly a -space with each of the four -spaces, since it cannot contain points of , or . As each point collinear with and is also collinear with and , both are adjacent with . We obtain the same contradiction as before: .
One case remains. By Case 1 we may assume that there is a pair of -spaces in the quadruple, without loss and , such that and with allowed values (note that if there are allowed values distinct from , then cannot be an allowed value).
**Case 2: suppose contains and that there are allowed values . ** The maximality of implies that .
Suppose first that . Then either for all allowed -spaces and , or there is a pair for which , in which case we know that . Since and , we can re-choose and such that they still are a pair of allowed -spaces but now with . If we fix and take another -space in for which is an allowed pair of -spaces, we have that , likewise if we fix and vary the -space in . We claim that there are either multiple options for while fixing , or multiple options of while fixing . If not, then necessarily (as otherwise we can change in ) and (as otherwise we can change in ). But then and hence , so , contradicting our assumptions. This shows the claim, and without loss we may assume that there are multiple options for while fixing . So let be such a -space with . Completely similarly as in Case 1, and contain -spaces and in and since they are contained in the -space . This contradicts .
If , a similar argument applies: for all allowed -spaces and , we have or , and taking three -spaces in , as before, we may assume that , leading to the same contradiction.
In all cases, we reached a contradiction, allowing us to conclude . .
Knowing this, we can show that all pairwise intersections coincide by considering well-chosen members of .
7.6 Lemma**.**
All pairwise intersections of distinct members of the quadruple coincide.
Proof.
Renumbering if necessary, the dimension of is maximal amongst the dimensions of the intersections of all distinct pairs of the quadruple. By Lemma 7.5, we already know . Again put . Suppose for a contradiction that, for each , . Then there is a -space with for all . Completely analogously as in Case 0 of the previous lemma (though now using property 6.2.4 instead of ), Construction 6.2 yields an -space through such that for all . This -space is adjacent to exactly two members of the quadruple, a contradiction. So we may assume and by maximality of we obtain .
If , recall that we actually work with triples, so in this case we assume and hence the lemma is proven here. If not, we have to show that contains as well. So assume for a contradiction that .
**Case 0: Suppose that there is a point such that for every . ** Put . Clearly, and . Firstly, let . If , we can choose such that , contradicting . Hence , as we assume that . Since is a -space not entirely contained in , it contains a point in . Hence and by the maximality of , . Repeating the argument used in the beginning of the proof, we conclude that or must contain , a contradiction. So if , then . Next, let . Then each line with a point in contains a point of , so either or . In the latter case and, as above, . So, if , then for any point ; however, this gives , a contradiction.
We now use Construction 6.2 in trying to show that there is a point such that for each -space . Put for . We claim that we can always choose a point such that either (case 1) or (case 2), possibly by interchanging the roles of the -spaces. Indeed, the only possibility where and have empty intersection while their union is , occurs when . In this case we can interchange the roles of the -spaces to end up in either case 1 or case 2. The claim follows.
Case 1: . On the condition that , we show that for each . Noting that violates ), we assume by way of contradiction that there is a -space with . We now construct an -space in with (hence the requirement ) such that and then, as , we obtain that is adjacent to exactly two members of the quadruple, a contradiction to the latter’s definition.
Suppose first that . Property 6.2.4 implies that we can choose such that and , unless possibly if and . However, if , then and, by the first part of the proof, or has to contain , implying after all. Next, suppose . Then Properties 6.2.4, 6.2.5 and 6.2.8 imply that we can choose such that and , unless the conditions in Property 6.2.8 are not met (those in Property 6.2.4 we can deal with as before): if is hyperbolic, (this expresses that ) and . Since by assumption, we obtain that , which as before leads us to .
We can now select such that , since means that we are not in the case where . Then is such that . As explained above, this allows us to get back to Case 0 and conclude .
Case 2: . On the condition that , we show that for each and therefore we again assume . We apply the same technique as in the previous case, but now with . However, if , we first need to find an -space such that ( and are selected consecutively). Note that implies . Like in the previous case, there is a subspace with collinear with both and such that (recall that the possible cases of exceptions imply ). Since we have , and as is collinear with at least a hyperplane of , we can choose .
Now we want to choose such that . If is moreover such that , then is as required, and as before, Case 0 now implies . According to Property 6.2.9, such a -space exists, unless possibly if is hyperbolic and (so ), as then it could be that . So suppose this happens. We aim for a contradiction. Since , and so is a -space and hence . As discussed in Case 0.2 of the previous lemma, we may assume because is hyperbolic. The argument is completely similar as the one in Case 0: if we can vary to obtain and hence , which then implies since is hyperbolic; and if , we consider the planes with a line in to conclude that either (and hence ) or (and then we vary ), both leading to .
Case 3: Suppose the requirements in the above cases are not met. If this happens then, since not both and can be (recall ), one of the following holds.
- (3.1)
and there is no point such that for ,
- (3.2)
and there is no point such that for .
In these cases we use another method to show . Assume for a contradiction that .
Case (3.1) The assumptions imply , for all . Since no two proper subspaces can cover , we have, without loss of generality, that (and hence ) and , i.e., .
Let be any point semi-opposite both and , not contained in . We show that is also semi-opposite . If , this is trivial, so suppose and . Let be any -space in . As before, we assume . Then we can select with with (by Property 6.2.9, this is always possible since and ). As , we have , and implies . Hence it follows that is a -space for each -space . Furthermore, since , there is a point in , which is just like contained in and semi-opposite and .
We claim that . The argument is similar as the one used in Case 0, so we omit some details. If then varying implies . So suppose . Then each line with a point in contains a point of , so either , in which case indeed, or . So if , then varying (note that each point in has the same collinearity relations w.r.t. , and as ) yields , violating ). The claim follows.
Next, we first suppose . Then we take a -space and consider an element with . Clearly, and hence ; moreover, because . This is a contradiction to the definition of a quadruple. Consequently, . Since we already obtained that (recall ), this means and as before the latter implies . As this violates our assumptions, we get that .
Let be arbitrary. From the above we can deduce that is also adjacent with : firstly, is a -space inside as contains points collinear with , and by the same token, ; secondly, each point in is semi-opposite both and and by the above, those points are also semi-opposite . This contradiction to the definition of a quadruple shows that .
Case (3.2) In a similar way as in Case 3.1, one can show that each point which is collinear with and is also collinear with : first show that for all -spaces (note that if not we can find with and , similarly as in Case 1 above), continue by showing that in exactly the same way as above, and then concluding in the same way as above (with instead of ) that after all.
Knowing this, we can show that and are empty (note that ): if not, each point in is collinear with both and and hence also with . As was arbitrary, the entire space has to be collinear with , but then , which contradicts our assumptions. This holds for all permutations of , so in , the -spaces are pairwise opposite.
As above, we now deduce that each is also adjacent with . We conclude .
Finally, if , the existence of is easily shown, as it does not matter whether or . .
Notation We keep referring to by . We also keep using .
7.7 Remark**.**
Note that Lemma 7.5 is trivial when , but Lemma 7.6 is not. Not only does the latter’s proof rely on , as we encountered -spaces with for some -space , also, when we at first only have a weaker version of this Lemma (cf. Section 8). Hence we have to proceed in a different way than we will do now, which is the reason why we have devoted a section on .
In the proofs of the previous two lemmas, we always carefully verified whether we can select and such that they do not intersect and . In the sequel, we will no longer explicitly do this, since all techniques needed have been discussed above and hence it would only make the proofs longer than necessary.
The following property was used in a special case of the proof of the previous lemma. We state it with respect to and but it is valid for any pair of (distinct) -spaces in a quadruple .
Let be a point contained in at most one member of a quadruple . If , then .
Now that we know that all -spaces have one common intersection, we can show that this property holds when . Despite the above made remark, this is one of the few occasions that a lemma also holds for as well.
7.8 Lemma**.**
If equals , possibly , then holds. Moreover, remains valid in for any subspace .
Proof.
Let be an arbitrary point collinear with and , not contained in . Recall that, if , Lemma 7.6 states that the -spaces intersect each other in . Suppose for a contradiction that . In particular, .
**First suppose that , and . ** Note that as otherwise there would be no point . In this case, we take an element of such that:
The -space is empty if and belongs to if . 2.
The -space collinear to and contains the point and is such that for (as in the proof of Lemma 7.6). 3.
The -space is chosen in such that it is semi-opposite the subspaces corresponding to , , and which are all of dimension at least , and as , we have that , so in each of those subspaces we can take -spaces, and by Fact 6.1, there is a -space opposite them and avoiding (note that ).
As , we may assume that . However, by our choice of in we have that and in particular is collinear with , as we wanted to show.
**Next, suppose that and . ** Note that this case comprises , since if then , so our convention (cf. beginning of Section 6) on and implies that . Moreover, we may assume that since otherwise too and like above, this conflicts with . Furthermore, we know as . Note that an adjacent pair is such that no point of is collinear with . We now take an element of such that:
The -space is empty if and belongs to if . 2.
The -space equals , where is a -space semi-opposite , , and and avoiding and : we choose in , in which and correspond to -spaces, and and to -spaces (seeing ), so like above this is possible. 3.
If , the -space is chosen in , in which and now correspond to points and , and in which and do not correspond with anything. Let be collinear with and and avoiding and , which is possible by Fact 6.1 (note that the rank of is and is such that and even if is hyperbolic since ).
The resulting -space is adjacent with and because, for , is the -space and no point of is collinear with . However, is not adjacent with and because both contain a (unique) point collinear with . This contradiction to the definition of a quadruple shows that .
Suppose , i.e., . We consider an arbitrary point of . If then clearly ; if , the previous cases imply . As was arbitrary, , and as and are subspaces (even though not singular), we may assume that . In particular, .
The fact that is a residual property is easily verified. .
If the quadruple has one common intersection (which is the case if , by Lemma 7.6), it is no restriction to require that is contained is at most one member of the quadruple, as for each point of the intersection, is trivially fulfilled. In case , we can say more. The following lemma improves Lemma 7.8 in the case where in .
7.9 Lemma**.**
Let equal and suppose , possibly . Then and this for all permutations of .
Proof.
Again, by Lemma 7.6, the -spaces intersect each other in if . The condition implies .
First suppose . If then we may assume in view of the previous lemma. We show that too. Suppose for a contradiction that . We choose an -space like in the first case of the previous lemma, i.e., with , only now for and . The latter implies that cannot be adjacent to and hence has to be adjacent to , forcing to be collinear with .
Next suppose . Assume for a contradiction that does not hold. In view of the previous lemma we may assume that . Possibly by switching the roles of and , we may also assume that or or . In the first case, we find a line such that and . Clearly, is collinear with and . It follows from the previous lemma that should be collinear with or as well, a contradiction. Similarly in the second case. Hence we are in the third case: . Moreover, it follows that and , so , and play the same role w.r.t. each other and w.r.t. .
If , let be any -space inside ; if , let . Now take any -space collinear with and such that for , which is possible by Fact 6.1 and since (and if is hyperbolic even ). Then by the previous lemma, and are subspaces of that together cover , which is only possible if one of them coincides with . As and play the same role w.r.t. and , we may assume that is collinear with . Now let be an -space inside collinear with a point . In , the -spaces and correspond to -spaces and (recall ), hence there is a -space opposite and , that corresponds to a -space in semi-opposite and . The corresponding -space is then collinear with the point and hence (recall that no point of is collinear with for an adjacent pair , when ). Consequently, and hence, as , we obtain that is semi-opposite .
Knowing this, we can reach a contradiction as follows. Let be an -space of (recall ) and let be a point in . Then also belongs to , since . Since , . But now too, because is a -space of semi-opposite , a contradiction. We conclude that . The lemma is proven. .
Notation We write instead of , for all , if the latter does not depend on .
The following lemma will be very useful in combination with Lemma 7.1, as it states that, under certain conditions, lines intersecting two members of the round-up quadruple, have to intersect a third member of the round-up quadruple. Again, we state it w.r.t. and but it holds for any two (distinct) members of the quadruple.
7.10 Lemma**.**
- •
If is hyperbolic and , then each pair of collinear lines and is such that intersects either or in a line.
- •
In all other cases, each pair of collinear points and (where we, if , require that if and if ) is such that intersects or in a point.
Proof.
First suppose that hyperbolic and . Let and be collinear lines (hence ). First note that, as before, when is hyperbolic and , we may in this case suppose that . Assume first that has nothing in common with . Let be a -space in and put and . Then , , and correspond to subspaces of the same type in . Consequently, we can take a -space in this residue semi-opposite all of them. The corresponding -space belongs to but is not adjacent to nor to , a contradiction. Hence, for each pair of collinear lines and , has to intersects at least one of , in a point (which is in particular collinear with ). Consider the -space and put and . We claim that . Suppose for a contradiction that and . Then there is a line disjoint from (as this is the union of two subspaces of of dimension smaller or equal to ). But then it is impossible that contains a point from , a contradiction. This proves the claim. Without loss, . Since we obtain that is a line after all, proving the first assertion.
Now suppose that we are not in the previous case. Let and be as in the statement of the lemma. We want such that and with avoiding . If such an -space exists, then, without loss of generality, we have , implying . As , the line intersects in a point . Like before, the existence of such an -space could only be a problem when and is hyperbolic, and either (which we excluded) or , , and contains a point collinear with and , for some . However, the latter situation does not occur. Indeed, the fact that implies , and then Lemma 7.9 tells us that, for , , which means that implies that and hence contains no points collinear with . .
7.3 Classification of the round-up triples and quadruples
We narrow down the possibilities for the quadruples to one of the five below types.
7.11 Definition**.**
Let be a -tuple (with when , as then we only need -tuples) such that all pairwise intersections equal a fixed subspace and denote by the residue and by the subspace of corresponding to , . Consider the following configurations. The definitions of a hyperbolic line and a hyperbolic -space can be found in Section 2.1. Let be an integer with .
and are on a line in ;
and are pairwise opposite points in . If, moreover, these points are on a hyperbolic line, we say that the quadruple is of type ;
and are pairwise opposite lines in with the property that any line in meeting two of them, meets them all. If, moreover, these lines span a hyperbolic -space, we say the quadruple is of type ;
-space and are points of , three of which are on a line and opposite the remaining point.
and are -spaces in . The subspaces correspond in to points on a line and in , the -spaces correspond to pairwise opposite -spaces defining a hyperbolic -space.
7.12 Remark**.**
If , then a type coincides with type ; if not, they are different.
Whether or not these -tuples occur in depends on , or more precisely, on the existence of hyperbolic lines in and of the presence of hyperbolic quadrangles as hyperbolic subspaces. Hyperbolic lines do not occur precisely if is a strictly orthogonal polar space (“orth.” for short in the table below). On the other hand, the strictly orthogonal polar spaces are the only ones containing grids as hyperbolic subspaces (the lines of quadruples of types and are contained in one regulus of a grid). Furthermore, it will also depend on whether or not the -tuples occur in . We summarise this in the table below, where “” means that the -tuple occurs and “” means that it occurs if . Recall that . We do not include hyperbolic and here, as this will be a special case anyway (see below).
It also depends on which of the in occurring -tuples actually occur as a quadruple. To keep track of the different cases, we already give a summary of our results now in the table below, this time not taking into account that some of those types possibly do not occur in . So for a given graph and a given polar space, one has to combine the two tables to know which are the occurring quadruples.
We now prove that each of our quadruples is of one of these types. If , it appears that some cases in which behave differently. So we start with the “generic case” in which we do not take special cases into account.
7.3.1 Most general case
7.13 Lemma**.**
Let be one of , , . If is hyperbolic, we assume that . If , we assume and, if moreover , we also assume . Then every -round-up quadruple is of type I, II, III or IV. Type IV does not occur if (and coincides with type I if ). Type II occurs for all graphs, and if and then each quadruple of type II is of type II∗. If , then a quadruple of type III is of type III∗.
Proof.
Let be a quadruple. By Lemmas 7.5 and 7.6, we already know that the -spaces have one common intersection of dimension with . Suppose and are collinear points in and , respectively, for with . We may apply Lemma 7.10 without extra conditions on and because, if , we assume , which implies that and are empty, so automatically and ; furthermore we assume . This lemma then implies that intersects a third member of the quadruple, unless , is hyperbolic and Let be the set of -spaces in corresponding to the quadruple. There are two cases.
Case 1: There is a pair in which is not opposite. Suppose and are not opposite. This implies that and then our assumptions are that . Moreover, there is a point collinear with . These previous facts together with the above, imply that intersects or in a point, for any . This allow us to apply Lemma 7.1 on . We obtain that , so , , and are just points in (with ); moreover, without loss, is a point on the line .
If then and we are done. If not, there are two possibilities. Firstly, can be non-collinear with any of , and then the quadruple is of type IV. Suppose now that is collinear with . In particular, and are not opposite, so we can apply the reasoning of the beginning of the first paragraph on them, and obtain that or is on the line . Anyhow, the lines and have at least two points in common, so they coincide and the quadruple is of type I. By Lemma 7.9 (recall in this case), there are no quadruples of type IV if .
**Case 2: All pairs in are opposite. ** We reason in . Let be arbitrary and let . Consider . If is empty, then and the quadruple is of type II. So suppose is nonempty. Suppose first that we are not in the special case of Lemma 7.10. As above, it follows that we can apply Lemma 7.1 on , which implies that and, without loss, is on the line . So, as is a hyperplane of , and are pairwise opposite lines.
Now suppose that we are in the special case, i.e., , is hyperbolic and . Then suppose or a contradiction that , i.e., since is hyperbolic. Let be a point in . Note that . We take a hyperplane of through distinct from . Then there is a point in such that the line contains a point of . Now taking a hyperplane in through and distinct from , we likewise obtain a point such that contains a point of . By our choice of , and, moreover, does not meet (otherwise after all). Lastly, we take a hyperplane in through and distinct from , to obtain a point such that contains a point of . The choice of implies that is a plane in which is disjoint from . Now, without loss, the lines and both contain a point and from . But then and have to intersect as they are contained in the plane , contradicting that does not meet . Hence also in this case, . As and is hyperbolic, it follows immediately that the quadruple is of type III.
If then and we are done. If not, we still need to show that the line intersects both and . By the above, we may already assume that is on this line. If is the unique point on collinear with , then the same arguments as used just above imply that contains or , so and hence is collinear with , implying . This shows that the quadruple is of type III.
If and , each quadruple of type II is of type II∗, by and Lemma 7.2. Also, if , then each quadruple of type III is of type III∗ because if a point is collinear to two of those lines in , then it is also collinear with the two other lines as it is collinear to all transversals.
One can verify that each of the -tuples obtained above indeed satisfies the definition of a round-up quadruple. .
Lemmas 7.13 does not yet cover all cases if . We deal with the remaining cases separately.
7.3.2 hyperbolic and
7.14 Lemma**.**
If is hyperbolic and then each quadruple consists of four -spaces intersecting each other in a common subspace of dimension (in they hence correspond to four pairwise opposite lines).
Proof.
Let be a quadruple. By Lemmas 7.5 and 7.6, we already know that the -spaces have one common intersection of dimension with . If then it is clear that the quadruple has hyperbolic type II (note that has rank 2 so disjoint lines are opposite).
So suppose . Let be the set of -spaces in corresponding to the quadruple. Let be a line in and let be a line in collinear with (which exists since . By Lemma 7.10, intersects a third member of the quadruple in a line. If we apply the same reasoning as in Lemma 7.1 on , we obtain that , i.e., , so , , and are pairwise disjoint -spaces in , moreover, without loss, intersects in a line . Moreover, we can show that also intersects in a line. Indeed, let be the unique line in collinear with . Then has to intersects at least one of , in a line, say . As , we obtain that intersects each of , , and in a line.
It remains to show that this last possibility does not occur. In , which is of type , we obtain four pairwise disjoint -dimensional subspaces, say of type , such that each -space intersecting two of them in a line intersects all of them in a line. Applying the triality principle, this amounts to four pairwise opposite points such that each point collinear to two of them is collinear to all of them. As there are no hyperbolic lines in a hyperbolic polar space, this is impossible. .
7.3.3 The projection of adjacent vertices of on each other is their intersection ()
Let be a quadruple of , where , i.e., . However, we assumed that, if then , hence also . We will furthermore assume that , as the case where is already covered by Lemma 7.13. So for this subsection: .
We can prove the following property.
Let be a line containing distinct points and such that and for . Then contains a point with , where .
7.15 Lemma**.**
If equals , and , possibly , then is valid for any quadruple. Moreover, remains valid in for .
Proof.
Recall that . If and , then by Lemma 7.6 the -spaces all intersect each other in and . If two distinct points of a line are collinear with and respectively, then is collinear with . As any point of with is collinear to at least one point of , is collinear with this point. If and , then this property is also trivial.
Now suppose . Let be a line with and . Suppose for a contradiction that none of its points is collinear with or . In particular, does not meet any of . Hence, we can choose an element such that (recall ). Then . If , , would be adjacent to , then . But then contains and , which are collinear with and , making impossible, a contradiction.
Since is collinear with , it follows that is a residual property. .
7.16 Lemma**.**
Let be a set of four -spaces having one common intersection and satisfying and . Then at least one pair of them is contained in a singular subspace or is such that their projections on each other equal their intersection.
Proof.
If this is trivial. So suppose and assume for a contradiction that no such pair exists. If , the lemma is trivial, so we may assume . In , which has rank at least 3, the -spaces correspond to subspaces and of dimension with . We denote the subspaces corresponding to by as well; note that , for . By assumption, these are all nonempty. By looking in , we find a singular -space through in such that all points in are collinear with none of and , and hence collinear with none of and . Likewise, we can find such a singular -space w.r.t. . Let be arbitrary. As , there is a unique hyperplane of collinear with . Clearly, . So let . Denote by the subspace .
By and possibly by switching the roles of the -spaces (as the above holds for any permutation of ), we may assume that . As is not collinear with , it is not contained in , and so , for all . It follows that none of is collinear with , for this would mean that they are contained in a singular subspace with . So both and are collinear with at most a hyperplane of . As they are not collinear with any point of , they are collinear with at most a codimension 1 subspace of . This shows that there is a line in which is disjoint from . We may assume that and so is violated. .
The conditions (RU1) and (RU2) also appear in [20], though used for round-up triples, and the idea of the previous lemma is taken from the proof of Lemma 4.7 of the same article, and extended to quadruples.
7.17 Lemma**.**
Assuming , the quadruple is of type I or II∗.
Proof.
We already know that the four -spaces intersect each other in a common subspace of dimension at least and they satisfy and . By Lemma 7.16, there are only two cases to consider.
Case 1: There is a pair of -spaces contained in a singular subspace. Suppose . By , , so we may assume that . This implies that and are contained in a singular subspace . We will prove that they are all contained in a singular subspace spanned by any pair of the -spaces, afterwards we show that . This is accomplished in the following steps.
- •
Claim 1: has to be collinear with and . In view of and by switching the roles of , and if necessary (they play the same role), we may assume . Assume for a contradiction that . Then, in , and correspond to collinear -spaces and , respectively, and corresponds to a subspace of dimension at most , which is semi-opposite . Take any -space through which is not collinear with nor with . Clearly, this subspace contains a point which is collinear with but not collinear with or . As this violates , the claim is proved. Now, put .
- •
Claim 2: is generated by any two members of the quadruple. We first show that at least one of belongs to . Assume for a contradiction that and are both not contained in . Then there is a hyperplane of containing and not containing nor . Let be a point collinear with but not with . As is collinear with and but not with nor with , this contradicts , showing that one of is contained in .
Now suppose that would not be contained in . Then we apply the same arguments as above to and and obtain that contains one of , say . Then contains , and as their dimension are equal, . Since , we conclude that and this proves the claim.
- •
Claim 3: . Suppose for a contradiction that . We will exploit property . Since this is a residual property, we may assume that is empty. Our assumption implies and from the previous claim, we know . Hence we can find a line in intersecting and , but disjoint from and . Let be a singular -space that intersects in and with . Then and both have dimension whereas and have dimension . The pairwise intersection of these four subspaces is , as no point of is collinear with . Hence we can find a line inside intersecting both and , but disjoint from . This contradiction to yields .
We conclude that the quadruple is of type I.
Case 2: There is a pair of -spaces whose projections on each other coincide with their intersection. Suppose (and hence also ) is empty. By Case 1, we know that no pair amongst the -spaces is contained in a singular subspace, for otherwise they are all contained in a singular subspace. Consider the following two cases.
- •
Case 2(a): . It readily follows that the quadruple is of type II. Combining and Lemma 7.2, we obtain that the quadruple is of type II∗.
- •
Case 2(b): . Let be arbitrary and note that as is empty. As , there is a point (again, automatically, ) collinear with , so it follows from Lemma 7.10 (recall ) that intersects or . Applying Lemma 7.1 on , we obtain that .
Let denote the lines in corresponding to , respectively. By assumption, and are opposite. We claim that they are all pairwise opposite. Suppose for a contradiction that is a point of collinear with . By , has to be collinear with . Let be the unique point on collinear with . Then there is an -space such that the subspace corresponding to it in contains . As contains , a point collinear with and , those two -spaces are not adjacent to . This contradiction to the definition of a quadruple proves the claim, as we can now switch the roles of the -spaces. The same arguments as in the proof of Lemma 7.13 imply that the quadruple is of type III∗.
We now show that these kind of quadruples do not occur when . Let and be two distinct transversals of , with and for . Consider , which is isomorphic to a polar space of rank and which contains the points and . In there, take a line through and a line through with and opposite, and let be a line joining a point and a point , with and . Now note that is collinear with (since is collinear with ) and not with (since is not collinear with because ), likewise, is collinear with but not with . Consequently, implies that there is a point collinear with or , say . Then is collinear with (as it is collinear with and ) and, likewise, with ; and therefore is collinear with both and . In particular it follows that , but then implies , a contradiction. This implies that there are no quadruples of type III∗.
Again, it is easily verified that each of those -tuples obtained above indeed satisfies the definition of a round-up quadruple. .
Next, we deal with the case where .
7.3.4 Adjacent vertices are contained in a singular subspace (
Clearly, if then . The fifth type of -tuple emerges here.
7.18 Lemma**.**
The quadruple is of type I or V.
Proof.
Recall that the -spaces intersect in a fixed subspace with . According to Lemma 7.9, all pairs of them have the same mutual position, so all of them play the same role. Depending on , there are three cases. We will apply Lemma 7.10 again (note that ).
- •
Case 1: . In this case, and hence we can apply Lemma 7.10 on every pair of points , . Proceeding like in the proof of Lemma 7.13, we obtain that the quadruple is of type I.
- •
Case 2: is empty. Suppose . Then for all , as . Combining with Lemma 7.2, we conclude that , a contradiction to the definition of a quadruple.
- •
Case 3: . Let and be points. By Lemma 7.10, meets , more precisely, meets . Applying Lemma 7.1 on , we obtain for all and at least one of lies in . Interchanging the roles of the -spaces like before, we obtain that both and belong to . In (which has rank ), this translates to four -spaces which are pairwise opposite. Note that these are not maximal singular subspaces, for otherwise , and together with (as ) this would imply , which we only allow when . Again by and Lemma 7.2, every point collinear with two of them is collinear with all of them, i.e., they define a hyperbolic -space with . Hence, the quadruple is of type V.
Also here, it is easily verified that each of those -tuples obtained above indeed satisfies the definition of a round-up quadruple. .
7.4 Constructing or
With the just obtained classification, we want to construct or . By Corollary 5.4 or Proposition 5.3, respectively, this would finish the proofs of Main Theorems 3.5 and 3.7 in the case where . We start from the graph , which we define as the graph having as vertices, adjacent whenever they are contained in a quadruple. We aim to identify the types of the quadruples. The following notion will be useful.
7.19 Definition**.**
Let be adjacent vertices of . A near-line (based at ) is defined as the union of all quadruples containing . We denote this set of -spaces by . The type set of is the set of types of the quadruples containing . If this set contains only one element, we call this element the type of .
7.20 Lemma**.**
Suppose and are contained in a quadruple and . Let be two members of . Then . Moreover, if , then in , the lines and are contained in the regulus determined by the lines and corresponding to and .
Proof.
Observe that always contains for any two distinct members of , since Lemma 7.6 implies that and both contain . If , then of course . So suppose from now on.
In , the -spaces correspond to respective lines , , and . If , then and determine a hyperbolic -space which has the structure of a hyperbolic quadrangle. As and both belong to the regulus determined by and , it follows that there is a quadruple of type containing and . If , we need to do some more work. Note that in that case, is a generalised quadrangle. If and would intersect in a point , then a line intersecting and and not containing , will intersect and in distinct points (since each of , is contained in some quadruple together with and ), clearly a contradiction. Hence and are disjoint and hence opposite. We only need to show that each line intersecting and also intersects and . So let be a line intersecting and in points and , respectively. Then the unique line through intersecting will also intersect since and are contained in a quadruple. But since also and are contained in a quadruple, also intersects . As and are opposite, and hence indeed intersects all four lines. The lemma is proven. .
7.21 Remark**.**
Like before, we write . Let . If , the subspaces in corresponding to the members of are points, denoted by ; likewise, if , the corresponding subspaces are lines, denoted by .
Note that no near-line will have type IV. Indeed, type IV quadruples occur when and , and in this case there are quadruples of type I, II and IV (possibly also of type III is is orthogonal). If and are -spaces with , then if , the type set of is , and if they are not collinear, it is . In this particular case, no near-line will have type I or type II either, since we will in both cases find a quadruple of type IV that contains .
We now focus on near-lines having a singleton as their type set. By the above, we do not need to consider near-lines of type IV (the above also implies that near-lines of type I or II would not occur if type IV quadruples occur). We neither consider near-lines of type V(t), existing or not, as we will not need them.
7.22 Lemma**.**
Let be a near-line with type I, II∗ or III∗ if , or, if , type II or III. Then in , we get the following respective sets for :
The set of points on the line spanned by and , 2.
the set of points which are opposite both and , 3.
the set of points of the hyperbolic line spanned by and , 4.
the set of lines of the regulus of the grid determined by and ,
In particular, each four elements occurring in form a quadruple, which is of the same type as , and each two distinct members of satisfy .
Proof.
Let and be two elements of . By Lemma 7.20, .
If is of type I, then in , those four -spaces correspond to points , , , , such that both and are on the line . As such, and determine the same line. It follows that each point on corresponds to a -space in and vice versa, making it clear that and that each four points on this line correspond to four -spaces in a quadruple of type I. If is of type II∗, the same argument applies, the only difference being that and determine a hyperbolic line instead of an ordinary line.
If is of type II (so ) then , , and are all just points in , which is a polar space of rank 1, each point of which corresponds to a -space in and vice versa. It is again clear that any four such points then determine a quadruple of type II.
If has type III (so ) or (, it follows from Lemma 7.20 that, in , the near-line corresponds to the regulus determined by the respective lines and corresponding to and . As this regulus is determined by any two of its members, the assertion follows. .
We start with the special case where and we encounter Main Theorem 3.5.
7.4.1 Maximal singular subspaces ()
If , then and since we assume that if then , we have . Note that in this case. If is not hyperbolic, then for all , the occurring triples/quadruples can only be of types II or III. Consequently, is independent of , so we can treat , and at the same time. We aim to separate type II from type III. Of course we only need to do this when type III really occurs, so we may assume that is orthogonal.
Case 1: is neither parabolic nor hyperbolic. The following lemma distinguishes between quadruples of types II and III, making use of the corresponding near-lines. Note that, since we only have types II and III, each near-line has a type (cf. Lemma 7.20).
7.23 Definition**.**
Let and be two near-lines having one element in common. We say that if there is at least one -space which is -adjacent to all members of and such that each near-line through meeting also meets ; if moreover, for any of those -spaces , there is a near-line through it that meets without meeting , then we write .
Despite the suggestive notation, we do not claim or intend to prove that is an order relation. So in principle and is possible at the same time (this is because of the dependence on ). This will not matter for the next lemma.
7.24 Lemma**.**
Suppose is neither parabolic nor hyperbolic and . A near-line is of type III if and only if there is a near-line such that .
Proof.
Suppose first that is of type III. We show that there is a near-line such that . By definition, . Take any -space such that is an -space containing and put . In , which is a generalized quadrangle , the lines and correspond to a regulus and a pencil, respectively, sharing a line. In the dual generalized quadrangle , they correspond to a hyperbolic line and an ordinary line , respectively, meeting in a point .
Let be a point of and the unique point on collinear with . As is then collinear with two points of , is collinear to each point of . Recall that (since is orthogonal) we have that each hyperbolic line is the common perp of two non-collinear points, in particular, for some point not collinear to . Now consider the structure induced by the ordinary and hyperbolic lines in the pencil . Each of its ordinary lines contains as otherwise we have a triangle. Since each hyperbolic line in intersects two lines of (in points distinct from ), for some point not collinear to . In particular, intersects . Suppose for a contradiction that each hyperbolic line meets . Seeing that is Moufang (as its rank is at least three), it follows by transitivity that any two hyperbolic lines in meet, implying that is a projective plane. By a result of Schroth ([26]), this means that is a symplectic quadrangle. But then , and therefore also , is parabolic. This contradiction implies that there is a hyperbolic line in not intersecting . Let be a point not on , then each hyperbolic line through that meets is contained in and therefore it also meets , so . As meets but does not meet , , as required.
For the converse, suppose is of type II. We show that there is no near-line with . Assume for a contradiction that there is a near-line with . Let be a -space as in Definition 7.23. Put . We claim that and that each -space in contains .
Firstly, implies (i.e., ); secondly, is -adjacent to each member of so in particular it has to intersect both and in at least an -space, and since cannot contain points from both and (as those are not collinear), so . Now contains a line which has a unique point collinear with (if all its points were collinear with then ), so contains a unique element, say , such that . By definition, does not contain and intersects and all near-lines with in a unique -space. Take . Then , and hence is of type III, but more importantly, each -space in contains . Consequently, at least two members of contain , hence, so does each member of . This shows the claim. This allows us to restrict ourselves again to the generalised quadrangle which is the dual of .
Suppose first that has type III. In , again corresponds to an ordinary line , the -space corresponds to a point and the line corresponding to does not contain and meets each line with . Let be the unique point on on an ordinary line with (this points corresponds to ). Then contains and all lines with , and hence too. But then each line through that meets also belongs to and, as such, it intersects too (as we deduced before). This contradicts .
Next, suppose has type II. Then, in and with the same notation as above, is an ordinary line, which hence contains . Again, . Then it is clear that each line through that intersects in a point distinct from is a hyperbolic line, and each such hyperbolic line has to intersect as well, again contradicting . .
As this allows us to recognise quadruples of type III, we can remove the edges in between -spaces that are contained in such a quadruple, hereby obtaining that all remaining edges join -spaces that intersect each other in a -space, as they are contained in a quadruple of type II. The resulting graph is ; the result follows.
Case 2: is hyperbolic. By Lemma 7.14, there is only one type of quadruple here, and these are such that . It follows that . Therefore each element of is induced by an automorphism of , possibly up to a duality. The duality occurs precisely if either (interchanging the biparts) or, if and , then an -duality also induces an automorphism of (not interchanging the biparts).
Case 3: is parabolic. We exploit the natural embedding of in a hyperbolic polar space of rank (defined over the same field as ). Let or . In Example 3.2 at the very beginning of this paper, we explained that, if , is isomorphic to some graph defined over and hence , and by the previous case, it then follows that each automorphism of induces an automorphism of and vice versa.
Claim: for , the automorphisms of are also induced by automorphisms of , but only those automorphisms of preserving (i.e., the automorphisms of ) will induce automorphisms of .
Inspired by Special case 3.2, we first define a graph , associated to , such that there is a bijection between the vertices of and those of . Let be one family of MSS of and let be the family of MSS such that if is even and if is odd. Let denote the type of the elements in . If , then we define for each the graph as ; if , then, also for each , we define as .
For each member of a bipartition class of , we denote by the unique element of going through it, . Then gives a bijection between the vertices of and , and is chosen such that if is an adjacent pair in , then is an adjacent pair in and moreover, such that there are adjacent pairs in that intersect in a -space (the definition of is not entirely canonical, but other sensible choices for a graph isomorphic to would behave similarly so we take this one as an example).
Yet, we next show that the fact that will imply that there are adjacent pairs in , for which is not an adjacent pair of . To see this, suppose and are such that is a -space in which is not contained in and note that , likewise . But then is only a -space, and hence is not an adjacent pair in (for all under consideration). The mapping is an embedding of in (since adjacency is preserved in one direction).
Now suppose that is an automorphism of with , then we still need to show that cannot induce an automorphism of . As does not preserve , there is a -space in such that . Thus, if is an adjacent pair of with , then and so is only a -space, implying that is not adjacent in . This shows the claim.
Conclusion. We know that each automorphism of is induced by an automorphism of (see previous case). The above implies that preserves -adjacency (we view as embedded in ) if and only if preserves . Hence . With other words, each automorphism of is induced by an automorphism of , as required.
7.4.2 The -Weyl graphs: and
In this case, the type sets of the quadruples are the singletons I, II∗ or III∗. Let and be adjacent vertices of .
The following lemma will allow us to separate type III∗ from the others, allowing us to remove the edges in between -spaces that intersect each other in a -space, hereby obtaining or . We may hence assume that quadruples of type III∗ occur, otherwise we immediately obtain or . Note that type I quadruples always occur (since ). Furthermore, only in mixed polar spaces quadruples of type II∗ and of type III∗ can both occur; other polar spaces admit at most one of these types.
7.25 Lemma**.**
Let be a -space, not contained in and -adjacent to all members of , except one or two members and (possibly ). Then for all . Moreover, for each pair of -spaces and intersecting each other in a -space, we can always find a near-line containing and not containing , such that this situation occurs.
Proof.
Let be as stated. We may assume that , as for all distinct , in , as noted before.
Claim 1: The dimension of is at least . Suppose for a contradiction that . Firstly, let be of type I or II∗. As , it follows from that for . However, so (and hence and are contained in a quadruple of type III∗) and . This also means that contains a point from . But then the point is collinear with and with , and hence with . As , this contradicts that and are contained in a quadruple of type III∗, as the lines corresponding to and in are clearly not opposite. This contradiction implies that in this case.
Secondly, suppose is of type III∗. First note that for . Then implies that contains at least a point in and in , say and . Moreover, cannot contain a line in , since no line of is collinear with . But that means that and that . In , the members of correspond to planes through some point and corresponds to a plane (not containing ) intersecting the planes in respective points . Let be the member of with . Then the lines corresponding to and in are not opposite, so there is some line in through collinear with . As the point is not collinear with , it is not on . Consequently, is collinear with . However, this implies that and do not correspond to opposite lines in , contradicting the fact that . Hence, in this case, even contains .
Claim 2: For all , we have . Now we know that , we take a -space and consider . Firstly, if is of type I, then in it corresponds to a set of lines through a point and contained in a plane . Secondly, if is of type II∗, then in it corresponds to the set of lines through a point such that, in , this set corresponds to a hyperbolic line. Lastly, if is of type III∗, then in it corresponds to one regulus of a hyperbolic quadric. Denote by the line corresponding to and denote by and the member(s) of not adjacent to .
Suppose that for at least two members , then for all members. We reason in (using the notation settled in Remark 7.21).
If is of type I, then either contains or is contained in . Either way, we conclude that for all . But then for one or for all (‘one’ occurs if contains , is collinear with a unique line of and when there are no quadruples of type II∗). 2.
If is of type II∗, then goes through . Since quadruples of type I and II∗ both occur now, for all . 3.
If is of type III∗, then , intersecting two lines of the regulus, intersects them all. Depending on whether II∗ quadruples occur, is either adjacent to none or to all members of .
As in none of the previous cases, is adjacent to all members of except one or two, we conclude that cannot intersect more than one members of in a -space.
Next, suppose for a unique member of (if no such member exists, nothing needs to be shown). Note that this situation does not occur if is of type I, since no line meeting can be opposite the lines corresponding to the other members of . We show that . We will reason in ; recall that we settled our notation already in Remark 7.21.
- •
Suppose there are quadruples of type II∗. In this case, , hence . Then there is a point collinear to . If is of type II∗, then as and are not collinear, but then no member of is adjacent to , a contradiction. If is of type III∗, then all points of are collinear to so each line corresponding to a member of contains a point collinear to , implying that no member of is adjacent to , a contradiction.
- •
Suppose there are no quadruples of type II∗. Then is of type III∗. If then and hence . As above, contains a point collinear to and we obtain that is not adjacent to any member of , a contradiction. If and are not collinear, then , so indeed, .
Claim 3: For each pair of -spaces intersecting each other in a -space, there is a near-line containing and not containing such that is adjacent to all its members except one or two.
We first look for a near-line, and then show that is adjacent to all but one or two of its members. Consider . If and are not opposite, we take a line opposite both of them. If and are opposite, take a plane through and note that is semi-opposite . Then contains a point . Through , we can then find a line opposite by taking a point in opposite the point corresponding to and avoiding the line corresponding to . All of this is possible by Fact 6.1 and .
Let be the -space through corresponding to . Then is a near-line of type III∗. In the first case, is adjacent to and not adjacent to , in the second case, is adjacent to and not adjacent to . In both cases, we show that there is at most one member of not adjacent to . Suppose would not be adjacent to a third member . Then would be collinear with a point . Now also contains a point collinear with ( equals or , depending on the case we are in). If , then is collinear to all lines of the regulus determined by and , contradicting the fact that is opposite (with ). If , then there are exactly two points (namely, those on and ) of the hyperbolic -space spanned by and that are collinear with (this is easily verified when is embeddable since it has to be orthogonal, and also holds true if is not embeddable). This implies that is collinear to all members of .
The lemma is proven. .
7.4.3 The -Weyl graphs: and
Now, the quadruples are of type I or V (cf. Lemma 7.18) and the following lemma enables us recognise the type I quadruples, by which means we obtain .
7.26 Lemma**.**
A quadruple is of type V (with ) if and only if there is a -space such that is a quadruple, whereas is not.
Proof.
Suppose the quadruple is of type V and let and be as described in the definition. Let be a -space through which is collinear with such that and and correspond to the same -space in . Clearly, is still a quadruple, as opposed to . Next, suppose the quadruple is of type I. If is a quadruple, then contains and is contained in . As is a quadruple, , it follows is a quadruple too. .
7.4.4 The -intersection graph:
In this case, there are triples of types I, II and III∗ (since the triples of type IV are the same as those of type I).
7.27 Lemma**.**
Suppose and are triples, while is not. Then and and are contained in a singular subspace. Moreover, for -spaces and with and we can find -spaces and such that and are triples whereas is not.
Proof.
Note that all -tuples in a near-line of type I or III∗ need to be triples themselves (of the same type, in contrast to -tuples occurring in a near-line of type II). This observation shows that the near-line is of type II. As is not a triple, and are collinear. This shows the first part of the lemma. For the second part, consider , in which and correspond to points and on a line . Let be a third point on this line, and take two non-collinear lines and through which both are non-collinear with . Points () then correspond to -spaces and satisfying our needs. .
Consequently, we can deduce from .
7.4.5 The -intersection graph:
This time, the quadruples are of types I, II, III∗ and IV. The presence of quadruples of type IV implies that -spaces intersecting each other in a -space fit into two types of quadruples. On the other hand, two -spaces intersecting each other in a -space only fit in a type III∗ quadruple. This is the idea behind the following lemma.
7.28 Lemma**.**
Let and be adjacent vertices in . They are contained in a quadruple of type III∗ if and only if each -tuple in is a quadruple too.
Proof.
Suppose and are contained in a quadruple of type III∗. Then it is clear that all -tuples in are quadruples (of type III∗) themselves.
Conversely, suppose that and are contained in a quadruple of type I,II or IV. Then and we can always find and such that is a quadruple of type IV. We continue in . There are two cases, depending on whether or not and are collinear.
Suppose first that and . Then is collinear to a point on , distinct from and . Let be the -space through that corresponds to . As is also a quadruple, belongs to . But then is a -tuple of which is not a quadruple. 2.
Next, suppose is opposite . We may moreover assume that , and are on one line. Then is collinear with a unique point on this line, distinct from , and . Let and be two distinct points in . Then is not collinear with nor with . If are the -spaces through corresponding to , for , then are also a quadruple, and hence and belong to . Yet, is not a quadruple.
In both cases we found a -tuple in which is not a quadruple, which proves the lemma. .
Hence we can remove the edges in between the -spaces that are contained in a quadruple of type III∗. We obtain .
In all cases we were able to deduce or from . This finishes the proofs of Main Theorems 3.5 and 3.7 in case . In the next section, we handle the case where .
8 The -Weyl graph
We may assume that , since is a complete bipartite graph and is the bipartite complement of . We try to apply the same strategy as before though some cases require an alternative approach or lead to the counter examples described in cases and of Main Theorem 3.5.
Again, let be a quadruple. Note that now as we are working with Weyl-graphs only. Note also, that now it is possible that , which is not always useful, because is complete graph and hence if we obtain this one, this does not help. When , this implies that we are in one of the following cases:
, , and : two vertices (i.e., points) are adjacent whenever they are distinct but collinear. 2.
, , and : two vertices (i.e., points) are adjacent whenever they are opposite. This has been dealt with in [20]. 3.
, , , : An adjacent pair consists of a point and an -space with . We deal with this in subsection 8.2.
8.1 Adjacent vertices are in a general position ()
Assume first that . The following lemma is a weaker version of Lemma 7.6.
8.1 Lemma**.**
Each point contained in two members of a quadruple is contained in a third member. By renumbering if necessary, .
Proof.
We show that, for any permutation of , . So suppose for a contradiction that a point is not contained in . We claim that there is an containing . To this end we apply Construction 6.2. Note that there is no need to avoid any subspace now but and themselves, which makes things easier. There are three cases. Firstly, if , we can apply Construction 6.2 such that . Secondly, if , we take any -space in , which certainly contains a hyperplane collinear with , so we can put . We still need a point . We look for this point in . In here, corresponds to a subspace of dimension at least [math] (since is collinear with at least a point of ) and to a point , the point corresponds to a point that we keep denoting by . Then there is a point in which is opposite (note that by now we are looking in a polar space of rank since if ). In , a point in the subspace corresponding to and disjoint from satisfies our needs. We can now select in the standard way. Finally, suppose . As above we can find an -space collinear with and then we only need to select such that it contains . The claim is proven.
As before, this leads to a contradiction, since not adjacent to nor to . Therefore, the intersection of two members of the quadruple is contained in a third member. If we start with a pair having maximal dimension of intersection, the lemma follows. .
There is also a weaker version of , that holds whenever .
Let be a line containing distinct points and such that and for . Then contains a point with , where .
8.2 Lemma**.**
If equals and , then is valid for any quadruple. Moreover, remains valid in for .
Proof.
Let be a line with and and suppose for a contradiction that none of its points is contained in . By , as then ; likewise, .
Suppose first that . Let be an -space collinear with and (cf. Fact 6.1), again, there is no need to avoid and . Then we take such that and . As we may assume , there has to be an -space in collinear with , and hence intersects in at least a point, i.e. contains a point of after all, a contradiction.
Next, suppose . By the previous case we may assume that . In , and correspond to -spaces and and and to -spaces and . If (recall ), we take a -space in for each . Fact 6.1 then says that there is a -space which is opposite all of them, i.e., such that no point of belongs to . The corresponding -space in is adjacent to and (since and ) and hence needs to be adjacent with one of , too. If , then by our choice of in the residue, is collinear with a point of ; likewise if . This violates our assumptions.
If , then . If , we take -spaces for each and let be a -space opposite each of these. If , we put . In both cases, is a -space opposite and containing unique points ( and , respectively) collinear with and . Then and also contain unique respective points and collinear with . We claim that there is a -space (recall ) through collinear with and . If so, then because , since no point of is collinear with ; and since and both contain a point collinear with . This is a contradiction.
Note that we may assume that , for otherwise is isomorphic to the bipartite complement of . Firstly, let and be non-collinear points. Then is a non-maximal singular subspace in , from which it follows that exists. Secondly, let and be collinear. Then is contained in a singular -space , which intersects in precisely since each -space in complimentary to is opposite , likewise, . Now any -space in through satisfies our needs. The claim is proven and as mentioned above, this leads to a contradiction.
This works for all permutations of . The fact that is a residual property is again easily verified. .
8.3 Lemma**.**
If , each quadruple is of type I, II∗ or III∗. Moreover, if , then there are no quadruples of type III∗.
Proof.
By Lemma 8.1, we may assume that intersect each other in one common subspace and that intersects them in a subspace of . By Lemma 7.9 and , we may write instead of for with . Put and . Since , we have . Observe that precisely when .
Case 1: . In , we obtain four opposite subspaces and . By and Lemma 7.2, they form a hyperbolic -space for . There are two cases.
- •
Claim 1: If , the quadruple is of type II∗ or III∗. Assume for a contradiction that and take any point in and any line in . If every line joining and a point of intersects , then the plane meets one of in a line . But then and have to intersect, a contradiction. We conclude that there is a line through meeting which is disjoint from . Since the -spaces form a hyperbolic -space, they correspond to maximal singular subspaces of a polar space of rank (that also contains ). It follows that no point of can be collinear with or . Take an -space . As and are in a hyperbolic subspace, it follows that is also collinear with and (so in particular, ) and is not contained in (so and hence is empty). In , we take a -space opposite the subspaces corresponding to and . Let be the subspace in corresponding to , i.e., . Then , but as intersects and non-trivially, . This contradiction implies that . If , one shows, similarly as in the proof of Lemma 7.13, that any line joining two collinear points of and will also intersect and , so the quadruple is of type III∗. If , the quadruple is of type II∗ since the -spaces are on a hyperbolic line, as mentioned above.
- •
Claim 2: If , the quadruple is of type II∗. In this case, holds and similarly as in the proof of Lemma 7.17, we can show that there are no quadruples of type III∗.
Case 2: . Let be a point of and an arbitrary point of . If , we claim that the line has to intersect a third member of the quadruple. Suppose the contrary. Let be an -space which is collinear with and with (by Fact 6.1, this is possible as as implies ). Let be an -space of collinear with . Next, let be a -space chosen in semi-opposite the subspaces corresponding to and . Then . However, cannot be adjacent to or as it contains a point of both of them (the points and , respectively). This contradiction to the definition of a quadruple implies that intersects a third member of the quadruple after all. If we vary over and as all lines have to intersect or , it follows just as in the proof of Lemma 7.1 that each line in which is not contained in has to intersect . But then either or is empty and . But the latter case does not occur, for another consequence of Lemma 7.1 implies that has to be collinear with at least one of , which would violate the fact that is empty. Hence and we conclude that and are contained in a singular subspace.
If , then the previous arguments also apply if , as we can choose such that it contains . Like before, it follows from Lemma 7.1 that the quadruple is of type I. If , we can also show that the quadruple is of type I, by proceeding as in Case 1 of Lemma 7.17 (with instead of ).
It is easily verified that each of those -tuples obtained above indeed satisfies the definition of a round-up quadruple. .
As the quadruples are the same as before, we can continue in the same way as in the previous section to conclude the proof in this case.
8.2 Adjacent vertices are semi-opposite ( and case )
Our convention on and implies that if , then (see also Subsection 7.3.3). Then two adjacent vertices of correspond to opposite subspaces. The opposition case, or at least its non-bipartite version, has been dealt with in [20]. The same techniques apply and hence we limit ourselves to summarising their approach: In this particular case, one can work with “reverse” round-up triples, i.e., a round-up triple of the complement of : a (round-up) triple consists of three vertices (-spaces) such that each vertex is either adjacent with one or all of them. After classification we obtain (with our own notation) when either a triple of type I or of type II∗ and when , either a triple of type II or one of type III. As before, we can look at the near-lines. These can be distinguished from each other, leading us to the Grassmannian just like before, except in the two following cases.
- •
Let be a symplectic polar space and : then a near-line of type I corresponds in ( still denotes the common intersection of the triple) to an ordinary line and a near-line of type II∗ to a hyperbolic line. Both are lines of the projective space in which naturally embeds. They behave in the same way and hence cannot be separated.
- •
Let be a parabolic polar space and . Also here, a near-line of type II now behaves in the same way as a near-line of type III.
So only in those two cases there are extra automorphisms, and those are explained in detail in Examples 3.2 and 3.3.
Next, suppose that we are in case , i.e., . If , then the bipartite complement of is precisely , and we can refer to Proposition 7.4. Hence, we may assume that . In , a point and a -space are adjacent when . We continue to work in . With the following lemma we can construct , which as what we needed to prove.
8.4 Lemma**.**
The intersection of two -spaces has dimension if and only if there is no -space such that .
Proof.
Let that and be -spaces such that . In , and correspond to -spaces with . Take any -space , corresponding to a -space in through , such that and . Clearly, . Suppose for a contradiction that . Consequently, is collinear with . Hence, in , where and correspond to points , corresponding to is a subspace strictly containing . It is easy to see that there is a point in not collinear with . We conclude that . Note that .
For the converse, let and be -spaces with . Suppose for a contradiction that there is an -space such that . If , then the preceding paragraph yields an -space with such that . But then , so by replacing by if necessary, we may assume that . Then . Taking into account that , it is easily deduced that the lines/points corresponding to the -spaces in have to be in a plane/on a (hyperbolic) line. But then one deduces that , a contradiction. .
8.3 Adjacent vertices are contained in a singular subspace ()
In this case, adjacent vertices and are disjoint subspaces spanning a singular subspace, implying . We will be using triples instead of quadruples and a new type of triple will turn up.
Suppose are -spaces intersecting each other in a common subspace . With the same notation as before, we say that they form a triple of type VI, with an integer such that , if the following condition is satisfied.
and are -spaces in generating a hyperbolic -space.
Note that a triple of type VI is the same as a triple of type II∗, but a triple of type VI is in general not the same as a triple of type III∗ for the lines in the hyperbolic -space do not necessarily lie on a regulus of a hyperbolic quadric. Hence a triple of type VI occurs when is not a strictly orthogonal polar space, and a triple of type VI with occurs in every kind of polar space.
8.5 Lemma**.**
A triple is of type VI.
Proof.
We claim that each point contained in precisely one member of the triple is not collinear with any of the two other members of the triple. So assume for a contradiction that is collinear with . By Lemma 7.8, we know that holds, so is also collinear with . But then, as there is an -space with , which cannot be adjacent to . This contradiction shows the claim.
Denote by the intersection for and and suppose that these do not coincide. We may assume that is empty, as otherwise we look at its residue.
By , each point of is collinear with , with . Now suppose that and are nonempty, and consider a line intersecting both of them, necessarily in distinct points. These two points are necessarily collinear with and . Hence, each point of has to be collinear with and . However, contains a point which is contained in only, contradicting the first paragraph of this proof. This implies that at most one of the intersections, say can be nonempty. But as is collinear with , the latter contains a point which is collinear with , again a contradiction.
We conclude that the -spaces have one common intersection and, in , they correspond to -spaces which are on a hyperbolic -space, as required. It is easily verified that each of those -tuples obtained above indeed satisfies the definition of a round-up triple. .
We now distinguish either or from the others, depending on the type of .
8.6 Lemma**.**
Suppose is triple of type VI. If no -space (with ) is such that is a triple whereas is not, then precisely one of the following occurs.
* and contains hyperbolic lines.*
* and contains hyperbolic quadrangles as hyperbolic -spaces.*
Proof.
In , the -spaces of the triple correspond to -spaces and . Denote the hyperbolic -space generated by them by . Suppose there is a -space in opposite such that . Then clearly, cannot be a triple. If , such a -space can always be found.
- •
If , such a -space can always be found, except when is a strictly orthogonal polar space, as in that case is a hyperbolic quadrangle (the strictly orthogonal polar spaces are the only ones in which a a hyperbolic -space consists of precisely a regulus).
- •
If , then is a polar space of rank and hence such a -space can never be found. Note that, in this case, only contains more than two points (i.e., is a hyperbolic line) if is not a strictly orthogonal polar space.
So we see that either or and only one of these possibilities occurs, depending on . It is easily seen that, in cases and , every -space such that is a triple is also such that is a triple. .
Since each polar space either contains hyperbolic lines or is strictly orthogonal, and no strictly orthogonal polar space contains hyperbolic lines, we can either recognise the triples of type VI or those of VI. This gives us the following two cases to consider.
Case : contains hyperbolic lines. The previous lemma enables us to reduce by restricting its adjacency relation to being contained in a triple of type VI. We obtain the (non-bipartite) graph and the result follows from [20].
Case : contains hyperbolic quadrangles as hyperbolic -spaces. In this case is a strictly orthogonal polar space. Again with the help of the previous lemma, we reduce by restricting the adjacency relation to being contained in a triple of type VI (which is in fact the same as a triple of type III∗ in this kind of polar space). We obtain the non-bipartite Weyl-graph , and the result follows from Section 7 if and from [20] if (see also Subsection 8.2).
So also in this case we obtain that each automorphism of is induced by one of .
As we went trough all cases, we have reached the end of the proofs of Main Theorems 3.5 and 3.7.
We thank the referee for the opportunity to improve the paper. Many arguments have been corrected and/or clarified.
The reference list from the paper itself. Each links out to its DOI / PubMed record.
- 1[1] P. Abramenko & K. Brown, Buildings, Theory and Aplications , Graduate Text in Mathematics, Springer, 2008.
- 2[2] P. Abramenko & H. Van Maldeghem, Maps between buildings that preserve a given Weyl distance, Indag. Mathem. , 15 (2004), 305–319.
- 3[3] F. S. Beckman & D. A. Quarles Jr, On isometries of Euclidean spaces, Proc. Am. Math. Soc. 4 (1953), 810–815.
- 4[4] A. E. Brouwer & H. A. Wilbrink, The structure of near polygons with quads, Geom. Dedicata 14 (1983), 145–146.
- 5[5] F. Bruhat & J. Tits, Groupes réductifs sur un corps local, I. Données radicielles valuées, Inst. Hautes Études Sci. Publ. Math . 41 (1972), 5–252.
- 6[6] F. Buekenhout & A. M. Cohen, Diagram Geometries, Springer, volume 57, Berlin Heidelberg, 2013
- 7[7] P. J. Cameron, Dual polar spaces, Geom. Dedicata 12 (1982), 75–85.
- 8[8] I. Cardinali, L. Giuzzi, A. Pasini, On transparent embeddings of point-line geometries, JCTA 155 (2019) 190–224.
