I will give an introduction to factorization homology using configuration spaces, and discuss the nonabelian Poincaré duality theorem of Segal, Salvatore, Lurie, and Ayala–Francis​, which relates factorization homology to mapping spaces. Time permitting, I will also talk about the Ayala–Francis axiomatic approach to factorization homology, which positions factorization homology as a "homology theory for manifolds."

I will describe a map that associates to every deformation of an object in a higher category a collection of generalized symmetries of the object. Building on work by Lurie, we will see that the failure of this map to be an equivalence can be quantified. Under favorable circumstances, the map is an equivalence, and this leads to an explicit description of the space of deformations in terms of solutions to certain equations. I will discuss applications of these results to topological field theory and holomorphic symplectic geometry. This talk is based on joint work with Bhanu Kiran.

In recent years, there has been a growing number of applications of stable homotopy theory to condensed matter physics, many of which stem from a conjecture of Kitaev that gapped invertible phases of matter should be classified by the homotopy groups of a spectrum. This gives rise to a mathematical modeling question: how do we model quantum systems in such a way that this result can be better understood, perhaps even proved? In this talk, I will discuss some aspects of this modeling problem. This is based on joint work with Mike Hermele, Juan Moreno, Markus Pflaum, Marvin Qi and Daniel Spiegel, David Stephen, Xueda Wen.