Mon, 14 Jan 2008
14:45
L3

Volumes of knot complements

Jessica Purcell
(Oxford)
Abstract

The complement of a knot or link is a 3-manifold which admits a geometric

structure. However, given a diagram of a knot or link, it seems to be a

difficult problem to determine geometric information about the link

complement. The volume is one piece of geometric information. For large

classes of knots and links with complement admitting a hyperbolic

structure, we show the volume of the link complement is bounded by the

number of twist regions of a diagram. We prove this result for a large

collection of knots and links using a theorem that estimates the change in

volume under Dehn filling. This is joint work with Effie Kalfagianni and

David Futer

Mon, 14 Jan 2008
13:15
Oxford-Man Institute

Optimal transport and curvature (monge meets Riemann)

Prof. Cedric Villani
(ENS Lyon)
Abstract

Born in France around 1780, the optimal transport problem has known a scientific explosion in the past two decades, in relation with dynamical systems and partial differential equations. Recently it has found unexpected applications in Riemannian geometry, in particular the encoding of Ricci curvature bounds

Mon, 14 Jan 2008

11:00 - 12:00
L3

Special Geometry over $\mathbb C$ and $\mathbb Q_p$

Philip Candelas
(Oxford)
Abstract
Abstract: The moduli space of Calabi-Yau manifolds have a natural geometrical structure that has come to be known as special geometry. This geometry will be reviewed in the complex context and it will be shown that much of the structure persists for p-adic Calabi-Yau manifolds.
Thu, 10 Jan 2008
10:30
L3

Profinite completion and MacNeille completion can coincide on modal algebras

Jacob Vosmaer
(Amsterdam)
Abstract

We show that the profinite completion (a universal algebraic

construction) and the MacNeille completion (an order-theoretic

construction) of a modal algebra $A$ coincide, precisely when the congruences of finite index of $A$ correspond to principal order filters. Examples of such modal algebras are the free K4-algebra and the free PDL-algebra on finitely many generators.

Mon, 03 Dec 2007

13:15 - 14:15
L3

Floer cohomology of Lagrangian spheres in symplectic manifolds

Jean-Yves Welschinger
(Lyons)
Abstract

I will associate, to every pair of smooth transversal

Lagrangian spheres in a symplectic manifold having vanishing first Chern

class, its Floer cohomology groups. Hamiltonian isotopic spheres give

rise to isomorphic groups. In order to define these Floer cohomology

groups, I will make a key use of symplectic field theory.

Thu, 29 Nov 2007

14:00 - 15:00
Comlab

Polynomials and potential theory for Gaussian radial basis function interpolation

Dr Rodrigo Platte
(University of Oxford)
Abstract

Radial basis function (RBF) methods have been successfully used to approximate functions in multidimensional complex domains and are increasingly being used in the numerical solution of partial differential equations. These methods are often called meshfree numerical schemes since, in some cases, they are implemented without an underlying grid or mesh.

The focus of this talk is on the class of RBFs that allow exponential convergence for smooth problems. We will explore the dependence of accuracy and stability on node locations of RBF interpolants. Because Gaussian RBFs with equally spaced centers are related to polynomials through a change of variable, a number of precise conclusions about convergence rates based on the smoothness of the target function will be presented. Collocation methods for PDEs will also be considered.

Thu, 29 Nov 2007

13:30 - 14:30
L3

An introduction to higher-dimensional category theory

Eugenia Cheng
(Sheffield)
Abstract

Category theory is used to study structures in various branches of

mathematics, and higher-dimensional category theory is being developed to

study higher-dimensional versions of those structures. Examples include

higher homotopy theory, higher stacks and gerbes, extended TQFTs,

concurrency, type theory, and higher-dimensional representation theory. In

this talk we will present two general methods for "categorifying" things,

that is, for adding extra dimensions: enrichment and internalisation. We

will show how these have been applied to the definition and study of

2-vector spaces, with 2-representation theory in mind. This talk will be

introductory; in particular it should not be necessary to be familiar with

any category theory other than the basic idea of categories and functors.

Tue, 27 Nov 2007
13:30
L3

Combinatorial approaches in phylogenetics

Mike Steel
(University of Canterbury, NZ)
Abstract

Phylogenetics is the reconstruction and analysis of 'evolutionary'

trees and graphs in biology (and related areas of classification, such as linguistics). Discrete mathematics plays an important role in the underlying theory. We will describe some of the ways in which concepts from combinatorics (e.g. poset theory, greedoids, cyclic permutations, Menger's theorem, closure operators, chordal graphs) play a central role. As well as providing an overview, we also describe some recent and new results, and outline some open problems.

Tue, 27 Nov 2007
13:00
L1

Elliptic curves, Cherednik Hecke algebras and Macdonald polynomials I

Olivier Schiffmann
(ENS)
Abstract

We provide a realization of Cherednik's double affine Hecke

algebras (for GL_n) as a convolution algebra of functions on moduli spaces

of coherent sheaves on an elliptic curve. As an application we give a

geometric construction of Macdonald polynomials as (traces of) certain

natural perverse sheaves on these moduli spaces. We will discuss the

possible extensions to higher (or lower !) genus curves and the relation

to the Hitchin nilpotent variety. This is (partly) based on joint work

with I. Burban and E. Vasserot.