Oxford University

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.

Polycyclic groups either have polynomial growth, in which case they are virtually nilpotent, or exponential growth. I will give two interesting examples of "small" polycyclic groups which are extensions of $\mathbb{R}^2$ and the Heisenberg group by the integers, and attempt to justify the claim that they are small by sketching an argument that every exponential growth polycyclic group contains one of these.

A core problem in the study of manifolds and their topology is that of telling them apart. That is, when can we say whether or not two manifolds are homeomorphic? In two dimensions, the situation is simple, the Classification Theorem for Surfaces allows us to differentiate between any two closed surfaces. In three dimensions, the problem is a lot harder, as the century long search for a proof of the Poincaré Conjecture demonstrates, and is still an active area of study today.
As an early pioneer in the area of 3-manifolds Seifert carved out his own corner of the landscape instead of attempting to tackle the entire problem. By reducing his scope to the subclass of 3-manifolds which are today known as Seifert fibred spaces, Seifert was able to use our knowledge of 2-manifolds and produce a classification theorem of his own.
In this talk I will define Seifert fibred spaces, explain what makes them so much easier to understand than the rest of the pack, and give some insight on why we still care about them today.
 

If k is a field of characteristic zero, a theorem of Lurie and Pridham establishes an equivalence between formal moduli problems and differential graded Lie algebras over k. We generalise this equivalence in two different ways to arbitrary ground fields by using “partition Lie algebras”. These mysterious new gadgets are intimately related to the genuine equivariant topology of the partition complex, which allows us to access the operations acting on their homotopy groups (relying on earlier work of Dyer-Lashof, Priddy, Goerss, and Arone-B.). This is joint work with Mathew.

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

Abstract: The universal algorithm is a Turing machine program that can in principle enumerate any finite sequence of numbers, if run in the right model of PA, and furthermore, can always enumerate any desired extension of that sequence in a suitable end-extension of that model. The universal finite set is a set-theoretic analogue, a locally verifiable definition that can in principle define any finite set, in the right model of set theory, and can always define any desired finite extension of that set in a suitable top-extension of that model. Recent work has uncovered a $\Sigma_1$-definable version that works with respect to end-extensions. I shall give an account of all three results, which have a parallel form, and describe applications to the model theory of arithmetic and set theory. Post questions and commentary on my blog at http://jdh.hamkins.org/parallels-in-universality-oxford-math-logic-semi…;

The aim of this talk is to tell the story of Non-Abelian Hodge Theory for curves. The starting point is the space of representations of the fundamental group of a compact Riemann surface. This space can be endowed with the structure of a complex algebraic variety in three different ways, giving rise to three non-algebraically isomorphic moduli spaces called the Betti, de Rham and Dolbeault moduli spaces respectively. 

After defining and outlining the construction of these three moduli spaces, I will describe the (non-algebraic) correspondences between them, collectively known as Non-Abelian Hodge Theory. Finally, we will see how the rich structure of the Dolbeault moduli space can be used to shed light on the topology of the space of representations.