L3

The Kerr solutions to Einstein's equations describe rotating black holes. For the wave equation in flat-space and outside the non-rotating, Schwarzschild black holes, one method for proving decay is the vector-field method, which uses the energy-momentum tensor and vector-fields. Outside the Schwarzschild black hole, a key intermediate step in proving decay involved proving a Morawetz estimate using a vector-field which pointed away from the photon sphere, where null geodesics orbit the black hole. Outside the Kerr black hole, the photon orbits have a more complicated structure. By using the hidden symmetry of Kerr, we can replace the Morawetz vector-field by a fifth-order operator which, in an appropriate sense, points away from the photon orbits. This allows us to prove the necessary Morawetz estimate. From this we can prove a decay estimate of almost $t^{-1}$ for fixed $r$ and the corresponding decay rates at the event horizon and null infinity. The major innovation in this result is that, by using the hidden symmetries with the energy-momentum, we can avoid taking Fourier tranforms in time.

This is joint work with Lars Andersson.

A theorem of Kuyk says that every Abelian extension of a

Hilbertian field is Hilbertian.

We conjecture that for an Abelian variety $A$ defined over

a Hilbertian field $K$

every extension $L$ of $K$ in $K(A_\tor)$ is Hilbertian.

We prove our conjecture when $K$ is a number field.

The proofs applies a result of Serre about $l$-torsion of

Abelian varieties, information about $l$-adic analytic

groups, and Haran's diamond theorem.

I will talk about two pieces of work on finite covers:

(i) Work of Hrushovski which, for a stable theory, links splitting of certain finite covers with higher amalgamation properties;

(ii) Joint work of myself and Elisabetta Pastori which uses group cohomology to investigate some non-split finite covers of the set of k-sets from a disintegrated set.

In this talk we discuss the main results of my PhD thesis. We begin by giving some background on Moufang polygons. This is followed by a short introduction of the basic model theoretic notions related to the thesis, such as asymptotic classes of finite structures, measurable structures, (superstable) supersimple theories and (finite Morley rank) S_1 rank. We also mention the relation between Moufang polygons and the associated little projective groups.

Moufang polygons have been classified by Tits and Weiss, and a complete list is given in their book `Moufang polygons'.

This work is inspired by a paper of Kramer, Tent and van Maldeghem called "Simple groups of finite Morley rank and Tits buildings". The authors work in a superstable context. They show that Moufang polygons of finite Morley rank are exactly Pappian polygons, i.e., projective planes, symplectic quadrangles and split Cayley hexagons, provided that they arise over algebraically closed fields.

We work under the weaker assumption of supersimplicity. Therefore, we expect more examples. Indeed, apart from those already occuring in the finite Morley rank case, there are four further examples, up to duality, of supersimple Moufang polygons; namely, Hermitian quadrangles in projective dimension 3 and 4, the twisted triality hexagon and the (perfect) Ree-Tits octagon, provided that the underlying field (or `difference' field in the last case) is supersimple.

As a result, we obtain the nice characterization that supersimple Moufang polygons are exactly those Moufang polygons belonging to families which also arise over finite fields.

Examples of supersimple Moufang polygons are constructed via asymptoticity

arguments: every class C of finite Moufang polygons forms an asymptotic class, and every non-principal ultraproduct of C gives rise to a measurable structure, thus supersimple (of finite S_1 rank). For the remaining cases one can proceed as follows: let \Gamma be any Moufang polygon belonging to a family which does not arise over finite fields, and call K its underlying field; then K is

(first-order) definable in \Gamma, and by applying some model theoretic facts this definability is inconsistent with supersimplicity".

This purpose of this talk will be to introduce the idea that the spectrum of nonstandard models of a ``standard''

algebraic object can be used much like a microscope with which one may perceive and codify irrationality invisible within the standard model.

This will be done by examining the following three themes:

\item {\it Algebraic topology of foliated spaces} We define the fundamental germ, a generalization of fundamental group for foliations, and show that the fundamental germ of a foliation that covers a manifold $M$ is detected (as a substructure) by a nonstandard model of the fundamental group of $M$.

\item {\it Real algebraic number theory.} We introduce the group $(r)$ of diophantine approximations of a real number $r$, a subgroup of a nonstandard model of the integers, and show how $(r)$ gives rise to a notion of principal ideal generated by $r$.

The general linear group $GL(2, \mathbb{Z})$ plays here the role of a Galois group, permuting the real ideals of equivalent real numbers.

\item {\it Modular invariants of a Noncommutative Torus.} We use the fundamental germ of the associated Kronecker foliation as a lattice and define the notion of Eisenstein series, Weierstrass function, Weierstrass equation and j-invariant.