Abstract:We prove that every cyclically 4-edge-connected cubic graph that can be embedded in the projective plane, with the single exception of the Petersen graph, is 3-edge-colorable. In other words, the only (non-trivial) snark that can be embedded in the projective plane is the Petersen graph. This implies that a 2-connected cubic (multi)graph that can be embedded in the projective plane is not 3-edge-colorable if and only if it can be obtained from the Petersen graph by replacing each vertex by a 2-edge-connected planar cubic (multi)graph. This result is a nontrivial generalization of the Four Color Theorem, and its proof requires a combination of extensive computer verification and computer-free extension of existing proofs on colorability. An unexpected consequence of this result is a coloring-flow duality statement for the projective plane: A cubic graph embedded in the projective plane is 3-edge-colorable if and only if its dual multigraph is 5-vertex-colorable. Moreover, we show that a 2-edge connected graph embedded in the projective plane admits a nowhere-zero 4-flow unless it is Peteren-like (in which case it does not admit nowhere-zero 4-flows). This proves a strengthening of the Tutte 4-flow conjecture for graphs on the projective plane. Some of our proofs require extensive computer verification. The necessary source codes, together with the input and output files and the complete set of more than 6000 reducible configurations are available on Github (this https URL) which can be considered as an Addendum to this paper. Moreover, we provide pseudocodes for all our computer verifications.

The (3,3)-Colorability of Planar Graphs Without 4-Cycles and 5-Cycles.

Every Planar Graph Without 3-Cycles Adjacent to 4-Cycles and Without 6-Cycles is (1, 1, 0)-Colorable

Plane graphs without 4- and 5-cycles and without ext-triangular 7-cycles are 3-colorable

Every Planar Graph Without 4-Cycles and 5-Cycles is (2, 6)-Colorable

Planar Graphs Without 4- and 6-Cycles Are (7 : 2)-Colorable.

Planar graphs without $5^{-}$-cycles at distance less than $3$ are $(\mathcal{I}, \mathcal{F})$-colorable

DP-3-coloring of planar graphs without certain cycles

The 3-colorability of planar graphs without cycles of length 4, 6 and 9

DP-3-colorability of planar graphs without cycles of length 4, 7 or 9

Total colorings and list total colorings of planar graphs without intersecting 4-cycles

Every signed planar graph without cycles of length from 4 to 7 is 3-colorable

Sufficient Conditions for Properly Colored C3’s and C4’s in Edge-Colored …

Every Planar Graph with Girth at Least 5 is (1,9)-Colorable

Decomposing planar graphs without triangular short cycles into a matching and a 3-colorable graph

Multiple DP-Coloring of Planar Graphs Without 3-Cycles and Normally Adjacent 4-Cycles

Planar graphs having no cycle of length 4, 7, or 9 are DP‐3‐colorable

Every planar graph without adjacent short cycles is 3-colorable

Neighbor Sum Distinguishing Total Choice Number of Planar Graphs Without 6-Cycles

Three-edge-coloring projective planar cubic graphs: A generalization of the Four Color Theorem

Note: Total coloring of planar graphs without 6-cycles

(4,2)-choosability of planar graphs with forbidden structures