Speaker: Olaf Hohm (HU Berlin)

Title: Formalizing QFT via Homotopy Algebras

Abstract:
I will make the case for mathematical physics in general and for the need to formalize QFT in particular, especially in light of AI. Such formalizations seem necessary in order to consolidate (and eventually computer-verify) results in formal high-energy theory and quantum gravity, which have weak community standards. I argue that a significant collection of results in high-energy theory can and should be formalized in terms of ‘homotopy-type’ techniques, and I present three examples that my group is currently working on: 1) color-kinematics duality; 2) AdS mass spectra of SUGRA, and Witten diagrams; and 3) QFT as factorization algebras.