Symplectic geometry  celebrating the work of Simon Donaldson
Monday 14th August 2017 to Friday 18th August 2017
09:00 to 09:50  Registration  
09:50 to 10:00  Welcome from David Abrahams (INI Director)  
10:00 to 11:00 
Paul Seidel (Massachusetts Institute of Technology) Fields of definition of Fukaya categories of CalabiYau hypersurfaces
Fukaya categories are algebraic structures (in fact, families of such structures) associated to symplectic manifolds. Kontsevich has emphasized the role of these structures as an intrinsic way of thinking of the "mirror dual" algebraic geometry. If that viewpoint is to be fruitful, Fukaya categories of specific classes of manifolds should exhibit deeper structural features, which reflect aspects of the "mirror geometry". I will explain what one can expect in the case of CalabiYau hypersurfaces in a Lefschetz pencil. 
INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
Kenji Fukaya (Stony Brook University) Atiyah Floer conjecture
Coauthor: Aliakbar Daemi (Simons Center for Geometry and Physics) Atiyah Floer conjecture relates the instanton Floer homology (the Floer theory of 3 manifolds based on ASD instanton (Donaldson theory) with Lagrangian Floer theory. I am going to report the status of our project to prove this conjecture. 
INI 1  
12:30 to 13:00  Free time  
13:00 to 14:00  Lunch @ Churchill College  
14:00 to 14:30  Free time  
14:30 to 15:30 
Eleny Ionel (Stanford University) The GopakumarVafa conjecture for symplectic manifolds
Coauthors: Thomas H Parker (MSU); Penka Georgieva (IMJPRG). In the late nineties string theorists Gopakumar and Vafa conjectured that the GromovWitten invariants of CalabiYau 3folds have a hidden structure: they are obtained, by a specific transform, from a set of more fundamental "BPS numbers", which are integers. In joint work with Tom Parker, we proved this conjecture by decomposing the GW invariants into contributions of ``clusters" of curves, deforming the almost complex structure and reducing it to a local calculation. This talk presents some of the background and geometric ingredients of our proof, as well as recent progress, joint with Penka Georgieva, towards proving that a similar structure theorem holds for the real GW invariants of CalabiYau 3folds with an antisymplectic involution. 
INI 1  
15:30 to 16:00  Afternoon Tea  
16:00 to 17:00 
Zoltan Szabo (Princeton University) Knot Floer homology and algebraic methods
The aim of this talk is to present some recent advances in knot Floer homology.

INI 1  
17:00 to 18:00  Welcome Wine Reception at INI 
10:00 to 11:00 
Denis Auroux (University of California, Berkeley) Speculations about homological mirror symmetry for affine hypersurfaces
The wrapped Fukaya category of an algebraic hypersurface H in
(C*)^n is conjecturally related via homological mirror symmetry to the
derived category of singularities of a toric CalabiYau manifold
whose moment polytope is determined by the tropicalization of H. In
this talk we will first explain the statement, and then discuss a conjectural enhancement to a "relative" version of homological mirror symmetry for the pair ((C*)^n, H). We will illustrate these ideas on simple examples such as pairs of pants.

INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
Mikhail Gromov (IHES) 100 Problems around Scalar Curvature 
INI 1  
12:30 to 13:00  Free time  
13:00 to 14:00  Lunch @ Churchill College  
14:00 to 14:30  Free time  
14:30 to 15:30 
Peter Ozsvath (Princeton University) Computing knot Floer homology
In this continuation of Zoltan Szabo's talk, I will
sketch the identification between knot Floer homology and an algebraically
defined knot invariant.

INI 1  
15:30 to 16:00  Afternoon Tea  
16:00 to 17:00 
Mina Aganagic (University of California, Berkeley) Mathematical applications of little string theory
I will describe applications of a six dimensional string
theory to the Geometric Langlands Program and to the Knot Categorification
Program. This is based on joint works with Edward Frenkel and Andrei Okounkov.

INI 1 
09:00 to 10:00 
Nigel Hitchin (University of Oxford) Remarks on Nahm's equations
We consider Nahm's equations and associated ones from the point of view of the Bfield action on the moduli space of generalized holomorphic bundles on
. Particular attention is paid to the fixed points of this action and the associated spectral curves.

INI 1  
10:00 to 10:30  Morning Coffee  
10:30 to 11:30 
Michael Atiyah (University of Edinburgh) From Euler to Poincare
I will describe how the 11/8 conjectures of Donaldson theory are related to the Riemann Hypothesis 
INI 1  
11:30 to 12:00  Free time  
12:00 to 13:00 
Tomasz Mrowka (Massachusetts Institute of Technology) An approach to the four colour theorem via Donaldson Floer theory
This talk will
outline an approach to the four colour theorem using a variant of
DonaldsonFloer theory. To each trivalent graph embedded in 3space, we associate an instanton homology group, which is a finitedimensional Z/2 vector space. Versions of this instanton homology can be constructed based on either SO(3) or SU(3) representations of the fundamental group of the graph complement. For the SO(3) instanton homology there is a nonvanishing theorem, proved using techniques from 3dimensional topology: if the graph is bridgeless, its instanton homology is nonzero. It is not unreasonable to conjecture that, if the graph lies in the plane, the Z/2 dimension of the SO(3) homology is also equal to the number of Tait colourings which would imply the four colour theorem. This is joint work with Peter Kronheimer. 
INI 1  
13:00 to 14:00  Buffet Lunch at INI  
14:00 to 16:30  Discussion; tributes to Sir Simon Donaldson  
17:00 to 18:00 
CONCERT: Music for Simon  Old Library, Pembroke College
Oscar GarciaPrada, countertenor
David Mason, piano Music by Byrd, Caccini, Dowland, Granados, Handel, Lambert, Marin, Monteverdi, Purcell, Quilter and Vaughan Williams 

18:15 to 22:00  Predinner Drinks & Formal Dinner at Pembroke College (by invitation only) 
10:00 to 11:00 
Peter Kronheimer (Harvard University) An SU(3) variant of instanton homology for webs
Let K be a trivalent graph embedded in 3space (a web). In an earlier talk at this conference, Tom Mrowka outlined how one may define an instanton homology J(K) using gauge theory with structure group SO(3). This invariant is a vector space over Z/2 and has a conjectured relationship to Tait colorings of K when K is planar. In this talk, we will explore a variant of this construction, replacing SO(3) with SU(3). With this modified version, the dimension of the instanton homology is indeed equal to the number of Tait colorings when K is planar. (Without the assumption of planarity, the dimension is sometimes larger, sometimes smaller.) There is a further variant, with rational coefficients, whose dimension is equal to the number of Tait colorings always. Coauthors: Tom Mrowka (MIT) 
INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
Emmy Murphy (Northwestern University) Graph Legendrians and SL2 local systems
We will discuss some connections between framed local systems on punctured surfaces and pseudoholomorphic curves in 5 dimensional contact manifolds. We will also discuss connections with planar graph colorings, representations of dg algebras, Lagrangian cobordisms, loose Legendrians, and maybe some other things. This talk is based on work in progress with Roger Casals. 
INI 1  
12:30 to 13:00  Free time  
13:00 to 14:00  Lunch @ Churchill College  
14:00 to 15:00 
Song Sun (Stony Brook University) Singularities of HermitianYangMills connections and the HarderNarasimhanSeshadri filtration
CoAuthor: Xuemiao Chen (Stony Brook) The DonaldsonUhlenbeckYau theorem relates the existence of HermitianYangMills connection over a compact Kahler manifold with algebraic stability of a holomorphic vector bundle. This has been extended by BandoSiu to the case of reflexive sheaves, and the corresponding connection may have singularities. We study tangent cones around such a singularity, which is defined in the usual geometric analytic way, and relate it to the HarderNarasimhanSeshadri filtration of a suitably defined torsion free sheaf on the projective space, which is a purely algebrogeometric object. 
INI 1  
15:00 to 15:30  Afternoon Tea  
15:30 to 16:30 
Dusa McDuff (Barnard College) Constructing the virtual fundamental cycle
Consider a space
$X$, such as a compact space of $J$holomorphic stable maps with closed domain,
that is the zero set of a Fredholm operator.
This note explains how to define the virtual fundamental class of $X$ starting
from a finite dimensional reduction in the form of a Kuranishi atlas, by representing $X$ as the zero set of a section
of a (topological) orbibundle that is constructed from the atlas.
Throughout we assume that the
atlas satisfies
Pardon's topological version of the index condition that can be obtained from a
standard, rather than a smooth, gluing theorem.

INI 1  
16:30 to 17:00  Free time  
17:00 to 18:00 
John Pardon (Princeton University) Existence of Lefschetz fibrations on Stein/Weinstein domains
I will describe joint work with E. Giroux in which we
show that every Weinstein domain admits a Lefschetz fibration over the disk
(that is, a singular fibration with Weinstein fibers and Morse
singularities). We also prove an
analogous result for Stein domains in the complex analytic setting. The main tool used to prove these results is
Donaldson's quantitative transversality.

INI 1 
10:00 to 11:00 
Katrin Wehrheim (University of California, Berkeley) A polyfold lab report
Coauthors: Ben Filippenko (UC Berkeley), Wolfgang Schmaltz (UC Berkeley), Zhengyi Zhou (UC Berkeley), Joel Fish (UMass Boston), Peter Albers (Uni Heidelberg) I will survey various results on applications and extensions of HoferWysockiZehnder's polyfold theory:  fiber products of polyfold Fredholm sections  equivariant transversality  existence and obstructions  equivariant fundamental class  coherent perturbations  GromovWitten axioms  two polyfold proofs of the Arnold conjecture These are joint with or due to Peter Albers, Ben Filippenko, Joel Fish, Wolfgang Schmaltz, and Zhengyi Zhou. Related Links

INI 1  
11:00 to 11:30  Morning Coffee  
11:30 to 12:30 
Frances Kirwan (University of Oxford) Graded linearisations for linear algebraic group actions
Coauthors: Gergely Berczi (ETH Zurich), Brent Doran (ETH Zurich) In algebraic geometry it is often useful to be able to construct quotients of algebraic varieties by linear algebraic group actions; in particular moduli spaces (or stacks) can be constructed in this way. When the linear algebraic group is reductive, and we have a suitable linearisation for its action on a projective variety, we can use Mumford's geometric invariant theory (GIT) to construct and study such quotient varieties. The aim of this talk is to describe how Mumford's GIT can be extended effectively to actions of linear algebraic groups which are not necessarily reductive, with the extra data of a graded linearisation for the action. Any linearisation in the traditional sense for a reductive group action can be regarded as a graded linearisation in a natural way. The classical examples of moduli spaces which can be constructed using Mumford's GIT are the moduli spaces of stable curves and of (semi)stable bundles over a fixed curve. This more general construction can be used to construct moduli spaces of unstable objects, such as unstable curves (with suitable fixed discrete invariants) or unstable bundles (with fixed HarderNarasimhan type). 
INI 1  
12:30 to 13:00  Free time  
13:00 to 14:00  Lunch @ Churchill College  
14:00 to 14:30  Free time  
14:30 to 15:30 
Thomas Walpuski (Massachusetts Institute of Technology) On the ADHM Seiberg–Witten equations
Coauthors: Andriy Haydys (AlbertLudwigsUniversität Freiburg), Aleksander Doan (Stony Brook University) The ADHM Seiberg–Witten equations are a class of generalized Seiberg–Witten equations associated with the hyperkähler quotient appearing in the Atiyah, Drinfeld, Hitchin, and Manin's construction of the framed moduli space of ASD instantons on R4. Heuristically, degenerations of solutions to the ADHM Seiberg–Wiitten equation are linked with Fueter sections of bundles of ASD instantons moduli spaces (through the Haydys correspondence). In joint work with Andriy Haydys, we studied when and how this heuristic can be made rigorous (following work of Taubes on flat PSL(2,C)–connections.) This work immediately leads to a number of questions. In particular, whether a given Fueter section can be realized as a limit and whether singular Fueter sections might appear. In joint work with Aleksander Doan (partially in progress), we answer the first question and the second (assuming a conjectural improvement of the work with Haydys). Time permitting, I will briefly discuss which role we expect the ADHM Seiberg–Witten equation to play in gauge theory on G2–manifolds. 
INI 1  
15:30 to 16:00  Afternoon Tea  
16:00 to 17:00 
Ivan Smith (University of Cambridge) Symplectic topology of K3 surfaces via mirror symmetry
CoAuthor: Nick Sheridan (Princeton & Cambridge) We prove that there are symplectic K3 surfaces for which the Torelli group, of symplectic mapping classes acting trivially on cohomology, is infinitely generated. The proof combines homological mirror symmetry for GreenePlesser mirror pairs with results of Bayer and Bridgeland on autoequivalence groups of derived categories of K3 surfaces. Related ideas in mirror symmetry yield a new symplectic viewpoint on Kuznetsov's K3category of a cubic fourfold. 
INI 1 