Summary: FOUR LINES IN SPACE
Abstract.We introduce an invariant of sets of four lines in three-dimensional pro-
jective space which classifies these sets up to linear equivalence, and we relate this
invariant to the representation theory of the infinite dihedral group.
Mathematics Subject Classification (2000): 51Axx, 16G20, 20C20, 15A21.
Key words: four subspace problem, pairs of involutions, representations, invariants.
The modern development of computer vision has produced an increased interest in
some problems in classic geometry related to joint invariants (see, for instance, 
and ). For example, the invariants of n points in space are the volume cross-
ratio, as noted in the classic book by Veblen and Young (, section 27; see  for
a modern point of view): to determine if two sets of n points are equivalent under
a linear transformation we just need to compute their volume cross-ratios and see
if they agree for the two sets of points. Here we address a similar problem, namely
to obtain the invariants of four lines in space. Given four lines in space we define a
cross-ratio-like invariant --which can be easily computed-- such that two sets of
four lines are equivalent under a linear transformation if and only if the invariant
has the same value for the two sets of lines. After some preliminaries to fix the
notation, the invariant is defined in section 3 (see definition 2). The work in this