Matchings in graphs on non-orientable surfaces

We generalize Kasteleyn's method of enumerating the perfect matchings in a planar graph to graphs embedding on an arbitrary compact boundaryless 2-manifold S. Kasteleyn stated that perfect matchings in a graph embedding on a surface of genus g could be enumerated as a linear combination of 4(g) Pfaffians of modified adjacency matrices of the graph. We give an explicit construction that not only does this, but also does it for graphs embedding on non-orientable surfaces. If a graph embeds on the connected sum of a genus g surface with a projective plane (respectively, Klein bottle), the number of perfect matchings can be computed as a linear combination of 2(2g + 1) (respectively, 2(2g +2)) Pfaffians. Thus for any S, this is 2(2-x(S)) Pfaffians. We also introduce "crossing orientations," the analogue of Kasteleyn's "admissible orientations" in our context, describing how the Pfaffian of a signed adjacency matrix of a graph gives the sign of each perfect matching according to the number of edge-crossings in the matching. Finally, we count the perfect matchings of an m x n grid on a Mobius strip. (C) 2000 Academic Press.