Thu, 30 Apr 2009
17:00
L3

Etale cohomology of difference schemes

Ivan Tomasic
Abstract

Difference schemes constitute important building blocks in the model-theoretic study of difference fields.

Our goal is to pursue their number-theoretic aspects much further than required by model theory.

Roughly speaking, a difference scheme (variety) is a scheme

(variety) with a distinguished endomorphism. We will explain how to extend the methods of etale cohomology to this context and, time permitting, we will show the calculation of difference etale cohomology in some interesting cases.

Thu, 30 Apr 2009

14:00 - 15:00
Comlab

Approximation of Inverse Problems

Prof. Andrew Stuart
(University of Warwick)
Abstract

Inverse problems are often ill-posed, with solutions that depend sensitively on data. Regularization of some form is often used to counteract this. I will describe an approach to regularization, based on a Bayesian formulation of the problem, which leads to a notion of well-posedness for inverse problems, at the level of probability measures.

The stability which results from this well-posedness may be used as the basis for understanding approximation of inverse problems in finite dimensional spaces. I will describe a theory which carries out this program.

The ideas will be illustrated with the classical inverse problem for the heat equation, and then applied to so more complicated inverse problems arising in data assimilation, such as determining the initial condition for the Navier-Stokes equation from observations.

Thu, 30 Apr 2009
13:00
DH 1st floor SR

TBA

Raphael Hauser
Thu, 30 Apr 2009

12:00 - 13:00
SR1

Spaces of surfaces and Mumford's conjecture

Oscar Randal-Williams
(Oxford)
Abstract

I will present a new proof of Mumford's conjecture on the rational cohomology of moduli spaces of curves, which is substantially different from those given by Madsen--Weiss and Galatius--Madsen--Tillmann--Weiss: in particular, it makes no use of Harer--Ivanov stability for the homology of mapping class groups, which played a decisive role in the previously known proofs. This talk represents joint work with Soren Galatius.

Wed, 29 Apr 2009

11:30 - 12:30
ChCh, Tom Gate, Room 2

Presheaves on 2-categories

Richard Williamson
(University of Oxford)
Abstract

Presheaves on categories crop up everywhere! In this talk, I'll give a

gentle introduction to 2-categories, and discuss the notion of a

presheaf on a 2-category. In particular, we'll consider which

2-categories such a presheaf might take values in. Only a little

familiarity with the notion of a category will be assumed!

Tue, 28 Apr 2009

15:45 - 16:45
L3

Some geometric constructions of link homology

Geordie Williamson
(Oxford)
Abstract

Triply graded link homology (introduced by Khovanov and Rozansky) is a

categorification of the HOMFLYPT polynomial. In this talk I will discuss

recent joint work with Ben Webster which gives a geometric construction of this invariant in terms of equivariant constructible sheaves. In this

framework the Reidemeister moves have quite natural geometric proofs. A

generalisation of this construction yields a categorification of the

coloured HOMFLYPT polynomial, constructed (conjecturally) by Mackay, Stosic and Vaz. I will also describe how this approach leads to a natural formula for the Jones-Ocneanu trace in terms of the intersection cohomology of Schubert varieties in the special linear group.

Mon, 27 Apr 2009
15:45
Oxford-Man Institute

A Random Matrix Approach Uncertainty Analysis in Complex Aero-mechanical

Prof Sondiphon Adhikari
(Swansea)
Abstract

Numerical computer codes implementing physics based models are the backbone of today's mechanical/aerospace engineering analysis and design methods. Such computational codes can be extremely expensive consisting of several millions of degrees of freedom. However, large models even with very detailed physics are often not enough to produce credible numerical results because of several types of uncertainties which exist in the whole process of physics based computational predictions. Such uncertainties include, but not limited to (a) parametric uncertainty (b) model inadequacy; (c) uncertain model calibration error coming from experiments and (d) computational uncertainty. These uncertainties must be assessed and systematically managed for credible computational predictions. This lecture will discuss a random matrix approach for addressing these issues in the context of complex structural dynamic systems. An asymptotic method based on eigenvalues and eigenvectors of Wishart random matrices will be discussed. Computational predictions will be validated against laboratory based experimental results.

Mon, 27 Apr 2009
14:15
Oxford-Man Institute

The parabolic Anderson model with heavy-tailed potential

Peter Moerters
(Bath)
Abstract

The parabolic Anderson model is the Cauchy problem for the heat equation with random potential.  It offers a case study for the possible effects that a random, or irregular environment can have on a diffusion process.  In this talk I review results obtained for an extreme case of heavy-tailed potentials, among the effects we discuss our intermittency, strong localisation and ageing.

Mon, 27 Apr 2009

12:00 - 13:00
L3

Twistor diagrams for gauge-theoretic amplitudes

Andrew Hodges
(Oxford)
Abstract
Abstract: The recent paper by Arkani-Hamed, Cachazo, Cheung and Kaplan on 'The S-matrix in Twistor Space' (hep-th/0903.2110v2) has envigorated the project of expressing scattering amplitudes for (supersymmetric) gauge theory and gravity entirely in terms of twistor geometry. I shall review these new developments of twistor diagram theory, with some illustrations of its computational value. I shall also emphasise the many outstanding problems in the formalism. One of these, which Arkani-Hamed has highlighted, is the asymmetry in the representation of the amplitudes and the 'spurious poles' that arise. So far, the twistor diagram formalism has simply reproduced the less than satisfactory features of the (supersymmetrised) BCFW recursion. I will outline some new twistor-geometric results which address and partially resolve this problem.
Mon, 30 Mar 2009
15:45
L3

moduli of flat bundles on Riemann surfaces

Soren Galatius
(Stanford)
Abstract

Let G be a compact semisimple Lie group. A classical paper of Atiyah and Bott (from 1982) studies the moduli space of flat G-bundles on a fixed Riemann surface S. Their approach completely determines the integral homology of this moduli space, using Morse theoretic methods. In the case where G is U(n), this moduli space is homotopy equivalent to the moduli space of holomorphic vector bundles on S which are "semi-stable". Previous work of Harder and Narasimhan determined the Betti numbers of this moduli space using the Weil conjectures. 20 years later, a Madsen and Weiss determined the homology of the moduli space of Riemann surfaces, in the limit where the genus of the surface goes to infinity.

My talk will combine these two spaces: I will describe the homology of the moduli space of Riemann surfaces S, equipped with a flat G-bundle E -> S, where we allow both the flat bundle and the surface to vary. I will start by reviewing parts of the Atiyah-Bott and Madsen-Weiss papers. Our main theorem will then be a rather easy consequence. This is joint work with Nitu Kitchloo and Ralph Cohen.

Thu, 26 Mar 2009
14:00
L3

Representation of Quantum Groups and new invariants of links

Chen QingTao
((UC Berkeley))
Abstract

The colored HOMFLY polynomial is a quantum invariant of oriented links in S³ associated with a collection of irreducible representations of each quantum group U_q(sl_N) for each component of the link. We will discuss in detail how to construct these polynomials and their general structure, which is the part of Labastida-Marino-Ooguri-Vafa conjecture. The new integer invariants are also predicted by the LMOV conjecture and recently has been proved. LMOV also give the application of Licherish-Millet type formula for links. The corresponding theory of colored Kauffman polynomial could also be developed in a same fashion by using more complicated algebra method.

In a joint work with Lin Chen and Nicolai Reshetikhin, we rigorously formulate the orthogonal quantum group version of LMOV conjecture in mathematics by using the representation of Brauer centralizer algebra. We also obtain formulae of Lichorish-Millet type which could be viewed as the application in knot theory and topology. By using the cabling technique, we obtain a uniform formula of colored Kauffman polynomial for all torus links with all partitions. Combined these together, we are able to prove many interesting cases of this orthogonal LMOV conjecture.

Thu, 26 Mar 2009
11:00
L3

Applications of the Cobordism Hypothesis

Jacob Lurie
(MIT)
Abstract

In this lecture, I will illustrate the cobordism hypothesis by presenting some examples. Exact content to be determined, depending on the interests of the audience.