Thu, 15 Nov 2007

11:00 - 12:00
SR1

Exposition on point counting using rigid cohomology

George Walker
(University of Oxford)
Abstract

Given an algebraic variety $X$ over the finite field ${\bf F}_{q}$, it is known that the zeta function of $X$,

$$ Z(X,T):=\mbox{exp}\left( \sum_{k=1}^{\infty} \frac{#X({\bf F}_{q^{k}})T^{k}}{k} \right) $$

is a rational function of $T$. It is an ongoing topic of research to efficiently compute $Z(X,T)$ given the defining equation of $X$.

I will summarize how we can use Berthelot's rigid cohomology (sparing you the actual construction) to compute $Z(X,T)$, first done for hyperelliptic curves by Kedlaya. I will go on to describe Lauder's deformation algorithm, and the promising fibration algorithm, outlining the present drawbacks.

Thu, 01 Nov 2007

11:00 - 12:00
SR1

Hyperbolic 3-manifolds

Liam Wall
(University of Oxford)
Abstract

In this talk I will introduce hyperbolic 3-manifolds, state some major conjectures about them, and discuss some group-theoretic properties of their fundamental groups.

Thu, 25 Oct 2007

12:00 - 13:00
SR1

Why did Lie Invent Lie Groups?

Mitul Shah
(University of Oxford)
Abstract

This talk will be about the systematic simplification of differential equations.

After giving a geometric reformulation of the concept of a differential equation using prolongations, I will show how we can prolong group actions relatively easily at the level of Lie algebras. I will then discuss group-invariant solutions.

The key example will be the heat equation.

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, 25 Oct 2007

14:00 - 15:00
Comlab

A Primal-Dual Augmented Lagrangian

Dr Daniel Robinson
(University of Oxford)
Abstract

A new primal-dual augmented Lagrangian merit function is proposed that may be minimized with respect to both the primal and dual variables. A benefit of this approach is that each subproblem may be regularized by imposing explicit bounds on the dual variables. Two primal-dual variants of classical primal methods are given: a primal-dual bound constrained Lagrangian (pdBCL) method and a primal-dual l1 linearly constrained Lagrangian (pdl1-LCL) method.

Thu, 18 Oct 2007

12:00 - 13:00
SR1

Cartan connections and parabolic geometries

David Baraglia
(University of Oxford)
Abstract

Klein's famous lecture proposes that to study geometry we study homogeneous spaces ie study transformation groups acting on a space. E. Cartan found a generalization now known as "Cartan geometries", these are a curved generalization of homogeneous spaces, eg Riemannian manifolds are Cartan geometries modeled on {Euclidean group}/{orthogonal group}.

Topics for my talk will be

Cartan geometries / Cartan connections

Parabolic geometries - a special class of Cartan geometries

Examples - depending on how much time but I will probably explain conformal

geometry as a parabolic geometry

Subscribe to University of Oxford