L4

Quasiconvexity is the fundamental existence condition for variational problems, yet it is poorly understood. Two outstanding problems remain: 

• 1) does rank-one convexity, a simple necessary condition, imply quasiconvexity in two dimensions? 

• 2) can one prove existence theorems for quasiconvex energies in the context of nonlinear Elasticity? 

In this talk we show that both problems have a positive answer in a special class of isotropic energies. Our proof combines complex analysis with the theory of gradient Young measures. On the way to the main result, we establish quasiconvexity inequalities for the Burkholder function which yield, in particular, many sharp higher integrability results. 
The talk is based on joint work with Kari Astala, Daniel Faraco, Aleksis Koski and Jan Kristensen.

The subject of “geometric” fluid dynamics flourished following the seminal work of VI.
Arnold in the 1960s. A famous paper was published in 1970 by David Ebin and Jerrold
Marsden, who used the manifold structure of certain groups of diffeomorphisms to obtain
sharp existence and uniqueness results for the classical equations of fluid dynamics. Of
particular importance are the fixed points of the underlying dynamical system and the
“accessibility” of these Euler equilibria. In 1985 Keith Moffatt introduced a mechanism
for reaching these equilibria not through the Euler vortex dynamics itself but via a
topology-preserving diffusion process called “Magnetic Relaxation”. In this talk, we will
discuss some recent results for Moffatt’s MR equations which are mathematically
challenging not only because they are active vector equations but also because they have
a cubic nonlinearity.

This is joint work with Rajendra Beckie, Adam Larios, and Vlad Vicol.

The irreducible smooth representations of p-adic reductive groups and the enhanced Langlands parameters of these latter can both be partitioned into series indexed by "cuspidal data". On the representation side, cuspidality refers to supercuspidal representations of Levi subgroups, while on the Galois side, it refers to "cuspidal unipotent pairs", as introduced by Lusztig, in certain subgroups of the Langlands dual groups.

In addition, on both sides, the elements in a given series are in bijection with the simple modules of a generalized affine Hecke algebra. 

The cuspidal data on one side are expected to be in bijection with the cuspidal data on the other side. We will formulate conditions on this bijection that will guarantee the existence of a bijection between the simple modules of the attached generalized affine Hecke algebras. For the exceptional group of type G_2 and for all pure inner forms of quasi-split classical groups, the Hecke algebras are actually isomorphic.

We begin with a seemingly simple question: how can one distinguish a surface group from other cyclic amalgamations of two free groups? This question will prompt a (geometrically flavoured) investigation of virtual homological properties of graphs of free groups amalgamated along cyclic edge groups, where surface subgroups play a key role. 

We next turn to study limit groups and residually free groups through their finite quotients, and apply our findings to the study of profinite rigidity within these classes of groups. In particular, we will sketch out why a direct product of free and surface groups cannot have the same finite quotients as any other finitely presented residually free group.

If time permits, we will discuss other possible characterizations of surface groups among limit groups. The talk is based on joint work with Ismael Morales.

Permanent geological carbon storage will reduce greenhouse gas emissions and help mitigate climate change. Storage security is increased by CO₂ capillary trapping in cm-to-m scale, layered rock heterogeneities; features that are ubiquitous across storage sites worldwide. This talk will outline the challenges associated with modelling the impact of small-scale heterogeneity on large scale saturation distributions and trapping during geological CO₂ storage, including the difficulties in incorporating petrophysical and geological uncertainty into field-scale numerical models. Experimental results demonstrate the impact of cm-scale heterogeneity on pore-scale processes, which in turn influence large scale behaviour. Heterogeneity is shown to have a leading order impact on saturation distribution and storage capacity during geological CO₂ storage.

Donaldson-Thomas theory associates integers (which are virtual counts of sheaves) to a Calabi-Yau threefold X. The simplest example is that of $\mathbb{C}^3$, when the Donaldson-Thomas (DT) invariant of sheaves of zero dimensional support and length d is $p(d)$, the number of plane partitions of $d$. The DT invariants have several refinements, for example a cohomological one, where instead of a DT invariant, one studies a graded vector space with Euler characteristic equal to the DT invariant. I will talk about two other refinements (categorical and K-theoretic) of DT invariants, focusing on the explicit case of $\mathbb{C}^3$. In particular, we show that the K-theoretic DT invariant for $d$ points on $\mathbb{C}^3$ also equals $p(d)$. This is joint work with Yukinobu Toda.

According to the Yau-Tian-Donaldson conjecture, the existence of a constant scalar curvature Kähler (cscK) metric in the cohomology class of an ample line bundle $L$ on a compact complex manifold $X$ should be equivalent to an algebro-geometric "stability condition" satisfied by the pair $(X,L)$. The cscK metrics are the critical points of Mabuchi's $K$-energy functional $M$, defined on the space of Kähler potentials, and an important result of Chen-Cheng shows that cscK metrics exist iff $M$ satisfies a standard growth condition (coercivity/properness). Recently the speaker has shown that the $K$-energy is indeed proper if and only if the polarized manifold is stable. The stability condition is closely related to the classical notion of Hilbert-Mumford stability. The speaker will give a non-technical account of the many areas of mathematics that are involved in the proof. In particular, he hopes to discuss the surprising role played by arithmetic geometry ​in the spirit of Arakelov, Faltings, and Bismut-Gillet-Soule.