Wed, 28 May 2014

16:00 - 17:00
C6

Introduction to Topological K-theory

Thomas Wasserman
(Oxford)
Abstract
A one hour introduction to topological K-theory, that nifty generalised cohomology theory that is built starting from the semi-ring of vector bundles over a space. As I'll need it on Thursday I'll also explain a model for K-theory in terms of difference bundles, and, if time permits, its connection with Clifford algebras.
Wed, 28 May 2014
10:30
N3.12

Makanin's algorithm

Ilya Kazachkov
Abstract

In the late 70s -- early 80s Makanin came up with a very simple, but very powerful idea to approach solving equations in free groups. This simplicity makes Makanin-like procedures ubiquitous in mathematics: in dynamical systems, geometric group theory, 3-dimensional topology etc. In this talk I will explain loosely how Makanin's algorithm works.

Tue, 27 May 2014

17:00 - 18:00
C5

Finite subgroups of the classical groups

Michael Collins
(Oxford University)
Abstract

In 1878, Jordan showed that if $G$ is a finite group of complex $n \times n$ matrices, then $G$ has a normal subgroup whose index in $G$ is bounded by a function of $n$ alone. He showed only existence, and early actual bounds on this index were far from optimal. In 1985, Weisfeiler used the classification of finite simple groups to obtain far better bounds, but his work remained incomplete when he disappeared. About eight years ago, I obtained the optimal bounds, and this work has now been extended to subgroups of all (complex) classical groups. I will discuss this topic at a “colloquium” level – i.e., only a rudimentary knowledge of finite group theory will be assumed.

Tue, 27 May 2014

15:45 - 16:45
L4

The geometry of auctions and competitive equilibrium with indivisible goods

Elizabeth Baldwin
(Oxford)
Abstract

Auctioneers may wish to sell related but different indivisible goods in

a single process. To develop such techniques, we study the geometry of

how an agent's demanded bundle changes as prices change. This object

is the convex-geometric object known as a `tropical hypersurface'.

Moreover, simple geometric properties translate directly to economic

properties, providing a new taxonomy for economic valuations. When

considering multiple agents, we study the unions and intersections of

the corresponding tropical hypersurfaces; in particular, properties of

the intersection are deeply related to whether competitive equilibrium

exists or fails. This leads us to new results and generalisations of

existing results on equilibrium existence. The talk will provide an

introductory tour to relevant economics to show the context of these

applications of tropical geometry. This is joint work with Paul

Klemperer.

Tue, 27 May 2014

15:00 - 16:00
C5

Locally compact hyperbolic groups

Dennis Dreesen
(Southampton University)
Abstract

The common convention when dealing with hyperbolic groups is that such groups are finitely

generated and equipped with the word length metric relative to a finite symmetric generating

subset. Gromov's original work on hyperbolicity already contained ideas that extend beyond the

finitely generated setting. We study the class of locally compact hyperbolic groups and elaborate

on the similarities and differences between the discrete and non-discrete setting.

Tue, 27 May 2014

14:00 - 15:00
L4

Morse theory in representation theory and algebraic geometry

Thomas Nevins
(University of Illinois at Urbana Champaign)
Abstract

Hamiltonian reduction arose as a mechanism for reducing complexity of systems in mechanics, but it also provides a tool for constructing complicated but interesting objects from simpler ones. I will illustrate how this works in representation theory and algebraic geometry via examples. I will describe a new structure theory, motivated by Hamiltonian reduction (and in particular the Morse theory that results), for some categories (of D-modules) of interest to representation theorists. I will then explain how this implies a modified form of "hyperkahler Kirwan surjectivity" for the cohomology of certain Hamiltonian reductions. The talk will not assume that members of the audience know the meaning of any of the above-mentioned terms. The talk is based on joint work with K. McGerty.

Tue, 27 May 2014

14:00 - 14:30
L5

A spectral difference method for hyperbolic conservation laws

Philipp Offner
(Technical Universitat Braunschweig)
Abstract

We study the behaviour of orthogonal polynomials on triangles and their coefficients in the context of spectral approximations of partial differential equations.  For spectral approximation we consider series expansions $u=\sum_{k=0}^{\infty} \hat{u}_k \phi_k$ in terms of orthogonal polynomials $\phi_k$. We show that for any function $u \in C^{\infty}$ the series expansion converges faster than with any polynomial order.  With these result we are able to employ the polynomials $\phi_k$ in the spectral difference method in order to solve hyperbolic conservation laws.

It is a well known fact that discontinuities can arise leading to oscillatory numerical solutions. We compare standard filtering and the super spectral vanishing viscosity methods, which uses exponential filters build from the differential operator of the respective orthogonal polynomials.  We will extend the spectral difference method for unstructured grids by using 
 classical orthogonal polynomials and exponential filters. Finally we consider some numerical test cases.


Mon, 26 May 2014

17:00 - 18:00
L6

A geometric approach to some overdetermined problems in potential theory

Lorenzo Mazzieri
(Scuola Normale Superiore di Pisa)
Abstract

We present a new method to establish the rotational symmetry

of solutions to overdetermined elliptic boundary value

problems. We illustrate this approach through a couple of

classical examples arising in potential theory, in both the

exterior and the interior punctured domain. We discuss how

some of the known results can be recovered and we introduce

some new geometric overdetermining conditions, involving the

mean curvature of the boundary and the Neumann data.

Mon, 26 May 2014

16:00 - 17:00
C5

An attempt to find the optimal constant in Balog-Szemeredi-Gowers theorem.

Przemysław Mazur
(University of Oxford)
Abstract

The Balog-Szemeredi-Gowers theorem states that, given any finite subset of an abelian group with large additive energy, we can find its large subset with small doubling constant. We can ask how this constant depends on the initial additive energy. In the talk, I will give an upper bound, mention the best existing lower bound and, if time permits, present an approach that gives a hope to improve the lower bound and make it asymptotically equal to the upper bound from the beginning of the talk.

Mon, 26 May 2014

15:30 - 16:30
L6

Knot Floer homologies

Andras Stipsicz
(Renyi Institute)
Abstract

Knot Floer homology (introduced by Ozsvath-Szabo and independently by

Rasmussen) is a powerful tool for studying knots and links in the 3-sphere. In

particular, it gives rise to a numerical invariant, which provides a

nontrivial lower bound on the 4-dimensional genus of the knot. By deforming

the definition of knot Floer homology by a real number t from [0,2], we define

a family of homologies, and derive a family of numerical invariants with

similar properties. The resulting invariants provide a family of

homomorphisms on the concordance group. One of these homomorphisms can be

used to estimate the unoriented 4-dimensional genus of the knot. We will

review the basic constructions for knot Floer homology and the deformed

theories and discuss some of the applications. This is joint work with

P. Ozsvath and Z. Szabo.

Mon, 26 May 2014

12:00 - 13:00
L5

Geometric Constraints in Heterotic/F-theory Duality

Lara Anderson
(Virginia Tech)
Abstract
We systematically analyze a broad class of dual heterotic and F-theory models that give four-dimensional supergravity theories, and compare the geometric constraints on the two sides of the duality. In this talk I will show that F-theory gives new insight into the conditions under which heterotic vector bundles can be constructed. We show that in many cases the F-theory geometry imposes a constraint on the extent to which the gauge group can be enhanced, corresponding to limits on the way in which the heterotic bundle can decompose. We explicitly construct all dual F-theory/heterotic pairs in the class under consideration where the common twofold base surface is toric, and give both toric and non-toric examples of the general results. Finally, we provide evidence for important new aspects of G-flux in four-dimensional compactifications.
Fri, 23 May 2014

12:00 - 13:00
C6

Analysis of variational model for nematic shells

Dr. Antonio Segatti
Abstract

In this talk, I will introduce and analyse an elastic

surface energy recently introduced by G. Napoli and

L. Vergori to model thin films of nematic liquid crystals.

As it will be clear, the topology and the geometry of

the surface will play a fundamental role in understanding

the behavior of thin films of liquid crystals.

In particular, our results regards the existence of

minimizers, the existence of the gradient flow

of the energy and, in the case of an axisymmetric

toroidal particle, a detailed characterization of global and local minimizers.

This last item is supplemented with numerical experiments.

This is a joint work with M. Snarski (Brown) and M. Veneroni (Pavia).

Thu, 22 May 2014

17:15 - 18:15
L5

Multidimensional asymptotic classes

Will Anscombe
(Leeds)
Abstract

A 1-dimensional asymptotic class (Macpherson-Steinhorn) is a class of finite structures which satisfies the theorem of Chatzidakis-van den Dries-Macintyre about finite fields: definable sets are assigned a measure and dimension which gives the cardinality of the set asymptotically, and there are only finitely many dimensions and measures in any definable family. There are many examples of these classes, and they all have reasonably tame theories. Non-principal ultraproducts of these classes are supersimple of finite rank.

Recently this definition has been generalised to `Multidimensional Asymptotic Class' (joint work with Macpherson-Steinhorn-Wood). This is a much more flexible framework, suitable for multi-sorted structures. Examples are not necessarily simple. I will give conditions which imply simplicity/supersimplicity of non-principal ultraproducts.

An interesting example is the family of vector spaces over finite fields with a non-degenerate bilinear form (either alternating or symmetric). If there's time, I will explain some joint work with Kestner in which we look in detail at this class.

Thu, 22 May 2014

16:00 - 17:00
C6

Cancelled

TBA
Thu, 22 May 2014

16:00 - 17:30
L4

Moral Hazard in Dynamic Risk Management

Possamaï Dylan
(Université Paris Dauphine)
Abstract

We consider a contracting problem in which a principal hires an agent to manage a risky project. When the agent chooses volatility components of the output process and the principal observes the output continuously, the principal can compute the quadratic variation of the output, but not the individual components. This leads to moral hazard with respect to the risk choices of the agent. Using a very recent theory of singular changes of measures for Ito processes, we formulate the principal-agent problem in this context, and solve it in the case of CARA preferences. In that case, the optimal contract is linear in these factors: the contractible sources of risk, including the output, the quadratic variation of the output and the cross-variations between the output and the contractible risk sources. Thus, path-dependent contracts naturally arise when there is moral hazard with respect to risk management. This is a joint work with Nizar Touzi (CMAP, Ecole Polytechnique) and Jaksa Cvitanic (Caltech).

Thu, 22 May 2014
16:00
L2

Theory and experiments are strongly connected in nonlinear mechanics

Davide Bigoni
(University of Trento)
Abstract

A perturbative method is introduced to analyze shear bands formation and

development in ductile solids subject to large strain.

Experiments on discrete systems made up of highly-deformable elements [1]

confirm the validity of the method and suggest that an elastic structure

can be realized buckling for dead, tensile loads. This structure has been

calculated, realized and tested and provides the first example of an

elastic structure buckling without elements subject to compression [2].

The perturbative method introduced for the analysis of shear bands can be

successfuly employed to investigate other material instabilities, such as

for instance flutter in a frictional, continuum medium [3]. In this

context, an experiment on an elastic structure subject to a frictional

contact shows for the first time that a follower load can be generated

using dry friction and that this load can induce flutter instability [4].

The perturbative approach may be used to investigate the strain state near

a dislocation nucleated in a metal subject to a high stress level [5].

Eshelby forces, similar to those driving dislocations in solids, are

analyzed on elastic structures designed to produce an energy release and

therefore to evidence configurational forces. These structures have been

realized and they have shown unexpected behaviours, which opens new

perspectives in the design of flexible mechanisms, like for instance, the

realization of an elastic deformable scale [6].

[1] D. Bigoni, Nonlinear Solid Mechanics Bifurcation Theory and Material

Instability. Cambridge Univ. Press, 2012, ISBN:9781107025417.

[2] D. Zaccaria, D. Bigoni, G. Noselli and D. Misseroni Structures

buckling under tensile dead load. Proc. Roy. Soc. A, 2011, 467, 1686.

[3] A. Piccolroaz, D. Bigoni, and J.R. Willis, A dynamical interpretation

of flutter instability in a continuous medium. J. Mech. Phys. Solids,

2006, 54, 2391.

[4] D. Bigoni and G. Noselli Experimental evidence of flutter and

divergence instabilities induced by dry friction. J. Mech. Phys.

Solids,2011,59,2208.

[5] L. Argani, D. Bigoni, G. Mishuris Dislocations and inclusions in

prestressed metals. Proc. Roy. Soc. A, 2013, 469, 2154 20120752.

[6] D. Bigoni, F. Bosi, F. Dal Corso and D. Misseroni, Instability of a

penetrating blade. J. Mech. Phys. Solids, 2014, in press.

Thu, 22 May 2014

14:00 - 16:00

Generic maps

Balazs Szendroi
(Mathematical Institute, Oxford)
Abstract
I will give a survey of some parts of Barlev's paper on moduli problems of generic data in algebraic geometry, such as moduli of generically defined maps between varieties, and moduli of generic reductions of the structure group of a principal bundle.