arXiv++ Combinatorics

We characterize the hieroglyphs that embed in the torus, where a hieroglyph is a one-vertex graph with a rotation system. We prove equivalent criteria in terms of four forbidden hieroglyphs, the structure of the loop graph, reductions to three terminal forms, and the rank of the interlacement matrix. The proof uses the intersection form on the first homology of a disc with bands over $\mathbb{F}_2$ and the equality between its rank and twice the genus. We describe the effect of reductions and the role of boundary components. Counting the cycles of the boundary permutation yields a linear-time recognition algorithm for an indexed representation of the input.