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.

Every knot in S^3 bounds a PL disk in the four ball. But this is no longer true for knots in other three manifolds, as demonstrated first by Akbulut, who constructed a knot which does not bound any PL disk in a specific contractible four manifold. Then Levine showed that there exist knots that do not bound a PL disk in any homology four ball. What happens if we relax the condition of bounding PL disk to bounding a PL surface with some given genus? In the joint work with Hom and Stoffregen, we proved that for each n, there exists a knot K_n in an integer homology sphere that does not bound a PL surface of genus n in any homology four ball. The proof uses Heegaard Floer homology. More specifically, the obstruction comes from knot cobordism maps by Zemke and the construction uses recent filtered mapping cone formula for cables of the knot meridian.

We discuss the DGA map induced by an exact Lagrangian cobordism, and an analytic strategy to lift the map to integer coefficients, introduced by Fukaya, Oh, Ohta and Ono and further adapted by Ekholm, Etnyre, and Sullivan and Karlsson respectively. We then explain how this strategy can be applied to find a concrete combinatorial formula for a mini-dipped pinch move, thereby completely determining the integral DGA maps for all decomposable, orientable Lagrangian cobordisms. If time permits, we will show how to obtain this formula in a model case. We will also go into future potential work, including applications to Heegaard Floer Homology and nonorientable cobordisms.

We call a non-trivial homology 3-sphere a Kirby-Ramanujam sphere if it bounds a homology plane, an algebraic complex smooth surface with the same homology groups of the complex plane. In this talk, we present several infinite families of Kirby-Ramanujam spheres bounding Mazur type 4-manifolds, compact contractible smooth 4-manifolds built with only 0-, 1-, and 2-handles. Such an interplay between complex surfaces and 4-manifolds was first observed by Ramanujam and Kirby around nineteen-eighties. This is upcoming joint work with Rodolfo Aguilar Aguilar.

Closed manifolds with topology N = M x S^1 do not admit metrics of positive Ricci curvature by the theorem of Bonnet-Myers, while the resolution of the Geroch conjecture implies that the torus T^n does not admit a metric of positive scalar curvature. In this talk we explain a non-existence result for metrics of positive m-intermediate curvature (a notion of curvature reducing to Ricci curvature for m = 1, and scalar curvature for m = n-1) on closed manifolds with topology N^n = M^{n-m} x T^m for n <= 7. Our proof uses minimization of weighted areas, the associated stability inequality, and delicate estimates on the second fundamental form. This is joint work with Simon Brendle and Sven Hirsch.

In this talk we consider the moduli space of Yang-Mills instantons on the family of hyperkahler 4 manifolds known as multi-center TaubNUT spaces. We describe the Nahm transform for flat manifolds. Then we sketch its extension to the above hyperkahler family, where it defines an isometry between the moduli space of instantons on the multi-center TaubNUT and the moduli space of solutions of a rococo system of ordinary differential equations. This is joint work with Sergey Cherkis and Andres Larrain Hubach

In this talk, I will present some new topological obstructions for solving the Einstein equations (in Riemannian signature) on a large class of closed four-manifolds. Finally, I will show that complex-hyperbolic Einstein Dehn filling compactification cannot possibly performed in dimension four. This is in striking contrast with the real-hyperbolic case, and it answers (negatively) a fifteen years old question of Michael Anderson. If time permits, I will conclude with some tantalizing open problems both in dimension four and in higher dimensions. Part of this work is joint with M. Golla (Universit\’e de Nantes).