Ideal triangulations were introduced by Thurston as a tool for studying hyperbolic three-manifolds.  Taut ideal triangulations were introduced by Lackenby as a tool for studying "optimal" representatives of second homology classes.

After these applications in geometry and topology, it is time for dynamics. Veering triangulations (taut ideal triangulations with certain decorations) were introduced by Agol to study the mapping tori of pseudo-Anosov homeomorphisms.  Gueritaud gave an alternative construction, and then Agol and Gueritaud generalised it to find veering triangulations of three-manifolds admitting pseudo-Anosov flows (without perfect fits).

We prove the converse of their result: that is, from any veering triangulation we produce a canonical dynamic pair of branched surfaces (in the sense of Mosher).  These give flows on appropriate Dehn fillings of the original manifold.  Furthermore, our construction and that of Agol--Gueritaud are inverses.  This then gives a "perfect" combinatorialisation of pseudo-Anosov flow (without perfect fits).

This is joint work with Henry Segerman.

In this talk, I will first give a brief introduction to the Landau-Ginzburg -- Conformal Field Theory (LG-CFT) correspondence, a prediction from physics. This prediction links aspects of Landau-Ginzburg models, described by matrix factorisations for a polynomial known as the potential, with Conformal Field Theories, described by for example vertex operator algebras. While both sides of the correspondence have good mathematical descriptions, it is an open problem to give a mathematical formulation of the correspondence. 

After this introduction, I will discuss the only known realisation of this correspondence, for the potential $x^d$. For even $d$ this is a recent result, and I will give a sketch of the proof which uses the tools of module tensor categories

 I will not assume prior knowledge of matrix factorisations, CFTs, or module tensor categories. This talk is based on joint work with Ana Ros Camacho.

I will present classification results for 4-manifolds with boundary and infinite cyclic fundamental group, obtained in joint work with Anthony Conway and with Conway and Lisa Piccirillo.  Time permitting, I will describe applications to knotted surfaces in simply connected 4-manifolds, and to investigating the difference between the relations of homotopy equivalence and stable homeomorphism. These will also draw on work with Patrick Orson and with Conway,  Diarmuid Crowley, and Joerg Sixt.

Bestvina--Feighn proved that Aut(F_n) is a rational duality group, i.e. there is a Q[Aut(F_n)]-module, called the rational dualizing module, and a form of Poincare duality relating the rational cohomology of Aut(F_n) to its homology with coefficients in this module. Bestvina--Feighn's proof does not give an explicit combinatorial description of the rational dualizing module of Aut(F_n). But, inspired by Borel--Serre's description of the rational dualizing module of arithmetic groups, Hatcher--Vogtmann constructed an analogous module for Aut(F_n) and asked if it is the rational dualizing module. In work with Miller, Nariman, and Putman, we show that Hatcher--Vogtmann's module is not the rational dualizing module.

I will talk about work in progress with Ana Caraiani aimed at proving Ihara’s lemma for quaternionic Shimura varieties, generalising the strategy of Manning-Shotton for Shimura curves. As an arithmetic motivation, in the first part of the talk I will recall an approach to the Birch and Swinnerton-Dyer conjecture based on congruences between modular forms, relying crucially on Ihara’s lemma.

The Zilber-Pink conjecture predicts that there should be only finitely
many algebraic numbers t such that the three elliptic curves with
j-invariants t, -t, 2t are all isogenous to each other.  Using previous
work of Habegger and Pila, it suffices to prove a height bound for such
t.  I will outline the proof of this height bound by viewing periods of
the elliptic curves as values of G-functions.  An innovation in this
work is that both complex and p-adic periods are required.  This is
joint work with Christopher Daw.

It is known that the Brauer group of a smooth, projective surface
defined by an equality of two homogeneous polynomials in characteristic 0, is
finite up to constants. I will report on new methods to determine these Brauer
groups, or at least their algebraic parts, as long as the coefficients are in a
certain sense generic. This generalises previous results obtained over the
years by Colliot-Thélène--Kanevsky--Sansuc, Bright, Uematsu and Santens.
(Joint work with A. N. Skorobogatov.)

If $Q(x_0,x_1,x_2)$ is a quadratic form, how many solutions, of size at most $B$, does $Q=0$ have? How does this depend on $Q$? We apply the answers to the surface $y_0 Q_0 +y_1 Q_1 = 0$ in $P^1 x P^2$. (Joint work with Dan Loughran.)
 

Classical ramification theory deals with complete discrete valuation fields k((X)) with perfect residue fields k. Invariants such as the Swan conductor capture important information about extensions of these fields. Many fascinating complications arise when we allow non-discrete valuations and imperfect residue fields k. Particularly in positive residue characteristic, we encounter the mysterious phenomenon of the defect (or ramification deficiency). The occurrence of a non-trivial defect is one of the main obstacles to long-standing problems, such as obtaining resolution of singularities in positive characteristic.

Degree p extensions of valuation fields are building blocks of the general case. In this talk, we will present a generalization of ramification invariants for such extensions and discuss how this leads to a better understanding of the defect. If time permits, we will briefly discuss their connection with some recent work (joint with K. Kato) on upper ramification groups.