Computer Bounds for Kronheimer–Mrowka Foam Evaluation

DOI10.1080/10586458.2021.1982078MaRDI QIDQ6062277zbMATH OpenOpenAlexFDO

Authors David Boozer

Publication date 30 November 2023

Published in Experimental Mathematics (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1908.07133

zbMATH Keywords

foamsfour-color theoremTait coloringstrivalent graphswebs

Mathematics Subject Classification ID

Coloring of graphs and hypergraphs (05C15) Graph theory (including graph drawing) in computer science (68R10)

Abstract: Kronheimer and Mrowka recently suggested a possible approach towards a new proof of the four color theorem that does not rely on computer calculations. Their approach is based on a functor $J^{s}harp$, which they define using gauge theory, from the category of webs and foams to the category of vector spaces over the field of two elements. They also consider a possible combinatorial replacement $J^{f}lat$ for $J^{s}harp$. Of particular interest is the relationship between the dimension of $J^{f}lat(K)$ for a web $K$ and the number of Tait colorings $mathrmTait(K)$ of $K$; these two numbers are known to be identical for a special class of "reducible" webs, but whether this is the case for nonreducible webs is not known. We describe a computer program that strongly constrains the possibilities for the dimension and graded dimension of $J^{f}lat(K)$ for a given web $K$, in some cases determining these quantities uniquely. We present results for a number of nonreducible example webs. For the dodecahedral web $W_1$ the number of Tait colorings is $mathrmTait(W_1)=60$, but our results suggest that $dim{J}^{f}lat(W_1)=58$.

Recommendations

• Tait colorings, and an instanton homology for webs and foams
• Foam evaluation and Kronheimer-Mrowka theories
• Exact triangles for SO(3) instanton homology of webs
• A note on the four color theorem
• A topological theory of unoriented SL(4) foams

Cites work

• \(\mathfrak{sl}_3\)-foam homology calculations
• \(\text{sl}(3)\) link homology
• A deformation of instanton homology for webs
• A note on Gornik's perturbation of Khovanov-Rozansky homology
• Every Planar Map is Four Colorable
• Exact triangles for SO(3) instanton homology of webs
• Foam evaluation and Kronheimer-Mrowka theories
• Formal proof - the four color theorem
• Graded rings and graded Grothendieck groups
• Tait colorings, and an instanton homology for webs and foams
• The four-colour theorem
• Topological quantum field theories derived from the Kauffman bracket

Cited in

(5)

• Tait colorings, and an instanton homology for webs and foams
• Conical \(\mathrm{SL}(3)\) foams
• A deformation of Robert-Wagner foam evaluation and link homology
• From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions
• The combinatorial and gauge-theoretic foam evaluation functors are not the same

This page was built for publication: Computer Bounds for Kronheimer–Mrowka Foam Evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6062277)