Past

In this talk I will discuss "motivic" Donaldson-Thomas invariants, following the now not-so-recent paper of Kontsevich and Soibelman on this subject. I will, in particular, present some understanding of the mysterious notion of "orientation data," and present some recent work. I will of course do my best to make this talk "accessible," though if you don't know what a scheme or a category is it will probably make you cry.

The second talk will present conjectural motivic generalizations

of ADHM sheaf invariants as well as their wallcrossing formulas.

It will be shown that these conjectures yield recursive formulas

for Poincare and Hodge polynomials of moduli spaces of Hitchin

pairs. It will be checked in many concrete examples that this recursion relation is in agreement with previous results of Hitchin, Gothen, Hausel and Rodriguez-Villegas.

The first talk will present a construction of equivariant

virtual counting invariants for certain quiver sheaves on a curve, called ADHM sheaves. It will be shown that these invariants are related to the stable pair theory of Pandharipande and Thomas in a specific stability chamber. Wallcrossing formulas will be derived using the theory of generalized Donaldson-Thomas invariants of Joyce and Song.

This talk will begin with an introduction to calibrations and calibrated submanifolds. Calibrated geometry generalizes Wirtinger's inequality in Kahler geometry by considering k-forms which are analogous to the Kahler form. A famous one-line proof shows that calibrated submanifolds are volume minimizing in their homology class. Our examples of manifolds with a calibration will come from complex geometry and from manifolds with special holonomy.

We will then discuss the deformation theory of the calibrated submanifolds in each of our examples and see how they differ from the theory of complex submanifolds of Kahler manifolds.

The presence and flow of fluid inside a crack within a solid causes deformation of the solid which in turn influences the flow of the fluid.

This coupled fluid-solid problem will be discussed in the context of dyke propagation and hydrofracture. The background material will be discussed in detail and some applications to specific geometries presented.

"We investigate a construction of a Skorokhod embedding due to Root (1969), which has been the subject of recent interest for applications in Mathematical Finance (Dupire, Carr & Lee), where the construction has applications for model-free pricing and hedging of variance derivatives. In this context, there are two related questions: firstly of the construction of the stopping time, which is related to a free boundary problem, and in this direction, we expand on work of Dupire and Carr & Lee; secondly of the optimality of the construction, which is originally due to Rost (1976). In the financial context, optimality is connected to the construction of hedging strategies, and by giving a novel proof of the optimality of the Root construction, we are able to identify model-free hedging strategies for variance derivatives. Finally, we will present some evidence on the numerical performance of such hedges. (Joint work with Jiajie Wang)"

This talk will be based on the article arXiv:1006.2788.

It is well-known that Morrey's quasiconvexity is closely related to gradient Young measures,

i.e., Young measures generated by sequences of gradients in

$L^p(\Omega;\mathbb{R}^{m\times n})$. Concentration effects,

however, cannot be treated by Young measures. One way how to describe both oscillation and

concentration effects in a fair generality are the so-called DiPerna-Majda measures.

DiPerna and Majda showed that having a sequence $\{y_k\}$ bounded in $L^p(\Omega;\mathbb{R}^{m\times n})$,$1\le p$ $0$.

Puck Rombach;

"Weighted Generalization of the Chromatic Number in Networks with Community Structure",

Christopher Lustri;

"Exponential Asymptotics for Time-Varying Flows,

Alex Shabala

"Mathematical Modelling of Oncolytic Virotherapy",

Martin Gould;

"Foreign Exchange Trading and The Limit Order Book"

The n-amalgamation property has recently been explored in connection with generalised imaginaries (groupoid imaginaries) by Hrushovski. This property is useful when studying models of a stable theory together with a generic automorphism, e.g.

elimination of imaginaries (e.i.) in ACFA may be seen as a consequence of 4-amalgamation (and e.i.) in ACF.

The talk is centered around 4-amalgamation of stably dominated types in algebraically closed valued fields. I will show that 4-amalgamation holds in equicharacteristic 0, even for systems with 1 vertex non stably dominated. This is proved using a reduction to the stable part, where 4-amalgamation holds by a result of Hrushovski. On the other hand, I will exhibit an NIP (even metastable) theory with 4-amalgamation for stable types but in which stably dominated types may not be 4-amalgamated.

The question in the title seems to be neglected in the studies of open dynamical systems. It occurred though that the features of dynamics may play a role comparable to the one played by the size of a hole. For instance, the escape through the smaller hole could be faster than through the larger one.

These studies revealed as well a new role of the periodic orbits in the dynamics which could be exactly quantified in some cases. Moreover, this new approach allows to characterize the elements of networks by their dynamical properties (rather than by static ones like centrality, betweenness, etc.)

Not only does the definition of an (abstract) saturated fusion system provide us with an interesting way to think about finite groups, it also permits the construction of exotic examples, i.e. objects that are non-realisable by any finite group. After recalling the relevant definitions of fusion systems and saturation, we construct an exotic fusion system at the prime 3 as the fusion system of the completion of a tree of finite groups. We then sketch a proof that it is indeed exotic by appealing to The Classification of Finite Simple Groups.

An important problem in algebra is the study of algebraic objects

defined over fields and how they behave under field extensions,

for example the Brauer group of a field, Galois cohomology groups

over fields, Milnor K-theory of a field, or the Witt ring of bilinear

forms over

a field. Of particular interest is the determination

of the kernel of the restriction map when passing to a field extension.

We will give an overview over some known results concerning the

kernel of the restriction map from the Witt ring of a field to the

Witt ring of an extension field. Over fields of characteristic

not two, general results are rather sparse. In characteristic two,

we have a much more complete picture. In this talk, I will

explain the full solution to this problem for extensions that are

given by function fields of hypersurfaces over fields of

characteristic two. An important tool is the study of the

behaviour of differential forms over fields of positive

characteristic under field extensions. The result for

Witt rings in characteristic two then follows by applying earlier

results by Kato, Aravire-Baeza, and Laghribi. This is joint

work with Andrew Dolphin.

Following work done by the 'Oxford Spies' we uncover more secrets of 'surface-active Agents'. In modern-day applications we refer to these agents as surfactants, which are now extensively used in industrial, chemical, biological and domestic applications. Our work focuses on the dynamic behaviour of surfactant and polymer-surfactant mixtures.

In this talk we propose a mathematical model that incorporates the effects of diffusion, advection and reactions to describe the dynamic behaviour of such systems and apply the model to the over-flowing-cylinder experiment (OFC). We solve the governing equations of the model numerically and, by exploiting large parameters in the model, obtain analytical asymptotic solutions for the concentrations of the bulk species in the system. Thus, these solutions uncover secrets of the 'surface-active Agents' and provide an important insight into the system behaviour, predicting the regimes under which we observe phase transitions of the species in the system. Finally, we suggest how our models can be extended to uncover the secrets of more complex systems in the field.

I will define and discuss the properties of the analytic torsion of

twisted cohomology and briefly of Z_2-graded elliptic complexes

in general, as an element in the graded determinant line of the

cohomology of the complex, generalizing most of the variants of Ray-

Singer analytic torsion in the literature. IThe definition uses pseudo-

differential operators and residue traces. Time permitting, I will

also give a couple of applications of this generalized torsion to

mathematical physics. This is joint work with Siye Wu.

We shall explain what is the weighted fundamental lemma and how it is related to the truncated Hitchin fibration.

We consider thin films of a cholesteric liquid-crystal material subject to an applied electric field.  In such materials, the liquid-crystal "director" (local average orientation of the long axis of the molecules) has an intrinsic tendency to rotate in space; while the substrates that confine the film tend to coerce a uniform orientation.

The electric field encourages certain preferred orientations of the director as well, and these competing influences give rise to several different stable equilibrium states of the director field, including spatially uniform, translation invariant (functions only of position across the cell gap) and periodic (with 1-D or 2-D periodicity in the plane of the film).  These structures depend on two principal control parameters: the ratio of the cell gap to the intrinsic "pitch" (spatial period of rotation) of the cholesteric and the magnitude of the applied voltage.

We report on numerical work (not complete) on the bifurcation and phase behavior of this system.  The study was motivated by potential applications involving switchable gratings and eyewear with tunable transparency. We compare our results with experiments conducted in the Liquid Crystal Institute at Kent State University.

We shall explain what is the weighted fundamental lemma and how it is related to the truncated Hitchin fibration.

Let L be a positive definite lattice. There are only finitely many positive definite lattices

L' which are isomorphic to L modulo N for every N > 0: in fact, there is a formula for the number of such lattices, called the Siegel mass formula. In this talk, I'll review the Siegel mass formula and how it can be deduced from a conjecture of Weil on volumes of adelic points of algebraic groups. This conjecture was proven for number fields by Kottwitz, building on earlier work of Langlands and Lai. I will conclude by sketching joint work (in progress) with Dennis Gaitsgory, which uses topological ideas to attack Weil's conjecture in the case of function fields.

Numerical homogenization/upscaling for problems with multiple scales have attracted increasing attention in recent years. In particular, problems with non-separable scales pose a great challenge to mathematical analysis and simulation.

In this talk, we present some rigorous results on homogenization of divergence form scalar and vectorial elliptic equations with $L^\infty$ rough coefficients which allow for a continuum of scales. The first approach is based on a new type of compensation phenomena for scalar elliptic equations using the so-called ``harmonic coordinates''. The second approach, the so-called ``flux norm approach'' can be applied to finite dimensional homogenization approximations of both scalar and vectorial problems with non-separated scales. It can be shown that in the flux norm, the error associated with approximating the set of solutions of the PDEs with rough coefficients, in a properly defined finite-dimensional basis, is equal to the error associated with approximating the set of solutions of the same type of PDEs with smooth coefficients in a standard finite element space. We will also talk about the ongoing work on the localization of the basis in the flux norm approach.

This talk will follow the paper 0911.4708.

Witten showed that the Jones polynomial invariants of knots can be computed in terms of partition functions of a (2+1)-dimensional topological field theory, namely the SU(2) Chern-Simons theory. Reshetikhin and Turaev showed that this theory extends to a (1+1+1)-dimensional topological field theory---that is, there is a Chern-Simons-type invariant associated to 3-manifolds, 3-manifolds with boundary, and 3-manifolds with codimension-2 corners.

I will explain the notion of a local or (0+1+1+1)-dimensionaltopological field theory,  which has, in addition to the structure of a (1+1+1)-dimensional theory, invariants associated to 3-manifolds with codimension-3 corners.  I will describe a notion of 2-dimensional algebra that allows us to construct and investigate such local field theories.  Along the way I will discuss the geometric classification of local field theories, and explain the dichotomy between categorification and algebraification.

Simple groups of Lie type have a purely group theoretic characterization in terms of subgroup configurations. We here show that for certain Fraisse limits, the automorphism group is a simple group.

{\bf Keble Workshop on Partial Differential Equations

in Science and Engineering}

\\

\\Place: Roy Griffiths Room in the ARCO Building, Keble College

\\Time: 1:00pm-5:10pm, Thursday, June 10.

\\

\\

Program:\\

\\ 1:00-1:20pm: Coffee and Tea

\\

\\ 1:20-2:10pm: Prof. Walter Craig (Joint with OxPDE Lunchtime Seminar)

\\

\\ 2:20-2:40pm Prof. Mikhail Feldman

\\

\\ 2:50-3:10pm Prof. Paul Taylor

\\

\\ 3:20-3:40pm Coffee and Biscuits

\\

\\ 3:40-4:00pm: Prof. Sir John Ball

\\

\\ 4:10-4:30pm: Dr. Apala Majumdar

\\

\\ 4:40-5:00pm: Prof. Robert Pego

\\

\\ 5:10-6:00pm: Free Discussion

\\

\\{\bf Titles and Abstracts:}

\\

1.{\bf Title: On the singular set of the Navier-Stokes equations

\\ Speaker: Prof. Walter Craig, McMaster University, Canada}

\\ Abstract:\\

The Navier-Stokes equations are important in

fluid dynamics, and a famous mathematics problem is the

question as to whether solutions can form singularities.

I will describe these equations and this problem, present

three inequalities that have some implications as to the

question of singularity formation, and finally, give a

new result which is a lower bound on the size of the

singular set, if indeed singularities exist.

\\

\\{\bf 2. Title: Shock Analysis and Nonlinear Partial Differential Equations of Mixed Type.

\\ Speaker: Prof. Mikhail Feldman, University of Wisconsin-Madison, USA}

\\

\\ Abstract:\\ Shocks in gas or compressible fluid arise in various physical

situations, and often exhibit complex structures. One example is reflection

of shock by a wedge. The complexity of reflection-diffraction configurations

was first described by Ernst Mach in 1878. In later works, experimental and

computational studies and asymptotic analysis have shown that various patterns

of reflected shocks may occur, including regular and Mach reflection. However,

many fundamental issues related to shock reflection are not understood,

including transition between different reflection patterns. For this reason

it is important to establish mathematical theory of shock reflection,

in particular existence and stability of regular reflection solutions for PDEs

of gas dynamics. Some results in this direction were obtained recently.

\\

In this talk we start by discussing examples of shocks in supersonic and

transonic flows of gas. Then we introduce the basic equations of gas dynamics:

steady and self-similar compressible Euler system and potential flow equation.

These equations are of mixed elliptic-hyperbolic type. Subsonic and supersonic

regions in the flow correspond to elliptic and hyperbolic regions of solutions.

Shocks correspond to certain discontinuities in the solutions. We discuss some

results on existence and stability of steady and self-similar shock solutions,

in particular the recent work (joint with G.-Q. Chen) on global existence of

regular reflection solutions for potential flow. We also discuss open problems

in the area.

\\

\\{\bf 3. Title: Shallow water waves - a rich source of interesting solitary wave

solutions to PDEs

\\ Speaker: Prof. Paul H. Taylor, Keble College and Department of Engineering Science, Oxford}

\\

\\Abstract:\\ In shallow water, solitary waves are ubiquitous: even the wave crests

in a train of regular waves can be modelled as a succession of solitary waves.

When successive crests are of different size, they interact when the large ones

catch up with the smaller. Then what happens? John Scott Russell knew by experiment

in 1844, but answering this question mathematically took 120 years!

This talk will examine solitary wave interactions in a range of PDEs, starting

with the earliest from Korteweg and De Vries, then moving onto Peregrine's

regularized long wave equation and finally the recently introduced Camassa-Holm

equation, where solitary waves can be cartoon-like with sharp corners at the crests.

For each case the interactions can be described using the conserved quantities,

in two cases remarkably accurately and in the third exactly, without actually

solving any of the PDEs.

The methodology can be extended to other equations such as the various versions

of the Boussinesq equations popular with coastal engineers, and perhaps even

the full Euler equations.

\\

{\bf 4. Title: Austenite-Martensite interfaces

\\ Speaker: Prof. Sir John Ball, Queen's College and Mathematical Institute, Oxford}

\\

\\Abstract:\\ Many alloys undergo martensitic phase transformations

in which the underlying crystal lattice undergoes a change of shape

at a critical temperature. Usually the high temperature phase (austenite)

has higher symmetry than the low temperature phase (martensite).

In order to nucleate the martensite it has to somehow fit geometrically

to the austenite. The talk will describe different ways in which this

occurs and how they may be studied using nonlinear elasticity and

Young measures.

\\

\\{\bf 5. Title: Partial Differential Equations in Liquid Crystal Science and

Industrial Applications

\\ Speaker: Dr. Apala Majumdar, Keble College and Mathematical Institute, Oxford}

\\

\\Abstract:\\

Recent years have seen a growing demand for liquid crystals in modern

science, industry and nanotechnology. Liquid crystals are mesophases or

intermediate phases of matter between the solid and liquid phases of

matter, with very interesting physical and optical properties.

We briefly review the main mathematical theories for liquid crystals and

discuss their analogies with mathematical theories for other soft-matter

phases such as the Ginzburg-Landau theory for superconductors. The

governing equations for the static and dynamic behaviour are typically

given by systems of coupled elliptic and parabolic partial differential

equations. We then use this mathematical framework to model liquid crystal

devices and demonstrate how mathematical modelling can be used to make

qualitative and quantitative predictions for practical applications in

industry.

\\

\\{\bf 6. Title: Bubble bath, shock waves, and random walks --- Mathematical

models of clustering

\\Speaker: Prof. Robert Pego, Carnegie Mellon University, USA}

\\Abstract:\\ Mathematics is often about abstracting complicated phenomena into

simple models. This talk is about equations that model aggregation

or clustering phenomena --- think of how aerosols form soot particles

in the atmosphere, or how interplanetary dust forms comets, planets

and stars. Often in such complex systems one observes universal trend

toward self-similar growth. I'll describe an explanation for this

phenomenon in two simple models describing: (a) ``one-dimensional

bubble bath,'' and (b) the clustering of random shock waves.

A behavioral mean-variance portfolio selection problem in continuous time is formulated and studied. Based on the standard mean-variance portfolio selection problem, the cumulative distribution function of the cash flow is distorted by a probability distortion function. Then the problem is no longer a convex optimization problem. This feature distinguishes it from the conventional linear-quadratic (LQ) problems.

The stochastic optimal LQ control theory no longer applies. We take the quantile function of the terminal cash flow as the decision variable.

The corresponding optimal terminal cash flow can be recovered by the optimal quantile function. Then the efficient strategy is the hedging strategy of the optimal terminal cash flow.

On any Hermitian manifold there is a unique Hermitian connection, called the Bismut connection, which has torsion a three-form. One says that the triplet consisting of the Hermitian structure together with the Bismut connection specifies a Kähler-with-torsion structure, or briefly a KT structure. If the torsion three-form is closed, we have a strong KT structure. The first part of this talk will discuss these notions and also address the problem of classifying strong KT structures.

\paragraph{} Despite their name, KT manifolds are generally not Kähler. In particular the fundamental two-form is not closed. If the KT structure is strong, we have instead a closed three-form. Motivated by the usefulness of moment maps in geometries involving symplectic forms, one may ask whether it is possible to construct a similar type of map, when we replace the symplectic form by a closed three-form. The second part of the talk will explain the construction of such maps, which are called multi-moment maps.

Clustering phenomena occur in numerous areas of science. This series of lectures will discuss:

(i) basic kinetic models for clustering- Smoluchowski's coagulation equation, random shock clustering, ballistic aggregation, domain-wall merging;

(ii) Criteria for approach to self-similarity- role of regular variation;

(iii) The scaling attractor and its measure representation. A particular theme is the use of methods and insights from probability in tandem with dynamical systems theory. In particular there is a

close analogy of scaling dynamics with the stable laws of probability and infinite divisibility.