University of Oxford

I'll talk about the Morse local-to-global property and try to convince you that is a good property. There are three reasons. Firstly, it is satisfied by many examples of interest. Secondly, it allows to prove many theorems. Thirdly, it sits nicely in the larger program of classifying groups up to quasi-isometry and it has connections with open questions.

This talk will serve as an introduction to the outer automorphism group of a free group, its properties and the objects used to study it: especially train track maps (with various adjectives) and Culler--Vogtmann outer space. If time allows I will discuss recent work joint with Hillen, Lyman and Pfaff on stretch factors in rank 3, but the goal of the talk will be to introduce the topic well rather than to speedrun towards the theorem.

RFRS groups were introduced by Ian Agol in connection with virtual fibering of 3-manifolds. Notably, the class of RFRS groups contains all compact special groups, which are groups with particularly nice cocompact actions on cube complexes. In this talk, I will give an introduction to ℓ²-Betti numbers from an algebraic perspective and discuss what group theoretic properties we can conclude from the (non)vanishing of the ℓ²-Betti numbers of a RFRS group.

We will try to solve the isomorphism problem amongst Coxeter groups by looking at finite quotients.  Some success is found in the classes of affine and right-angled Coxeter groups.  Based on joint work with Samuel Corson, Philip Moeller, and Olga Varghese.

Cancelled

Minimal surfaces, which are critical points of the area functional, have long been a source of fruitful problems in geometry. In this talk, I will introduce a new approach, primarily coming from a recent paper of M. Struwe, to constructing free boundary minimal discs using a gradient flow of a suitable energy functional. I will discuss the uniqueness of solutions to the gradient flow, including recent work on the uniqueness of weak solutions, and also what is known about the qualitative behaviour of the flow, especially regarding the interpretation of singularities which arise. Time permitting, I will also mention ongoing joint work with M. Rupflin and M. Struwe on extending this theory to general surfaces with boundary.

Does the limit construction for inverse systems of first-order structures preserve elementary equivalence? I will give sufficient conditions for when this is the case. Using Karp's theorem, we explain the connection between a syntactic and formal-semantic approach to inverse limits of structures. We use this to give a simple proof of van den Dries' AKE theorem (in ZFC), a general AKE theorem for mixed characteristic henselian valued fields with no assumptions on ramification. We also recall a seemingly forgotten result of Feferman, that can be interpreted as a "saturated" AKE theorem in positive characteristic: given two elementarily equivalent $\aleph_1$-saturated fields $k$ and $k'$, the formal power series rings $k[[t]]$ and $k'[[t]]$ are elementarily equivalent as well. We thus hope to popularise some ideas from categorical logic.

Congruent numbers are natural numbers which are the area of right angled triangles with all rational sides. This talk will investigate conjectures for the density of congruent numbers up to some value $X$. One can phrase the question of whether a natural number is congruent in terms of whether an elliptic curve has non−zero rank. A theorem of Coates and Wiles connects this to whether the $L$-function associated to this elliptic curve vanishes at $1$. We will mention the conjecture of Keating on the asymptotic density based on random matrix considerations, and prove Tunnell’s Theorem, which connects the question of whether a natural number is a congruent number to counting integral points on varieties. Finally, I will hint at some future work I hope to do on non-vanishing of the $L$-functions.

It is a standard result that mapping class groups of high genus do not surject the integers. This is easily shown by computing the abelianization of the mapping class group using a presentation. Once we pass to finite index subgroups, this becomes a conjecture of Ivanov. More generally, we can ask which groups admit epimorphisms from finite index subgroups of the mapping class group. In this talk, I will present a geometric approach to this question, using harmonic maps, and explain some recent results.

In 1735, Euler observed that $ζ(2) = 1 + \frac{1}{2²} + \frac{1}{3²} + ⋯ = \frac{π²}{6}$. This is related to the famous identity $ζ(−1) "=" 1 + 2 + 3 + ⋯ "=" \frac{−1}{12}$. In general, values of the Riemann zeta function at positive even integers are equal to rational numbers multiplied by a power of $π$. The values at positive odd integers are much more mysterious; for example, Apéry proved that $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ⋯$ is irrational, but we still don't know if $ζ(5) = 1 + \frac{1}{2⁵} + \frac{1}{3⁵} + ⋯$ is rational or not! In this talk, we will explain the arithmetic significance of these values, their generalizations to Dirichlet/Dedekind L−functions, and to L−functions of elliptic curves. We will also present a new formula for $ζ(3) = 1 + \frac{1}{2³} + \frac{1}{3³} + ...$ in terms of higher algebraic cycles which came out of an ongoing project with Lambert A'Campo.