A Rabbit Hole between Topology and Geometry

Topology and geometry should be very closely related mathematical subjects dealing with space. However, they deal with different aspects, the first with properties preserved under deformations, and the second with more linear or rigid aspects, properties invariant under translations, rotations, or projections.The present paper shows away to go between them in an unexpected way that uses graphs on orientable surfaces, which already have widespread applications. In this way infinitely many geometrical properties are found, starting with the most basic such as the bundle and Pappus theorems. An interesting philosophical consequence is that the most general geometry over noncommutative skewfields such as Hamilton’s quaternions corresponds to planar graphs, while graphs on surfaces of higher genus are related to geometry over commutative fields such as the real or complex numbers.


Introduction
The British/Canadian mathematician H.S.M. Coxeter (1907Coxeter ( -2003) ) was one of most influential geometers of the 20th century.He learnt philosophy of mathematics from L. Wittgenstein at Cambridge, inspired M.C.Escher with his drawings, and influenced the architect R. Buckminster Fuller.See [1].When one looks at the cover of his book "Introduction to Geometry" [2], there is the depiction of the complete graph  5 on five vertices.It might surprise some people that such a discrete object as a graph could be deemed important in geometry.However, Desargues 10-point 10-line theorem in the projective plane is in fact equivalent to the graph  5 : in mathematical terms the cycle matroid of  5 is the Desargues configuration in three-dimensional space, and a projection from a general point gives the configurational theorem in the plane.Desargues theorem has long been recognised (by Hilbert, Coxeter, Russell, and so on) as one of the foundational theorems in projective geometry.However, there is an unexplained gap left in their philosophies: why does the graph give a theorem in space?Certainly, the matroids of almost all graphs are not theorems.The only other example known to the author of a geometrical theorem coming directly from a graphic matroid is the complete bipartite graph  3,3 , which gives the 9-point 9-plane theorem in three-dimensional space; see [3].It is interesting that both  5 and  3,3 are minimal nonplanar (toroidal) graphs and both lead to configurational theorems in the same manner.
In this paper, we explain how virtually all basic linear properties of projective space can be derived from graphs and topology.We show that any map (induced by a graph of vertices and edges) on an orientable surface of genus , having V vertices,  edges, and  faces, where V −  +  = 2 − 2, is equivalent to a linear property of projective space of dimension V − 1, coordinatized by a general commutative field.This property is characterized by a configuration having V+ points and  hyperplanes.This leads to the philosophical deduction that topology and geometry are closely related, via graph theory.If  = 0 (and the graph is planar), the linear property is also valid for the most general projective spaces, which are over skewfields that in general have noncommutative multiplication.This is a powerful connection between the topology of orientable surfaces and discrete configurational properties of the most general projective spaces.
There are various "fundamental" theorems that provide pathways between different areas of mathematics.For example, the fundamental theorem of projective geometry (FTPG) describes the group of automorphisms of projective geometries over fields or skewfields (all those of dimensions greater than two) as a group of nonsingular semilinear transformations.This most importantly allows the choice of coordinate systems in well-defined ways.Hence, the FTPG is a pathway between projective geometry and algebra, matrix, and group theory.
Another example is the fundamental theorem of algebra.This provides another pathway between polynomials of degree  over the real number field and multisets of  roots, which are complex numbers.It explains why the complex numbers are important for an understanding of the real numbers.
In a similar vein we show here how our "rabbit hole" between topology and geometry can be used to obtain the basic properties of the most general projective geometry directly from topological considerations.
Here is an outline of the approach.
(1) Consider the properties of fundamental configurations in (V − 1)-dimensional projective geometry, which are collections of points and hyperplanes with incidences between them.The most important have V points on each hyperplane, and these points form a minimal dependent set (a "circuit" in matroid theory).
(2) In most of these configurations, the algebraic property that corresponds to a configurational theorem is that a set of  subdeterminants of size two in a general V ×  matrix over a field has a linear dependency; that is, the vanishing of any  − 1 subdeterminants implies the vanishing of the remaining subdeterminant.
(3) The condition for such a set of subdeterminants is topological: the dependency amongst the subdeterminants happens if and only if there exists a graph having V vertices and  edges embedded on an orientable surface of genus  and inducing  faces (certain circuits of the graph that can be contracted to a point on the surface).
(4) A bonus is that when the surface has genus zero (i.e., the graph is planar), the commutative field restriction for the algebraic coordinates of the space can be relaxed to noncommutative skewfields including the quaternions.This requires a different interpretation for a 2 × 2 determinant and another proof depending upon topological methods.
(5) Since the latter method of planar graphs produces the main axiom for projective geometry (the bundle theorem or its dual Pasch axiom; see [4, page 24]) and the former one for standard determinants over commutative fields produces the Pappus theorem, we see that all bases are covered, and a topological explanation for standard projective geometry, that is, embeddable into space of dimension greater than two, is obtained.
In the case of 2-dimensional geometries (planes) there exist non-Desarguesian projective planes so these geometries do not appear to be produced topologically; see [5, page 120] and [6, Section 23].

Definitions and Concepts
Let us summarize the topological and geometrical concepts that are used in this paper.A graph is a collection of vertices with a certain specified multiset of edges, each of which is a multiset containing two vertices.If a vertex is repeated, then the edge is a loop.The graph is simple if it contains no loop and no multiple edges, edges that are repeated.An orientable surface is a surface in real threedimensional space that can be constructed from the sphere by appending  handles; see [2,Section 21.1].This surface has  holes, and we say that it has genus .One classical use for such a surface is to parametrize the points on an algebraic curve in the complex plane, but we have another application in mind.
The classical example of a proper skewfield is the quaternion system of Hamilton (four-dimensional over the reals).If the multiplicative group  * is abelian (i.e., commutative),  is called a field.Thus a field is a special case of skewfield.Classical examples of a field are the rational numbers, the real numbers, and the complex numbers.It is known (by Wedderburn's theorem and elementary field theory) that the only finite skewfields are the Galois fields GF(), where  is a power of a prime.
A projective geometry of dimension  over a skewfield is the set of subspaces of a (left or right) vector space of rank  + 1 over the skewfield.Points are subspaces of projective dimension zero, while hyperplanes are subspaces of projective dimension  − 1.It is well-known (or by the FTPG) that every projective space of dimension at least three has a coordinatization involving a skewfield and comes from the relevant vector space.There are some incidence properties for geometries over fields that are not valid for those over the more general skewfields.For example, the bundle theorem is valid for skewfields (and fields), but Pappus 9 3 theorem only holds for geometries over fields.
It is known that certain of the configurational theorems are in some sense "equivalent" in that assuming any one of them implies the remaining ones.These include the theorems of Pappus, Möbius, and Gallucci.These latter theorems are all explained by the present topological theory.Desargues theorem and the bundle theorem (or its dual, the configuration of Pasch) are also in some sense equivalent in the case of the more general geometries over skewfields; see [6].We show that the bundle theorem comes from the topology of planar graphs.
An abstract configuration is a set of points and a distinguished collection of subsets, called blocks.An embedding of such a configuration is a way of putting the points into a projective space so that each of the blocks generates a hyperplane and not the whole space.The point-set as a whole should generate the whole projective space.There are several ways of thinking about embeddings (e.g., often they may have more incidences than specified by the abstract configuration), and we refer the reader to [7] for a discussion.However, extra incidences do not bother us here.
Our configurations have blocks with all the same size .We say that such a configuration is a configurational theorem if for each embedding of the configuration into space of dimension  − 1, the property that all but one of the blocks lie in hyperplanes implies the same is true for the remaining block.This might hold only for spaces over fields but not general skewfields, as with Pappus theorem.

Main Results
We present two main results.Theorem 1 relates graphs or maps on orientable surfaces of any genus to configurational theorems in general projective space over any commutative field (such as the rational numbers, real numbers, complex numbers, or finite fields).This uses 2 × 2 determinants with the standard definition.However, for general skewfields this definition of determinant does not work, and so we use Lemma 2 to find an alternate way and find that there is a restriction to surfaces of genus zero.Thus, Theorem 4 investigates the graphs or maps on a surface of genus zero and relates them to configurational theorems over skewfields.
Theorem 1.Any graph  embedded on an orientable surface of genus  ≥ 0, having V vertices,  edges, and  faces, where by Euler's formula V −  +  = 2 − 2, is equivalent to a certain configurational theorem (explained in the proof) in projective space (V − 1, ), where  is any commutative field.
Proof.Let us label the vertices of  with the letters , , , . . . in a set  of cardinality V and label the faces (which are certain circuits on the surface) with the natural numbers 1, 2, 3, . . ., .Then, each of the  edges of the graph joins precisely two vertices, for example,  and , and it forms part of the boundaries of precisely two faces, for example, 1 and 2. (For simplicity we are assuming that there are no loops in both the graph and its dual, but these can easily be accounted for in a more expansive theory.)Note that the dual graph   is the graph embeddable on the same surface where we switch the roles of vertex and face, joining two faces if they have a common edge.This dual graph depends strongly upon the embedding, so that a graph may have different dual graphs on other surfaces: see [8] for recent research on this topic.
We define an abstract configuration  having V + points and  blocks, which are subsets of V points as follows.The points are identified with  ∪ {1, . . ., }, that is, the union of the set of points and the set of faces of .Additionally, for each edge  bounded by the two faces 1 and 2, there is the corresponding set of V points which is 12 :=  \ {, } ∪ {1, 2}; that is, we replace  and  in  by 1 and 2, and we call this a block of .
Consider any V ×  matrix  over a field  (where the multiplication is commutative, i.e.  =  for all ,  ∈ ), with rows in correspondence with the vertices of  (, , . ..) and the columns in correspondence with the faces of  (1, 2, . . ., ).We assume that a typical matrix element corresponding to vertex  and face  has   =   .Thus, the subscripts are treated like unordered sets {, }.For any "graph fragment" corresponding to an edge  of , see Figure 1, there is a 2 × 2 submatrix of  in the rows  and  and in the columns 1 and 2. The "angles" 1, 1, 2, and 2 correspond to the four positions in the submatrix, while the determinant of this submatrix is  1 ⋅ 2 − 2 ⋅ 1 .In a general embedding of  into PG(V−1, ), we may assume that the points from  form a basis and so are coordinatized by the unit vectors.If the remaining points of  had no constraints upon them except for being embedded in PG(V − 1, ), they would be coordinatized by completely general (nonzero) vectors of length V and realized by the  columns of the matrix .Then the vanishing of the subdeterminant corresponding to the edge  is found to be equivalent to the fact that the V points 12, as defined above, lie in a hyperplane.
Since the surface of  is orientable, we may orient it so that at each vertex there is an anticlockwise direction.The equivalence between cyclic graphs, graphs in which there is a cyclic order at each vertex, and embeddings of graphs on such surfaces has been discussed by many people, starting apparently with Heffter [9] and later clarified by Edmonds [10].They have been given many names, such as graphs with rotation systems, ribbon graphs, combinatorial premaps, and fatgraphs: see [11][12][13].Consider Figure 1 again.Small anticlockwise-oriented circles around  and  induce a larger clockwise-oriented circle going from  → 2 →  → 1 → .Thus, given any edge of  containing a vertex  and being the boundary of a face , this orients the angle from vertex  to face  or from  to .Denote these possibilities by  or , respectively.However, such an angle occurs with precisely two edges, and one edge gives  and the other .
The 2×2 subdeterminant, with rows  and  and columns 1 and 2, may be written  1 ⋅  2 −  2 ⋅  1 , according to the clockwise orientation.(We purposely forget for a while that   =   .)Now the vanishing of this determinant is equivalent to  1 ⋅ 2 =  2 ⋅ 1 (we could call the two sides of this equation the "diagonals" of the determinant), and if all the determinants corresponding to the edges of  vanish, we can take the product over all  edges on both sides to obtain Π ∈  1 ⋅ 2 = Π ∈  2 ⋅ 1 := .This is clearly a trivial identity since any angle, for example, , occurs once on the left and once (as ) on the right.Now we can assume that the "angle variables"   are all nonzero, as otherwise there will be an unwanted hyperplane in  which would not be in the most general position.Then the vanishing of any  − 1 of the subdeterminants implies the vanishing of the remaining one, since we can divide  by  − 1 "diagonals"  1 ⋅  2 on the left and by the corresponding  − 1 "diagonals"  2 ⋅  1 on the right, and we obtain the vanishing of the last determinant.This shows the theorem in the general case where  is a field with commutative multiplication.
The converse construction holds: a configurational theorem in space that relies on 2 × 2 matrices as above must come from a graph on an orientable surface.The problem is to determine the cyclic graph  from the set of  2 × 2 subdeterminants of a matrix having the property that the vanishing of any  − 1 of them implies that the remaining subdeterminant vanishes.Around the edges of each vertex of  there should be an anticlockwise cyclic orientation or "cyclic order." If we start with a vertex  and an edge {, } containing it, proceed to the next edge {, } in the cyclic order, and using the cyclic order at , find the next edge {, }, and so on, we should follow around all the edges of a face of the embedding in a clockwise way and return to the first vertex  and edge {, }.We will show how this is achieved.Now, as before, we can assume that the entries, where the subdeterminants occur, are all nonzero.If the subdeterminants have the assumed property, they can be ordered so that one "diagonal" of each is selected, and the product of all these selected diagonals is the same as the product of the nonselected ones (as in the first part of the proof above).As before we may write the selected diagonals in the form  1 ⋅  2 and the nonselected ones in the form  2 ⋅  1 .To find the graph we must associate the rows of the matrix  with the vertices, the columns with faces, and the subdeterminants with the edges.Consider a particular vertex  of  (a row of ).We obtain a cyclic (anticlockwise) chain of  subdeterminants using that row (equivalently, edges of  containing ) as follows: . .,  :=   ⋅  1 −  1 ⋅   .Now we can check that the faces of  also arise from this construction.Starting with the vertex  and edge containing it  =  1 ⋅ 2 − 2 ⋅ 1 , the next edge determinant in 's anticlockwise order from  is  :=  2 ⋅  3 −  3 ⋅  2 which contains the vertexrow .The cyclic ordering at  makes  2 ⋅   −   ⋅  2 the next edge (for some vertex-row  and column-face ).Following this sequence of subdeterminants (edges) around we see that the edges surround the column-face 2, and we can say that the cyclic ordering induced on the edges of the face in this way is clockwise.So it works out similarly given any vertex and edge containing that vertex.However, one might see a minor problem with this argument.In a standard (cyclic) graph  there should be one cycle (of edges) at each vertex: if there are   cycles determined by a row  of , we "split" that row into   distinct rows, one for each disjoint cycle of subdeterminants with .Similarly we look at each column , and there will be   disjoint cycles on the rows induced by the subdeterminants with that column.Splitting that column into   distinct columns will enable us to look at a larger matrix with the same number of subdeterminants, but with each row and column corresponding to a unique cycle.Subdeterminants in different cycles will not have rows or columns in common.Then the graph on the orientable surface has Σ    vertices and Σ    faces.The other way around, given a set of 2 × 2 determinants with our special property, if we collapse the matrix by identifying certain rows or columns, then the property is retained, as long as we do not identify two rows or columns belonging to the same subdeterminant.By this process cycles of subdeterminants can be created with the same row or column.Geometrically, it is the same as creating a new geometrical theorem by identifying points or hyperplanes.However, these examples can then be expanded out again by splitting the rows or columns into bigger collections of rows or columns as above, and the pattern of subdeterminants in the largest matrix is canonical up to permutations of rows and columns.So we see how to get around this minor problem in the proof.
What kind of configurational theorems  corresponds to graphs on orientable surfaces?One obvious condition is that the configuration must have V + points in PG(V−1, ).There are  hyperplanes or blocks in , each containing V points.More importantly, there should be a subset  of V points in  such that each hyperplane of  contains precisely V − 2 points of  and two others.Now we explain the noncommutative case which is related to planar graphs.Lemma 2. Let  be a skewfield with perhaps noncommutative multiplication.The condition that a set of V points of (V − 1, ), consisting of , , and the unit vectors  3 , . . .,  V , is contained in a hyperplane is a "cyclic identity"  −1  −1  = 1, where (     ) is a certain 2 × 2 matrix over .(Here we are assuming a "generic" case where all the , , ,  are nonzero.)Proof.A point of PG(V − 1, ) is a nonzero column vector with V coefficients from  that are not all zero.Two of these column vectors y and z give the same point if one can find a nonzero element  ∈  such that y = z.The hyperplanes of PG(V − 1, ) can be coordinatized by row vectors of length V over , in a similar way to the points.Then a point y is contained in a hyperplane h if and only if hy = 0, (h is a row and y is a column vector).Notice that here we are multiplying points on the left (and hyperplanes on the right).Thus we must restrict ourselves to operations on the points of PG(V − 1, ) that act on the left.A square V × V matrix is "singular" (and its column points are in a hyperplane) if and only if it cannot be row-reduced (by multiplying on the left by a square matrix) to the identity matrix, or equivalently, it can be row reduced so that a zero row appears.In our situation we have a V × V matrix that consists of V − 2 different unit vectors and a 2 × 2 two submatrix  = (     ) (with , , ,  all nonzero) in the remaining part row disjoint from the ones of the unit vectors.We can then restrict our row reductions to the two rows of , and we see that the whole matrix is singular if and only if  is singular.It is still not possible to use the ordinary determinant to work out if  is singular.But assuming that both  and  are nonzero we may multiply the first row by  −1 and the second by  −1 .This leaves us with the matrix and the condition for singularity of this matrix is clearly  −1  =  −1 , as then we can further row-reduce to obtain a zero row.This gives the "cyclic condition" Note that  −1  =  −1  does not imply that  −1  −1 = 1: equivalently, transposing a general 2 × 2 matrix over a skewfield does not always preserve its singularity.There is quite a lot of theory about determinants for skewfields, see for example, [14,15], but we can have a more elementary approach here since we only deal with 2 × 2 subdeterminants.This leads us to consider a special type of planar graph that has cyclic identities at each vertex.It is well known that any planar graph with an even number of edges on each face is bipartite; see, for example, [8].By dualizing this statement we also know that any planar graph which is Eulerian, that is, has an even valency at each vertex, has a bipartite dual.What this means is that the edges of such a planar Eulerian graph may be oriented so that the edges on each face go in a clockwise or in an anticlockwise direction.Then, if we travel around any vertex in a clockwise direction, the edges alternate, going out and into the vertex.We call such an orientation Eulerian.
In general, an Eulerian orientation of a graph having even valency at each vertex is an orientation of each edge (put an arrow on the edge) such that there are equal numbers of edges going out or into each vertex.For the above embedding in the plane we find a natural Eulerian orientation that is determined by the faces.

Lemma 3. Consider a planar graph 𝐻 with a bipartite dual having its Eulerian orientation of the edges. Then there is noncommutative cyclic identity with variables over any skewfield at each vertex, and any one of these cyclic identities is implied by the remaining cyclic identities.
Proof.Consider the list of edges , and for each  ∈  let  = (, ), where the Eulerian orientation goes from vertex  on  to vertex  on .The "cyclic identity" at vertex  is of the form , where the edges of the graph on  are (in the clockwise ordering around )  1 ,  2 , . . .,  2 , where  1 = (, ),  2 = (, ),  3 = (, ), . . .,  2 = (, ).Note that if we had have started with any other edge, for example,  3 , going out from , we would have obtained an equivalent identity, since by multiplying both sides on the left by  −1  2   1 and then both sides on the right by  −1  1   2 we obtain ( Now consider any face of the graph with its clockwise or anticlockwise orientation.If it has  vertices (in the cyclic order labelled  1 , . . .,   ), then there are  cyclic identities attached.Consider the operation of collapsing the face down to a single vertex and erasing all the edges of the face.The cyclic identities can be multiplied in the cyclic order so that a new cyclic identity is obtained.If a loop having adjacent ins and outs at a vertex appears, then it may be safely purged from the graph, since there can be no holes in the surface and since in the cyclic identity at the vertex the edge variable will cancel with itself.The new collapsed graph has cyclic identities that derive from the larger graph.By continuing this process we obtain eventually a planar graph with two vertices  and  joined by an even number 2 of edges.If the cyclic identity at  is , with the odd edges directed from  to  and the even edges from  to , then the clockwise order at  will be the reverse of that at , and so the cyclic identity at  will be  −1 2 ⋅  2−1 ⋅ ⋅ ⋅  −1 2 ⋅  1 = 1 which is the inverse identity to that at  and so equivalent to it.Hence the dependency among all the cyclic identities of the original graph is established.Theorem 4. Any graph  embedded on an orientable surface of genus  = 0, having V vertices,  edges, and  faces, where by Euler's formula V −  +  = 2, is equivalent to a configurational theorem in projective space (V −1, ), where  is any skewfield or field.
Proof.First we construct the configuration  from the graph  in precisely the same manner as Theorem 1.
When the graph  is embedded in any orientable surface, which in the present case is now the plane (or the sphere), there is a natural cyclic structure at each vertex.We now go to a graph that is intermediate between  and its dual   .This is called the "medial" graph (), and it has V  =  vertices and   = V +  faces.It is 4-regular, in that every vertex is joined to four others.Since each edge has two vertices, it is easy to see that the medial graph has   = 2V  edges.Notice that since V−+ = 2−2 (Euler's formula) we have in the medial graph with V  −  +  = V  −2V  +  =   −V  = V+− = 2−2: it is clear the medial graph is also embedded on the same surface as .
For example, if  is the planar tetrahedral graph of Figure 2, then () is the planar octahedral graph, having six vertices and eight faces.
In detail, the set of vertices of () is {V  |  edge of }, and V  is joined with V  in () when  and  are adjacent to the same face  of  on the surface: they are also adjacent in the cyclic order at  and in that of .The dual of this medial graph is always bipartite so that there are two types of faces, corresponding to the vertices and to the faces of the original graph .(Conversely, a 4-regular graph on an orientable surface, for which the dual graph is bipartite, is easily seen to be the medial graph of a unique graph on that surface.) Consider Figure 1, and adjoin  and , which are the vertices in  adjacent to  on the boundaries of faces 1 and 2, respectively, and adjoin  and  which are the vertices  adjacent to  on the boundaries of faces 2 and 1.We see that V  is joined in the medial graph () with the four vertices V  , V  , V  , and V  in the clockwise direction.Notice that these edges of () are in bijective correspondence with the "angles" 1, 2, 2, 1, respectively.Also, as in the proof of Theorem 1 the selection of "diagonals" of the determinants  1 ⋅  2 −  2 ⋅  1 at each edge implies that we can orientate the edge (V  , V  ) in () and label it with  −1 1 ; similarly the directed edge (V  , V  ) is labelled  −1 2 .Then the remaining unselected diagonal of the determinant gives two edges of () directed the other way: (V  , V  ) is labelled  2 and (V  , V  ) is labelled  1 .Repeating this for all edges of  we obtain an Eulerian orientation, and each vertex of () corresponds to a cyclic identity with four variables which is equivalent to the determinant condition.For the edge  above the "cyclic" identity is  −1 1 ⋅ 2 ⋅ −1 2 ⋅ 1 = 1.Applying Lemma 3 to the medial graph () we see that the final cyclic identity is dependent upon the others, and so we have proved that  is a configurational theorem for every skewfield and therefore also for every field.

Examples of Configurational Theorems
If a graph on an orientable surface  gives a configurational theorem , then the dual graph on  gives a configurational theorem that is the matroid dual of .It corresponds to the simple process of transposing the V ×  matrix  containing the subdeterminants in the construction.
Table 1 summarizes the five examples of this section.
4.1.The Bundle Theorem.The bundle theorem in threedimensional projective space is a theorem of eight points and six planes.See Figure 3.
The bundle theorem states that if four lines are such that five of the unordered pairs of the lines are coplanar, then so is the final unordered pair.Translating this to a theorem about points and planes, we can define a line as the span of a pair of distinct points.Thus the lines correspond to pairs of points, and the theorem is about eight points and six planes.It turns out that the configuration is in three-dimensional space, and the four lines must be concurrent.
The dual in terms of points and lines is that if four lines in space have five intersections in points, then so is the sixth intersection.Then all the lines are coplanar.This is the "Axiom of Pasch"; see for example, [4], and it is one of the fundamental axioms from which all the other basic properties derive.
Comparing Figure 2 with Figure 3 the bundle theorem is seen to be the configurational theorem that arises from the tetrahedral graph or equivalently the complete graph  4 , embedded in the plane.
Relating this to the proof of Theorem 4, the medial graph of  4 is the octahedral graph having six vertices and eight faces.Thus the theorem shows that the bundle theorem is valid for all projective geometries of dimension at least three.This leads to the philosophic conclusion that projective geometry and our perceptions of linear geometry may have topological origins.
It is noted that the dual graph of the octahedral graph (in the plane) is the cube, which has eight square faces and six vertices.
The six blocks of four points obtained from the edges of the graph are The eight points of this "bundle" theorem in 3d space are members of the set {, , , , 1, 2, 3, 4}, while the six blocks (contained in planes) are in correspondence with the six edges of the  4 graph (the tetrahedron); see Figure 2.
In the Pasch configuration on the right of Figure 3, there are again four lines which we could label 1, 2, 3, 4.Each pair of lines intersect in a point, for example, 1 and 2 intersect in the point labelled 12.The intersection of the There are many references for this configuration which dates back to Pappus of Alexandria circa 330 CE; see [2,3,5,[16][17][18].Perhaps the easiest way to construct it in the plane is first to draw any two lines.Put three points on each and connect them up with six lines in the required manner; see Figure 5.

The Möbius Theorem.
The eight points of the Möbius 8 4 configurational theorem in 3d space are members of the set {, , , , 1, 2, 3, 4}, while the eight blocks (contained in planes when the configuration is in 3d space) are in correspondence with the eight edges of the 2 4 graph; see Figure 6.(5) There are many references for this configuration; see [2,3,5,[16][17][18][19][20].Perhaps the easiest way to construct this configuration in space is to first construct a 4 × 4 grid of eight lines; see Figure 7.The eight "Möbius" points can be eight points grouped in two lots of four as in the figure.The planes then correspond to the remaining eight points on the grid.A recent observation by the author [21] is that one can find three four by four matrices with the same 16 variables such that their determinants sum to zero, and it is closely related to the fact that there are certain three quadratic surfaces in space associated with this configuration.See [16] for a discussion of the three quadrics.
The standard cyclic representation of this configuration is that the points are the integers modulo eight, while the blocks are the subsets {0, 1, 2, 5} +  (mod 8); see Glynn [3] and Figure 8.As with the Möbius configuration, the configuration can always be constructed on a 4×4 grid of lines; see Figure 9.The planes then correspond to the remaining eight points on the grid.are , , , , 1, . . ., 8, while the twelve blocks (contained in planes when the configuration is in 3d space) are in correspondence with the twelve points on the 4 × 4 grid other than , , , .Note that we are representing the torus as a hexagon with opposite sides identified.This is just an alternative to the more common representation of the torus as a rectangle with opposite sides identified.The arrows on the outside of the hexagons show the directions for which the identifications are applied.(The hexagons' boundaries are not graph edges.)Another thing to note is that the only place the author has seen the name "Gallucci" attached to this configuration is in the works of Coxeter; see [2,Section 14.8].The theorem appears in Baker's book [5, page 49], which appeared in its first edition in 1921, well before Gallucci's major work of 1928; see [18].Due to its fairly basic nature it was obviously known to geometers of the 19th century.However, in deference to Coxeter, we are calling it "Gallucci's theorem." The Gallucci configuration is normally thought of as a collection of eight lines, but here we are obtaining it from certain subsets of points and planes related to it.One set of four mutually skew lines is generated by the pairs of points 1, 2, 3, 4, and the other set of four lines by the four pairs 5, 6, 7, 8.
The twelve blocks obtained from the edges of the graph are Some practical considerations remain: small graphs may determine relatively trivial properties of space, but we have seen in our examples that many graphs correspond to fundamental and nontrivial properties.We also obtain an automatic proof for these properties just from the embedding onto the surface.For some graphs on orientable surfaces the constructed geometrical configuration must collapse into smaller dimensions upon embedding into space or have points or hyperplanes that merge.This is a subject for further investigation.

Figure 2 :
Figure 2: The tetrahedron (graph of the bundle theorem) in the plane.

Figure 3 :
Figure 3: The bundle theorem in 3d space and its dual Pasch axiom.

4. 2 .
The Pappus Theorem.The nine points of the Pappus 9 3 configurational theorem in the plane are members of the set {, , , 1, 2, 3, 4, 5, 6}, while the nine blocks (contained in lines when the configuration is embedded in the plane) are in correspondence with the nine edges of the 3 3 graph; see Figure4.The nine blocks obtained from the edges of the graph are

Figure 5 :
Figure 5: The Pappus theorem derived from the toric map.

4. 5 .
The Gallucci Theorem.Consider Figures10 and 11 . The twelve points of the Gallucci configuration in 3d space

Figure 11 :
Figure 11: The Gallucci theorem of eight lines in 3d space.

Table 1 :
A table of five geometrical theorems.