The classical Euclidean problem studied by Bonnet in the 19th century was to determine whether, and in how many ways, a Riemannian surface can be isometrically embedded into Euclidean 3-space so that its mean curvature is a prescribed function. He found that, generically, specifying a metric and mean curvature admitted no solution but that there are special cases in which, not only are there solutions, but there are even 1-parameter families of distinct (i.e., mutually noncongruent) solutions. Much later, these ‘Bonnet surfaces’ were found to be intimately connected with integrable systems and Lax pairs. In this talk, I will consider the analogous problem in affine geometry: To determine whether, and in how many ways, a surface endowed with a Riemannian metric g and a function H can be immersed into affine 3-space in such a way that the induced Blaschke metric is g and the induced affine mean curvature is H. This affine problem is, in many ways, richer and more interesting than the corresponding Euclidean problem. I will classify the pairs (g,H) that display the greatest flexibility in their solution space and explain what is known about the (suspected) links with integrable systems and Lax pairs.

Some physically significant solutions to Einstein's field equations are spacetimes which are foliated by a family of curves called a shear-free null geodesic congruence (SFNGC). Examples include models of gravitational waves that were recently detected, and rotating black holes. The properties of a SFNGC induce a CR structure on the 3-dimensional leaf space of the foliation. The Kerr Theorem says that the family of metrics associated to a SFNGC contains a conformally flat representative iff the corresponding CR structure is embeddable in a real hyperquadric. Using Cartan's method of moving frames, we can classify which Levi-nondegenerate CR 3-folds are embeddable in the hyperquadric.

In the 1980s, Bill Goldman used intersection theory to define a Lie algebra structure on the free Z module L(X) generated by the closed geodesics on a hyperbolic surface X. This bracket is related to a formula for the Poisson bracket of functions on the variety of flat G-bundles over X. In related work (1970s and 1990s), Vladimir Turaev (with contributions by Kawazumi and Kuno in the 2000s) constructed a cobracket on L(X) that depends on the choice of a framing. In this talk, I will review the definition of the Goldman-Turaev Lie bialgebra of a framed surface and discuss its relevance to questions in other areas of mathematics. I'll discuss how Hodge theory can be applied to these questions. I may also discuss some related questions, such as the classification of mapping class group orbits of framings of a punctured surface.

The helicity of a vector field in R^3, an analog to linking number, measures the extent to which its flowlines coil and wrap around one another. Helicity turns out to be invariant under volume-preserving diffeomorphisms that are isotopic to the identity. Motivated by Bott-Taubes integration, we provide a new proof of this invariance using configuration spaces. We then present a new topological explanation for helicity, as a characteristic class. Among other results, this point of view allows us to completely characterize the diffeomorphisms under which helicity is invariant and give an explicit formula for the change in helicity under a diffeomorphism under which helicity is not invariant. (joint work with Jason Cantarella, U. of Georgia)

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.

Let Y be a hypersurface in a 2n-dimensional holomorphic symplectic manifold X. The restriction $\sigma|_Y$ of the holomorphic symplectic form induces a rank one foliation on Y. If this "characteristic foliation" has compact leaves, then the space of leaves Y/F is a holomorphic symplectic manifold of dimension 2n-2. This construction also works when Y is a coisotropic submanifold of higher codimension, and is known as "coisotropic reduction". In this talk we will consider when the characteristic foliation has compact leaves, and look at some applications of coisotropic reduction.

In this talk we will describe some results about Betti, Hodge, and characteristic numbers of compact hyperkahler manifolds. In (complex) dimension four one can find universal bounds for all of these invariants (Beauville, Guan); in higher dimensions it is still possible to find some bounds. We also describe how these bounds are related to the question: are there finitely many hyperkahler manifolds in each dimension, up to deformation?

A quasi-local mass has been a long sought after quantity in general relativity. A recent candidate has been the Liu-Yau mass. One can show that the Liu-Yau mass of any two-surface is the maximum of the Brown-York energy for that two-surface. This means that it has significant disadvantages as a mass. It is much better interpreted as an energy and I will show one way of doing so. The Liu-Yau mass is especially interesting in spherical geometries, where mass and energy are indistinguishable. For a spherical two-surface, it equals the minimum of the amount of energy at rest that one needs to put inside the two-surface to generate the given surface geometry. Thus it gives interesting information about the interior, something no other mass or energy function does.

In this talk we will exhibit many new phenomena in the structure of Legendrian and transverse knots by giving a complete classification of all cables of the positive torus knots. We will also provide two structural theorems to ensure when cable of a Legendrian simple knot type is also Legendrian simple. Part of the results are joint work with John Etnyre and Douglas LaFountain

I'll discuss how one can use cotangent and conormal bundles to translate some basic questions in topology into questions in symplectic geometry. This symplectic viewpoint allows one, for instance, to (re)prove that certain smooth structures on spheres are exotic, and to define new knot invariants via holomorphic curves. I'll describe properties of the knot invariant and some recent applications to transverse knots in contact geometry.

Studying symplectic structures up to deformation equivalences is a fundamental question in symplectic geometry. Donaldson asked: given two homeomorphic closed symplectic four-manifolds, are they diffeomorphic if and only if their stabilized symplectic six-manifolds, obtained by taking products with CP^1 with the standard symplectic form, are deformation equivalent? I will discuss joint work with Amanda Hirschi on showing how deformation inequivalent symplectic forms remain deformation inequivalent when stabilized, under certain algebraic conditions. This gives the first counterexamples to one direction of Donaldson’s “four-six” question and the related Stabilizing Conjecture by Ruan. In the other direction, I will also discuss more supporting evidence via Gromov-Witten invariants.

Holomorphic symplectic manifolds (aka hyperkahler manifolds) are complex analogues of real symplectic manifolds. They have a rich geometric structure, though few compact examples are known. In this talk I will describe attempts to construct and classify holomorphic symplectic manifolds that also admit a holomorphic fibration. In particular, we will consider examples in four dimensions that are fibred by abelian surfaces known as Prym varieties.