From studying the rhythmic movements, researchers at the Universities of York, Birmingham, Oxford and Kyoto University, Japan, have developed a mathematical formula which makes it easier to understand and predict how sperm make the journey to fertilise an egg. This knowledge will help scientists to gauge why some sperm are successful in fertilisation and others are not.
17:30
Transseries as surreal analytic functions
Abstract
Transseries arise naturally when solving differential equations around essential singularities. Just like most Taylor series are not convergent, most transseries do not converge to real functions, even when using advanced summation techniques.
On the other hand, we can show that all classical transseries induce analytic functions on the surreal line. In fact, this holds for an even larger (proper) class of series which we call "omega-series".
Omega-series can be composed and differentiated, like LE-series, and they form a differential subfield of surreal numbers equipped with the simplest derivation. This raises once again the question whether all surreal numbers can be also interpreted as functions. Unfortunately, it turns out that the simplest derivation is in fact incompatible with this goal.
This is joint work with A. Berarducci.
16:00
Globally Valued Fields, fullness and amalgamation
Abstract
Globally Valued Fields, studied jointly with E. Hrushovski, are a formalism for fields in which the sum formula for valuations holds, such as number fields or function fields of curves. They form an elementary class (in continuous first order logic), and model-theoretic questions regarding this class give rise to difficult yet fascinating geometric questions.
I intend to present « Lyon school » approach to studying GVFs. This consists of reducing as much as possible to local considerations, among other things via the "fullness" axiom.
17:30
Theories of presheaf type as a basic setting for topos-theoretic model theory
Abstract
I will review the notion of classifying topos of a first-order (geometric) theory and explain the central role enjoyed by theories of presheaf type (i.e. classified by a presheaf topos) in the context of the topos-theoretic investigation of the model theory of geometric theories. After presenting a few main results and characterizations for theories of presheaf type, I will illustrate the generality of the point of view provided by this class of theories by discussing a topos-theoretic framework unifying and generalizing Fraissé’s construction in model theory and topological Galois theory and leading to an approach to the problem of the independence from l of l-adic cohomology.
12:00
On the De Gregorio modification of the Constantin-Lax-Majda model
Abstract
The Constantin-Lax-Majda model is a 1d system which shares certain features (related to vortex stretching) with the 3d Euler equation. The model is explicitly solvable and exhibits finite-time blow-up for an open subset of smooth initial data. In 1990s De Gregorio suggested adding a transport term to the system, which is analogous to the transport term in the Euler equation. It turns out the transport term has some regularizing effects, which we will discuss in the lecture.
12:00
Decay characterization of solutions to dissipative systems
Abstract
I will address the study of decay rates of solutions to dissipative equations. The characterization of these rates will first be given for a wide class of linear systems by the decay character, which is a number associated to the initial datum that describes the behavior of the datum near the origin in frequency space. The understanding of the behavior of the linear combined with the decay character and the Fourier Splitting method is then used to obtain some upper and lower bounds for decay of solutions to appropriate dissipative nonlinear equations, both in the incompressible and compressible case.
12:00
Long time behaviour of stochastic conservation laws with a class of multiplicative noise
Abstract
I will discuss the specific long-time behaviour of kinetic solutions to stochastic conservation laws with non-linear multiplicative noises.
12:00
On the Euler-Voigt system in a 3D bounded domain
Abstract
We consider the Euler–Voigt equations in a bounded domain as an approximation for the 3D Euler equations. We adopt suitable physical conditions and show that the solutions of the Voigt equations are global, do not smooth out the solutions and converge to the solutions of the Euler equations, hence they represent a good model.
Mapping Class Group Actions on Moduli Spaces and the Teichmueller Flow
Abstract
We describe a general program for the classification of flat connections on topological manifolds. This is motivated by the classification of locally homogeneous geometric structures on manifolds, in the spirit of Ehresmann and Thurston. This leads to interesting dynamical systems arising from mapping class group actions on character varieties. The mapping class group action is a discrete version of a continuous object, namely the extension of the Teichmueller flow to a unversal character variety over over the tangent bundle of Teichmuller space. We give several examples of this construction
and discuss joint work with Giovanni Forni on a mixing property of this suspended flow.