Teaching ethics to the mathematicians who need it most
For the last 20 years it has become increasingly obvious, and increasingly pressing, that mathematicians should be taught some ethical awareness so as to realise the impact of their work. This extends even to those more highly trained, like graduate students and postdocs. But which mathematicians should we be teaching this to, what should we be teaching them, and how should we do it? In this talk I’ll explore the idea that all mathematicians will, at some stage, be faced with ethical challenges stemming from their work, and yet few are ever told beforehand.
 

Thomas Prince The double life of the number 24.

The number 24 appears in a somewhat surprising result in the study of polyhedra with integer lattice points. In a different setting, the number 24 is the Euler characteristic of a K3 surface: a four (real) dimensional object which plays a central role in algebraic geometry. We will hint at why both instances of 24 are in fact the same, and suggest that integral affine geometry can be used to interpolate between the realm of integral polytopes and the world of complex algebraic geometry.

Mohit Dalwadi A multiscale mathematical model of bacterial nutrient uptake

In mathematical models that include nutrient delivery to bacteria, it is prohibitively expensive to include many small bacterial regions acting as volumetric nutrient sinks. To combat this problem, such models often impose an effective uptake instead. However, it is not immediately clear how to relate properties on the bacterial scale with this effective result. For example, one may intuitively expect the effective uptake to scale with bacterial volume for weak first-order uptake, and with bacterial surface area for strong first-order uptake. I will present a general model for bacterial nutrient uptake, and upscale the system using homogenization theory to determine how the effective uptake depends on the microscale bacterial properties. This will show us when the intuitive volume and surface area scalings are each valid, as well as the correct form of the effective uptake when neither of these scalings is appropriate.
 

I will describe an extremely easy construction with formal group laws, and a 
slightly more subtle argument to show that it can be done in a coordinate-free
way with formal groups.  I will then describe connections with a range of other
phenomena in stable homotopy theory, although I still have many more 
questions than answers about these.  In particular, this should illuminate the
relationship between the Lambda algebra and the Dyer-Lashof algebra at the
prime 2, and possibly suggest better ways to think about related things at 
odd primes.  The Morava K-theory of symmetric groups is well-understood
if we quotient out by transfers, but somewhat mysterious if we do not pass
to that quotient; there are some suggestions that dilation will again be a key
ingredient in resolving this.  The ring $MU_*(\Omega^2S^3)$ is another
object for which we have quite a lot of information but it seems likely that 
important ideas are missing; dilation may also be relevant here.
 

The lower central series of a group $G$ is defined by $\gamma_1=G$ and $\gamma_n = [G,\gamma_{n-1}]$. The "dimension series", introduced by Magnus, is defined using the group algebra over the integers: $\delta_n = \{g: g-1\text{ belongs to the $n$-th power of the augmentation ideal}\}$.

It has been, for the last 80 years, a fundamental problem of group theory to relate these two series. One always has $\delta_n\ge\gamma_n$, and a conjecture by Magnus, with false proofs by Cohn, Losey, etc., claims that they coincide; but Rips constructed an example with $\delta_4/\gamma_4$ cyclic of order 2. On the positive side, Sjogren showed that $\delta_n/\gamma_n$ is always a torsion group, of exponent bounded by a function of $n$. Furthermore, it was believed (and falsely proven by Gupta) that only $2$-torsion may occur.
In joint work with Roman Mikhailov, we prove however that for every prime $p$ there is a group with $p$-torsion in some quotient $\delta_n/\gamma_n$.
Even more interestingly, I will show that the dimension quotient $\delta_n/gamma_n$ is related to the difference between homotopy and homology: our construction is fundamentally based on the order-$p$ element in the homotopy group $\pi_{2p}(S^2)$ due to Serre.
 

 In the late seventies, Casson and Gordon developed several knot invariants that obstruct a knot from being slice, i.e. from bounding a disc in the 4-ball. In this talk, we use twisted Blanchfield pairings to define twisted generalisations of the Levine-Tristram signature function, and describe their relation to the Casson-Gordon invariants. If time permits, we will present some obstructions to algebraic knots being slice. This is joint work with Maciej Borodzik and Wojciech Politarczyk.

NSOP1 is a class of first order theories containing simple theories, which contains many natural examples that somehow slip-out of the simple context.

As in simple theories, NSOP1 theories admit a natural notion of independence dubbed Kim-independence, which generalizes non-forking in simple theories and satisfies many of its properties.

In this talk I will explain all these notions, and in particular talk about recent progress (joint with Nick Ramsey) in the study of Kim-independence, showing transitivity and several consequences.

Here Z is Zermelo’s set theory of 1908, as later formulated: full separation, but no replacement or collection among its axioms. PROVI was presented in lectures in Cambridge in 2010 and later published with improvements by Nathan Bowler, and is, I claim, the weakest subsystem of ZF to support a recognisable theory of set forcing: PROV is PROVI shorn of its axiom of infinity. The provident sets are the transitive non-empty models of PROV. The talk will begin with a presentation of PROV, and then discuss more recent applications and problems: in particular an answer in the system Z + PROV to a question posed by Eugene Wesley in 1972 will be sketched, and two proofs (fallacious, I hope) of 0 = 1 will be given, one using my slim models of Z and the other applying the Spector–Gandy theorem to certain models of PROVI. These “proofs”, when re-interpreted, supply some arguments of Reverse Mathematics.