Mon, 15 Oct 2007
15:45
L3

Operads revisited

Ezra Getzler
(Nortwestern and Imperial)
Abstract
I will present a general formalism for understanding coloured operads of different flavours, such as cyclic operads, modular operads and topological field theories. The talk is based on arXiv:math/0701767.
Mon, 15 Oct 2007
15:00
L2

A variational analysis of the XY model for spin systems

Marcos Cicalese
(Napoli)
Abstract
The discrete structure of the ground states of a spin system is often neglected by averaging on a mesoscopic scale and thus capturing the main features of the model while simplifying its analysis. In many cases this procedure is not rigorous and not even well understood. In this talk we show that the coarse graining procedure for the XY (N-dimensional, possibly anysotropic) spin type model can be made rigorous by using Gamma-convergence. In the two-dimesional case we show how it is possible to address the same problem for a model with long-range interactions. Finally we discuss several possible developments and present some open problems.
Mon, 15 Oct 2007
14:15
Oxford-Man Institute

TBA

Professor Dimitri Kramkov
(Oxford and Carnegie Mellon University)
Mon, 15 Oct 2007

12:00 - 13:00
L3

Calabi-Yau Metrics and the Solutions of the Laplacian

Volker Braun
(University of Pennsylvania)
Abstract
Abstract: Following Donaldson's approach we compute the Calabi-Yau metric on quintics, a four-generation quotient, Schoen threefolds and quotients thereof. Using the explicit Calabi-Yau metric, we then compute eigenvalues and eigenmodes of the Laplace operator.
Fri, 12 Oct 2007
15:15
L3

AXIOMATIZING FIELDS VIA GALOIS THEORY

J. Koenigsmann
(Oxford)
Abstract

By classical results of Tarski and Artin-Schreier, the elementary theory of the field of real numbers can be axiomatized in purely Galois-theoretic terms by describing the absolute Galois group of the field. Using work of Ax-Kochen/Ershov and a p-adic analogue of the Artin-Schreier theory the same can be proved for the field $\mathbb{Q}_p$ of p-adic numbers and for very few other fields.

Replacing, however, the absolute Galois group of a field K by that of the rational function field $K(t)$ over $K$, one obtains a Galois-theoretic axiomatiozation of almost arbitrary perfect fields. This gives rise to a new approach to longstanding decidability questions for fields like

$F_p((t))$ or $C(t)$.

Fri, 12 Oct 2007
14:15
Dennis Sciama LT

A Des Res in the Landscape

Prof. Philip Candelas
(Oxford)
Abstract
The Landscape problem in String Theory is the fact that there are apparently a great many possible vacua; each leading to a very different four dimensional world. I will give a survey of the space of possibilities and then argue that we may, after all, live in a naturally defined tip of the distribution.
Thu, 11 Oct 2007

14:00 - 15:00
Comlab

Explicit A Posteriori Error Analysis for Evolution Equation's Finite Element Approximation

Dr Omar Lakkis
(University of Sussex)
Abstract

I will address the usage of the elliptic reconstruction technique (ERT) in a posteriori error analysis for fully discrete schemes for parabolic partial differential equations. A posteriori error estimates are effective tools in error control and adaptivity and a mathematical rigorous derivation justifies and improves their use in practical implementations.

The flexibility of the ERT allows a virtually indiscriminate use of various parabolic PDE techniques such as energy methods, duality methods and heat-kernel estimates, as opposed to direct approaches which leave less maneuver room. Thanks to ERT parabolic stability techniques can be combined with different elliptic a posteriori error analysis techniques, such as residual or recovery estimators, to derive a posteriori error bounds. The method has the merit of unifying previously known approaches, as well as providing new ones and providing us with novel error bounds (e.g., pointwise norm error bounds for the heat equation). [These results are based on joint work with Ch. Makridakis and A. Demlow.]

Another feature, which I would like to highlight, of the ERT is its simplifying power. It allows us to derive estimates where the analysis would be very complicated otherwise. As an example, I will illustrate its use in the context of non-conforming methods, with a special eye on discontinuous Galerkin methods. [These are recent results obtained jointly with E. Georgoulis.]

Thu, 11 Oct 2007

12:00 - 13:00
SR1

The Poincaré - Hopf index theorem

Oscar Randal-Williams
(Oxford)
Abstract

We will prove an extended Poincaré - Hopf theorem, identifying several invariants of a manifold $M$. These are its Euler characteristic $\chi(M)$, the sum $\sum_{x_i} ind_V(x_i)$ of indices at zeroes of a vector field $V$ on $M$, the self-intersection number $\Delta \cap \Delta$ of the diagonal $\Delta \subset M \times M$ and finally the integral $\int_M e(TM)$ of the Euler class of the tangent bundle.

Thu, 11 Oct 2007

12:00 - 13:00
DH 3rd floor SR

OxMOS Lecture - Bifurcation Theory I

Carlos Mora-Corral
(Oxford University Mathematical Institute)
Abstract
Local Bifurcation Theory (I): Theorem of Crandall and Rabinowitz
Tue, 09 Oct 2007
14:30
L3

Tying down the diameter of G(n,p).

Bruce Reed
(McGill/INRIA/CNRS))
Abstract
We show that the diameter of G(n,p) is concentrated on one of three values provided the average degree p(n-1) goes to infity with n. This is joint work with N. Fountoulakis even though he refuses to admit it.