Consider a 3-dimensional projective space $X$. 


Let $m$ be the smallest number so that there are $m$ pairs of lines 
 $ \ell\_1,\ell'\_1$, $ \ell\_2,\ell\_2'$, ... , $\ell\_m, \ell'\_m$ in $X$:


a) For every $ i=1,2,\dots,m$, $\ell\_i \cap \ell'\_i = \emptyset$.


b) For every $i,j \le m$, $i \ne j$, $\ell\_i \cap \ell'\_j \ne \emptyset$.


(If there is no upper bound on $m$ we let $m=\infty$.)


Questions:
==========



> 
> **a)** Is it always the case that $m=6$?
> 
> 
> **b)** Is it (at least) true that either $m=6$ or $m=\infty$?
> 
> 
> **c)** What is the answer for the projective space over the Quaternions?
> 
> 
> 


Background:
===========


1) Since $X$ has dimension greater than 2 it must be Desarguian and therefore there is a division ring $D$ the points and lines in $X$ corresponds to the 1-dimensional and 2-dimensional subspaces over $D^4$. 


2) We can always construct 6 pairs by considering a standard basis for $D^4$, the six 2-dimensional spaces $V\_1,\dots V\_6$ spanned by pairs of basis elements and letting $U\_i$ correspond to the complement pair of basis elements to the pair used for $V\_i$. Therefore, $m \ge 6$. 


3) If $X$ is Papussian, namely if $D$ is a field $F$, then there is an argument based on the exterior algebra that $m \le 6$. The intersection property implies that the vectors in $\bigwedge^2(F^4)$ which correspond to the 2-dimensional vectors represented by the $m$ lines are linearly independent. This is a special case of a theorem by Lovasz. For more details see [this blog post](http://gilkalai.wordpress.com/2008/12/25/lovaszs-two-families-theorem/). 


A question of independent interest that might be related is:



> 
> **Question** **d)** Is there some analog of the exterior algebra over division rings?
> 
> 
> 


4) Benjy Weiss brought to my attention a paper by S.A. Amitsur [Rational identities and applications to algebra and geometry](http://www.sciencedirect.com/science/article/pii/0021869366900044). In the paper it is shown that, for Desarguian geometries, intersection theorems are equivalent to rational identities in the coordinate ring and that any nontrivial intersection theorem, together with the order axioms, implies Pappus' theorem. This may be relevant for showing that always, or at least in some cases, if you cannot find $m$ pairs with $m>6$ then $ m=\infty$. However I cannot tell if Amitsur's theorem covers the case at hand. 



A question about pairs of lines in 3D projective space
For a general division algebra, there is no upper bound.


I'll write vectors in $D^4$ as row vectors, with scalar multiplication acting on the left. I'll write $2$-planes in $D^4$ as row spans of $2 \times 4$ matrices.


**Lemma** The $2$-planes
$$\begin{pmatrix} 1 & a & 0 & 0 \\ 0 & 0 & 1 & a \end{pmatrix} \ \mbox{and} \ 
\begin{pmatrix} 1 & 0 & b & 0 \\ 0 & 1 & 0 & b \end{pmatrix}$$
have nontrivial intersection if and only if $a$ and $b$ commute.


**Proof** Clearly, if $ab=ba$, then $(1,a,b,ab)$ is in the row span of both matrices. 


Let $p(1,a,0,0) + q (0,0,1,a) = r(1,0,b,0) + s(0,1,0,b)$. Looking at the first three coordinates, $p=r$, $s=pa$ and $q=rb$. Then the equality of the fourth coordinates gives $pba = pab$. If there is a solution with $p \neq 0$, then $ab=ba$. $\square$


So we are done if we can find a division algebra $D$ with elements $(a\_1, \ldots, a\_N)$ and $(b\_1, \ldots, b\_N)$ so that $a\_i$ and $b\_j$ commute for $i \neq j$, but not for $i = j$. 


**Lemma** For any positive integer $N$, there are noncommutative $\mathbb{Q}$-central division algebras $D\_1$, $D\_2$, ..., $D\_N$ such that $D\_1 \otimes D\_2 \otimes \cdots \otimes D\_N$ is a division algebra, where the tensor products are over $\mathbb{Q}$.


Given this lemma, we take $D = D\_1 \otimes D\_2 \otimes \cdots \otimes D\_N$ and take $a\_i$ and $b\_i$ to be noncommuting element in $D\_i$.


**Proof of lemma** 


We use the description of the Brauer group of $\mathbb{Q}$: There is a short exact sequence
$$0 \to Br(\mathbb{Q}) \to \bigoplus\_p \mathbb{Q}/\mathbb{Z} \oplus \mathbb{Z}/2 \to \mathbb{Q}/\mathbb{Z} \to 0$$
where the big direct sum runs over all primes. Choose $2N$ distinct primes $p\_1$, $q\_1$,..., $p\_N$, $q\_N$ and $N$ pairwise relatively prime positive integers $c\_1$, $c\_2$, ..., $c\_N$. Let $D\_i$ be the division algebra corresponding to $(0,0,\ldots, 0, 1/c\_i, -1/c\_i, 0, 0, \ldots)$, where the two nonzero entries are in positions $p\_i$ and $q\_i$. 


According to the answers to [this question](https://mathoverflow.net/questions/28237/dimension-of-central-simple-algebra-over-a-global-field-built-using-class-field): $D\_i$ is a $\mathbb{Q}$-central division algebra of dimension $c\_i^2$ and $D:=D\_1 \otimes \cdots D\_n$ is isomorphic to $M\_r(\Delta)$ where $\Delta$ is $\mathbb{Q}$-central division algebra of dimension $LCM(c\_1, \ldots, c\_N)^2$. Since the $c\_i$ are pairwise relatively prime, $LCM(c\_1, \ldots, c\_N)^2 = (c\_1 \ldots, c\_n)^2 = \prod \dim D\_i = \dim D$, so $r=1$ and $D$ is a division algebra. $\square$




---


I can show that this is close to optimal in the following sense, although the notion of "close" is not good enough to resolve the quaternion case. 


* I have a case by case bash to show that, if there are $7$ pairs of lines as stated, then all the $\ell\_i$ are pairwise skew, as are all the $\ell'\_i$.
* If $(\ell\_1, \ell\_2, \ell\_3)$ and $(\ell'\_4, \ell'\_5, \ell'\_6)$ are pairwise skew and meet in the required manner, then I can show that we may apply a $GL\_4(D)$ symmetry to assume that 
$$\ell\_1 = \begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 0 & 1 & 0 \end{pmatrix} \ \ell\_2 = \begin{pmatrix} 1 & 1 & 0 & 0 \\ 0 & 0 & 1 & 1 \end{pmatrix} \ \ell\_3 = \begin{pmatrix} 0 & 1 & 0 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}$$
$$\ell'\_4=\begin{pmatrix} 1 & 0 & 0 & 0 \\ 0 & 1 & 0 & 0 \end{pmatrix} \ \ell'\_5=\begin{pmatrix} 1 & 0 & 1 & 0 \\ 0 & 1 & 0 & 1 \end{pmatrix} \ \ell'\_6=\begin{pmatrix} 0 & 0 & 1 & 0 \\ 0 & 0 & 0 & 1 \end{pmatrix}$$


Then, for $i \geq 7$, we get that $\ell\_i$ and $\ell'\_i$ are of the forms 
$$\begin{pmatrix} 1 & a & 0 & 0 \\ 0 & 0 & 1 & a \end{pmatrix} \ \mbox{and} \ 
\begin{pmatrix} 1 & 0 & b & 0 \\ 0 & 1 & 0 & b \end{pmatrix}$$
respectively. 


So, if $m$ pairs of lines are achievable, we can find $m-6$ non-commuting pairs as above. In particular, this gives the bound $m \leq 8$ for the quaternions. However, I haven't been able to figure out whether $m=7$ or $8$ is actually achievable for the quaternions. 


