Thu, 30 Apr 2026
17:00
L3

Large fields, Galois groups, and NIP fields

Will Johnson
(Fudan University)
Abstract
A field K is "large" if every smooth curve over K with at least one K-rational point has infinitely many K-rational points. In this talk, I'll discuss what we know about the relations between the arithmetic condition of largeness and the model-theoretic conditions of stability and NIP. Stable large fields are separably closed. For NIP large fields, we know something much weaker: there is a canonical field topology satisfying a weak form of the implicit function theorem for polynomials. Conjecturally, any stable or NIP infinite field should be large. I will discuss these results, as well as the following conjecture: if K is a field and p is a prime and every separable extension of K has degree prime to p, then K is large. This conjecture would imply that NIP fields of positive characteristic are large, and would classify stable fields of positive characteristic. I will present some (very weak) evidence for this conjecture.
Fluctuations for fully pushed stochastic fronts
Etheridge, A Forien, R Hughes, T Penington, S (31 Mar 2026)
New quantum states of matter in and out of equilibrium
Affleck, I Calabrese, P Cardy, J Essler, F Fradkin, E Haldane, F volume 2 issue 1 39-41 (09 Dec 2013)
Fri, 17 Apr 2026
16:15

TBA

Sarah Whitehouse
(University of Sheffield)
Mon, 11 May 2026
15:30
L5

Virtual Fibring of Manifolds and Groups

Dawid Kielak
((Mathematical Institute University of Oxford))
Abstract

One can learn a lot about a compact manifold if one can show that it fibres over the circle - in essence, this allows us to view a static n-dimensional manifold as a manifold of dimension n-1 that evolves in time.Being fibred (over the circle) is a relatively rare property. It is much more common to be virtually fibred, that is, to admit a finite cover that is fibred. For example, it was the content of a conjecture of William Thurston, now two theorems by Ian Agol and Dani Wise, that all finite-volume hyperbolic 3-manifolds are virtually fibred; in fact, this property is extremely common among irreducible 3-manifolds.The situation is less clear in higher dimensions. On the obstruction side, we know that virtually fibred manifolds must have vanishing Euler characteristic. This immediately shows that compact hyperbolic manifolds in even dimensions will not be virtually fibred. A more involved obstruction comes from L2-homology: virtually fibred manifolds must be L2-acyclic. The motivation behind the research I will present lies in trying to find situations in which the vanishing of L2-homology is is not only necessary, but also sufficient for virtual fibring. It turns our that a lot more can be said if we replace aspherical manifolds by their homological cousins: Poincare duality groups. Concretely, if G is an n-dimensional Poincare-duality group over the rationals, and if G satisfies the RFRS property, then G is L2-acyclic if and only if there is a finite-index subgroup G0 of G and an epimorphism from G0 onto the integers such that its kernel is a Poincare-duality group over the rationals of dimension n-1. (This last theorem is joint with Sam Fisher and Giovanni Italiano.)The RFRS property was introduced in Agol's work on Thurston's conjecture. A countable group is RFRS if and only if it is residually {virtually abelian and poly-Z}. All compact special groups in the sense of Haglund-Wise satisfy this property, so there is a ready supply of RFRS groups, also among fundamental groups of hyperbolic manifolds in high dimensions.


 

Tue, 05 May 2026
12:30
C2

A multiscale discrete-to-continuum framework for structured population models

Eleonora Agostinelli
(Wolfson Centre for Mathematical Biology)
Abstract
Population models commonly use discrete structure classes to capture trait heterogeneity among individuals (e.g. age, size, phenotype, intracellular state). Upscaling these discrete models into continuum descriptions can improve analytical tractability and scalability of numerical solutions. Common upscaling approaches based solely on Taylor expansions may, however, introduce ambiguities in truncation order, uniform validity and boundary conditions. To address this, we introduce a discrete multiscale framework to systematically derive continuum approximations of structured population models. Using multiscale asymptotic methods applied to discrete systems, we identify regions of structure space for which a continuum representation is appropriate. The leading-order dynamics are governed by nonlinear advection in the bulk, with diffusive boundary-layer corrections near wavefronts and stagnation points. We also derive discrete descriptions for regions where a continuum approximation is fundamentally inappropriate. This multiscale framework can be applied to other heterogeneous systems with discrete structure to obtain appropriate upscaled dynamics with asymptotically consistent boundary conditions. 
Stable Algorithms for General Linear Systems by Preconditioning the Normal Equations
Epperly, E Greenbaum, A Nakatsukasa, Y Numerische Mathematik
Subscribe to