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.

I will discuss some examples of minimal graphs with jump discontinuities in their boundaries. Robert Huff and I constructed these examples in response to a question of John Urbas: Is it possible for a minimal graph over a smooth annular domain to have an isolated jump discontinuity on the inner boundary component? I will also give a brief overview of the boundary consistency problem for Di Giorgi's generalized solutions of the minimal surface equation and discuss this question in that context. The construction of the examples uses the Weierstrass representation and the developing map introduced by Huff in the study of capillary problems.

We will discuss Witten’s gauge theory approach to Jones polynomial by counting solutions to the Kapustin-Witten (KW) equations with singular boundary conditions over 4-manifolds. We will give a classification of solutions to the KW equations over $S^1\times\Sigma\times R^+$. We prove that all solutions to the KW equations over $S^1\times\Sigma\times R^+$ are $S^1$ direction invariant and we give a classification of the KW monopole over $\Sigma\times R^+$ based on the Hermitian-Yang-Mills type structure of KW monopole equation. This is based on joint works with Rafe Mazzeo.

We introduce a new tool for relating the scalar curvature of a Riemannian manifold to its global geometry and topology, based on the study of level sets of harmonic functions and harmonic maps to the circle. We will explain how these ideas lead to simple new proofs and improvements upon some well-known results in three-manifold geometry and general relativity, previously studied primarily via minimal surface and Dirac operator methods.

We will start by discussing a flow of isometric $G_2$ structures. We consider the negative gradient flow of the energy functional restricted to the class of $G_2$ structures inducing a given Riemannian metric. We will discuss various analytic aspects of the flow including global and local derivative estimates, a compactness theorem and a monotonicity formula for the solutions. After defining an entropy functional we will prove that low entropy initial data lead to solutions that exist for all time and converge smoothly to a $G_2$ structure with divergence free torsion. We will also discuss finite time singularities and the singular set of the solutions. Finally, we will discuss the isometric flow "coupled” with the Ricci flow of the underlying metric, which again is a flow of $G_2$ structures, and discuss some of its properties. This is a based on two separate joint works with Panagiotis Gianniotis (University of Athens) and Spiro Karigiannis (University of Waterloo).

The cohomology (with complex coefficients) of a compact kahler manifold M admits an action of the algebra sl(2,C), and this action plays an essential role in the analysis of the cohomology. In the case that M is a hyperkahler manifold Verbitsky and Looijenga—Lunts showed there is a family of such sl(2,C)’s generating an algebra isomorphic to so(4,b_2-2), and this algebra similarly can tell us quite a bit about the cohomology of the hyperkahler. I will describe some results of this nature for both the Hodge numbers and Nagai’s conjecture on the nilpotent logarithm of monodromy arising from a degeneration. This is joint work with Mark Green, Radu Laza and Yoonjoo Kim.

The cosmetic surgery conjecture states that no two surgeries on a given knot produce the same 3-manifold (up to orientation preserving diffeomorphism). Floer homology has proved to be a powerful tool for approaching this problem; I will survey partial results that are known and then show that these results can be improved significantly. If a knot in S^3 admits purely cosmetic surgeries, then the surgery slopes are +/- 2 or +/- 1/q, and for any given knot we can give an upper bound for q in terms of the Heegaard Floer thickness. In particular, for any knot there are at most finitely many potential pairs of cosmetic surgery slopes. With the aid of computer computation we show that the conjecture holds for all knots with at most 15 crossings.

Based on the work of Gross and Sheng-Zuo, Friedman and Laza have classified variations of real Hodge structure of Calabi-Yau type over Hermitian symmetric domains. In particular, over every irreducible Hermitian symmetric domain there exists a canonical variation of real Hodge structure of Calabi-Yau type. In this talk, we wil review Friedman and Laza’s classification. A natural question to ask is whether the canonical Hermitian variations of Hodge structure of Calabi-Yau type come from families of Calabi-Yau manifolds (geometric realization). In general, this is very difficult and is still open for small dimensional domains. We will discuss an intermediate question, namely does the canonical variations occur in algebraic geometry as sub-variations of Hodge structure of those coming from families of algebraic varieties (motivic realization). In particular, we will give motivic realizations for the canonical variations of Calabi-Yau type over irreducible tube domains of type A using abelian varieties of Weil type.

Global singularity theory originates from problems in obstruction theory. Consider the following question: is there an immersion in a given homotopy class of maps between two smooth compact manifolds M and N? We can reformulate this question as "is the set of points, where a generic smooth map between M and N is not an immersion, empty"? This set is the simplest example of a singularity. Alternatively, we can ask a question whether the cohomology class of this set is 0 or not. Turns out, there is a universal polynomial depending only on the dimensions of M and N and on the type of singularity, that, when evaluated in the corresponding characteristic classes of M and N, computes the cohomology class of a singularity. This polynomial is called the Thom polynomial, and it is the central notion of singularity theory. In my talk I will give an introduction to singularity theory, define the classic Thom polynomial and talk about different approaches to its K-theoretic generalization.

It is well known that all contact 3-manifolds can be obtained from the standard contact structure on the 3-sphere by contact surgery on a Legendrian link. Hence, an interesting and much studied question asks what properties of a contact structure are preserved under various types of contact surgeries. The case for the negative contact surgeries is fairly well understood. In this talk, we will discuss some new results about positive contact surgeries and in particular completely characterize when contact (r) surgery is symplectically/Stein fillable for r in (0,1]. This is joint work with James Conway and John Etnyre.

The Beauville-Mukai integrable system is a well-known Lagrangian fibration, i.e., a holomorphic symplectic manifold fibred by Lagrangian complex tori. It is constructed by beginning with a complete linear system of curves on a K3 surface, and then taking the compactified relative Jacobian of the family of curves. One may ask whether other families of curves yield Lagrangian fibrations in this way. Markushevich showed that this is not the case in genus two: a Lagrangian fibration by Jacobians of genus two curves must be a Beauville-Mukai system. We generalize his result to genus three curves, and also to non-hyperelliptic curves of genus four and five.

In the early 1980s Atiyah and Bott described a new approach to studying the cohomology of the moduli space of stable bundles: the equivariant Morse theory of the Yang-Mills functional. There are many other interesting moduli spaces that fit into a similar framework, however the catch is that the total space is singular, and it is not obvious how to construct the Morse theory of the appropriate functional. In this talk I will describe how to get around these difficulties for the moduli space of stable pairs, for which we prove a Kirwan surjectivity theorem and give a Morse-theoretic interpretation of the change in cohomology due to a flip. This builds upon earlier work with George Daskalopoulos, Jonathan Weitsman and Richard Wentworth for rank 2 Higgs bundles.

The k-dilation of a map measures how much the map stretches k-dimensional volumes. The 1-dilation is the usual Lipschitz constant. We consider the problem of finding the smallest k-dilation among all degree 1 maps from one rectangle to another rectangle. (These are n-dimensional rectangles.) In general the linear map is far from optimal.

A petal diagram of a knot or link consists of a center point surrounded by n non-nested loops; it represents n strands of the link at various heights which all project onto the same center point. Though every knot has a petal diagram, extremely few links have petal diagrams. The goal of this project is to characterize and enumerate which links do. First, we tabulate all petal links of 2-5 components. We then show all petal links arise as circle graphs -- the intersection graph of a set of chords of a circle. This establishes lower bounds on the number of petal links and allows us to conjecture upper bounds. We then discuss using petal diagrams to model certain classes of knots and links.

We will discuss the results of several joint ongoing projects (with subsets of collaborators Pierre Albin, Hans Christianson, Colin Guillarmou, Jason Metcalfe, Laurent Thomann and Michael Taylor), which explore the existence, stability and dynamics of nonlinear bound states and quasimodes on manifolds of both positive and negative curvature with various symmetry properties.

In this talk we will discuss a proof of the path-connectedness of the space of positive scalar curvature metrics on the three-sphere. The proof uses the Ricci flow with surgery and the connected sum construction of Gromov and Lawson. The work of Perelman on Hamilton's Ricci flow is fundamental. If time permits we will also discuss an application to general relativity.

We establish an analog of the sphere theorem in the setting of contact geometry. Specifically, if a given three dimensional contact manifold admits a compatible Riemannian metric of positive 4/9-pinched curvature then the underlying contact structure is tight. The proof is a blend of topological and geometric techniques. A necessary technical result is a lower bound for the radius of a tight ball in a contact 3-manifold. We will also discuss geometric conditions in dimension three for a contact structure to be universally tight in the nonpositive curvature setting. This is joint work with Rafal Komendarczyk and Patrick Massot.

The Fundamental Theorem of Algebra first rigorously proved by Gauss states that each complex polynomial of degree n has precisely n complex roots. In recent years various extensions of this celebrated result have been considered. We shall discuss the extension of the FTA to harmonic polynomials of degree n. In particular, the 2003 theorem of D. Khavinson and G. Swiatek that shows that the harmonic polynomial z − p(z); deg p = n > 1 has at most 3n − 2 zeros as was conjectured in the early 90's by T. Sheil-Small and A. Wilmshurst. More recently L. Geyer was able to show that the result is sharp for all n.

In 2004 G. Neumann and D. Khavinson showed that the maximal number of zeros of rational harmonic functions z − r(z); deg r = n > 1 is 5n − 5. It turned out that this result conrfimed several consecutive conjectures made by astrophysicists S. Mao, A. Petters, H. Witt and, in its final form, the conjecture of S. H. Rhie that were dealing with the estimate of the maximal number of images of a star if the light from it is deflected by n co-planar masses. The first non-trivial case of one mass was already investigated by A. Einstein around 1912.

We shall also discuss the problem of gravitational lensing of a point source of light, e.g., a star, by an elliptic galaxy, more precisely the problem of the maximal number of images that one can observe. Under some more or less "natural" assumptions on the mass distribution within the galaxy one can prove that the number of visible images can never be more than four in some cases and six in the other. Interestingly, the former situation can actually occur and has been observed by astronomers. Still there are much more open questions than there are answers.

Yang-Mills theory on Asymptotically Locally Flat (ALF) 4-manifolds has been intensely studied by geometers and physicists since the late 70's. The most important examples are R^3 x S^1, the (multi-)Taub-NUT spaces, and the Euclidean Schwarzschild manifold. In this talk, I will outline the correspondence between spherically symmetric Yang-Mills instantons and planar Abelian vortices (following the ideas of Witten, Taubes, and Garcia-Prada), and then apply this instanton-vortex duality to spherically symmetric ALF 4-manifolds. Finally, I will show how this construction can be used to describe the low energy instanton moduli spaces of the Euclidean Schwarzschild manifold, and its generalizations. This is a joint work with Gonçalo Oliveira (IMPA).

One of the fundamental problems in 3-dimensional contact geometry is the construction of tight contact structures on closed manifolds. Two obvious ways to try to construct such structures are via Legendrian surgery and admissible transverse surgery. It was long thought that when performed on a closed tight contact manifold these operations would yield a tight contact manifold. We show that this is not true for admissible transverse surgery. Along the way we discuss the relations between these two surgery operations and construct some contact structures with interesting properties.

I will discuss a conjecture of Conner and Raymond that any aspherical manifold whose fundamental group has center possesses a circle action, and put it into the context of earlier work and conjectures of Borel and others.

A smooth knot in a contact 3-manifold is called Legendrian if it is always tangent to the contact planes. In this talk, I will discuss Legendrian knots in R^3 and the solid torus where knots can be conveniently viewed using their `front projections'. In particular, I will describe how certain decompositions of front projections known as `normal rulings' (introduced by Fuchs and Chekanov-Pushkar) can be used to give combinatorial descriptions for parts of the HOMFLY-PT and Kauffman polynomials. I will conclude by discussing recent generalizations to Legendrian solid torus links. It is usual to identify the `HOMFLY-PT skein module' of the solid torus with the ring of symmetric functions. In this context, normal rulings can be used to give a knot theory description of the standard scalar product determined by taking the Schur functions to form an orthonormal basis.

We study the Seiberg-Witten equations on a 4-manifold X with the homology of S1 x S3. The count of such solutions, called the Seiberg-Witten invariant, depends on choices of Riemannian metric and perturbation of the equations to make a smooth moduli space. A similar issue is resolved in dimension 3 by relating the jumps in the Seiberg-Witten invariant to the spectral flow of the Dirac operator. In dimension 4, we use Taubes' theory of periodic-end operators to relate the jumps in the Seiberg-Witten invariant to the index theory of the Dirac operator on the infinite cyclic cover of X. This circle of ideas has applications to classification of smooth manifolds homeomorphic to S1 x S3, to questions about positive scalar curvature, and to homology cobordisms. This is joint work with Tomasz Mrowka and Nikolai Saveliev.

After reviewing the proof of the Riemannian positive mass theorem in dimensions less than 8, I will briefly explain how to generalize the proof to slices of spacetime that are not time-symmetric. The basic idea is to replace minimal hypersurfaces by marginally outer-trapped hypersurfaces, and the main difficulty is to avoid using any minimization process. This is joint work with Eichmair, Huang, and Schoen.

We present recent results that show that for any portion of a compact manifold that admits a bi-Lipschitz parametrization by a Euclidean ball one may find a well-chosen set of eigenfunctions of the Laplacian that gives a bi-Lipschitz parametrization almost as good as the best possible. A similar, and in some respect stronger result holds by replacing eigenfunctions with heat kernels. These constructions are motivated by applications to the analysis of the geometry of data sets embedded in high-dimensional spaces, that are assumed to lie on, or close to, a low-dimensional manifold. This is joint work with P.W. Jones and R. Schul.

This is joint work with Mike Sullivan. We consider a Legendrian surface, $L$, in $R^5$ (or more generally in the 1-jet space of a surface). Such a Legendrian can be conveniently presented via its front projection which is a surface in $R^3$ that is immersed except for certain standard singularities. We associate a differential graded algebra (DGA) to $L$ by starting with a cellular decomposition of the base projection (to $R^2$) of $L$ that contains the projection of the singular set of $L$ in its 1-skeleton. A collection of generators is associated to each cell, and the differential is determined in a formulaic manner by the nature of the singular set above the boundary of a cell. Our motivation is to give a cellular computation of the Legendrian contact homology DGA of $L$. In this setting, the construction of Legendrian contact homology was carried out by Etnyre-Ekholm-Sullvan with the differential defined by counting holomorphic disks in $C^2$ with boundary on the Lagrangian projection of $L$. Equivalence of our DGA with LCH may be established using work of Ekholm on gradient flow trees. Time permitting, we will discuss constructions of augmentations of the cellular DGA from two parameter families of functions.

We will discuss recent work on Legendrian and transverse links in universally tight contact lens spaces. There is a relationship between such links and the Berge Conjecture. The surgery duals to Berge knots in the corresponding lens space are all bindings of a rational open book decomposition. We will discuss whether these Berge duals support the universally tight contact structure on that lens space.

Heegaard Floer homology, a kind of (3+1)-dimensional field theory, associates chain complexes to 3-manifolds and chain maps to 4-manifolds with boundary. These complexes and maps are defined by counting holomorphic curves, and are hard to compute. Bordered Floer homology extends Heegaard Floer theory one dimension lower, assigning algebras to surfaces and differential modules to 3-manifolds with (parameterized) boundary. After introducing the bordered Floer framework, we will illustrate its construction in a toy case where it is explicit and combinatorial: planar grid diagrams. This is joint work with Peter Ozsvath and Dylan Thurston.

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.

In this talk, we show that for any closed 4-dimensional simply-connected Riemannian manifold $M$ with Ricci curvature $|Ric| \leq 3$, volume $vol(M)>v>0$ and diameter $diam(M) \leq D$, the length of a shortest closed geodesic on $M$ is bounded by a function $F(v,D)$ . The proof of this result is based on the diffeomorphism finiteness theorem for the manifolds satisfying above conditions proved by J. Cheeger and A. Naber. This talk is based on the joint work with Zhifei Zhu.