We discuss new methods for using the Heegaard Floer homology of hypersurfaces to distinguish between smooth closed 4-manifolds that are homeomorphic but non-diffeomorphic. Specifically, for a 4-manifold X with b_1(X)=1, the minimum rank of the reduced Heegaard Floer homology of any embedded 3-manifold X representing a generator of H_1(X) gives a diffeomorphism invariant of X. We use this invariant to distinguish certain infinite families of exotic 4-manifolds that cannot be distinguished by previously known techniques. Using related ideas, we also provide the first known examples of (non-simply-connected) exotic 4-manifolds with negative definite intersection form. This is joint work with Tye Lidman and Lisa Piccirillo.

Satellite operations are an valuable method of constructing complicated knots from simpler ones, and much work has gone into understanding how knot invariants change under these operations. We describe a new way of computing the (UV=0 quotient of the) knot Floer complex using an immersed Heegaard diagram obtained from a Heegaard diagram for the pattern and the immersed curve representing the knot Floer complex of the companion. This is particularly useful for (1,1)-patterns, since in this case the resulting immersed diagram is genus one. In some cases the immersed curve representing the satellite knot Floer complex can be obtained directly by deforming the diagram, generalizing earlier work with Watson on cables. This is joint work with Wenzhao Chen.

While establishing various versions of the h-principle for contact distributions (Eliashberg (1989) in dimension 3, Borman-Eliashberg-Murphy (2015) in arbitrary dimension, and even-contact contact (D. McDuff, 1987) distributions are among the most remarkable advances in differential topology in the last four decades, very little is known about analogous results for other classes of distributions, e.g. generic distributions of corank 2 or higher. The smallest dimensional nontrivial case of corank 2 distributions is Engel distributions, i.e. the maximally nonholonomic rank 2 distributions on $4$-manifolds. This case is highly nontrivial and was treated recently by Casals-Pérez-del Pino-Presas (2017) and Casals-Pérez-Presas (2017). In my talk, I will show how to use the method of convex integration in order to establish all versions of the h-principle for corank 2 distributions of arbitrary odd rank satisfying a natural generic assumption on the associated pencil of skew-symmetric forms. During the talk, I will try to give all the necessary background related to the method of convex integration in principle. This is the joint work with Milan Jovanovic, Javier Martinez-Aguinaga, and Alvaro del Pino.

We start by recalling gauge theory and some of its applications in low-dimensional topology. We briefly discuss Donaldson-Thomas program to extend the methods of gauge theory to study higher-dimensional manifolds, specially Calabi-Yau 3-folds and G2-manifolds. Finally, we will see that the study of gauge theory in higher dimensions motivates new ideas and questions in low-dimensional topology.