Mon, 09 Feb 2026
14:15
L4

Biharmonic maps on conformally compact manifolds

Marco Usula
((Mathematical Institute University of Oxford))
Abstract

In this talk, I will present a result proved in my recent paper arXiv:2502.13580. I will discuss biharmonic maps between (and submanifolds of) conformally compact manifolds, a large class of complete manifolds generalizing hyperbolic space. After an introduction to conformally compact geometry, I will discuss one of the main results of the paper: if S is a properly embedded sub-manifold of a conformally compact manifold (N,h), and moreover S is transverse to the boundary and (N,h) has non-positive curvature, then S must be minimal. This result confirms a conjecture known as the Generalized Chen’s Conjecture, in the conformally compact context.

Mon, 19 Jan 2026
14:15
L4

Quantitative symplectic geometry of disk tangent bundles

Johanna Bimmerman
((Mathematical Institute University of Oxford))
Abstract

Symplectic capacities are symplectic invariants that measure the “size” of symplectic manifolds and are designed to capture phenomena of symplectic rigidity.

In this talk, I will focus on symplectic capacities of fiberwise convex domains in cotangent bundles. This setting provides a natural link to the systolic geometry of the base manifold. I will survey current results and discuss the variety of techniques used to compute symplectic capacities, ranging from billiard dynamics to pseudoholomorphic curves and symplectic homology. I will illustrate these techniques using disk tangent bundles of ellipsoids as an example.

Mon, 16 Feb 2026
14:15
L4

Embedded minimal surfaces in closed analytic 3-manifolds

Ben Sharp
(Leeds)
Abstract

I will discuss an ongoing joint work with Luigi Appolloni and Andrea Malchiodi concerning the above objects. Minimal surfaces are critical points of the area functional, which is analytic in this case, so we should expect critical points (minimal surfaces) to be either isolated or to belong to smooth nearby minimal foliations. On the other hand, the flat plane of multiplicity two in $\mathbb{R}^3$ can be (in compact regions) approximated by a blown-down catenoid, which will converge back to the plane with multiplicity two in the limit. Hence a plane of multiplicity two cannot be thought of as being isolated, or belonging solely to a smooth family, because there are “nearby” minimal surfaces of distinct topology weakly converging to it. We will nevertheless prove that, when the ambient manifold is closed and analytic, this type of local degeneration is impossible amongst closed and embedded minimal surfaces of bounded topology: such surfaces, even with multiplicity are either isolated or belong to smooth families of nearby minimal surfaces.  

Mon, 02 Mar 2026
14:15
L4

Metric wall-crossing

Ruadhai Dervan
(University of Warwick)
Abstract
Moduli spaces in algebraic geometry parametrise stable objects (bundles, varieties,...), and hence depend on a choice of stability condition. As one varies the stability condition, the moduli spaces vary in a well-behaved manner, through what is known as wall-crossing. As a general principle, moduli spaces admit natural Weil-Petersson metrics; I will state conjectures around the metric behaviour of moduli spaces as one varies the stability condition.
 
I will then prove analogues of these results in the model setting of symplectic quotients of complex manifolds, or equivalently geometric invariant theory. As one varies the input that determines a quotient, I will state results which explain the metric geometry of the resulting quotients (more precisely: Gromov-Hausdorff convergence towards walls, and metric flips across walls). As a byproduct of the approach, I will extend variation of geometric invariant theory to the setting of non-projective complex manifolds.
Mon, 23 Feb 2026
14:15
L4

A toric case of the Thomas-Yau conjecture

Jacopo Stoppa
(SISSA)
Abstract

We consider a class of Lagrangian sections L contained in certain Calabi-Yau Lagrangian fibrations (mirrors of toric weak Fano manifolds). We prove that a form of the Thomas-Yau conjecture holds in this case: L is isomorphic to a special Lagrangian section in this class if and only if a stability condition holds, in the sense of a slope inequality on objects in a set of exact triangles in the Fukaya-Seidel category. This agrees with general proposals by Li. On
surfaces and threefolds, under more restrictive assumptions, this result can be used to show a precise relation with Bridgeland stability, as predicted by Joyce. Based on arXiv:2505.07228 and arXiv:2508.17709.

Tue, 10 Feb 2026
15:30
L4

Cohomological Hall algebras of 1-dimensional sheaves and Yangians over the Bridgeland's space of stability conditions

Francesco Sala
(Pisa)
Abstract

In this talk, I will introduce the nilpotent cohomological Hall algebra COHA(S, Z) of coherent sheaves on a smooth quasi-projective complex surface S that are set-theoretically supported on a closed subscheme Z. This algebra can be viewed as the "largest" algebra of cohomological Hecke operators associated with modifications along a subscheme Z of S. When S is the minimal resolution of an ADE singularity and Z is the exceptional divisor, I will describe how to characterize COHA(S, Z) in terms of the Yangian of the corresponding affine ADE quiver Q (based on joint work with Emanuel Diaconescu, Mauro Porta, Oliver Schiffmann, and Eric Vasserot, arXiv:2502.19445). More generally, I will discuss nilpotent COHAs arising from Bridgeland stability conditions on the bounded derived category of nilpotent representations of the preprojective algebra of Q, following joint work with Olivier Schiffmann and Parth Shimpi (arXiv:2511.08576).

Fri, 13 Mar 2026

11:00 - 12:00
L4

Stop abusing Turing

Dr Thomas Woolley
(Dept of Maths Cardiff University)
Abstract

Everything you have been taught about Turing patterns is wrong! (Well, not everything, but qualifying statements tend to weaken a punchy first sentence). Turing patterns are universally used to generate and understand patterns across a wide range of biological phenomena. They are wonderful to work with from a theoretical, simulation and application point of view. However, they have a paradoxical problem of being too easy to produce generally, whilst simultaneously being heavily dependent on the details. In this talk I demonstrate how to fix known problems such as small parameter regions and sensitivity, but then highlight a new set of issues that arise from usually overlooked issues, such as boundary conditions, initial conditions, and domain shape. Although we’ve been exploring Turing’s theory for longer than I’ve been alive, there’s still life in the old (spotty) dog yet.

Fri, 06 Mar 2026

11:00 - 12:00
L4

Identifiability of stochastic and spatial models in mathematical biology

Dr Alexander Browning
(Dept of Mathematics University of Melbourne)
Abstract
Effective application of mathematical models to interpret biological data and make accurate predictions often requires that model parameters are identifiable. Requisite to identifiability from a finite amount of noisy data is that model parameters are first structurally identifiable: a mathematical question that establishes whether multiple parameter values may give rise to indistinguishable model outputs. Approaches to assess structural identifiability of deterministic ordinary differential equation models are well-established, however tools for the assessment of the increasingly relevant stochastic and spatial models remain in their infancy. 
 
I provide in this talk an introduction to structural identifiability, before presenting new frameworks for the assessment of stochastic and partial differential equations. Importantly, I discuss the relevance of our methodology to model selection, and more the practical and aptly named practical identifiability of parameters in the context of experimental data. Finally, I conclude with a brief discussion of future research directions and remaining open questions.
Fri, 27 Feb 2026

11:00 - 12:00
L4

The life of a Turing Pattern

Dr Robert Van Gorder
(Department of Mathematics and Statistics University of Otago)
Abstract

We survey the life of a Turing pattern, from initial diffusive instability through the emergence of dominant spatial modes and to an eventual spatially heterogeneous pattern. While many mathematically ideal Turing patterns are regular, repeating in structure and remaining of a fixed length scale throughout space, in the real world there is often a degree of irregularity to patterns. Viewing the life of a Turing pattern through the lens of spatial modes generated by the geometry of the bounded space domain housing the Turing system, we discuss how irregularity in a Turing pattern may arise over time due to specific features of this space domain or specific spatial dependencies of the reaction-diffusion system generating the pattern.

Subscribe to L4