12
$\begingroup$

By a drawing of the Fano plane I mean a system of seven simple curves and seven points in the real plane such that

  • every point lies on exactly three curves, and every curve contains exactly three points;
  • there is a unique curve through every pair of points, and every two curves intersect in exactly one point;
  • the curves do not intersect except in the seven points under consideration.

The familiar picture

Traditional Fano plane (source)

does not count as a drawing, since the last requirement is not satisfied: there are two "illegal" intersections. In fact, this is easy to fix:

Non-intersecting Fano plane (source)

However, this drawing is degenerate in the sense that two of the curves just "touch" each other, without crossing, at some point. And here, eventually, my question goes:

Is every drawing of the Fano plane degenerate?

(Although I can give a topological definition of degeneracy, it is a little technical and, may be, not the smartest possible one, so I prefer to suppress it here.)

$\endgroup$
  • $\begingroup$ Is it obvious that you can't draw the Fano plane with lines in $\mathbb{R}^2$? $\endgroup$ – Dustin G. Mixon May 15 '13 at 1:32
  • 7
    $\begingroup$ Yes, a line drawing is impossible, over ${\bf R}$ or any field $k$ not of characteristic $2$. Let $A,B,C,O$ be non-collinear points of the Fano plane, and $A',B',C'$ the intersections of $AO,BO,CO$ with $BC,CA,AB$ respectively. By Ceva's theorem (actually proved by Al-Mutaman centuries earlier, and extended algebraically to the case where $O$ is outside the triangle, and indeed to arbitrary $k$), points $A',B',C'$ divide segments $BC,CA,AB$ in signed ratios whose product is $1$. But by Menealus' theorem, $A',B',C'$ are collinear iff that product is $-1$. Since $1 \neq -1$ we're done. $\endgroup$ – Noam D. Elkies May 15 '13 at 2:59
  • $\begingroup$ ...and conversely, if $k$ does have characteristic $2$ then $A',B',C'$ are always collinear... $\endgroup$ – Noam D. Elkies May 15 '13 at 3:00
  • $\begingroup$ @Noam: I see, the basic idea is that (1) any line not passing thorough a vertex of a triangle intersects an even number of its edges, while (2) for any triangle $ABC$, and any point $O$ not on its boundary, the three lines $OA$, $OB$, and $OC$ intersect an odd number of the edges. $\endgroup$ – Seva May 16 '13 at 8:57
  • $\begingroup$ Actually I'm not using anything lke that (certainly not for an arbitrary field). Another way to say this is to choose projective coordinates so $A$, $B$, and $C$ are at the unit vectors $(1:0:0)$, $(0:1:0)$, and $(0:0:1)$, and then scale those coordinates so that $O$, which must have all three coordinates nonzero (else it's on one of the lines $AB$, $AC$, $BC$) is on $(1:1:1)$; then $OA$ is the line $y=z$, so $A'=OA \cap BC$ is $(0:1:1)$, and likewise $B = (1:0:1)$ and $C = (0:1:1)$. Now calculate that the determinant of $A,B,C$ is $2$, so $ABC$ are collinear iff we're in characteristic 2. $\endgroup$ – Noam D. Elkies May 17 '13 at 16:16
24
$\begingroup$

Does this one work?

 (source)

$\endgroup$
  • $\begingroup$ Seems it does - very nice! $\endgroup$ – Seva May 15 '13 at 6:06
1
$\begingroup$

I always remember this diagram that seems impossible to find online. I have no source for it (except that I remember that it is/was engraved in the sidewalk near the Weber Building on the Colorado State University campus in Fort Collins, CO).

enter image description here

Does this one count as nondegenerate or is it still bad because of the outer circle only touching the red, blue and magenta curves?

$\endgroup$
  • 2
    $\begingroup$ Pretty but degenerate. $\endgroup$ – Ben McKay Jun 14 '18 at 9:13
  • $\begingroup$ Thanks! That's what I thought because of the curves touching, but I wasn't sure if closing the loop made it okay. $\endgroup$ – Tom Jun 15 '18 at 16:31

Your Answer

By clicking "Post Your Answer", you acknowledge that you have read our updated terms of service, privacy policy and cookie policy, and that your continued use of the website is subject to these policies.

Not the answer you're looking for? Browse other questions tagged or ask your own question.