Wed, 14 Nov 2018
16:30
C1

Small polycyclic groups

David Hume
(Oxford University)
Abstract

Polycyclic groups either have polynomial growth, in which case they are virtually nilpotent, or exponential growth. I will give two interesting examples of "small" polycyclic groups which are extensions of $\mathbb{R}^2$ and the Heisenberg group by the integers, and attempt to justify the claim that they are small by sketching an argument that every exponential growth polycyclic group contains one of these.

Wed, 31 Oct 2018
16:00
C1

An Introduction to Seifert Fibred Spaces

Joseph Scull
(Oxford University)
Abstract


A core problem in the study of manifolds and their topology is that of telling them apart. That is, when can we say whether or not two manifolds are homeomorphic? In two dimensions, the situation is simple, the Classification Theorem for Surfaces allows us to differentiate between any two closed surfaces. In three dimensions, the problem is a lot harder, as the century long search for a proof of the Poincaré Conjecture demonstrates, and is still an active area of study today.
As an early pioneer in the area of 3-manifolds Seifert carved out his own corner of the landscape instead of attempting to tackle the entire problem. By reducing his scope to the subclass of 3-manifolds which are today known as Seifert fibred spaces, Seifert was able to use our knowledge of 2-manifolds and produce a classification theorem of his own.
In this talk I will define Seifert fibred spaces, explain what makes them so much easier to understand than the rest of the pack, and give some insight on why we still care about them today.
 

Mon, 15 Oct 2018
15:45
L6

Formal Moduli Problems via Partition Lie Algebras

Lukas Brantner
(Oxford University)
Abstract

If k is a field of characteristic zero, a theorem of Lurie and Pridham establishes an equivalence between formal moduli problems and differential graded Lie algebras over k. We generalise this equivalence in two different ways to arbitrary ground fields by using “partition Lie algebras”. These mysterious new gadgets are intimately related to the genuine equivariant topology of the partition complex, which allows us to access the operations acting on their homotopy groups (relying on earlier work of Dyer-Lashof, Priddy, Goerss, and Arone-B.). This is joint work with Mathew.

Wed, 10 Oct 2018
16:00
C5

Cubulating Groups

Sam Shepherd
(Oxford University)
Abstract

Cubulating a group means finding a proper cocompact action on a CAT(0) cube complex. I will describe how cubulating a group tells us some nice properties of the group, and explain a general strategy for finding cubulations.

Thu, 22 Nov 2018
16:00
C5

TBA

Nicholas Wilkins
(Oxford University)
Tue, 09 Oct 2018
16:00
L5

Parallels in universality between the universal algorithm and the universal finite set

Joel David Hamkins
(Oxford University)
Abstract

Abstract: The universal algorithm is a Turing machine program that can in principle enumerate any finite sequence of numbers, if run in the right model of PA, and furthermore, can always enumerate any desired extension of that sequence in a suitable end-extension of that model. The universal finite set is a set-theoretic analogue, a locally verifiable definition that can in principle define any finite set, in the right model of set theory, and can always define any desired finite extension of that set in a suitable top-extension of that model. Recent work has uncovered a $\Sigma_1$-definable version that works with respect to end-extensions. I shall give an account of all three results, which have a parallel form, and describe applications to the model theory of arithmetic and set theory. Post questions and commentary on my blog at http://jdh.hamkins.org/parallels-in-universality-oxford-math-logic-semi…;

Wed, 31 Oct 2018
16:00
N3.12

Non-Abelian Hodge Theory for curves

Eloise Hamilton
(Oxford University)
Abstract

The aim of this talk is to tell the story of Non-Abelian Hodge Theory for curves. The starting point is the space of representations of the fundamental group of a compact Riemann surface. This space can be endowed with the structure of a complex algebraic variety in three different ways, giving rise to three non-algebraically isomorphic moduli spaces called the Betti, de Rham and Dolbeault moduli spaces respectively. 

After defining and outlining the construction of these three moduli spaces, I will describe the (non-algebraic) correspondences between them, collectively known as Non-Abelian Hodge Theory. Finally, we will see how the rich structure of the Dolbeault moduli space can be used to shed light on the topology of the space of representations.

Thu, 08 Nov 2018
16:00
C5

Classifications of Topological Quantum Field Theories

Peter Banks
(Oxford University)
Abstract

TQFTs lie at the intersection of maths and theoretical physics. Topologically, they are a recipe for calculating an invariant of manifolds by cutting them into elementary pieces; physically, they describe the evolution of the state of a particle. These two viewpoints allow physical intuition to be harnessed to shed light on topological problems, including understanding the topology of 4-manifolds and calculating geometric invariants using topology.

Recent results have provided classifications of certain types of TQFTs as algebraic structures. After reviewing the definition of TQFTs and giving some diagrammatic examples, I will give informal arguments as to how these classifications arise. Finally, I will show that in many cases these algebras are in fact free, and give an explicit classification of them in this case.
 

Thu, 25 Oct 2018
16:00
C5

An Introduction to Morse Homology

Todd Liebenschutz-Jones
(Oxford University)
Abstract

Morse theory explores the topology of a smooth manifold $M$ by looking at the local behaviour of a fixed smooth function $f : M \to \mathbb{R}$. In this talk, I will explain how we can construct ordinary homology by looking at the flow of $\nabla f$ on the manifold. The talk should serve as an introduction to Morse theory for those new to the subject. At the end, I will state a new(ish) proof of the functoriality of Morse homology.

Mon, 06 Aug 2018
16:15
L5

COW seminar: Moduli Spaces of Unstable Objects via Non-Reductive GIT

Joshua Jackson
(Oxford University)
Abstract

Geometric Invariant Theory is a central tool in the construction of moduli spaces, and shares the property ubiquitous among such tools that certain so-called 'unstable' objects must be excluded if the moduli space is to be well behaved. However, instability in GIT is a structured phenomenon: after making a choice of a certain invariant inner product, one has the HKKN stratification of the parameter space which, morally, sorts the objects according to how unstable they are. I will explain how one can use recent results of Berczi-Doran-Hawes-Kirwan in Non-Reductive GIT to perform quotients of these unstable strata as well, extending the classifications given by classical moduli spaces. This can be carried out, at least in principle, for any moduli problem that can be posed using GIT, and I will discuss two examples in particular: unstable (i.e. singular) curves, and coherent sheaves of fixed Harder-Narasimhan type. The latter of these is joint work with Gergely Berczi, Victoria Hoskins and Frances Kirwan.
 

Subscribe to Oxford University