Mon, 07 May 2007
17:00
L1

Energy scaling and domain branching in type-I superconductors

Sergio Conti
(Duisburg)
Abstract
  The intermediate state of a type-I superconductor is a classical example of energy-driven pattern-formation, first studied by Landau in 1937. Mathematically this can be modeled by a nonconvex functional with a singular perturbation, which physically represents the surface energy. In this talk I shall discuss how a combination of interpolation inequalities and explicit constructions permits to determine the scaling of the minimal energy with respect to the relevant material parameters, and therefore to predict a phase diagram for the observed microstructure. This talk is mainly based on joint work with Rustum Choksi, Robert V. Kohn, and Felix Otto.    
Mon, 07 May 2007
15:45
L3

Local-to-global principles for classifying spaces

Jesper Grodal
(Copenhagen)
Abstract
  In this talk I will show how one can sometimes "uncomplete" the p-completed classifying space of a finite group, to obtain the original (non-completed) classifying space, and hence the original finite group. This "uncompletion" process is closely related to well-known local-to-global questions in group theory, such as the classification of finite simple groups. The approach goes via the theory of p-local finite groups. This talk is a report on joint work with Bob Oliver.  
Mon, 07 May 2007
14:15
L3

Stabilizing mapping class groups of 3-manifolds

Nathalie Wahl
(Copenhagen)
Abstract

 

Abstract:

(joint work with Allen Hatcher) Let M be a compact, connected 3-manifold with a

fixed boundary component d_0M. For each prime manifold P, we consider the

mapping class group of the manifold M_n^P obtained from M by taking a connected

sum with n copies of P. We prove that the ith homology of this mapping class

group is independent of n in the range n>2i+1. Our theorem moreover applies to

certain subgroups of the mapping class group and include, as special cases,

homological stability for the automorphism groups of free groups and of other

free products, for the symmetric groups and for wreath products with symmetric

groups.

 

Fri, 04 May 2007
16:30
L2

Linear equations in primes

Professor Ben Green
(University of Cambridge)
Abstract

I shall report on a programme of research which is joint with Terence Tao. Our

goal is to count the number of solutions to a system of linear equations, in

which all variables are prime, in as much generality as possible. One success of

the programme so far has been an asymptotic for the number of four-term

arithmetic progressions p_1 < p_2 < p_3 < p_4 <= N of primes, defined by the

pair of linear equations p_1 + p_3 = 2p_2, p_2 + p_4 = 2p_3. The talk will be

accessible to a general audience.

Fri, 04 May 2007
15:15
L3

Partially commutative groups: divisibility, orthogonal systems and universal theory.

Andrew Duncan
(Newcastle)
Abstract
  I shall describe some joint work with Vladimir Remeslennikov and Ilia Kazachkov. Partially commutative groups are groups given by a presentation determined by a graph: vertices are generators and edges define commutation relations. Divisbility and orthogonal systems are tools developed to study these groups. Using them we have descriptions of centralisers of subsets, a good understanding of the centraliser lattice in terms of the underlying graph and have made good progress towards classifying the universal theory of these groups as well as their automorphism groups.
Thu, 03 May 2007
16:15
Fisher Room of NAPL

TBA

Yang-Hui He
(Oxford)
Thu, 03 May 2007

14:00 - 15:00
Comlab

Matrix Computations and the secular equation

Prof Gene Golub
(Stanford University)
Abstract

The "secular equation" is a special way of expressing eigenvalue

problems in a variety of applications. We describe the secular

equation for several problems, viz eigenvector problems with a linear

constraint on the eigenvector and the solution of eigenvalue problems

where the given matrix has been modified by a rank one matrix. Next we

show how the secular equation can be approximated by use of the

Lanczos algorithm. Finally, we discuss numerical methods for solving

the approximate secular equation.