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.

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.

In this talk, we plan to explain some existence results for complete Ricci-flat \kahler metrics on crepant resolutions of singularities. The method allows us to provide a wider class of examples of complete Ricci-flat Kahler metrics with richer topoplogy at infinity.

A 4-manifold is said to have positive biorthogonal curvature if the average of sectional curvatures of any pair of orthogonal planes is positive. In this talk, I will describe a construction of metrics with positive biorthogonal curvature on the product of spheres, and then combine it with recent surgery stability results of Hoelzel to classify (up to homeomorphism) the closed simply-connected 4-manifolds that admit a metric with positive biorthogonal curvature.

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.

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.

The Uniformization Theorem implies that any compact Riemann surface has a constant curvature metric. Kahler-Einstein (KE) metrics are a natural generalization of such metrics, and the search for them has a long and rich history, going back to Schouten, Kahler (30's), Calabi (50's), Aubin, Yau (70's) and Tian (90's), among others. Yet, despite much progress, a complete picture is available only in complex dimension 2. In contrast to such smooth KE metrics, in the mid 90's Tian conjectured the existence of KE metrics with conical singularities along a divisor (i.e., for which the manifold is `bent' at some angle along a complex hypersurface), motivated by applications to algebraic geometry and Calabi-Yau manifolds. More recently, Donaldson suggested a program for constructing smooth KE metrics of positive curvature out of such singular ones, and put forward several influential conjectures. In this talk I will try to give an introduction to Kahler-Einstein geometry and briefly describe some recent work mostly joint with R. Mazzeo that resolves some of these conjectures. One key ingredient is a new C^{2,\alpha} a priori estimate and continuity method for the complex Monge-Ampere equation. It follows that many algebraic varieties that may not admit smooth KE metrics (e.g., Fano or minimal varieties) nevertheless admit KE metrics bent along a simple normal crossing divisor.

To a Legendrian knot, one can associate an $A_{\infty}$ category, the augmentation category. An exact Lagrangian cobordism between two Legendrian knots gives a functor of the augmentation categories of the two knots. We study the functor and establish a long exact sequence relating the corresponding cohomology of morphisms of the two ends. As applications, we prove that the functor between augmentation categories is injective on the level of equivalence classes of objects and find new obstructions to the existence of exact Lagrangian cobordisms in terms of linearized contact homology and ruling polynomials.

A Calabi-Yau orbifold is locally modeled on C^n/G with G a finite subgroup of SU(n). If the singularity is isolated, then the crepant resolution (if it exists) is an ALE manifold, for which index-type results are well known. However, most of the time the singularity is not isolated, and for the corresponding crepant resolution there is no index theorem so far. In this talk, I present the first step towards obtaining such a result: I will introduce the class of iterated cone-edge singular manifolds and the corresponding quasi-asymptotically conical spaces (of which orbifolds and their resolutions of singularities are examples), and build-up the general set-up for studying Fredholm properties of geometrical elliptic operators on these spaces. This is joint work with Rafe Mazzeo.

For each K¨ahler class on a compact K¨ahler manifold there is a lower bound of the Calabi functional, which we call the ``potential energy''. Fixing the volume and letting the K¨ahler classes vary, the energy defines a functional which may be studied in it?s own right. Any critical point of the energy functional is then a K¨ahler class whose extremal K¨ahler metrics (if any) are so-called strongly extremal metrics. We take the well-studied case of Hirzebruch surfaces and generalize it in two different directions; along the dimension of the base and along the genus of the base. In the latter situation we are able to give a very concrete description of the corresponding dynamical system (as defined first by S. Simanca and L. Stelling). The talk is based on work in progress with Santiago Simanca.

Surgery-theoretic classifications fail for 4-manifolds because many 4-manifolds have second homology classes not representable by smoothly embedded spheres. Knot traces are the prototypical example of 4-manifolds with such classes. I’ll give a flexible technique for constructing pairs of distinct knots with diffeomorphic traces. Using this construction, I will show that there are knot traces where the minimal genus smooth surface generating second homology is not the obvious one, resolving question 1.41 on the Kirby problem list. I will also use this construction to show that Conway knot does not bound a smooth disk in the four ball, which completes the classification of slice knots under 13 crossings and gives the first example of a non-slice knot which is both topologically slice and a positive mutant of a slice knot.

Using Heegaard Floer homology, we construct a numerical invariant for any smooth, oriented 4-manifold X with the homology of S^1 x S^3. Specifically, we show that for any smoothly embedded 3-manifold Y representing a generator of H_3(X), a suitable version of the Heegaard Floer d invariant of Y, defined using twisted coefficients, is a diffeomorphism invariant of X. We show how this invariant can be used to obstruct embeddings of certain types of 3-manifolds, including those obtained as a connected sum of a rational homology 3-sphere and any number of copies of S^1 x S^2. We also give similar obstructions to embeddings in certain open 4-manifolds, including exotic R^4s. This is joint work with Danny Ruberman.

A Zoll metric is a metric whose geodesics are all circles of equal length. In this talk, we will first review the definition of the twistor correspondence of LeBrun and Mason for Zoll metrics on the sphere $S^{2}$. It associates to a Zoll metric on $S^{2}$ a family of holomorphic disks in $CP_{2}$ with boundary in a totally real submanifold $P\subset CP_{2}$. For a fixed $P\subset CP_{2}$, we will indicate how one can show that such a family is unique whenever it exists, implying that the twistor correspondence of LeBrun and Mason is in some sense injective. One of the key ingredients in the proof will be the blow-up and blow-down constructions in the sense of Melrose.

Given a stationary Yang-Mills connection A, we are interested in studying its singular structure. In this talk we introduce a quantitative way to stratify the singular sets. Our main results include a Minkowski Volume estimate and the rectifiability of this quantitative stratification, which leads to the rectifiability of the classical stratifications S^k(A) for all integer k. To be precise, we first recall certain background preliminaries needed for this talk. After giving the statements of the main results, I will briefly describe the machinary used in the proof, and explain the new points and the major difficulty that we have faced. The main results in the talk are based on a work by myself last year. If time allows I will further discuss some open problems regarding global gauge in this field, and recent progress in those directions made jointly with Aaron Naber.

In this talk, I will discuss the geometry of finite volume complex hyperbolic surfaces and their compactifications. Finally, applications at the common edge between Riemannian and complex algebraic geometry are given.

A well-known theorem of Lickorish and Wallace states that any closed orientable 3-manifold can be obtained by surgery on a link in the 3-sphere. For a given 3-manifold one can ask how "simple" a link can be used to obtain it, e.g., whether a manifold satisfying certain obvious necessary conditions on its fundamental group always arises by surgery on a knot. This question turns out to be rather subtle, and progress has been limited, but in general the answer is known to be "no." Here I’ll summarize some recent results including joint work with Matt Hedden, Min Hoon Kim, and Kyungbae Park that give the first examples of 3-manifolds with the homology of S^1 x S^2 and having fundamental group of weight 1 that do not arise by surgery on a knot in the 3-sphere.

The simplest model of vortex filament motion in an ideal fluid leads to an integrable nonlinear evolution equation, known as the localized induction approximation or the vortex filament flow, closely related to the cubic focusing nonlinear Schroedinger equation. For closed finite-gap solutions of this flow, certain geometric and topological features of the evolving curves appear to be correlated with the algebro-geometric data used to construct them. In this talk, I will briefly discuss this construction, and some low-genus examples (in particular, Kirchhoff elastic rod centerlines) where this correlation is well understood. I will mainly discuss recent joint work with Annalisa Calini, describing how to generate a family of closed finite-gap solutions of increasingly higher genus via a sequence of deformations of the multiply covered circle. We prove that every step in this sequence corresponds to constructing a cable on previous filament; moreover, the cable's knot type (which is invariant under the evolution) can be read off from the deformation sequence.

We consider the Dirichlet problem for curve shortening flow on surfaces of constant curvature and show long-time existence of the flow when the initial curve is embedded in a convex region. Furthermore, the limit curve of the flow is a geodesic. The proof relies on an adaptation of Huisken's distance comparison estimate for planar curves, a maximum principle of Angenent, and a blow-up analysis of singularities.

Motivated by the need to formulate and solve Plateau type problems in higher dimensions and codimensions, normal and integral currents were introduced by Federer and Fleming around 1960; their work was, to some extent a generalization of earlier work by DeGeorgi in codimension one as well as the work of Reifenberg in arbitrary codimensions. Since then a great deal of work has been done on the Plateau problem and related variational problems. This work has always been based on geometric measure theory. The so-called closure theorem for integral currents and the boundary rectifiability theorem are essential ingredients in all of this work; these theorems depend on the Besicovitch-Federer structure theory for set of finite Hausdorff measure in Euclidean space. More recently, in the work of Ambrosio and others, a useful theory of Sobolev spaces for functions with values in an arbitrary metric space has been developed and applied to a variety of problems. Ambrosio and Kirchheim have developed a theory of currents in metric spaces in which they are able to give geometrically appealing proofs of generalizations of the aforementioned closure and rectifiability theorems using some ideas of Almgren and DeGiorgi and avoiding the use of the Besicovitch-Federer structure theory. In this talk I will describe how they do it.

In 1965, T. J. Willmore conjectured that the integral of the square of the mean curvature of any torus immersed in Euclidean three-space is at least 2\pi^2. In this talk we will describe a solution to the Willmore conjecture based on the min-max theory of minimal surfaces. This is joint work with Andre Neves (Imperial College, UK).

I will introduce a product construction in contact topology for Legendrian submanifolds, focusing on products of Legendrian knots. I will then discuss ongoing work to compute a product formula for the Legendrian contact homology invariant and some of the geometric and analytic difficulties involved. In particular, I will describe Ekholm's Morse-theoretic approach to counting holomorphic curves and how to apply it to compute invariants of products of Legendrian knots.

The first cohomology of a hyperbolic 3-manifold has two natural norms: the Thurston norm, which measure topological complexity of surfaces representing the dual homology class, and the harmonic norm, which is just the L^2 norm on the corresponding space of harmonic 1-forms. Bergeron-Sengun-Venkatesh recently showed that these two norms are closely related, at least when the injectivity radius is bounded below. Their work was motivated by the connection of the harmonic norm to the Ray-Singer analytic torsion and issues of torsion growth. After carefully introducing both norms and the connection to torsion growth, I will discuss new results that refine and clarify the precise relationship between them; one tool here will be a third norm based on least-area surfaces. This is joint work with Jeff Brock.

The problem of when and how one symplectic manifold can be symplectically embedded into another is notoriously subtle, even when the spaces in question are relatively simple. Gromov's non-squeezing theorem and McDuff's Fibonacci staircase are examples of this phenomenon. One can interpret these results as realizing the principle that "variations of quantitative symplectic parameters alter the topology of symplectic embedding spaces." In this talk, we explain recent work (joint with Mihai Munteanu) showing that certain n-torus families of symplectic embeddings between 2n-d ellipsoids become homologically essential if certain quantitative invariants are close enough. We will also discuss work in progress in which we use similar methods to study Lagrangian embeddings.

We'll review the quantum sl_n knot invariants and their description via MOY calculus, as well as work of Cautis-Kamnitzer-Licata-Morrison showing how these invariants arise naturally from a duality between sl_n and sl_m called skew Howe duality. We'll then discuss work (joint with Aaron Lauda and Hoel Queffelec) categorifying this result to give elementary constructions of Khovanov and Khovanov-Rozansky knot homology. Time permitting, we'll also discuss work (joint with Daniel Tubbenhauer) relating symmetric Howe duality to the colored Jones polynomial, and giving a new diagrammatic method for computing this invariant.

I shall discuss a variational problem arising from the study of quasilocal energy in general relativity. Given a spacelike 2-surface in spacetime, the Euler-Lagrange equation for the quasilocal energy is the isometric embedding equation into the Minkowski space coupled with a fourth order nonlinear elliptic equation for the time function. This equation is important in that it gives the ground configuration in GR. In joint work with PoNing Chen and Shing-Tung Yau, we solved this system in the cases of large and small sphere limits.