The max-flow min-cut theorem, traditionally applied to problems of maximizing the flow of commodities along a network (e.g. oils in pipelines) and minimizing the costs of disrupting networks (e.g. damn construction), has found recent applications in information processing. In this talk, I will recast and generalize max-flow min-cut as a form of twisted Poincare Duality for spacetimes and more singular "directed spaces." Flows correspond to the top-dimensional homology, taking local coefficients and values in a sheaves of semigroups, on directed spaces. Cuts correspond to certain distinguished sections of a dualizing sheaf. Thus max-flow min-cut dualities extend to higher dimensional analogues of flows, higher dimensional analogues of directed graphs (e.g. dynamical systems), and constraints more complicated than upper bounds. I will describe the formal result, including a construction of directed sheaf homology, and some real-world applications.

An oriented hypersurface in a hyperkaehler 4-manifold naturally inherits a coclosed coframing. Bryant showed that, in the real analytic case, any oriented 3-manifold with a coclosed coframing can always be locally “thickened” to a hyperkaehler 4-manifold, in an essentially unique way. This raises the natural question: when can these 3-manifolds with this structure arise as the boundary of a hyperkaehler 4-manifold? In particular, starting from a compact hyperkaehler 4-manifold with boundary, which deformations of the boundary structure can be extended to a hyperkaehler deformation of the interior? I will discuss recent progress on this problem, which is joint work with Joel Fine and Michael Singer.

This is joint work with Hyam Rubinstein. Matveev and Piergallini independently show that the set of triangulations of a three-manifold is connected under 2-3 and 3-2 Pachner moves, excepting triangulations with only one tetrahedron. We give a more direct proof of their result which (in work in progress) allows us to extend the result to triangulations of four-manifolds.

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.

For the past 25 years, a key player in contact topology has been the Floer-theoretic invariant called Legendrian contact homology. I'll discuss a package of new invariants for Legendrian knots and links that builds on Legendrian contact homology and is derived from rational symplectic field theory. This includes a Poisson bracket on Legendrian contact homology and a symplectic structure on augmentation varieties. Time permitting, I'll also describe an unexpected connection to cluster theory for a family of Legendrian links associated to positive braids. Parts of this are joint work in progress with Roger Casals, Honghao Gao, Linhui Shen, and Daping Weng.

The lecture includes the main part (to be chosen on the spot) and a few mini-talks with just definitions, motivations, some ideas of proofs, and open problems. I will discuss some (hardly all) of the following topics. 1. “A survival guide for feeble fish”. How fish can get from A to B in turbulent waters which maybe much fasted than the locomotive speed of the fish provided that there is no large-scale drift of the water flow. This is related to homogenization of G-equation which is believed to govern many combustion processes. Based on a joint work with S. Ivanov and A. Novikov. 2. One of the greatest achievements in Dynamics in the XX century is the KAM Theory. It says that a small perturbation of a non-degenerate completely integrable system still has an overwhelming measure of invariant tori with quasi-periodic dynamics. What happens outside KAM tori has been remaining a great mystery. The main quantitate invariants so far are entropies. It is easy, by modern standards, to show that topological entropy can be positive. It lives, however, on a zero measure set. We are now able to show that metric entropy can become infinite too, under arbitrarily small C^{infty} perturbations, answering an old-standing problem of Kolmogorov.. Furthermore, a slightly modified construction resolves another long–standing problem of the existence of entropy non-expansive systems. In these modified examples positive positive metric entropy is generated in arbitrarily small tubular neighborhood of one trajectory. Join with S. Ivanov and Dong. Chen. 3. “What is inside?” Imagine a body with some intrinsic structure, which, as usual, can be thought of as a metric. One knows distances between boundary points (say, by sending waves and measuring how long it takes them to reach specific points on the boundary). One may think of medical imaging or geophysics. This topic is related to minimal fillings and surfaces in normed spaces. Joint work with S. Ivanov. 4. How well can we approximate an (unbounded) space by a metric graph whose parameters (degree of vertices, length of edges, density of vertices etc) are uniformly bounded? We want to control the ADDITIVE error. Some answers (the most difficult one is for $\R^2$) are given using dynamics and Fourier series. Joint with Ivanov. 5.How can one discretize elliptic PDEs without using finite elements, triangulations and such? On manifolds and even reasonably “nice” mm–spaces. A notion of \rho-Laplacian and its stability. Joint with S. Ivanov and Kurylev. 6. A solution of Busemann’s problem on minimality of surface area in normed spaces for 2-D surfaces (including a new formula for the area of a convex polygon). Joint with S. Ivanov.

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 contact topology, invariants of Legendrian submanifolds in 1-jet spaces have been obtained through a variety of techniques. I will discuss how I am enriching one Morse-theoretic invariant, Generating Family Cohomology, to an A-infinity algebra by constructing product maps. The construction uses moduli spaces of Morse flow trees: spaces of intersecting gradient trajectories of functions whose critical points encode Reeb chords of the Legendrian submanifold. I will focus my talk on the construction of a 2-to-1 product and discuss how it lays the foundation for the A-infinity algebra.

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.

Suppose that (d_1, ..., d_n) is an n-tuple of integers satisfying sum_j d_j = 0. Eliashberg posed the problem of computing the class of the locus in the moduli space of n-pointed, genus g curves [C;x_1,...,x_n] where sum d_j x_j = 0 in the jacobian of C. In this talk I will give the solution and sketch the proof, which uses known facts about the structure of mapping class groups.

Legendrian torus knots were classified by Etnyre and Honda. In particular, for any smooth torus knot we know the mountain range that lists all of its Legendrian representatives. I will discuss the classification of Legendrian torus links. In this classification, a natural realization question arises: what n-tuples of points on the mountain range of a (p,q)-torus knot can occur in a Legendrian (np, nq)-torus link? Another part of the classification is to understand how many different ways an n-tuple on the mountain range can be realized as an ordered link. In particular, for Legendrian representatives of an (np,nq)-torus link is it possible to do invariant preserving permutations of the components? This is joint work with Jennifer Dalton and John Etnyre.

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.

Developments in high energy physics, specifically the theory of mirror symmetry, have led to deep conjectures regarding the geometry of a special class of complex manifolds called Calabi-Yau manifolds. One of the most intriguing of these conjectures states that various geometric invariants, some classical and some more homological in nature, agree for any two Calabi-Yau manifolds which are "birationally equivalent" to one another. I will discuss how new methods in equivariant geometry have shed light on this conjecture over the past few years, leading to the first substantial progress for compact Calabi-Yau manifolds of dimension greater than three. The key technique is the new theory of "Theta-stratifications," which allows one to bring ideas from equivariant Morse theory into the setting of algebraic geometry.

Jones' planar algebras are a useful tool for studying and constructing fusion categories, which generalize the representation categories of (quantum) groups. Thus we think of fusion categories and planar algebras as encoding quantum symmetries. I will give an overview of Jones' planar algebras with attention to specific examples. Along the way, we will discuss several evaluation algorithms which give quantum invariants, including the Jones polynomial.

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.

In this talk I will review the construction of the Lie algebra associated to the mapping class group of a (possibly decorated) surface and explain how this generalizes the Lie algebra associated to the pure braid group. I will also explain the analogue of the KZ-equation in the mapping class group case. In the second talk I will discuss filtrations of this Lie algebra associated to curve systems on the surface and their relation to handlebody groups.

I will give a brief introduction to Hwang and Mok's program to study the geometry of uniruled projective manifolds via their varieties of minimal rational tangents (VMRT). The working seminar is motivated by the idea that there may be an analogous program to study variations of Hodge structure via the characteristic varieties introduced by Sheng and Zuo. As evidence for the proposed program's viability I will show how characteristic varieties may be used to characterize the families of Calabi-Yau manifolds that solve Gross's geometric realization problem for Hermitian symmetric domains.

I will discuss the connection between Sasaki-Einstein metrics and algebraic geometry in the guise of K-stability. In particular, I will give a differential geometric perspective on K-stability which arises from the Sasakian view point, and use K-stability to find infinitely many non-isometric Sasaki-Einstein metrics on the 5-sphere. This is joint work with G. Szekelyhidi.

A bihermitian structure is a Riemannian metric compatible with two distinct orthogonal complex structures. In the mathematical literature this notion appeared in 90's in the study of the curvature of conformal 4-manifolds. However, bihermitian metrics were already studied in the physics literature in the 80's, as a building bloc of what Gates, Hull and Rocek call `the target space for a (2,2) super-symmetric sigma model'. There has been a great deal of interest in bihermitian geometry more recently, motivated by its link with the notion of generalized Kaehler geometry, introduced by Gualtieri and Hitchin. In this talk I will explain some main features of 4-dimensional bihermitian manifolds, as developed in the 90's, and report on recent classification results that I obtained with M. Gualtieri and G. Dloussky.

In a Calabi-Yau manifold, mean curvature flow--the downward gradient for the area functional--preserves the Lagrangian condition. Thus Lagrangian mean curvature flow suggests a way to find minimal Lagrangian submanifolds of a CY manifold, provided the flow lasts for all time. However, finite-time singularities are expected along the flow; in fact, ill-behaved singularities are generic in some sense. In this talk we will discuss two main results: one, that type I (mild) finite-time singularities can be predicted by looking the cohomology of the initial Lagrangian submanifold, and two, that type II (ill-behaved) singularities can be modeled as unions of special Lagrangian cones. We will also discuss what these results say about using mean curvature flow to understand the topology of Lagrangian submanifolds.

We shall review the Penrose process for extracting mass and angular momentum from the Kerr black hole solution of the Einstein equations. We will show that Christodoulou's bound on the maximal energy gain by the classical Penrose process can be realized by choosing suitable wave packet initial data for the scalar wave equation in Kerr geometry, thereby putting super-radiance on a rigorous mathematical footing. This is joint work with Felix Finster, Joel Smoller and Shing-Tung Yau.

A number of classical integrable systems, for example harmonic maps of the plane to a compact Lie group or symmetric space, can be transformed into a \{\\em linear\} flow on a complex torus. This torus is the Jacobian of an algebraic curve, called the spectral curve. Recently several authors have produced an analogous one-dimensional analytic variety for conformal 2-tori in $S4$ (which are not in general integrable!) using the geometry of the quaternions. It is hoped that this new development will lead to progress on the Willmore conjecture for reasons that I will explain. However this variety is at present quite mysterious; very little is known about it. I will discuss the simplest case, namely constant mean curvature tori in $\mathbb{R}3$. I will demonstrate that in this case the variety is not at all mysterious and interpret its points geometrically in terms of transformations generalising the classical transform of Darboux. This is joint work with Katrin Leschke and Franz Pedit.

We study certain linear representations of the knot group that induce augmentations of knot contact homology. This perspective on augmentations enhances our understanding of the relationship between the augmentation polynomial and the $A$-polynomial of the knot. For example, we show that for 2-bridge knots the two polynomials agree. We also show this is never the case for (non-2-bridge) torus knots, nor for a family of 3-bridge pretzel knots. Moreover, we show that these representations provide a lower bound on the meridional rank of the knot. As a consequence, our results give another proof that torus knots have meridional rank and bridge number that are equal.

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.

We introduce periodic knots and discuss two classical results concerning their geometry, namely Murasugi's condition on the Alexander polynomial and Edmonds' condition on the genus. We then show how spectral sequences in Heegaard Floer link homology can be used to give a generalization of these two results in the case of doubly-periodic knots.