Abstract: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 $G_{\mathbb{C}}$-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 novel Atiyah-Floer correspondence. Our work therefore furnishes purely physical proofs and generalizations of the mathematical conjectures of Haydys [1], Abouzaid-Manolescu [2], and Bousseau [3], and more.

How to Depict 5-Dimensional Manifolds

A toolkit to describe and interactively display three-manifolds embedded in four-space

Generating Topologically and Geometrically Diverse Manifold Data in Dimensions Four and Below

Gauss diagrams of 3-manifolds

Manifold Diagrams for Higher Categories

Isometric Embedding of Riemannian Manifolds in Euclidean Spaces

3D surface representation using ricci flow

Totally Geodesic Surfaces in Hyperbolic 3-Manifolds: Algorithms and Examples

Algorithms in 4-manifold topology

Structure of Three-Manifolds - Poincare and geometrization conjectures

On the cusped fan in a planar portrait of a manifold

Topological Drawings meet Classical Theorems from Convex Geometry

Geometric and topological properties of manifolds in robot motion planning

Enhanced Hantzsche Theorem

From CT scans to 4-manifold topology

Multisections of higher-dimensional manifolds

A characterization of Pfaffian embeddings from (2, 3, 5)- into flat (4, 7)-geometries

Graph Theoretical Models of Closed n-Dimensional Manifolds: Digital Models of a Moebius Strip, a Torus, a Projective Plane a Klein Bottle and n-Dimensional Spheres

Topological 5d $\mathcal {N} = 2$ Gauge Theory: Novel Floer Homologies, their Dualities, and an $A_\infty$-category of Three-Manifolds

Practical Software for Triangulating and Simplifying 4-Manifolds

Topologically trivial proper 2-knots