Wed, 09 Mar 2022

16:00 - 17:00
C4

### Knot projections in 3-manifolds other than the 3-sphere

(University of Oxford)
Abstract

Knot projections for knots in the 3-sphere allow us to easily describe knots, compute invariants, enumerate all knots, manipulate them under Reidemister moves and feed them into a computer. One might hope for a similar representation of knots in general 3-manifolds. We will survey properties of knots in general 3-manifolds and discuss a proposed diagram-esque representation of them.

Mon, 28 Feb 2022

16:00 - 17:00
C4

### Joint moments of characteristic polynomials of random unitary matrices

Arun Soor
Abstract

The moments of Hardy’s function have been of interest to number theorists since the early 20th century, and to random matrix theorists especially since the seminal work of Keating and Snaith, who were able to conjecture the leading order behaviour of all moments. Studying joint moments offers a unified approach to both moments and derivative moments. In his 2006 thesis, Hughes made a version of the Keating-Snaith conjecture for joint moments of Hardy’s function. Since then, people have been calculating the joint moments on the random matrix side. I will outline some recent progress in these calculations. This is joint work with Theo Assiotis, Benjamin Bedert, and Mustafa Alper Gunes.

Mon, 14 Feb 2022

16:00 - 17:00
C4

Mon, 17 Jan 2022

16:00 - 17:00
C4

### Classical Mechanics and Diophantine Equations

Jay Swar
Abstract

We'll sketch how the $K$-rational solutions of a system $X$ of multivariate polynomials can be viewed as the solutions of a "classical mechanics" problem on an associated affine space.

When $X$ has a suitable topology, e.g. if its $\mathbb{C}$-solutions form a Riemann surface of genus $>1$, we'll observe some of the advantages of this new point of view such as a relatively computable algorithm for effective finiteness (with some stipulations). This is joint work with Minhyong Kim.

Thu, 05 Mar 2020

15:00 - 16:00
C4

### Connections in symplectic topology

Todd Liebenschutz-Jones
Abstract

Here, a connection is a algebraic structure that is weaker than an algebra and stronger than a module. I will define this structure and give examples. I will then define the quantum product and explain how connections capture important properties of this product. I will finish by stating a new result which describes how this extends to equivariant Floer cohomology. No knowledge of symplectic topology will be assumed in this talk.

Thu, 27 Feb 2020
11:30
C4

### Non-archimedean parametrizations and some bialgebraicity results

François Loeser
(Sorbonne Université)
Abstract

We will provide a general overview on some recent work on non-archimedean parametrizations and their applications. We will start by presenting our work with Cluckers and Comte on the existence of good Yomdin-Gromov parametrizations in the non-archimedean context and a $p$-adic Pila-Wilkie theorem.   We will then explain how this is used in our work with Chambert-Loir to prove bialgebraicity results in products of Mumford curves.

Thu, 06 Feb 2020
11:30
C4

### Partial associativity and rough approximate groups

Jason Long
((Oxford University))
Abstract

Given a finite set X, is an easy exercise to show that a binary operation * from XxX to X which is injective in each variable separately, and which is also associative, makes (X,*) into a group. Hrushovski and others have asked what happens if * is only partially associative - do we still get something resembling a group? The answer is known to be yes (in a strong sense) if almost all triples satisfy the associative law. In joint work with Tim Gowers, we consider the so-called 1%' regime, in which we only have an epsilon fraction of triples satisfying the associative law. In this regime, the answer turns out to be rather more subtle, involving certain group-like structures which we call rough approximate groups. I will discuss these objects, and try to give a sense of how they arise, by describing a somewhat combinatorial interpretation of partial associativity.

Thu, 12 Mar 2020
11:30
C4

### Speeds of hereditary properties and mutual algebricity

Caroline Terry
(Chicago)
Abstract

A hereditary graph property is a class of finite graphs closed under isomorphism and induced subgraphs.  Given a hereditary graph property H, the speed of H is the function which sends an integer n to the number of distinct elements in H with underlying set {1,...,n}.  Not just any function can occur as the speed of hereditary graph property.  Specifically, there are discrete `jumps" in the possible speeds.  Study of these jumps began with work of Scheinerman and Zito in the 90's, and culminated in a series of papers from the 2000's by Balogh, Bollob\'{a}s, and Weinreich, in which essentially all possible speeds of a hereditary graph property were characterized.  In contrast to this, many aspects of this problem in the hypergraph setting remained unknown.  In this talk we present new hypergraph analogues of many of the jumps from the graph setting, specifically those involving the polynomial, exponential, and factorial speeds.  The jumps in the factorial range turned out to have surprising connections to the model theoretic notion of mutual algebricity, which we also discuss.  This is joint work with Chris Laskowski.

Thu, 23 Jan 2020
11:30
C4

### On groups definable in fields with commuting automorphisms

Kaisa Kangas
(Helsinki University)
Abstract

We take a look at difference fields with several commuting automorphisms. The theory of difference fields with one distinguished automorphism has a model companion known as ACFA, which Zoe Chatzidakis and Ehud Hrushovski have studied in depth. However, Hrushovski has proved that if you look at fields with two or more commuting automorphisms, then the existentially closed models of the theory do not form a first order model class. We introduce a non-elementary framework for studying them. We then discuss how to generalise a result of Kowalski and Pillay that every definable group (in ACFA) virtually embeds into an algebraic group. This is joint work in progress with Zoe Chatzidakis and Nick Ramsey.

Thu, 05 Dec 2019

14:00 - 15:00
C4