Dice Question Streamline Icon: https://streamlinehq.com

χ^{cw} counts Tait colorings on arbitrary surfaces

Establish that for any surface Σ and trivalent graph Γ embedded in Σ, the trivial surrounding lattice TFT χ^{cw}: Bord_2^{def,cw}(𝔇_{+}^{3}) → Vect_F(ℂ) evaluates on (Σ, Γ) to the number of Tait colorings of Γ, i.e., prove χ^{cw}(Σ, Γ)(1) = #Tait(Γ).

Information Square Streamline Icon: https://streamlinehq.com

Background

The main theorem of the paper proves this equality for planar trivalent graphs Γ ⊂ 𝕊2. The authors conjecture the same equality for trivalent graphs embedded in any surface Σ, motivated by the expectation that edge-colorability is intrinsic to the graph and independent of the embedding surface.

A proof would extend the TFT-based counting result beyond the sphere and align χ{cw} with the purely combinatorial Tait-coloring count on arbitrary surfaces.

References

In other words, the number $\chi{cw}(\Sigma, \Gamma)(1)$ is the number of Tait-coloring of the trivalent graph $\Gamma$, embedded in an arbitrary surface $\Sigma$. However, \cref{main-2} has been proved only for the planar case. This makes sense as edge-colorability is intrinsic to the graph and does not depend on the surface it is embedded in \cref{sec:motivation}. Extending the universal construction and proving that it is naturally isomorphic to $\chi{cw}$ will prove \cref{conj:gen-surface}.

Coloring Trivalent Graphs: A Defect TFT Approach (2410.00378 - Kumar, 1 Oct 2024) in Conjecture conj:gen-surface, Section 8.1 (A generalization of the universal construction)