Radar data from both Greenland and Antarctica show folds and other disruptions to the stratigraphy of the deep ice. The mechanisms by which stratigraphy deforms are related to the interplay between ice flow and topography. Here we show that when ice flows across valleys or overdeepenings, viscous overturnings called Moffatt eddies can develop. At the base of a subglacial valley, the shear on the valley walls is transfered through the ice, forcing the ice to overturn. To understand the formation of these eddies, we numerically solve the non-Newtonian Stokes equations with a Glen's law rheology to determine the critical valley angle for the eddies to form. The decrease in ice viscosity with shear enhances shear localization and, therefore, Moffatt eddies form in smaller valley angles (steeper slopes) than in a fluid that does not localize shear, such as a Newtonian fluid. When temperature is incorporated into the ice rheology, the warmer basal ice is less viscous and eddies form in larger valley angles (shallower slopes) than in isothermal ice. We apply our simulations to the Gamburtsev Subglacial Mountains and solve for the ice flow over radar-determined topography. These simulations show Moffatt eddies on the order of 100 meters tall in the deep subglacial valleys.

I will discuss recent results in finite simple groups. These include growth, generation (with a number theoretic flavour), and conjectures of Gowers and Viola on mixing and complexity whose proof requires representation theory as a main tool.
 

In recent years, Ardakov and Wadsley have been interested in extending the classical theory of Beilinson-Bernstein localisation to different contexts. The classical proof relies on fundamental geometric properties of the dual nilcone of a semisimple Lie algebra; in particular, finding a nice desingularisation of the nilcone and demonstrating that it is normal. I will attempt to explain the relationship between these properties and the proof, and discuss some areas of my own work, which focuses on proving analogues of these results in the case where the characteristic of the ground field K is bad.

In this talk, I wish to address the problem of evaluating an integral on an n-dimensional complex vector space whose n-form of integration has poles along a union of (affine) hyperplanes, following the work of Heckman and Opdam. Such situation arise often in the harmonic analysis of a reductive group and when that is the case, the singular hyperplane arrangement in question is dictated by the root system of the group. I will then try to explain how we can relate the intersection lattice of the hyperplane arrangement with nilpotent orbits of a complex Lie algebra related to the root system in question.

An expander is a family of finite graphs of uniformly bounded degree, increasing number of vertices and Cheeger constant bounded away from zero. They occur throughout mathematics and computer science; the most famous constructions of expanders rely on powerful results in geometric group theory and number theory, while expanders are used in everything from error-correcting codes, through disproving the strongest version of the Baum-Connes conjecture, to affine sieve theory and the twin prime, Mersenne prime and Hardy-Littlewood conjectures.

However, very little was known about how different the geometry of two expanders could be. This question was raised by Ostrovskii in 2013, and a year later Mendel and Naor gave the first example of two 'distinct' expanders.

In this talk I will construct a continuum of expanders which are, in a certain sense, geometrically incomparable. Once the existence of a single expander is accepted, the remainder of the proof is a heady mix of counting, addition, multiplication, and just for the experts, a little bit of division. Two very different - and very interesting - continuums of 'distinct' expanders have since been constructed by Khukhro-Valette and Das.

Motivated by a problem in quasiconformal mapping, we introduce a new type of problem in complex analysis, with its roots in the mathematical physics of the Bose-Einstein condensates in superconductivity.The problem will be referred to as \emph{geometric zero packing}, and is somewhat analogous to studying Fekete point configurations.The associated quantity is a density, denoted  $\rho_\C$ in the planar case, and $\rho_{\mathbb{H}}$ in the case of the hyperbolic plane.We refer to these densities as \emph{discrepancy densities for planar and hyperbolic zero packing}, respectively, as they measure the impossibility of atomizing the uniform planar and hyperbolic area measures.The universal asymptoticvariance $\Sigma^2$ associated with the boundary behavior of conformal mappings with quasiconformal extensions of small dilatation is related to one of these discrepancy densities: $\Sigma^2= 1-\rho_{\mathbb{H}}$.We obtain the estimates$2.3\times 10^{-8}<\rho_{\mathbb{H}}\le0.12087$, where the upper estimate is derived from the estimate from below on $\Sigma^2$ obtained by Astala, Ivrii, Per\"al\"a,  and Prause, and the estimate from below is much more delicate.In particular, it follows that $\Sigma^2<1$, which in combination with the work of Ivrii shows that the maximal fractal dimension of quasicircles conjectured by Astala cannot be reached.Moreover, along the way, since the universal quasiconformal integral means spectrum has the asymptotics$\mathrm{B}(k,t)\sim\frac14\Sigma^2 k^2|t|^2$ for small $t$ and $k$, the conjectured formula $\mathrm{B}(k,t)=\frac14k^2|t|^2$ is not true.As for the actual numerical values of the discrepancy density $\rho_\C$, we obtain the estimate from above $\rho_\C\le0.061203\ldots$ by using the equilateral triangular planar zero packing, where the assertion that equality should hold can be attributed to Abrikosov. The values of $\rho_{\mathbb{H}}$ is expected to be somewhat close to the value of $\rho_\C$.

I'll be talking about my masters' research in Quantum Gravity in a way that is accessible to mathematicians.