In 1954 Thom showed that there is an isomorphism between the cobordism groups of manifolds and the homotopy groups of the Thom spectrum. I will define what these words mean and present the explicit, geometric construction of the isomorphism.

A basic result in Morse theory due to Reeb states that a compact manifold which admits a smooth function with only two, non-degenerate critical points is homeomorphic to the sphere. We shall apply this idea to distance function associated to a Riemannian metric to prove the diameter-sphere theorem of Grove-Shiohama: A complete Riemannian manifold with sectional curvature $\geq 1$ and diameter $> \pi / 2$ is homeomorphic to a sphere. I shall not assume any knowledge about curvature for the talk.

I will discuss the theory of branched covers of cube complexes as a method of hyperbolisation. I will show recent results using this technique. Time permitting I will discuss a form of Morse theory on simplicial complexes and show how these methods combined with the earlier methods allow one to create groups with interesting finiteness properties. 

I will introduce the profinite completion as a way of aggregating information about the finite-sheeted covers of a 3-manifold, and discuss the state of the homeomorphism problem for 3-manifolds in this context; in particular, for geometrizable 3-manifolds.

Deformation K-theory was introduced by G. Carlsson and gives an interesting invariant of a group G encoding higher homotopy information about its representation spaces. Lawson proved a relation between this object and a homotopy theoretic analogue of the representation ring. This talk will not contain many details, instead I will outline some basic constructions and hopefully communicate the main ideas.
 

Abstract: Four manifolds are some of the most intriguing objects in topology. So far, they have eluded any attempt of classification and their behaviour is very different from what one encounters in other dimensions. On the other hand, Einstein metrics are among the canonical types of metrics one can find on a manifold. In this talk I will discuss many of the peculiarities that make dimension four so special and see how Einstein metrics could potentially help us understand more about four manifolds.

Our Christmas Public Lecture this year will be presented by Marcus du Sautoy who will be examining an aspect of Christmas not often considered: the mathematics.

To register please email: @email

The Oxford Mathematics Christmas Lecture is generously sponsored by G-Research - Researching investment ideas to predict financial markets

In this talk, I'll discuss some personal experiences - good, bad, and
ugly - of disclosing vulnerabilities in a range of different cryptographic
standards and implementations. I'll try to draw some general lessons about
what works well and what does not.

The Learning with Errors (LWE) problem has become a central building block of modern cryptographic constructions. We will discuss hardness results for concrete instances of LWE. In particular, we discuss algorithms proposed in the literature and give the expected resources required to run them. We consider both generic instances of LWE as well as small secret variants. Since for several methods of solving LWE we require a lattice reduction step, we also review lattice reduction algorithms and propose a refined model for estimating their running times. We also give concrete estimates for various families of LWE instances, provide a Sage module for computing these estimates and highlight gaps in the knowledge about algorithms for solving the Learning with Errors problem.

The concept of delegated quantum computing is a quantum extension of  
the classical task of computing with encrypted data without decrypting  
them first. Many quantum protocols address this challenge for a  
futuristic quantum client-server setting achieving a wide range of  
security properties. The central challenge of all these protocols to  
be applicable for classical tasks (such as secure multi party  
computation or fully homomorphic encryption) is the requirement of a  
server with a universal quantum computer. By restricting the task to  
classical computation only, we derive a protocol for unconditionally  
secure delegation of classical computation to a remote server that has  
access to basic quantum devices.