·Friendly Inn, 0.7 miles from CMSA
·Best Western Hotel Tria, 1.3 miles from CMSA
·Mary Prentiss Inn, 0.7 miles from CMSA
·Irving House, 0.8 miles from CMSA
·Porter Square Hotel, 1.4 miles from CMSA
·Hotel Veritas Inn, 0.7 miles from CMSA
·Harvard Square Hotel, 0.5 miles from CMSA (Call and ask for the Harvard rate at (617) 8645200)
·Sheraton Commander, next door to CMSA (Call and ask for the Harvard rate at (617) 5474800)
·The Charles Hotel, 0.5 miles from CMSA (Call and ask for the Harvard rate at (617) 8641200)
]]>The topic of the talks are as follows:
Date  Title  Abstract 
332017  Modularity of DT invariants on smooth K3 fibrations I  Motivated by Sduality modularity conjectures in string theory, we study the DonaldsonThomas invariants of 2dimensional sheaves inside a nonsingular threefold X. Our main case of study is when X is given by a smooth surface fibration over a curve with the canonical bundle of X pulled back from the base curve. We study the DonaldsonThomas invariants, as defined by Richard Thomas, of the 2dimensional Gieseker stable sheaves in X supported on the fibers. In case whereXis aK3 fibration, analogous to the GromovWitten theory formula established by MaulikPandharipande, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the fiber and the NoetherLefschetz numbers of the fibration, and prove that the invariants have modular properties. We are intending to go through these lectures with a relatively slow speed, that is: TheoremProof style, (so we will be less handwavy!) and we intend to establish some of the required background, e.g NoetherLefschetz theory, vector valuedmodular forms etc. 
382017  Modularity of DT invariants on smooth K3 fibrations II  Motivated by Sduality modularity conjectures in string theory, we study the DonaldsonThomas invariants of 2dimensional sheaves inside a nonsingular threefold X. Our main case of study is when X is given by a smooth surface fibration over a curve with the canonical bundle of X pulled back from the base curve. We study the DonaldsonThomas invariants, as defined by Richard Thomas, of the 2dimensional Gieseker stable sheaves in X supported on the fibers. In case whereXis aK3 fibration, analogous to the GromovWitten theory formula established by MaulikPandharipande, we express these invariants in terms of the Euler characteristic of the Hilbert scheme of points on the fiber and the NoetherLefschetz numbers of the fibration, and prove that the invariants have modular properties. We are intending to go through these lectures with a relatively slow speed, that is: TheoremProof style, (so we will be less handwavy!) and we intend to establish some of the required background, e.g NoetherLefschetz theory, vector valued modular forms etc. 
3102017  Conifold Transitions and modularity of DT invariants on Nodal fibrations 
Following lectures I and II we continue the discussion on the moduli space of shaves with two dimensional support on K3fibered threefolds, which can admit finitely many nodal (rational double point singularity at worst) fibers. We will use the conifold transitions and degeneration techniques in this case to relate the geometry of our moduli space and its enumerative invariants to the ones studied in lectures I, II over smooth K3fibrations.

452017  Stable pair PT invariants on smooth fibrations  We study PandharipandeThomas’s stable pair theory on smooth K3 fibrations over curves with possibly nodal fibers. We describe stable pair invariants of the fiberwise irreducible curve classes in terms of KawaiYoshioka’s formula for the Euler characteristics of moduli spaces of stable pairs on K3 surfaces and NoetherLefschetz numbers of the fibration. 
472017  Stable pair PT invariants on nodal fibrations: perverse sheaves, Wallcrossings, and an analog of fiberwise Tduality  Following lecture 4, we continue the study of stable pair invariants of K3fibered threefolds., We investigate the relation of these invariants with the perverse (noncommutative) stable pair invariants of the K3fibration. In the case that the fibration is a projective CalabiYau threefold, by means of wallcrossing techniques, we write the stable pair invariants in terms of the generalized DonaldsonThomas invariants of 2dimensional Gieseker semistable sheaves supported on the fibers. 
4122017  DT versus MNOP invariants and S_duality conjecture on general complete intersections  Motivated by Sduality modularity conjectures in string theory, we define new invariants counting a restricted class of twodimensional torsion sheaves, enumerating pairs Z⊂H in a Calabi–Yau threefold X. Here H is a member of a sufficiently positive linear system and Z is a onedimensional subscheme of it. The associated sheaf is the ideal sheaf of Z⊂H, pushed forward to X and considered as a certain Joyce–Song pair in the derived category of X. We express these invariants in terms of the MNOP invariants of X. 
4142017  Proof of Sduality conjecture on quintic threefold I  I will talk about an algebraicgeometric proof of the Sduality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic CalabiYau threefold. We use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over the relative Hilbert scheme of points on surfaces and then prove modularity. More precisely, we have proven that the generating series, associated to the top intersection numbers of the Hilbert scheme of points, relative to an effective divisor, on a smooth quasiprojective surface is a modular form. This is a generalization of the result of OkounkovCarlsson, where they used representation theory and the machinery of vertex operators to prove this statement for absolute Hilbert schemes. These intersection numbers eventually, together with the generating series of NoetherLefschetz numbers as I will explain, will provide the ingredients to achieve an algebraicgeometric proof of Sduality modularity conjecture. 
4192017  Proof of Sduality conjecture on Quintic threefold II  I will talk about an algebraicgeometric proof of the Sduality conjecture in superstring theory, made formerly by physicists Gaiotto, Strominger, Yin, regarding the modularity of DT invariants of sheaves supported on hyperplane sections of the quintic CalabiYau threefold. We use degeneration and localization techniques to reduce the threefold theory to a certain intersection theory over the relative Hilbert scheme of points on surfaces and then prove modularity. More precisely, we have proven that the generating series, associated to the top intersection numbers of the Hilbert scheme of points, relative to an effective divisor, on a smooth quasiprojective surface is a modular form. This is a generalization of the result of OkounkovCarlsson, where they used representation theory and the machinery of vertex operators to prove this statement for absolute Hilbert schemes. These intersection numbers eventually, together with the generating series of NoetherLefschetz numbers as I will explain, will provide the ingredients to achieve an algebraicgeometric proof of Sduality modularity conjecture. 
The minischool will consist of lectures by experts in geometry and analysis detailing important developments in the theory of nonlinear equations and their applications from the last 2030 years. The minischool is aimed at graduate students and young researchers working in geometry, analysis, physics and related fields.
December 3rd – Day 1  
9:00am – 10:30am  Cliff Taubes, “Compactness theorems in gauge theories” 
10:45am – 12:15pm  Valentino Tosatti, “Complex MongeAmpère Equations” 
12:15pm – 1:45pm  LUNCH 
1:45pm – 3:15pm  Pengfei Guan, “MongeAmpère type equations and related geometric problems” 
3:30pm – 5:00pm  Jared Speck, “Finitetime degeneration of hyperbolicity without blowup for solutions to quasilinear wave equations” 
December 4th – Day 2  
9:00am – 10:30am  Cliff Taubes, “Compactness theorems in gauge theories” 
10:45am – 12:15pm  Valentino Tosatti, “Complex MongeAmpère Equations” 
12:15pm – 1:45pm  LUNCH 
1:45pm – 3:15pm  Pengfei Guan, “MongeAmpère type equations and related geometric problems” 
3:30pm – 5:00pm  Jared Speck, “Finitetime degeneration of hyperbolicity without blowup for solutions to quasilinear wave equations” 
Bong Lian (Brandeis University), SiuCheong Lau (Boston University), ShingTung Yau (Harvard University)
Please click Workshop Program for a downloadable schedule with talk abstracts.
Monday, November 28 – Day 1  
10:30am –11:30am  Hiro Lee Tanaka, “Floer theory through spectra” 
Lunch  
1:00pm – 2:30pm  Fabian Haiden, “Categorical Kahler Geometry” 
2:30pm2:45pm  Break 
2:45pm – 4:15pm  Fabian Haiden, “Categorical Kahler Geometry” 
4:30pm – 5:15pm  Garret Alston, “Potential Functions of Nonexact fillings” 
Tuesday, November 29 – Day 2  
10:30am –11:30am  Conan Leung, “Remarks on SYZ” 
Lunch  
1:00pm – 2:30pm  Jingyu Zhao, “Homological mirror symmetry for open manifolds and Hodge theoretic invariants” 
2:30pm2:45pm  Break 
2:45pm – 4:15pm  Hiro Lee Tanaka, “Floer theory through spectra” 
4:30pm – 5:15pm  Hansol Hong, “Mirror Symmetry for punctured Riemann surfaces and gluing construction” 
Wednesday, November 30 – Day 3  
10:30am –11:30am  Junwu Tu, “Homotopy Linfinity spaces and mirror symmetry” 
Lunch  
1:00pm – 2:30pm  Jingyu Zhao, “Homological mirror symmetry for open manifolds and Hodge theoretic invariants” 
2:302:45pm  Break 
2:45pm – 4:15pm  David Treumann, “Invariants of Lagrangians via microlocal sheaf theory” 
Thursday, December 1 – Day 4  
10:30am –11:30am  David Treumann, “Some examples in three dimensions” 
Lunch  
1:00pm – 2:30pm  Junwu Tu, “Homotopy Linfinity spaces and mirror symmetry” 
2:302:45pm  Break 
2:45pm – 3:30pm  Netanel Blaier, “The quantum Johnson homomorphism, and the symplectic mapping class group of 3folds” 
* This event is sponsored by the Simons Foundation and CMSA Harvard University.
References: