projective line configurations


1 Introduction

1.1 Definition

A projective line configuration consists of a collectionsMathworldPlanetmath of p points and lines in a projective spaceMathworldPlanetmath such that through each point of the configurationMathworldPlanetmathPlanetmath there pass a fixed number λ of lines of the configuration and on each line of the configuration there are found a fixed number π of points of the configuration. It is not required that the intersectionMathworldPlanetmathPlanetmath of any two lines belonging to the configuration be a line of the configuration nor that through every two points of the configuration there pass a line of the configuration. (Indeed, this will usually not be the case except for the very simplest examples with small values of π and λ.) Besides being interesting geometric objects in their own right, projective configurations arise naturally in geometric definitions, constructions, and theorems, and also in such contexts as collections of special points and lines associated to algebraic varieties.

1.2 Examples

A simple example of a projective configuration is a triangleMathworldPlanetmath:

{xy},(0,0);(30,30)**@-,(14,17)*b,(22,30);(52,0)**@-,(38,17)*a,(0,5);(52,5)**@-,(26,2)*c,(5,5)*,(5,2)*A,(47,5)*,(46,2)*B,(26,26)*,,(30,26)*C

Here we have 3 points, A,B,C and 3 lines, a,b,c with the property that each of the points lines on exactly 2 of the lines (A lies on b and c, B lies on a and c, and C lies on a and b) and that each of the lines passes through exactly two of the points (a passes through B and C, b passes through A and C, and c passes through A and B.)

Another example is a complete quadrangle. This configuration consists of 4 points A, B, C, D and the 6 lines a, b, c, d, e, f as illustrated below:

{xy},(5,35)*,(8,37)*A,(35,35)*,(32,37)*B,(5,5)*,(8,2)*C,(35,5)*,(32,2)*D,(0,5);(40,5)**@-,(20,2)*c,(0,35);(40,35)**@-,(20,37)*a,(5,0);(5,40)**@-,(2,20)*d,(35,0);(35,40)**@-,(37,20)*b,(0,0);(40,40)**@-,(27,30)*f,(0,40);(40,0)**@-,(12,30)*e

Since each of the points lies on exactly 3 of the lines and each the lines contains exactly two of the points, this is indeed a bona fide projective configuration. (Note that the intersection of the lines e and f is not highlighted as this is not one of the points of the configurations — as mentioned at top, not every intersection of two lines of the configuration need be a point of the configuration.)

1.3 Notation

When discussing line configurations, use is made of the notation (pλπ) or (pλπ) to indicate that the configuration contains p points and lines with λ lines passing through each point and π points on each line. Thus, we would say that the triangle is a configuration of type (3232) (or (3223)) and the complete quadrangle is a configuration of type (43,62).

It is worth pointing out that the four numbers p, , π, λ are linked by the relationMathworldPlanetmathPlanetmathPlanetmath pλ=π. The reason for this is a counting argument — we could count pairs consisting of a point and a line passing through that point two ways. We could start with the p points and count λ lines passing through each point to arrive at pλ pairs. Alternatively, we could start with the lines and count π points on each line to arrive at π pairs. Since we are counting the same objects (pairs consisting of incidentMathworldPlanetmathPlanetmath points and lines), we must arrive at the same number either way.

Finally, when dealing with cases where p= (and hence, by what was said above, π=λ), one may use the abbreviated notation (pλ). Thus, one could say instead that the triangle is a configuration of type (32). Thus notation is most commonly encountered in the context of self-dual configurations (which will be defined in the next subsection).

1.4 Choice of Projective Space

So far, we have only spoken of projective configurations in a general manner. To discuss the matter in more detail, we need to take into account the projective space within which our configuration is situated.

The need for doing so is rather well illustrated by the fact that certain configurations may not exist in all projective spaces. As an example, we may consider the Hesse configuration, which is a configuration of type (94123). In this configuration, if we label the points by the letters A through I suitably, the lines pass through the following triplets of points: ABC, DEF, GHI, ADG, BEH, CFI, AEI, BFG, CDH, AFH, BDI, CEG. It is not possible to find 9 points and 12 lines in the real projective plane 2 (or, for that matter, any real projective space n) which form such a configuration. However, such a configuration can be found in the complex projective plane 2 — for instance we could take the 9 points with homogeneous coordinates

A:(1,-r+,0)B:(1,-1,0)C:(1,-r-,0)D:(-r+,0,1)E:(-1,0,1)F:(-r-,0,1)G:(0,1,-r+)H:(0,1,-1)I:(0,1,-r-)

and the 12 lines with equations

ABC:z=0DEF:y=0GHI:x=0ADG:x+r-y+r+z=0BEH:x+y+z=0CFI:x+r+y+r-z=0AEI:x+r-y+z=0BFG:x+y+r-z=0CDH:r-x+y+z=0AFH:r+x+y+z=0BDI:x+y+r+z=0CEG:x+r+y+z=0,

where r±=(1±i3)/2. That the appropriate points lie on the appropriate lines may be readily verified by a computation which is especially effortless if one makes use of the facts that r+3=r-3=1 and r+r-=1.

This notion of certain configurations being only found in certain spaces may be clarified by an intrinsic/extrinsic approach. Define an abstract line configuration of type (pλπ) to be a triplet P,L,I, where P and Q are sets and I is a relation on P×L such that the following conditions hold:

  • The cardinality of P is p.

  • The cardinality of L is .

  • For every xP, the cardinality of {yLI(x,y)} is λ.

  • For every xL, the cardinality of {yPI(y,x)} is π.

  • Given two distinct elements x,y of P, there exists at most one element z of L such that I(x,z) and I(y,z).

  • Given two distinct elements x,y of L, there exists at most one element z of P such that I(z,x) and I(z,y).

Given a projective space S, we may then define an embeding of an abstract line complex P,L,I to be an assignment of a point of S to every element of P and a line to every element of L in such a way that the point assigned to an element x of P will lie on the line assigned to an element y of L if and only if I(x,y). For instance, returning to our first example above, the abstract configuration of the triangle is

{A,B,C},{a,b,c},{(A,b),(A,c),(B,a),(B,c),(C,a),(C,b).

Not only is this way of thinking useful conceptually, but, as we shall see in the next sectionMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath, it is useful in practise because it lets us divide the work of finding configurations into a combinatorial task of determining abstract configurations and a geometric task of determining which abstract configurations may be embedded in which space.

When the space within which our configuration is embedded is two- dimensional, i.e. happens to be a projective planeMathworldPlanetmath, then we can apply the duality operationMathworldPlanetmath to obtain another line configuration in which the role of lies and points has been interchanged. We call this new configuration the dual of the original configuration. If it happens that the dual configuration is projectively equivalent to the original configuration, we call it a self-dual configuration. For instance, the triangle is a self-dual configuration in 2, given two triangles, there will be a collineationMathworldPlanetmath which maps one into the other. In the example of the complete quadrangle, its dual is a configuration known as the complete quadrangle, which consists of four lines such that each pair of lines intersects in on of the six points of the configuration.

{xy},(6,6)*,(8,4)*C,(26,66)*,(29,66)*E,(66,26)*,(66,29)*F,(42,18)*,(45,17)*D,(18,42)*,(16,45)*B,(36,36)*,(39,39)*A,(4,0);(28,72)**@-,(26,11)*c,(0,4);(72,28)**@-,(10,26)*d,(72,24);(0,48)**@-,(52,34)*b,(24,72);(48,0)**@-,(34,52)*a

This notion of duality can be extended to abstract configurations. Given an abstract line configuration P,L,I, its dual is L,P,I where I(x,y) if and only if I(y,x). For instance, the abstract configuration of the complete quadrangle is

{A,B,C,D},{a,b,c,d,e,f},
{(A,a),(A,d),(A,e),(B,a),(B,b),(B,f),(C,c),(C,d),(C,f),(D,b),(D,c),(D,e)}

so its dual is

{a,b,c,d,e,f},{A,B,C,D},
{(a,A),(d,A),(e,A),(a,B),(b,B),(f,B),(c,C),(d,C),(f,C),(b,D),(c,D),(e,D)}

which corresponds to the complete quadrilateralMathworldPlanetmath. Likewise, we can define a notion of self-duality at the abstract level. We will say that an abstract line configuration P,L,I is self-dual if there exists a one-to-one correspondence g:PL such that, for all x,yP, we have I(x,g(y)) if and only if I(y,g(x)).

1.5 Symmetries

Next, we consider the effect of collineations on configurations. Given a configuration in a projective space, a collineation of that space will map that configuration into some configuration. If it happens to be mapped into the same configuration, then we say that the collineation is a symmetryMathworldPlanetmathPlanetmathPlanetmath of the configuration in question.

To illustrate these ideas, let us consider a triangle in 2 consisting of the points (1,0,0), (0,1,0), (0,0,1) and the lines x=0, y=0, z=0. Firstly, consider the collineation

x x+y
y y
z z

Under this mapping, the lines and points of our configuration transform as follows:

(1,0,0)(1,0,0)x=0x+y=0(0,1,0)(-1,1,0)y=0y=0(0,0,1)(0,0,1)z=0z=0

Since the point (-1,1,0) does not belong to the original configuration, this transform is not a symmetry of our triangle.

Secondly, consider the transformationMathworldPlanetmathPlanetmath

x y
y z
z x

Under this mapping, the lines and points of our configuration transform as follows:

(1,0,0)(0,1,0)x=0y=0(0,1,0)(0,0,1)y=0z=0(0,0,1)(1,0,0)z=0z=0

Since the images of the points are points of the original configuration and the images of the lines also belong to the original configuration, this collineation is a symmetry of the configuration.

Thirdly, consider the collineation

x 2x
y y
z z

Under this mapping, the lines and points of our configuration transform as follows:

(1,0,0)(2,0,0)x=02x=0(0,1,0)(0,1,0)y=0y=0(0,0,1)(0,0,1)z=0z=0

Since the images of the points are points of the original configuration and the images of the lines also belong to the original configuration, this collineation is a symmetry of the configuration. (Remember that, since we are dealing with homogeneous coordinates on projective space, overall scalingsMathworldPlanetmath do not matter, so (1,0,0) and (2,0,0) label the same point, likewise x=0 and 2x=0 describe the same line.) Note that this symmetry differs from the one in the previous example because each point and line is individually left invariant as opposed to only having the set of all points and the set of all lines be left invariant.

We may also consider permuting the points and lines in abstract line configurations. Given an abstract line configuration P,L,I, we will define a symmetry of this configuration to be a pair of permutationsMathworldPlanetmath f:PP and g:LL such that, for all xP and all yL, we have I(f(x),g(y)) if and only if I(x,y).

We may relate these abstract and concrete symmetry groups as follows. Suppose that we have an abstract configuration C which is embedded in a projective space P as a configuration C. Let Ga be the group of symmetries of C. Let Ge be the group of collineations of P which preserves C and let Gf be the group of collineations which leaves the points and lines of C fixed individually. Then Gf is a normal subgroupMathworldPlanetmath of Ge and the quotient groupMathworldPlanetmath Ge/Gf is a subgroupMathworldPlanetmathPlanetmath of Ga.

To illustrate how this works, we will consider the symmetry groups associated to the example of the triangle studied above. We begin with Ge. Writing down the effect of a linear transform and asking that it preserve the configuration, we find that, in order for a transformation to preserve the configuration, it should have one of the following forms:

{xαxyβyzγz{xαyyβzzγx{xαzyβxzγy{xαxyβzzγx{xαzyβyzγx{xαyzβyzγz

Here, α,β,γ are arbitrary non-zero real numbers. If we instead ask that the points and lines of the triangle be fixed individually, only transforms of the form

{xαxyβyzγz

remain. These form the group Gf. Examining the abstract configuration of the triangle, we may verify that the following permutations are the ones which preserve incidence:

xABCf(x)ABCxabcg(x)abcxABCf(x)ACBxabcg(x)acbxABCf(x)BCAxabcg(x)bcaxABCf(x)CBAxabcg(x)cbaxABCf(x)CABxabcg(x)cabxABCf(x)BACxabcg(x)bac

The group presented above is isomorphicPlanetmathPlanetmathPlanetmathPlanetmath to S3. From what was described earlier, one may also check that Ge/Gf is also isomorphic to S3 so, in this case, Ge/Gf is isomorphic to the whole of Ga.

As another illustrative example of symmetry groups of configurations, we shall consider the configuration of type (4114) in 2 consisting of a line a with equation z=0 and four points A, B, C,D with coordinates (1,0,0), (1,1,0), (1,2,0), (1,3,0) respectively.

{xy},(0,5);(50,5)**@-;(25,7)*a,(10,5)*,(10,2)*A,(20,5)*,(20,2)*B,(30,5)*,(30,2)*C,(40,5)*,(40,2)*D

In order to preserve this configuration, a collineation must have one of the following forms:

{xαx+βzyαy+γzzδz{xαx+βzy3αx-αy+γzzδz{x3αx-2αy+βzy3αx-3αy+γzzδz{x3αx-2αy+βzy6αx-3αy+γzzδz

Here α, β, γ, δ are real numbers with neither α nor β equal to zero. These transforms form the group Ge. Of these, the transforms

{xαx+βzyαy+γzzδz

fix the points individually so form the normal subgroup Gf. As for symmetries of the abstract configuration, since there is only one line, g is trivial whilst f can be any permutation of 4 objects because the only relation to be preserved is that all 4 points line on the same line. Hence, Ga is isomorphic to S4. However, Ge/Gf is isomorphic to the Klein viergruppe, so here we have a case in which Ge/Gf is a proper subgroupMathworldPlanetmath of Ga.

1.6 Generalizations

In projective spaces of dimensionMathworldPlanetmath higher than two, we can consider configurations consisting not only of points and lines but also of higher-dimensional subspacesMathworldPlanetmathPlanetmath. For instance, in three or more dimensions, we can consider configurations consisting of points, lines, and planes. Specifically, such a configuration consists of a set of n00 points, n11 lines, and n22 planes such that each point lies on exactly n01 lines and n02 planes, each line contains n10 points and lies on n12 planes, and each plane contains exactly n20 points and n21 planes, where n00, n01, n10, n02, n11, n20, n12, n21, and n22 are positive integers. An example of such an object consists of the four points, six lines, and four planes which comprise the vertices, edges, and faces of a tetrahedronMathworldPlanetmathPlanetmath. Other than mentioning that there exists such a generalizationPlanetmathPlanetmath, we shall not pursue this topic further here, but shall confine our attention to configurations consisting only of points and lines in this article.

2 Determination

2.1 Introduction

Having described the general theory of line configurations, we now turn our attention to the determination of configurations. Following the methodology described above, we will proceed in two steps, first determining abstract configurations, then studying their embeddingsMathworldPlanetmathPlanetmath in projective spaces.

2.2 Restrictions on p, , π, λ

We will begin by deriving some conditions which limit the possible values of p, , π, λ which can occur for a line configuration. Already, we have noted one such restrictionPlanetmathPlanetmath above, namely pλ=π.

Because there must be at least as many points as there are points on any line, we must have pπ. Likewise, because there must be at least as many lines as pass through any point, we must also have λ.

Let P be any point of the configuration. Then there will be λ lines passing through P, each of which will pass through λ-1 points in addition to P. Since a line is determined by two points and all λ lines have P in common, no two of them will have any other point in common, hence there will be λ(π-1) distinct points located on these lines. Thus, we conclude that pλ(π-1). By interchanging “point” and “line” in the argument just given, we conclude that π(λ-1).

Suppose that π2. Since at most one line of the configuration can pass through two points but every line of the configuration must pass through at least two points of the configuration, there can be no more lines in the configuration than there are pairs of points, so (p2). Dually, we must have p(2).

As an illustration of these conditions, we will now ask what limitations they impose on the types of configurations which have 12 points. From the inequality pπ, we see that π is limited to the values 1,2,3,4,5,6,7,8,9,10,11,12.

If π=1, then we have =12λ, hence the possible types are (12λ12λ1). All the other inequalities are satisfied or irrelevant and, as we shall see, for every choice of λ, there is a configuration of this type.

Likewise, if λ=1, then we have π=12. Thus, we have the possibilities (121121), (12162), (12143), (12134), (12126), and (121112), all of which satisfy the remaining inequalities and which happen to occur as types of configurations.

We now focus our attention to the cases where π2 and λ2. Then we have the inequalities (p2)=66 and (2)p=12 to reckon with. These limit to the values 666. When λ2, the inequality pλ(π-1) implies that 7π, so it turns out that the possible values 8,9,10,11,12 mentioned above are ruled out. Summarrizing, in this case we have the following restrictions on the ranges of our constants:

6 66
2 λ
2 π7

To finish, we will consider the remaining possible values of π one at a time. When π=2, we have =6λ. Thus, the inequality π(λ-1) is automatically satisfied and the inequality pλ(π-1) reduces to λ12. We have the following possibilities:

(122122)(123182)(124242)(125302)(126362)(127422)(128482)(129542)(1210602)(1211662)

When π=3, we have =4λ. Again, the inequality π(λ-1) is automatically satisfied. The inequality pλ(π-1) reduces to 6λ, hence we have the following possibilities:

(12283)(123123)(124163)(125203)(126243)

When π=4, we have =3λ. Then, the inequality pλ(π-1) becomes 4λ and the inequality π(λ-1) also becomes 4λ, hence we have the following possibilities:

(12264)(12394)(124124)

When π=5, we have 12λ=5. Since 5 and 12 are coprime, this implies that λ=5n and =12n for some positive integer n. But then, the inequality pλ(π-1) would become 1220n, which is impossible because n>0, so we have no configurations with p=12 and π=5.

When π=6, we have =2λ. Then, the inequality pλ(π-1) becomes 125λ, so only λ=2 is possible. Thus, we must also have =4. However, the inequality π(λ-1) is not satisfied when =4, π=6, and λ=2, so we have no configurations with p=12 and π=6.

When π=7, we have 12λ=7. Since 7 and 12 are coprime, this implies that λ=7n and =12n for some positive integer n. But then, the inequality pλ(π-1) would become 1242n, which is impossible because n>0, so we have no configurations with p=12 and π=7.

2.3 The Cases λ=1 and π=1

Having deduced and illustrated limitations on the four constants p, , π, λ, we now turn our attention to the determining which sets of numbers describe actual configurations. We begin with the easy case where one or both of λ and π equals 1.

Before proceeding further, it is worth pointing out that we are only interested in classifying abstract configurations up to equivalence by permutation. That is to say, we will consider two abstract configurations P,L,I and P,L,I equivalentMathworldPlanetmathPlanetmathPlanetmathPlanetmathPlanetmath if there exist one-to-one correspondences f:PP and g:LL such that I(x,y) if and only if I(f(x),g(y)). The reason for doing this is that, since it is easy enough to permute elements in a given configuration, listing only one configuration out of an equivalence classMathworldPlanetmath cuts down on the number.

Suppose that we have an abstract configuration with π=1. Then, to every element of L we may associate exactly one element of P. Furthermore, we may define an equivalence relation on L by equating the lines which pass through the same point. Thus, our lines are partitioned into p partitionsMathworldPlanetmathPlanetmath of λ points each. Conversely, given two numbers λ and p and setting =pλ, we can make a configuration by taking a set L with elements and partitioning it into p subsets of λ elements each, then associating to each equivalence class an element of the set P.

3 Catalogue

[Under Construction]

Title projective line configurations
Canonical name ProjectiveLineConfigurations
Date of creation 2013-03-22 18:23:45
Last modified on 2013-03-22 18:23:45
Owner rspuzio (6075)
Last modified by rspuzio (6075)
Numerical id 55
Author rspuzio (6075)
Entry type Topic
Classification msc 14N20
Classification msc 14N10
Classification msc 05B99
Classification msc 52C30
Classification msc 51N15
Classification msc 51E20
Classification msc 51A45
Classification msc 51A05
Classification msc 51A20
Synonym projective configuration
Synonym line configuration