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.

A renewal approach to prove the Four Color Theorem unplugged, Part II: R/G/B Kempe chains in an extremum non-4-colorable MPG

A renewal approach to prove the Four Color Theorem unplugged, Part III: Diamond routes, canal lines and $Σ$-adjustments

A sequel to the adventure of RGB-tilings to explore the Four Color Theorem

Majority Colorings of Sparse Digraphs

A non-constructive proof of the Four Colour Theorem

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

A Mathematical Proof of the Four-Color Conjecture (1): Transformation Step

Kempe Equivalence of Colorings of 4-Regular Graphs

A short proof of the Goldberg-Seymour conjecture

Research Progress on the Theory of Kempe Changes

Four-Coloring [math]-Free Graphs. I. Extending an Excellent Precoloring

An Alon-Tarsi Style Theorem for Additive Colorings

Algorithmic methods of finite discrete structures. The Four Color Theorem. Theory, methods, algorithms

Theory on the Structure and Coloring of Maximal Planar Graphs (1)Recursion Formulae of Chromatic Polynomial and Four-Color Conjecture

New reducible configurations for graph multicoloring with application to the experimental resolution of McDiarmid-Reed's Conjecture (extended version)

An Alon–Tarsi Style Theorem for Additive Colorings

The DP Color Function of Clique-Gluings of Graphs

Coloring some $(P_6,C_4)$-free graphs with $Δ-1$ colors

A spectral Erdős-Rademacher theorem

A Purely Entropic Approach to the Rainbow Triangle Problem

Multiple 3-Coloring, an Approach to 4-Coloring of Planar Graphs