Introduction

In this section we define the terminology taken from combinatorial design theory and summarize some of the basic results. Before doing this, we remark that the study of the relationship between block designs and graph embeddings dates back to Heffter, who in 1891 realized the connection between two-fold triple systems and surface triangulations. Later work in this field was done by Emch [27], Alpert [2], White [57], Anderson and White [6], Anderson [4], [5], Jungerman, Stahl and White [40], Rahn [54], and more recently White [58]. These authors considered various aspects of the above relationship, including embeddings into closed surfaces, pseudosurfaces and generalized pseudosurfaces, embeddings of balanced incomplete block designs (BIBDs) with block size greater than 3, and the symmetry properties of the resulting embeddings. However, the material we survey in this chapter is mainly, although not exclusively, concerned with embeddings of Steiner triple systems in both orientable and non-orientable surfaces. Embeddings in pseudosurfaces and generalized pseudosurfaces will not be considered.