Oxford University

The Strominger-Yau-Zaslow (SYZ) conjecture postulates that mirror dual Calabi-Yau manifolds carry dual special Lagrangian fibrations. Within the study of Mirror Symmetry the SYZ conjecture has provided a particularly fruitful point of convergence of ideas from Riemannian, Symplectic, Tropical, and Algebraic geometry over the last twenty years. I will attempt to provide a brief overview of this aspect of Mirror Symmetry.

After considering motivations in symplectic geometry, I’ll give a summary of $C^\infty$-Algebraic Geometry and how to extend these concepts to manifolds with corners. 

After discussing a general excision technique for constructing canonical orientations for moduli spaces that derive from an elliptic equation, I shall
explain how to carry out this program in the case of G2-instantons and the 7-dimensional real Dirac operator. In many ways our approach can
be regarded as a categorification of the Atiyah-Singer index theorem. (Based on joint work with Dominic Joyce.)

This talk is based on joint work with Dominic Joyce and Markus Upmeier. Issues we'd like to talk about are a) the orientability of moduli spaces that
appear in various gauge-theoretic problems; and b) how to orient those moduli spaces if they are orientable. We begin with briefly mentioning backgrounds and motivation, and recall basics in gauge theory such as the Atiyah-Hitchin-Singer complex and the Kuranishi model by taking the anti-self-dual instanton moduli space as an example. We then describe the orientability and canonical orientations of the anti-self-dual instanton moduli space, and other
gauge-theoretic moduli spaces which turn up in current research interests.

I will describe a family of 2d TQFTs, due to Moore-Tachikawa, which take values in a category whose objects are Lie groups and whose morphisms are holomorphic symplectic varieties. They link many interesting aspects of geometry, such as moduli spaces of solutions to Nahm equations, hyperkähler reduction, and geometric invariant theory.

In 1982, Gromov introduced bounded cohomology to give estimates on the minimal volume of manifolds. Since then, bounded cohomology has become an independent and active research field. In this talk I will give an introduction to bounded cohomology, state many open problems and relate it to other fields. 

I will discuss the basics of normal surface theory, and how they were used to give an algorithm for deciding whether a given diagram represents the unknot. This version is primarily based on Haken's work, with simplifications from Schubert and Jaco-Oertel.
 

The celebrated Lang-Vojta Conjecture predicts degeneracy of S-integral points on varieties of log general type defined over number fields. It admits a geometric analogue over function fields, where stronger results have been obtained applying a method developed by Corvaja and Zannier. In this talk, we present a recent result for non-isotrivial surfaces over function fields dominating a two-dimensional torus. This extends Corvaja and Zannier’s result in the isotrivial case and it is based on a refinement of gcd estimates for polynomials evaluated at S-units. This is a joint work with A. Turchet.

Let F be a totally real or CM number field.  Scholze has constructed Galois representations associated with torsion classes in the cohomology of locally symmetric spaces for GL_n(F).  We show that the nilpotent ideal appearing in Scholze's construction can be removed when F splits completely at the relevant prime.  As a key component of the proof, we show that the compactly supported cohomology of certain unitary and symplectic Shimura varieties with level  Gamma_1(p^{\infty}) vanishes above the middle degree. This is joint work with Ana Caraiani, Chi-Yun Hsu, Christian Johansson, Lucia Mocz, Emanuel Reinecke, and Sheng-Chi Shih. 

Understanding how shifts of multiplicative functions correlate with each other is a central question in multiplicative number theory. A well-known conjecture of Elliott predicts that there should be no correlation between shifted multiplicative functions unless the functions involved are ‘pretentious functions’ in a certain precise sense. The Elliott conjecture implies as a special case the famous Chowla conjecture on shifted products of the Möbius function.

In the last few years, there has been a lot of exciting progress on the Chowla and Elliott conjectures, and we give an overview of this. Nearly all of the previously obtained results have concerned correlations that are weighted logarithmically, and it is an interesting question whether one can remove these logarithmic weights. We show that one can indeed remove logarithmic averaging from the known results on the Chowla and Elliott conjectures, provided that one restricts to almost all scales in a suitable sense.

This is joint work with Terry Tao.