Topology Seminar——SO(3) representations and the four color theorem
报告人：Fan Ye (University of Cambridge)
地点：Room 1114, Sciences Building No. 1
Abstract: The four color theorem was proved by Appel and Haken in 1989 using a computer. At ICM 2018, Kronheimer and Mrowka proposed an alternative way based on gauge theory in low-dimensional topology that might give a new proof of this theorem. This talk is a survey of their approach. First, I'll explain the relation between the SO(3) representation variety of a trivalent graph and the four color theorem. Then I'll review some properties of singular instanton Floer homology J^# of a trivalent graph.