  We show how one can define novel gauge-theoretic Floer homologies of four,
three and two-manifolds from the physics of a certain topologically-twisted 5d
${\cal N}=2$ gauge theory via its supersymmetric quantum mechanics
interpretation. They are associated with Vafa-Witten, Hitchin and complexified
BF configurations on the four, three and two-manifolds, respectively. We also
show how one can define novel symplectic Floer homologies of Hitchin spaces,
which in turn will allow us to derive novel Atiyah-Floer correspondences that
relate our gauge-theoretic Floer homologies to symplectic intersection Floer
homologies of Higgs bundles. Furthermore, topological invariance and 5d
"S-duality" suggest a web of relations and a Langlands duality amongst these
novel Floer homologies and their loop/toroidal group generalizations. Last but
not least, via a 2d gauged Landau-Ginzburg model interpretation of the 5d
theory, we derive, from the soliton string theory that it defines and the 5d
partition function, a Fukaya-Seidel type $A_\infty$-category of Hitchin
configurations on three-manifolds and its Atiyah-Floer correspondence. Our work
therefore furnishes purely physical realizations and generalizations of the
mathematical conjectures and constructions of Haydys [1], Wang [2] and
Abouzaid-Manolescu [3], and more.
