Thu, 31 Jan 2013

16:00 - 17:00
L3

Classicality for overconvergent eigenforms on some Shimura varieties.

Christian Johansson
(Imperial College London)
Abstract

A well known theorem of Coleman states that an overconvergent modular eigenform of weight k>1 and slope less than k-1 is classical. This theorem was later reproved and generalized using a geometric method very different from Coleman's cohomological approach. In this talk I will explain how one might go about generalizing the cohomological method to some higher-dimensional Shimura varieties.

Thu, 31 Jan 2013

15:00 - 16:00
SR1

Introduction to Stacks by way of Vector Bundles on a Curve

Tom Hawes
Abstract

The aim of this talk is to introduce the notion of a stack, by considering in some detail the example of the the stack of vector bundles on a curve. One of the key areas of modern geometry is the study of moduli problems and associated moduli spaces, if they exist. For example, can we find a `fine moduli space' which parameterises isomorphism classes of vector bundles on a smooth curve and contains information about how such vector bundles vary in families? Quite often such a space doesn't exist in the category where we posed the original moduli problem, but we can enlarge our category and construct a `stack' which in a reasonable sense gives us the key properties of a fine moduli space we were looking for. This talk will be quite sketchy and won't even properly define a stack, but we hope to at least give some feel of how these objects are defined and why one might want to consider them.

Thu, 31 Jan 2013

14:00 - 15:00
Gibson Grd floor SR

On the Origins of Domain Decomposition Methods

Professor Martin Gander
(University of Geneva)
Abstract

Domain decomposition methods have been developed in various contexts, and with very different goals in mind. I will start my presentation with the historical inventions of the Schwarz method, the Schur methods and Waveform Relaxation. I will show for a simple model problem how all these domain decomposition methods function, give precise results for the model problem, and also explain the most general convergence results available currently for these methods. I will conclude with the parareal algorithm as a new variant for parallelization of evolution problems in the time direction.

Thu, 31 Jan 2013

13:00 - 14:00
DH 1st floor SR

Arrow-Debreu Equilibrium for Rank-Dependent Utility with heterogeneous Probability Weighting

Hanqing Jin
(Mathematics (Oxford))
Abstract

General Arrow-Debreu equilibrium can be determined for expected utility maximisers by explicit solutions for individual players. When the expected

utilities are distorted by probability weighting functions, players cannot find explicit optimal decisions. Zhou and Xia studied the existence of equilibrium when the probability weighting functions are the same for all individual players. In this paper, we investigate the same problem but with heterogeneous probability weighting function.

Thu, 31 Jan 2013

12:00 - 13:00
Gibson Grd floor SR

Dynamics for Screw Dislocations with Antiplane Shear

Timothy Blass
(Carnegie Mellon University & OxPDE)
Abstract

I will discuss the motion of screw dislocations in an elastic body under antiplane shear. In this setting, dislocations are viewed as points in a two-dimensional domain where the strain field fails to be a gradient. The motion is determined by the Peach-Koehler force and the slip-planes in the material. This leads to a system of discontinuous ODE, where the vector field depends on the solution to an elliptic PDE with Neumann data. We show short-time existence of solutions; we also have uniqueness for a restricted class of domains. In general, global solutions do not exist because of collisions.

Thu, 31 Jan 2013
11:00
SR1

"Henselianity as an elementary property".

Franziska Jahnke
(Oxford)
Abstract

 Following Prestel and Ziegler, we will explore what it means for a field
to be t-henselian, i.e. elementarily equivalent (in the language of
rings) to some non-trivially henselian valued field. We will discuss
well-known as well as some new properties of t-henselian fields.

Wed, 30 Jan 2013

16:00 - 17:00
SR2

Uniform Hyperbolicity of the Curve Graph

David Hume; Robert Kropholler; Martin Palmer and Alessandro Sisto
(University of Oxford)
Abstract

We will discuss (very) recent work by Hensel; Przytycki and Webb, who describe unicorn paths in the arc graph and show that they form 1-slim triangles and are invariant under taking subpaths. We deduce that all arc graphs are 7-hyperbolic. Considering the same paths in the arc and curve graph, this also shows that all curve graphs are 17-hyperbolic, including closed surfaces.

Wed, 30 Jan 2013
16:00
L3

tba

Joel Ouaknine
(Oxford)
Wed, 30 Jan 2013

12:00 - 13:00
SR1

Outomorphisms of Out(F_n) are trivial for n>2

Lukasz Grabowski
(University of Oxford)
Abstract

The eponymous result is due to Bridson and Vogtmann, and was proven in their paper "Automorphisms of Automorphism Groups of Free Groups" (Journal of Algebra 229). While I'll remind you all the basic definitions, it would be very helpful to be already somewhat familiar with the outer space.

Wed, 30 Jan 2013
10:30
Queen's College

Expansion and random walks in SL_n

Henry Bradford -- Queen's Lecture C
Abstract

I will look at some tools for proving expansion in the Cayley graphs of finite quotients of a given infinite group, with particular emphasis on Bourgain-Gamburd’s work on expansion in Zariski-dense subgroups of SL_2(Z), and speculate to what extent such expansion may be said to be “uniform”.

Tue, 29 Jan 2013
17:00
L2

Intersections of subgroups of free products.

Yago Antolin Pichel
(Southampton)
Abstract

I will introduce the notion of Kurosh rank for subgroups of 
free products. This rank satisfies the Howson property, i.e. the 
intersection of two subgroups of finite Kurosh rank has finite Kurosh rank.
I will present a version of the Strengthened Hanna Neumann inequality in 
the case of free products of right-orderable groups. Joint work with  A. 
Martino and I. Schwabrow.

Tue, 29 Jan 2013

14:30 - 15:30
L3

Self-avoiding walks in a half-plane

Mireille Bousquet-Melou
(Labri)
Abstract

A self-avoiding walk on a lattice is a walk that never visits the same vertex twice.  Self-avoiding walks (SAW) have attracted interest for decades, first in statistical physics, where they are considered as polymer models, and then in combinatorics and in probability theory (the first mathematical contributions are probably due to John Hammersley, from Oxford, in the early sixties). However, their properties remain poorly understood in low dimension, despite the existence of remarkable conjectures.

About two years ago, Duminil-Copin and Smirnov proved an "old" and remarkable conjecture of Nienhuis (1982), according to which the number of SAWs of length n on the honeycomb (hexagonal) lattice grows like mu^n, with mu=sqrt(2 +sqrt(2)).

This beautiful result has woken up the hope to prove other simple looking conjectures involving these objects. I will thus present the proof of a younger conjecture (1995) by Batchelor and Yung, which deals with SAWs confined to a half-plane and interacting with its boundary.

(joint work with N. Beaton, J. de Gier, H. Duminil-Copin and A. Guttmann)

Mon, 28 Jan 2013

17:00 - 18:00
Gibson 1st Floor SR

Hadamard's compatibility condition for microstructures

John M. Ball
(Oxford)
Abstract

The talk will discuss generalizations of the classical Hadamard jump  condition to general locally Lipschitz maps, and applications to
polycrystals. This is joint work with Carsten Carstensen.

Mon, 28 Jan 2013

15:45 - 16:45
L3

Coarse median spaces

Brian Bowditch
(Warwick)
Abstract

By a "coarse median" we mean a ternary operation on a path metric space, satisfying certain conditions which generalise those of a median algebra. It can be interpreted as a kind of non-positive curvature condition, and is applicable, for example to finitely generated groups. It is a consequence of work of Behrstock and Minsky, for example, that the mapping class group of a surface satisfies this condition. We aim to give some examples, results and applications concerning this notion.