Three-coloring triangle-free graphs on surfaces IV. Bounding face sizes of 4-critical graphs

Abstract

Let G be a 4-critical graph with t triangles, embedded in a surface of genus g. Let c be the number of 4-cycles in G that do not bound a 2-cell face. We prove that∑fface ofG(|f|−4)≤κ(g+t+c−1) for a fixed constant κ, thus generalizing and strengthening several known results. As a corollary, we prove that every triangle-free graph G embedded in a surface of genus g contains a set of O(g) vertices such that G−X is 3-colorable.