Past

Categorification is a fancy word for a process that is pretty ubiquitous in mathematics, though it is usually not referred to as "a thing". With the advent of higher category theory it has, however, become "a thing". I will explain what people mean by this "thing" (sneak preview: it involves replacing sets by categories) and hopefully convince you it is not quite as alien as it may seem and maybe even tempt you to let it infect some of your maths. I'll then explain how this fits into the context of higher categories.

Given a Lie group $G$, one can construct a principal $G$-bundle on a manifold $M$ by taking a cover $U\to M$, specifying a transition cocycle on the cover, and then descending the trivialized bundle $U \times G$ along the cocycle. We demonstrate the existence of an analogous construction for local $n$-bundles for general $n$. We establish analogues for simplicial Lie groupoids of Moore's results on simplicial groups; these imply that bundles for strict Lie $n$-groupoids arise from local $n$-bundles. We conclude by constructing a simple finite dimensional model of the Lie 2-group String($n$) using cohomological data.

We consider two decision problems for linear recurrence sequences(LRS) over the integers, namely the Positivity Problem (are all terms of a given LRS positive?) and the Ultimate Positivity Problem (are all but finitely many terms of a given LRS positive?). We show decidability of both problems for LRS of order 5 or less, and for simple LRS (i.e. whose characteristic polynomial has no repeated roots) of order 9 or less. Moreover, we show by way of hardness that extending the decidability of either problem to LRS of order 6 would entail major breakthroughs in analytic number theory, more precisely in the field of Diophantine approximation of transcendental numbers.
This talk is based on a recent paper, available at
http://www.cs.ox.ac.uk/people/joel.ouaknine/publications/positivity13ab…
joint with James Worrell and Matt Daws.

I'm going to make the talk more of a general discussion about weather forecasts and how they are used for practical decision making in energy trading in the first half, then spend the second half focusing on how we think about assessing and using the notion of state dependent predictability in our decision making process.

I will present new results on local smooth embedding of Riemannian manifolds of dimension $n$ into Euclidean space of dimension $n(n+1)/2$.  This part of ac joint project with G-Q Chen ( OxPDE), Jeanne Clelland ( Colorado), Dehua Wang ( Pittsburgh), and Deane Yang ( Poly-NYU).

The spectral presheaf of a nonabelian von Neumann algebra or C*-algebra was introduced as a generalised phase space for a quantum system in the so-called topos approach to quantum theory. Here, it will be shown that the spectral presheaf has many features of a spectrum of a noncommutative operator algebra (and that it can be defined for other classes of algebras as well). The main idea is that the spectrum of a nonabelian algebra may not be a set, but a presheaf or sheaf over the base category of abelian subalgebras. In general, the spectral presheaf has no points, i.e., no global sections. I will show that there is a contravariant functor from unital C*-algebras to their spectral presheaves, and that a C*-algebra is determined up to Jordan *-isomorphisms by its spectral presheaf in many cases. Moreover, time evolution of a quantum system can be described in terms of flows on the spectral presheaf, and commutators show up in a natural way. I will indicate how combining the Jordan and Lie algebra structures may lead to a full reconstruction of nonabelian C*- or von Neumann algebra from its spectral presheaf.

We discuss several singular limits for a scaled system of equations

(barotropic Navier-Stokes system), where the characteristic numbers become

small or ``infinite''. In particular, we focus on the situations relevant

in certain geophysical models with low Mach, large Rossby and large

Reynolds numbers. The limit system is rigorously identified in the

framework of weak solutions. The relative entropy inequality and careful

analysis of certain oscillatory integrals play crucial role.

The talk is based on the joint papers [{\it Bourgain J., Korobkov

M.V. and Kristensen~J.}: Journal fur die reine und angewandte Mathematik

(Crelles

Journal).

DOI: 10.1515/crelle-2013-0002] \ and \

[{\it Korobkov~M.V., Pileckas~K. and Russo~R.}:

arXiv:1302.0731, 4 Feb 2013]

We establish Luzin $N$ and Morse--Sard

properties for functions from the Sobolev space

$W^{n,1}(\mathbb R^n)$. Using these results we prove

that almost all level sets are finite disjoint unions of

$C^1$-smooth compact manifolds of dimension

$n-1$. These results remain valid also within

the larger space of functions of bounded variation

$BV_n(\mathbb R^n)$.

As an application, we study the nonhomogeneous boundary value problem

for the Navier--Stokes equations of steady motion of a viscous

incompressible fluid in arbitrary bounded multiply connected

plane or axially-symmetric spatial domains. We prove that this

problem has a solution under the sole necessary condition of zero total

flux through the boundary.

The problem was formulated by Jean Leray 80 years ago.

The proof of the main result uses Bernoulli's law

for a weak solution to the Euler equations based on the above-mentioned

Morse-Sard property for Sobolev functions.

Convection in a porous medium plays an important role in many geophysical and industrial processes, and is of particular current interest due to its implications for the long-term security of geologically sequestered CO_2. I will discuss two different convective systems in porous media, with the aid of 2D direct numerical simulations: first, a Rayleigh-Benard cell at high Rayleigh number, which gives an accurate characterization both of the convective flux and of the remarkable dynamical structure of the flow; and second, the evolution and eventual `shut-down' of convection in a sealed porous domain with a source of buoyancy along only one boundary. The latter case is also studied using simple box models and laboratory experiments, and can be extended to consider convection across an interface that can move and deform, rather than across a rigid boundary. The relevance of these results in the context of CO_2 sequestration will be discussed.

We prove an analogue of the Tate isogeny conjecture and the
semi-simplicity conjecture for overconvergent crystalline Dieudonne modules
of abelian varieties defined over global function fields of characteristic
p, combining methods of de Jong and Faltings. As a corollary we deduce that
the monodromy groups of such overconvergent crystalline Dieudonne modules
are reductive, and after base change to the field of complex numbers they
are the same as the monodromy groups of Galois representations on the
corresponding l-adic Tate modules, for l different from p.

I will discuss some p-adic (and mod p) criteria ensuring that an elliptic curve over the rationals has algebraic and analytic rank one, as well as some applications.

In partially molten regions of Earth, rock and magma coexist as a two-phase aggregate in which the solid grains of rock form a viscously deformable matrix. Liquid magma resides within the permeable network of pores between grains. Deviatoric stress causes the distribution of contact area between solid grains to become anisotropic; this causes anisotropy of the matrix viscosity. The anisotropic viscosity tensor couples shear and volumetric components of stress/strain rate. This coupling, acting over a gradient in shear stress, causes segregation of liquid and solid. Liquid typically migrates toward higher shear stress, but under specific conditions, the opposite can occur. Furthermore, in a two-phase aggregate with a porosity-weakening viscosity, matrix shear causes porosity perturbations to grow into a banded structure. We show that viscous anisotropy reduces the angle between these emergent high-porosity features and the shear plane. This is consistent with lab experiments.

We shall introduce complex projective structures on a surface, and discuss a new result that relates grafting, which are certain geometric deformations of these structures, to the Teichmuller geodesic flow in the moduli space of Riemann surfaces. A consequence is that for any Fuchsian representation of a surface-group, the set of projective structures with that as holonomy, is dense in moduli space.

A Landau-Ginzburg B-model is a smooth scheme $X$, equipped with a global function $W$. From $(X,W)$ we can construct a category $D(X,W)$, which is called by various names, including ‘the category of B-branes’. In the case $W=0$ it is exactly the derived category $D(X)$, and in the case that $X$ is affine it is the category of matrix factorizations of $W$. There has been a lot of foundational work on this category in recent years, I’ll describe the most modern and flexible approach to its construction. I’ll then interpret Nick Addington’s thesis in this language. We’ll consider the case that $W$ is a quadratic form on a vector bundle, and the corresponding global version of Knorrer periodicity. We’ll see that interesting gerbe structures arise, related to the bundle of isotropic Grassmannians.

A Landau-Ginzburg B-model is a smooth scheme $X$, equipped with a global function $W$. From $(X,W)$ we can construct a category $D(X,W)$, which is called by various names, including ‘the category of B-branes’. In the case $W=0$ it is exactly the derived category $D(X)$, and in the case that $X$ is affine it is the category of matrix factorizations of $W$. There has been a lot of foundational work on this category in recent years, I’ll describe the most modern and flexible approach to its construction.

I’ll then interpret Nick Addington’s thesis in this language. We’ll consider the case that $W$ is a quadratic form on a vector bundle, and the corresponding global version of Knorrer periodicity. We’ll see that interesting gerbe structures arise, related to the bundle of isotropic Grassmannians.

In this talk I will focus on the method of barycentric interpolation, which ties up to the ideas that August Ferdinand Möbius published in his seminal work "Der barycentrische Calcül" in 1827. For univariate data, this gives a special kind of rational interpolant which is guaranteed to have no poles and favourable approximation properties.

I further discuss how to extend this idea to bivariate data, where it leads to the concept of generalized barycentric coordinates and to an efficient method for interpolating data given at the vertices of an arbitrary polygon.

We consider minimisers of integral functionals $F$ over a ‘constrained’ class of $W^{1,p}$-mappings from a bounded domain into a compact Riemannian manifold $M$, i.e. minimisers of $F$ subject to holonomic constraints. Integrands of the form $f(Du)$ and the general $f(x,u,Du)$ are considered under natural strict $p$-quasiconvexity and $p$-growth assumptions for any exponent $1 < p <+\infty$. Unlike the harmonic and $p$-harmonic map case, the quasiconvexity condition requires one to linearise the map at the level of the gradient. In a bid to give a direct proof of partial $C^{1,α}-regularity for such minimisers, we developing an appropriate notion of a tangential harmonic approximation together with a discussion on the difficulties in establishing Caccioppoli-type inequalities. The need in the latter problem to construct suitable competitors to the minimiser via the so-called Luckhaus Lemma presents difficulties quite separate to that of the unconstrained case. We will give a proof of this lemma together with a discussion on the implications for higher integrability.

To continue the day's questions of how complex groups can be I will be looking about some decision problems. I will prove that certain properties of finitely presented groups are undecidable. These properties are called Markov properties and include many nice properties one may want a group to have. I will also hopefully go into an algorithm of Whitehead on deciding if a set of n words generates F_n.