Oxford

Much of the arithmetic behaviour of an elliptic curve can be understood by examining its mod p reduction at some prime p. In this talk, we will aim to explain some of the ways we can define the mod p reduction, and the classifications of which reduction types occur.

Topics to be covered include the classical reduction types (good/multiplicative/additive), the Kodaira-Neron reduction types that refine them, and the Raynaud parametrisation of a semistable abelian variety. Time permitting, we may also discuss joint work with Vladimir Dokchitser classifying the semistable reduction types of 2-dimensional abelian varieties.

I will discuss the many appearances of the class of IP sets in classical theorems of combinatorial number theory and ergodic theory. Our point of departure will be the celebrated theorem of Hindman on partition regularity of IP sets, which is crucial for the introduction of IP-limits. We then discuss how existence of certain IP-limits translates into recurrence statements, which in turn give rise to results in number theory via the Furstenberg correspondence principle. Throughout the talk, the methods of ergodic theory will play an important role - however, no prior familiarity with them is required.

Starting from Hilbert's 10th problem, I will explain how to characterise the set of integers by non-solubility of a set of polynomial equations and discuss related challenges. The methods needed are almost entirely elementary; ingredients from algebraic number theory will be explained as we go along. No knowledge of first-order logic is necessary.

I will give a historical overview of some of the theorems proved by the
Ancient Greeks, which are now taken for granted but were, and are,
landmarks in the history of mathematics. Particular attention will be
given to the calculation of areas, including theorems of Hippocrates,
Euclid and Archimedes.

I will discuss a notoriously hard problem in group theory known as the flat closing conjecture. This states that a group with a finite classifying space is either hyperbolic or contains a Baumslag-Solitar Subgroup. I will give some strategies to try and create a counterexample to this conjecture. 

Let p>0 be a prime number. We shall describe a short Frobenius-theoretic proof of the Adams-Riemann-Roch theorem for the p-th Adams operation, when the involved schemes live in characteristic p and the morphism is smooth. This result implies the Grothendieck-Riemann-Roch theorem for smooth morphisms in positive characteristic and the Hirzebruch-Riemann-Roch theorem in any characteristic. This is joint work with R. Pink.

New ambitwistor string models are presented for a variety of theories and older models are shown to work at 1 loop and perhaps higher using a simpler formulation on the Riemann sphere.

Many people talk about properties that you would expect of a group. When they say this they are considering random groups, I will define what it means to pick a random group in one of many models and will give some properties that these groups will have with overwhelming probability. I will look at the proof of some of these results although the talk will mainly avoid proving things rigorously.