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 sequel to the adventure of RGB-tilings to explore the Four Color Theorem

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

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 non-constructive proof of the Four Colour Theorem

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

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

On Equivalent Color Transform and Four Coloring Theorem.

A short proof of the Four Colour Theorem

Continued Fractions and the 4-Color Theorem

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

A shorter proof of the Four Colour Theorem

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

Reformulating the Map Color Theorem

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

An Alon-Tarsi Style Theorem for Additive Colorings

Flipping Triangles and Rectangles

Coloring Planar Graphs via Colored Paths in the Associahedra

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

An Alon–Tarsi Style Theorem for Additive Colorings

Majority Colorings of Sparse Digraphs

Lie algebras and the Four Color Theorem