From Yang-Mills theory to enumerative geometry on Calabi-Yau 4-folds

Yang-Mills theory was studied from mathematical perspectives in the 1970s by Atiyah and his collaborators (notably Drinfeld, Hitchin, Singer). Subsequent breakthroughs were made on dimensions 3 and 4 by Floer and Donaldson (based on deep analytic results obtained by Uhlenbeck and Taubes) in the 1980s. In 1996, Donaldson and Thomas proposed to study Yang-Mills theories on dimensions bigger than 4. In higher dimensions, the analytic method is limited and algebro-geometric method is heavily used instead. This powerful tool usually enables us to compute partition functions and lead to amazing links to other invariants in enumerative geometry, e.g. Gromov-Witten and Gopakumar-Vafa invariants. In this talk, I will review some of these inspiring stories and discuss how my works on Calabi-Yau 4-folds fit into them.