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).

Though the study of isoperimetric problems for Laplacian eigenvalues dates back to the 19th century, the subject has undergone a renaissance in recent decades, due in part to the discovery of connections with harmonic maps and minimal surfaces. By the combined work of several authors, we now know that unit-area metrics maximizing the first nonzero Laplace eigenvalue exist on any closed surface, and are realized by minimal surfaces in spheres. At the same time, work of Fraser-Schoen, Matthiesen-Petrides and others yields analogous results for the first eigenvalue of the Dirichlet-to-Neumann map on surfaces with boundary, with maximizing metrics induced by free boundary minimal immersions into Euclidean balls. In this talk, I'll describe a series of recent results characterizing the (perhaps surprising) asymptotic behavior of these free boundary minimal immersions (and associated Steklov-maximizing metrics) as the number of boundary components becomes large. (Based on joint work with Mikhail Karpukhin.)

Over a field k, the zeroth homotopy group of the motivic sphere spectrum is given by the Grothendieck-Witt ring of symmetric bilinear forms GW(k). The Grothendieck-Witt ring GW(k) modulo the hyperbolic plane is isomorphic to the Witt ring of symmetric bilinear forms W(k) which further surjectively maps to Z/2. We may take motivic Eilenberg-Maclane spectra of Z/2, W(k) and GW(k). Voevodsky has computed the motivic Steenrod algebra of HZ/2 and solved the Bloch-Kato conjecture with its help. We move one step up in the above picture; we study the motivic Eilenberg-Maclane spectrum corresponding to the Witt ring and compute its dual Steenrod algebra.

To a cobordism between links, Khovanov homology assigns a linear map that is invariant under boundary-preserving isotopy of the cobordism. In this talk, we study those maps arising from surfaces in the 4-ball and apply our findings to existence and uniqueness questions regarding slice disks bounding a given knot. This reflects joint works with Jonah Swann and Kyle Hayden.