Partial geometry
An incidence structure
C
=
(
P
,
L
,
I
)
{\displaystyle C=(P,L,I)}
consists of a set
P
{\displaystyle P}
of points, a set
L
{\displaystyle L}
of lines, and an incidence relation, or set of flags,
I
⊆ ⊆ -->
P
× × -->
L
{\displaystyle I\subseteq P\times L}
; a point
p
{\displaystyle p}
is said to be incident with a line
l
{\displaystyle l}
if
(
p
,
l
)
∈ ∈ -->
I
{\displaystyle (p,l)\in I}
. It is a (finite ) partial geometry if there are integers
s
,
t
,
α α -->
≥ ≥ -->
1
{\displaystyle s,t,\alpha \geq 1}
such that:
For any pair of distinct points
p
{\displaystyle p}
and
q
{\displaystyle q}
, there is at most one line incident with both of them.
Each line is incident with
s
+
1
{\displaystyle s+1}
points.
Each point is incident with
t
+
1
{\displaystyle t+1}
lines.
If a point
p
{\displaystyle p}
and a line
l
{\displaystyle l}
are not incident, there are exactly
α α -->
{\displaystyle \alpha }
pairs
(
q
,
m
)
∈ ∈ -->
I
{\displaystyle (q,m)\in I}
, such that
p
{\displaystyle p}
is incident with
m
{\displaystyle m}
and
q
{\displaystyle q}
is incident with
l
{\displaystyle l}
.
A partial geometry with these parameters is denoted by
p
g
(
s
,
t
,
α α -->
)
{\displaystyle \mathrm {pg} (s,t,\alpha )}
.
Properties
The number of points is given by
(
s
+
1
)
(
s
t
+
α α -->
)
α α -->
{\displaystyle {\frac {(s+1)(st+\alpha )}{\alpha }}}
and the number of lines by
(
t
+
1
)
(
s
t
+
α α -->
)
α α -->
{\displaystyle {\frac {(t+1)(st+\alpha )}{\alpha }}}
.
The point graph (also known as the collinearity graph ) of a
p
g
(
s
,
t
,
α α -->
)
{\displaystyle \mathrm {pg} (s,t,\alpha )}
is a strongly regular graph :
s
r
g
(
(
s
+
1
)
(
s
t
+
α α -->
)
α α -->
,
s
(
t
+
1
)
,
s
− − -->
1
+
t
(
α α -->
− − -->
1
)
,
α α -->
(
t
+
1
)
)
{\displaystyle \mathrm {srg} {\Big (}(s+1){\frac {(st+\alpha )}{\alpha }},s(t+1),s-1+t(\alpha -1),\alpha (t+1){\Big )}}
.
Partial geometries are dualizable structures: the dual of a
p
g
(
s
,
t
,
α α -->
)
{\displaystyle \mathrm {pg} (s,t,\alpha )}
is simply a
p
g
(
t
,
s
,
α α -->
)
{\displaystyle \mathrm {pg} (t,s,\alpha )}
.
Special cases
The generalized quadrangles are exactly those partial geometries
p
g
(
s
,
t
,
α α -->
)
{\displaystyle \mathrm {pg} (s,t,\alpha )}
with
α α -->
=
1
{\displaystyle \alpha =1}
.
The Steiner systems
S
(
2
,
s
+
1
,
t
s
+
1
)
{\displaystyle S(2,s+1,ts+1)}
are precisely those partial geometries
p
g
(
s
,
t
,
α α -->
)
{\displaystyle \mathrm {pg} (s,t,\alpha )}
with
α α -->
=
s
+
1
{\displaystyle \alpha =s+1}
.
Generalisations
A partial linear space
S
=
(
P
,
L
,
I
)
{\displaystyle S=(P,L,I)}
of order
s
,
t
{\displaystyle s,t}
is called a semipartial geometry if there are integers
α α -->
≥ ≥ -->
1
,
μ μ -->
{\displaystyle \alpha \geq 1,\mu }
such that:
If a point
p
{\displaystyle p}
and a line
l
{\displaystyle l}
are not incident, there are either
0
{\displaystyle 0}
or exactly
α α -->
{\displaystyle \alpha }
pairs
(
q
,
m
)
∈ ∈ -->
I
{\displaystyle (q,m)\in I}
, such that
p
{\displaystyle p}
is incident with
m
{\displaystyle m}
and
q
{\displaystyle q}
is incident with
l
{\displaystyle l}
.
Every pair of non-collinear points have exactly
μ μ -->
{\displaystyle \mu }
common neighbours.
A semipartial geometry is a partial geometry if and only if
μ μ -->
=
α α -->
(
t
+
1
)
{\displaystyle \mu =\alpha (t+1)}
.
It can be easily shown that the collinearity graph of such a geometry is strongly regular with parameters
(
1
+
s
(
t
+
1
)
+
s
(
t
+
1
)
t
(
s
− − -->
α α -->
+
1
)
/
μ μ -->
,
s
(
t
+
1
)
,
s
− − -->
1
+
t
(
α α -->
− − -->
1
)
,
μ μ -->
)
{\displaystyle (1+s(t+1)+s(t+1)t(s-\alpha +1)/\mu ,s(t+1),s-1+t(\alpha -1),\mu )}
.
A nice example of such a geometry is obtained by taking the affine points of
P
G
(
3
,
q
2
)
{\displaystyle \mathrm {PG} (3,q^{2})}
and only those lines that intersect the plane at infinity in a point of a fixed Baer subplane; it has parameters
(
s
,
t
,
α α -->
,
μ μ -->
)
=
(
q
2
− − -->
1
,
q
2
+
q
,
q
,
q
(
q
+
1
)
)
{\displaystyle (s,t,\alpha ,\mu )=(q^{2}-1,q^{2}+q,q,q(q+1))}
.
See also
References
Brouwer, A.E.; van Lint, J.H. (1984), "Strongly regular graphs and partial geometries", in Jackson, D.M.; Vanstone, S.A. (eds.), Enumeration and Design , Toronto: Academic Press, pp. 85– 122
Bose, R. C. (1963), "Strongly regular graphs, partial geometries and partially balanced designs" (PDF) , Pacific J. Math. , 13 : 389– 419, doi :10.2140/pjm.1963.13.389
De Clerck, F.; Van Maldeghem, H. (1995), "Some classes of rank 2 geometries", Handbook of Incidence Geometry , Amsterdam: North-Holland, pp. 433– 475
Thas, J.A. (2007), "Partial Geometries", in Colbourn, Charles J.; Dinitz, Jeffrey H. (eds.), Handbook of Combinatorial Designs (2nd ed.), Boca Raton: Chapman & Hall/ CRC, pp. 557–561 , ISBN 1-58488-506-8
Debroey, I.; Thas, J. A. (1978), "On semipartial geometries", Journal of Combinatorial Theory, Series A , 25 : 242– 250, doi :10.1016/0097-3165(78)90016-x