University of Oxford

Recently, much attention has been paid to the intersection between coarse geometry and graph theory, giving rise to the fresh, exciting new field aptly known as ‘coarse graph theory’. One aspect of this area is the study of so-called ‘fat minors’, a large-scale analogue of the usual idea of a graph minor.

In this talk, I will introduce this area and motivate some interesting questions and conjectures. I will then sketch a proof that a finitely presented group is either virtually planar or contains arbitrarily ‘fat’ copies of every finite graph.

No prior knowledge or passion for graph theory will be assumed in this talk.

In this talk, we give an accessible introduction to the theory of coarse cohomology of metric spaces in the sense of Margolis, which we present in direct analogy with group cohomology for discrete groups. We explain how this yields the robust notion of coarse cohomological dimension (due to Margolis), which is a genuine quasi-isometry invariant of metric spaces generalising the cohomological dimension of groups when the latter is finite. We then give applications to geometric properties of quasimorphisms and motivate how such considerations might be useful in the setting of non-positively curved groups. This is joint reading/work with Paula Heim.

Property (T) is a rigidity property for group representations. It is generally very difficult to determine whether an infinite group has property (T) or not. It has long been known that a discrete group with a finite symmetric generating set has property (T) if and only if the group Laplacian is a positive element in the maximal group C*-algebra. However, this characterization has not been useful in addressing the question for automorphism groups of (non-abelian) free groups. In his 2016 paper, Ozawa proved that the phenomenon of 'positivity' of the group Laplacian is observed in the real group algebra, meaning that the Laplacian can be decomposed into a 'sum of squares'. This result transformed checking property (T) into a finite-dimensional condition that can be performed with the assistance of computers. In this talk, we will introduce property (T) and discuss Ozawa's result in detail.

The class of $t$-perfect graphs consists of graphs whose stable set polytopes are defined by their non-negativity, edge inequalities, and odd circuit inequalities. These were first studied by Chvátal in 1975, motivated by the related and well-studied class of perfect graphs. While perfect graphs are easy to colour, the same is not true for $t$-perfect graphs; numerous questions and conjectures have been posed, and even the most basic, on whether there exists some $k$ such that every $t$-perfect graph is $k$-colourable, has remained open since 1994. I will talk about joint work with Maria Chudnovsky, Linda Cook, James Davies, and Sang-il Oum in which we establish the first finite bound and show that a little less than 200 000 colours suffice.

For some values of degrees d=(d_1,...,d_c), we construct a compactification of a Hilbert scheme of complete intersections of type d. We present both a quotient and a direct construction. Then we work towards the construction of a quasiprojective coarse moduli space of smooth complete intersections via Geometric Invariant Theory.

The two-point Chowla conjecture predicts that $\sum_{x<n<2x} \lambda(n)\lambda(n+1) = o(x)$ as $x\to \infty$, where $\lambda$ is the Liouville function (a $\{\pm 1\}$-valued multiplicative function encoding the parity of the number of prime factors). While this remains an open problem, weaker versions of this conjecture are known. In this talk, we outline an approach initiated by Helfgott and Radziwill, which reformulates the problem in terms of bounding the eigenvalues of a certain matrix.

On this talk we will focus on the family of aggregation-diffusion equations

$$\frac{\partial \rho}{\partial t} = \mathrm{div}\left(\mathrm{m}(\rho)\nabla (U'(\rho) + V) \right).$$

Here, $\mathrm{m}(s)$ represents a continuous and compactly supported nonlinear mobility (saturation) not necessarily concave. $U$ corresponds to the diffusive potential and includes all the porous medium cases, i.e. $U(s) = \frac{1}{m-1} s^m$ for $m > 0$ or $U(s) = s \log (s)$ if $m = 1$. $V$ corresponds to the attractive potential and it is such that $V \geq 0$, $V \in W^{2, \infty}$.

Taking advantage of a family of approximating problems, we show the existence of $C_0$-semigroups of $L^1$ contractions. We study the $\omega$-limit of the problem, its most relevant properties, and the appearance of free boundaries in the long-time behaviour. Furthermore, since this problem has a formal gradient-flow structure, we discuss the local/global minimisers of the corresponding free energy in the natural topology related to the set of initial data for the $L^\infty$-constrained gradient flow of probability densities. Finally, we explore the properties of a corresponding implicit finite volume scheme introduced by Bailo, Carrillo and Hu.

The talk presents joint work with Prof. J.A. Carrillo and Prof. D.  Gómez-Castro.

In algebraic geometry, the technique of dévissage reduces many questions to the case of curves. In difference and differential algebra, this is not the case, but the obstructions can be closely analysed. In difference algebra, they are difference varieties defined by equations of the form \si(𝑥)=𝑔𝑥\si(x)=gx, determined by an action of an algebraic group and an element g of this group. This is joint work with Zoé Chatzidakis.