学，是一个SU(3)群作用在夸克的色荷上的规范场论。标准模型用规范场论的语言统一了电磁力、弱相互作用和强相互作用的表述。1970年代迈克尔·阿蒂亚爵士提出了研究经典杨-米尔斯方程的数学解的计划。1983年，阿蒂亚的学生西蒙·唐纳森在这个工作之上证明了光滑4-流形的可微性分类和同胚性分类非常不同。麦可·弗里德曼采用唐纳森的工作证明奇异R的存在，也就是，欧几里得4维空间上的奇异微分结构。这导致对于规范场论作为数学理论的兴趣逐渐增加，独立于它在基础物理中的成功。1994年，爱德华·威滕和内森·塞伯格发明了基于