Leeds

The ε-energy is a regularisation of the Dirichlet energy introduced by Tobias Lamm. Like the famous Sacks-Uhlenbeck regularisation this greatly improves the existence and regularity theory. When we take the limit of a sequence of ε-harmonic maps with the parameter ε decreasing to 0 these converge, in the standard bubbling sense, to harmonic maps, which we hope to extract information about. I will talk about some recent results for these sequences, being when we might hope to have no loss of energy and no neck forming and what sort of harmonic maps we can obtain in the limit.

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.  

I will discuss joint work with Gismatullin, Halupczok, and Simonetta on the following problem: given a henselian valued field of characteristic 0, possibly equipped with analytic structure (in the sense stemming originally from Denef and van den Dries), describe the possibilities for a definable group G in the valued field sort which is definably almost simple, that is, has no proper infinite definable normal subgroups. We also have results for an algebraically closed valued field K in characteristic p, but assuming also that the group is a definable subgroup of GL(n, K).

I will review some classical results on geometric scattering
theory for linear hyperbolic evolution equations
on globally hyperbolic spacetimes and its relation to particle and charge
creation in QFT. I will then show that some index formulae for the
scattering matrix can be interpreted as a special case of the  Lorentzian
analog of the Atyiah-Patodi-Singer index theorem. I will also discuss a
local version of this theorem and its relation to anomalies in QFT.
(Joint work with C. Baer)

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.

 Anyone who has worked in $\beta $N will not be surprised to learn that some of the algebraically defined subsets of $\beta N$ are not topologically simple, even though their algebraic definition may be very simple.  I shall show that the following subsets of $\beta N$ are not Borel: $N^*+N^*$; the smallest ideal of $\beta N$; the set of idempotents in $\beta N$; any semiprincipal right ideal in $\beta N$; the set of idempotents in any left ideal in $\beta N$.

Abstract:  Anyone who has worked in $\beta $N will not be surprised to learn that some of the algebraically defined subsets of $\beta N$ are not topologically simple, even though their algebraic definition may be very simple.  I shall show that the following subsets of $\beta N$ are not Borel: $N^*+N^*$; the smallest ideal of $\beta N$; the set of idempotents in $\beta N$; any semiprincipal right ideal in $\beta N$; the set of idempotents in any left ideal in $\beta N$.