# Abstracts

- 2017-02-27 Federico Vigolo (University of Oxford)
**An introduction to expanders and how to construct them**

I will give a soft introduction to expander graphs, trying to motivate them. I will also explain a very geometric way of constructing some family of expanders out of rotations of the sphere.- 2017-03-06 Katie Vokes (University of Warwick)
**Geometry of the separating curve graph**

To each topological surface, we can associate a number of graphs, each of whose vertices is a curve or collection of curves in the surface. These graphs have been important in the study of the geometry of mapping class groups and Teichmüller spaces. I shall introduce some concepts in this area and present a result on the large scale geometry of the separating curve graph.- 2017-03-13 Victor González Moreno (Royal Holloway University of London)
**Classifying spaces for families of subgroups**Classifying spaces for families of subgroups have been widely studied in the case of the families of finite subgroups and virtually cyclic subgroups, due to them being the geometrical objects in the Baum-Connes Conjecture and Farrell-Jones Conjecture, respectively. However, those definitions and the Bredon Cohomology on which the algebraic meaning of this objects relies are stated for all families of subgroups. For that reason, classifying spaces for larger families of subgroups is a hardly explored and rich field.

The aim of this talk is to define and illustrate with some examples and properties the concept of classifying spaces for families of subgroups and present a piece of my work on such spaces. In particular, I will explain the construction of models for the classifying space for the family of subgroups of a polycyclic group

G of Hirsch length less than or equal tor .- 2017-04-24 Elia Fioravanti (University of Oxford)
**An introduction to CAT(0) cube complexes**

I will give a gentle introduction to the geometry of CAT(0) cube complexes, focussing especially on the combinatorics of hyperplanes and the construction of the Roller boundary. If time allows, I will sketch a proof of the Tits Alternative in this context, a result originally due to Sageev and Wise.- 2017-05-02 Nicolaus Heuer (University of Oxford)
**(Bounded) Cohomology of groups**

The bounded cohomology of groups was promoted by Gromov in the 80s to attack rigidity questions. It has very exotic and unexpected behaviour. I will try to make it accessible by comparing the tools and results of bounded cohomology to their well understood counterparts in classical cohomology. Key words are Mayer-Vietoris, product structures, functoriality and group extensions.- 2017-05-08 Ronja Kuhne (University of Warwick)
**Train tracks, curves and efficient position**

Train tracks were introduced by Thurston in the late 1970s as a combinatorial tool for studying surface diffeomorphisms. After giving relevant background material and elaborating on the interplay between train tracks and curves on surfaces, I plan to define the notion of efficient position of curves with respect to train tracks. Efficient position can be understood as some kind of general position for curves on surfaces with respect to train tracks and I intend to address the question of its existence as well as discuss possible applications.- 2017-05-15 Andreas Bode (University of Cambridge)
**Coadmissible D-modules on rigid analytic flag varieties**

The Beilinson-Bernstein localization allows us to study representations of Lie algebras geometrically, as D-modules on the associated flag variety. Ardakov and Wadsley have begun to develop a theory of D-modules on rigid analytic spaces in the sense of Tate, hoping for analogous results in a p-adic locally analytic setting. In this setting, the notion of coherence gets naturally replaced by that of 'coadmissibility'. I will explain the general theory before discussing various versions of a Proper Mapping Theorem for coadmissible D-modules, in particular showing that the functors in our Beilinson-Bernstein equivalence preserve coadmissibility.- 2017-05-22 Alex Wendland (University of Warwick)
**Finiteness conditions in infinite groups**

In this talk we will explore different definitions of finiteness conditions for infinite groups discussing their connections to each other and geometric interpretations. We will go on to talk about a new definition which has arisen from a generalisation of Benjamin-Schram graph convergence and, time allowing, it connections to an old conjecture of Remesselenikov to do with the genus of free groups.- 2017-05-30 George Kenison (University of Warwick)
**Asymptotics comparing length functions on free groups**

Let $F$ be a free group with rank at least 2. We suppose that $F$ is a discrete and convex co-compact group of isometries of $n$-dimensional hyperbolic space or, more generally, a CAT(-1) space $M$. To each $x\in F$ we associate two lengths: the word length of $x$ for a given generating set and the geometric displacement $d_M(o,xo)$ for a prescribed point $o\in M$.In this talk we compare the two length functions asymptotically (ordering the group elements by word length). Time permitting we establish asymptotics when the group elements are restricted to a non-trivial conjugacy class. This is joint work with Richard Sharp.

In this talk we compare the two length functions asymptotically (ordering the group elements by word length). Time permitting we establish asymptotics when the group elements are restricted to a non-trivial conjugacy class. This is joint work with Richard Sharp.

- 2017-06-05 Louis Bonthrone (University of Warwick)
**Ricci flow with cone singularities**In recent years there has been a large amount of work being done to understand metrics with conic singularities along a divisor. We will look at the motivation for studying such objects and some of the key results in complex dimension greater than two. On the other hand in complex dimension metrics with cone singularities have been well understood since the work of Troyanov, Luo-Tian in the 80's and 90's. This theory was developed using variational techniques for the Liouville equation.

In this talk we consider the Ricci flow on surfaces, which, in some sense, is the parabolic version of the Liouville equation. More precisely, we are interested in a recent collection of results allowing one to flow while preserving any cone singularities and their angles. We will then see that Troyanov's elliptic theory yields natural convergence results and how one might hope to generalise this work.

- 2017-06-12 María Cumplido (Université Rennes 1/Universidad de Sevilla)
**On the genericity of pseudo-Anosov elements in the mapping class group of a surface (with Bert Wiest)**

This talk is motivated by a well-known conjecture which claims that "most" elements of the mapping class group G of a surface are pseudo-Anosov. This means that, if we take a ball in the Cayley graph of G, the proportion of vertices in the ball representing pseudo-Anosov elements tends to 1 as the radius of the ball tends to infinity. The aim of the talk is to prove that this proportion is positive. Eventually, this proof will lead us to give a condition, so that if a subgroup H of G fulfills this condition, then H also has a postive proportion of pseudo-Anosov elements.- 2017-06-16 Federica Fanoni (Max Planck Institute for Mathematics, Bonn)
**Mapping class group orbits of non-simple curves**

The number of mapping class group orbits (topological types) of simple closed curves on surfaces is well-known and easy to compute. If we consider non-simple curves instead, counting orbits becomes more complicated. I will talk about this problem and about the ideas to get the asymptotics of the number of orbits of curves with k self-intersections (as the genus goes to infinity). Joint work with Patricia Cahn and Bram Petri.- 2017-06-19 Claudius Zibrowius (University of Cambridge)
**On the Fukaya category of marked surfaces via curved complexes**With an oriented surface (plus some choice of extra data), one can associate a category of curved complexes. I will discuss the construction of this category in some detail and explain why I care about it.

- 2017-10-02 Beatrice Pozzetti (Heidelberg University)
**Symmetric spaces of non-compact type**

A Riemannian symmetric space is a Riemannian manifold X whose group of isometries contains the geodesic involution at any point. If such a space X has no compact factor, it is a CAT(0) space whose isometry group acts transitively. I will introduce the geometric properties of these spaces needed to give the idea of a beautiful proof due to Ballmann-Gromov-Schroeder of a rigidity theorem in higher rank.- 2017-10-09 Alex Wendland (University of Warwick)
**A survey of Topology of finite graphs**I will conduct a review of the methods used in Stalling's Topology of finite graphs. Here he uses maps of finite graphs to give simple proofs for results withing free group theory, such as Howson's theorem (intersection of f.g. subgroups of free groups is f.g.) and M. Hall's theorem (free groups are LERF). The paper has been cited in many further works and time allowing I will mention some work followed up by Gersten.

- 2017-10-16 Louis Bonthrone (University of Warwick)
**J-holomorphic curves from J-anti-invariant forms**

Since the 1980's there has been a well known folklore theorem which says that for a generic Riemannian metric on a 4-manifold the zero set of a self-dual harmonic 2-form is a finite number of embedded circles. We prove that in the almost complex setting the corresponding result holds without a genericity assumption. That is, we show the zero locus of a closed J-anti-invariant 2-form is a J-holomorphic curve in the canonical class. This is based on joint work with Weiyi Zhang.- 2017-10-23 Ben Barrett (University of Cambridge)
**Bestvina and Mess's double-dagger condition**

It is a fundamental tenet of geometric group theory that groups look like the spaces on which they act, at least on a large scale, and so large scale properties of such spaces can be thought of as being intrinsic to the group. One such large scale property is the Gromov boundary of a space with a negative curvature property, which generalises the circular boundary of the hyperbolic plane. Some important connectivity properties of the Gromov boundary of a space are controlled by a so-called double-dagger condition on the space itself. In this talk I will describe this link between the hyperbolic geometry of a space and the "connectivity at infinity" of that space.

- 2017-10-30 Esmee te Winkel (University of Warwick)
**Mostow's rigidity theorem**

Given a closed, connected, oriented 3-manifold that admits a hyperbolic metric, it is a result of Mostow that this metric is unique. More generally, the geometry of a closed, connected, oriented n-manifold is determined by its fundamental group, when n is at least 3. This is awfully false in dimension 2 – actually, there is an entire space of hyperbolic structures on a surface, called Teichmüller space.I will introduce Mostow's theorem, motivate its relevance and, if time permits, sketch a proof.

- 2017-11-06 Paul Colognese (University of Warwick)
**An introduction to rational billiards and translation surfaces**Consider a game of billiards/pool/snooker. If we assume that the ball is a moving point and that there is zero friction, we can consider the long term dynamics of a trajectory. One way of studying this problem is by unfolding the table to get a closed surface known as a translation surface. In this talk, I'll provide a very brief introduction to the subject, focusing on the basic geometry as well hopefully providing some insight into how this perspective can be fruitful when solving problems about billiards.

- 2017-11-13 Sophie Stevens (University of Bristol)
**Point-Line Incidences in Arbitrary Fields**

Points and lines are simple-sounding sets of objects, and to help us out, we'll talk only about finite sets of both. We can ask simple-sounding questions about them, such as "how often do they intersect?" or "if they intersect lots, do they have special structure?". Answering these types of questions is an active area of mathematics, with strong links to additive combinatorics. I will talk about the situation in arbitrary fields, presenting two incidence theorems and some of their applications.- 2017-11-20 Stephen Cantrell (University of Warwick)
**Counting with Quasimorphisms on Hyperbolic Groups**

Let $G$ be a hyperbolic group. A map $\phi : G \to \mathbb{R}$ is called a quasimorphism if it is a group homomorphism up to some bounded error.In this talk we introduce a counting problem related to quasimorphisms. We discuss how to tackle this problem using ideas from both geometry and ergodic theory. We will examine the interplay between these two areas of maths and will explore how they can be used together to solve the counting problem in the case that $G$ is a surface group. We will then discuss the difficulties in extending this result to the general case of any hyperbolic group $G$.

- 2017-11-27 Alex Evetts (Heriot-Watt University)
**Aspects of Growth in Groups**

Elements of a finitely generated group have a natural notion of length. Namely the length of a shortest word over the generators which represents the element. This allows us to see such groups as metric spaces, and in particular to study their growth by looking at the sizes of spheres centred at the identity. This idea of growth can be generalised in various ways. In this talk I will describe some of the important results in the area, and try to give an idea of the tools used to study growth.

- 2017-12-04 Ana Claudia Lopes Onorio (University of Southampton)
**Ends of spaces and groups**

The theory of ends of topological spaces and ends of groups has its beginnings in the work of Freudenthal (1931) and Hopf (1944). In my talk, I would like to introduce these concepts and some interesting facts concerning such a group invariant. I will assume basic knowledge of algebraic topology and group theory from the audience. I will try not to give too many algebraic details and focus on the main ideas, so that it can be understandable by 4th-year undergrads and first year PhD students. I hope the end justifies the means! This is closely related to the subject of my research at the moment, which I might comment a bit about at the end of the talk if time permits.- 2018-01-08 Giles Gardam (Technion)
**The geometry of the word problem**The word problem is the task of deciding, given a word in a fixed generating set of a group, whether it represents the identity element of the group or not. While this sounds very algebraic, it has real geometric meaning. In this talk, I will introduce Dehn functions, which provide a geometric quantification of the difficulty of the word problem. After treating classical examples, I will give new examples from joint work with Daniel Woodhouse showing that one-relator groups have a rich collection of polynomial Dehn functions.

- 2018-01-15 Néstor León Delgado (Max Planck Institute for Mathematics, Bonn)
**Jet bundles and local maps**When talking about maps between spaces of functions, the term locality often comes up. This could mean a map of sheaves, a map depending only on the value of the function at a point, or on some of its derivatives. In the later case we say that the map descends to a map from a jet bundle. In this talk we will learn what jet bundles are and how are they related to locality.

- 2018-01-22 Anna Parlak (University of Warwick)
**Roots of Dehn twists**

It is well known that the mapping class group $\mathrm{Mod}(S_{g})$ of the orientable surface of genus $g$ is generated by a finite number of Dehn twists. Quite recently (2009) Margalit and Schleimer showed that, surprisingly, these elements are not primitive in $\mathrm{Mod}(S_g)$. They proved that every Dehn twist about a nonseparating circle in $\mathrm{Mod}(S_{g+1})$, $g \geq 1$, has a root of degree $2g+1$. Natural questions that arose were:

- what other degrees of roots are possible, apart from divisors of $2g+1$?

- if a root of degree $n$ of a Dehn twist about a nonseparating circle exists, is it unique up to conjugation in $\mathrm{Mod}(S_{g+1})$?

These questions were answered by McCullough and Rajeevsarathy (2011) who derived numerical equations whose solutions are in bijective correspondence with the conjugacy classes of roots of Dehn twists about nonseparating circles. Later, using similar techniques, this work was extended to the case of Dehn twists about separating circles (Rajeevsarathy, 2013), multicurves (Rajeevsarathy, Vaidyanathan, 2017) and Dehn twists in the mapping class group of a nonorientable surface.During the talk I will be primarily focused on presenting the results of McCullough and Rajeevsarathy from 2011. If time permits, I will also give some remarks about the analogous investigation in the nonorientable case.

- 2018-01-29 Selim Ghazouani (University of Warwick)
**Affine structures on (closed) manifolds**

An affine structure on a manifold is a geometric structure that is modelled on the standard affine space R^n through the group of affine transformations. These structures are somewhat reminiscent of Euclidean structures and if one can draw a certain number of analogies with the Euclidean case (that led to a certain number of beautiful theorems), many questions about these structures remain widely open. In particular, it is very hard to tell whether a given manifold carries an affine structure.I will try to give an insight to this mysterious world by giving a vaguely historical account of developments in the field and by stating a number of fairly simple questions that are still open.

- 2018-02-05 Lucas Ambrozio (University of Warwick)
**Critical points of the area functional: where to find them, and how to use them**

In this talk we will explain a few ideas involved in the variational approach to the construction of minimal surfaces. Moreover, we will show a few instances where the information about the index of instability of the constructed minimal surface allows the derivation of beautiful geometric applications.- 2018-02-12 Abigail Linton (University of Southampton)
**Massey products in toric topology**

With a history stemming from symplectic and algebraic geometry, toric topology began as the study of topological spaces with m-torus actions. One notable object of study in toric topology is the moment-angle complex, whose cohomology can actually be described combinatorially. In particular, this combinatorial structure provides an avenue for studying higher cohomology operations, such as Massey products. The goal of this talk is to give an introduction to these objects, and to discuss some combinatorial descriptions of Massey products in moment-angle complexes.- 2018-02-19 Richard Birkett (University of Cambridge)
**Critical Recurrence in the Mandelbrot Set**

We will introduce the essentials of holomorphic dynamics over the complex numbers, in particular using f_c(z) = z^2 + c as our archetypical function inducing the famous picture of the Mandelbrot Set. Having set up the general long term dynamical problem, we will turn our attention to a short term recurrence problem of our so-called critical orbit and get an overview of my recent research. We will finish by talking about the great open problems in the field with interesting relations to number theory and more.- 2018-02-26 Agnese Barbensi (University of Oxford)
**The Reidemeister graphs**We describe a locally finite graph naturally associated to each knot type K, called the Reidemeister graph. We determine several local and global properties of this graph and prove that the graph-isomorphism type is a complete knot invariant up to mirroring. Lastly (time permitting), we introduce another object, relating the Reidemeister and Gordian graphs, and briefly present an application to the study of DNA. Joint work with Daniele Celoria.

- 2018-03-05 Marissa Loving (University of Illinois at Urbana-Champaign)
**Least dilatation of pure surface braids**The n-stranded pure surface braid group of a genus g surface can be described as the subgroup of the pure mapping class group of a surface of genus g with n-punctures which becomes trivial on the closed surface. I am interested in the least dilatation of pseudo-Anosov pure surface braids. For the n=1 case, upper and lower bounds on the least dilatation were proved by Dowdall and Aougab—Taylor, respectively. In this talk, I will describe the upper and lower bounds I have proved as a function of g and n.

- 2018-03-05 Marko Berghoff (Humboldt University of Berlin)
**Why you shouldn't be scared of integrals**... especially if they are given to you by physicists and seem to not make any sense. This is the case for Feynman integrals, a class of integrals encountered in quantum field theory. The study of those (including the art of finding a sensible interpretation of their divergences) is not only important for perturbative calculations in high-energy physics but also provides a rich playing field for mathematics as there are numerous connections to problems in algebra, number theory, geometry and topology. In this talk, I will give an informal introduction and a broad overview of the field and discuss some of these connections in detail.

- 2018-03-12 Gerrit Herrmann (University of Regensburg)
**Thurston norm and L^2 -Betti numbers**In my talk, I will define the Thurston norm of a closed irreducible 3-manifold M. This is a semi-norm on the second homology H_2(M; Z). Morally speaking it measures the complexity of a class by embedded surfaces representing this class. I will then characterize embeddings of surfaces which release the Thurston norm by certain L^2 -Betti numbers.

- 2018-04-23 Benjamin Brück (University of Bielefeld)
**Buildings and the free factor complex**The core idea of geometric group theory is to study groups acting nicely on beautiful spaces, where both the definitions of "nicely" and "beautiful" can vary. In my talk, I will present two such spaces equipped with group actions: The building of type A_{n-1} which is associated to GL_n(Q) and the free factor complex which comes with an action of Aut(F_n), the automorphism group of the free group. I will give different definitions of these simplicial complexes, show why the descriptions are in fact equivalent and try to give an idea of basic similarities and differences between the two complexes.

- 2018-04-30 Marco Barberis (University of Warwick)
**Quasi-isometric rigidity for hyperbolic lattices**

An interesting problem in Geometric Group Theory is quasi-isometric rigidity, which is a way to deduce (weak) algebraic properties from the coarse geometry of groups given by their natural metric.I will try to set the stage of quasi-isometric rigidity problems, and then talk in detail about the results regarding hyperbolic lattices. In this case I'll try to give an idea of the tools used for the proofs, which turn out to effectively be the study of the coarse geometry of hyperbolic spaces.- 2018-05-08 Davide Spriano (ETH)
**Morse subsets in hierarchically hyperbolic spaces**

When dealing with geometric structures one natural question that arises is "when does a subset inherit the geometry of the ambient space"? In the case of hyperbolic space, the concept of quasi-convexity provides answer to this question. However, for a general metric space, being quasi-convex is not a quasi-isometry invariant.This motivates the notion of Morse subsets. In this talk we will motivate the definition and introduce some examples. Then we will introduce the class of hierarchically hyperbolic groups (HHG), and furnish a complete characterization of Morse subgroups of HHG. If time allows, we will discuss the relationship between Morse subgroups and hyperbolically-embedded subgroups. This is a joint work with Hung C. Tran and Jacob Russell.

- 2018-05-14 Katie Vokes (University of Warwick)
**Curve graphs, disc graphs and the topology of 3-manifolds**Given any closed, orientable 3-manifold M, we can always decompose M into a union of two handlebodies of the same genus, glued along their boundary surfaces by a homeomorphism. This is called a Heegaard splitting, and can be described by sets of curves in the common boundary surface which bound discs in one or other of the handlebodies. The set of curves in the surface of a handlebody which bound essential discs in the handlebody gives a subgraph of the curve graph called the disc graph, and Hempel defined a distance for a Heegaard splitting using this inclusion. We will give some background on Heegaard splittings and Hempel distance, and, time permitting, present a result on how the disc graph sits in the curve graph.

- 2018-05-21 Rachael Boyd (University of Aberdeen)
**Homological stability for Artin monoids**

Many sequences of groups satisfy a phenomenon known as homological stability. In my talk, I will report on recent work proving a homological stability result for sequences of Artin monoids, which are monoids related to Artin and Coxeter groups. From this, one can conclude homological stability for the corresponding sequences of Artin groups, assuming a well-known conjecture in geometric group theory called the K(\pi,1)-conjecture. This extends the known cases of homological stability for the braid groups and other classical examples. No familiarity with Coxeter and Artin groups, homological stability or the K(\pi,1)-conjecture will be assumed.- 2018-05-29 Samuel Colvin (University of Bristol)
**Boundaries of Hyperbolic Groups**The jungle of infinite groups is vast and unwieldly, but with the machete of geometry and the bug-spray of topology, we can attempt to explore some of its tamer wilderness. In other words, given an infinite group, we can associate to it an infinite graph which gives us a notion of ‘the geometry of a group’. Through this we can ask what kind of groups have hyperbolic geometry, or at least an approximation of it called Gromov hyperbolicity. Hyperbolic groups are quite a nice class of groups but a large one, so we introduce the Gromov boundary of a hyperbolic group and explain how it can be used to distinguish groups in this class.

Key words: Cayley graph, quasi-isometry invariants, Hyperbolic group, Gromov, boundaries, Conformal dimension.- 2018-06-04 Joe Scull (University of Warwick)
**An Introduction to Seifert Fibred Spaces**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.

- 2018-06-07 Senja Dominique Barthel (EPFL)
**Spatial graphs and minimal knottedness**Spatial graph theory investigates embeddings of graphs in R3. We will define some properties of spatial graphs that can be considered as generalisation of unknottedness and see relations between them along examples. Finally, we show that there exist no minimally knotted planar spatial graphs on the torus.

- 2018-06-18 Alex Margolis (University of Oxford)
**QI rigidity of commensurator subgroups**One of the main themes in geometric group theory is Gromov's program to classify finitely generated groups up to quasi-isometry. We show that under certain situations, a quasi-isometry preserves commensurator subgroups. We will focus on the case where a finitely generated group G contains a coarse Poincaré duality subgroup H such that G=Comm(H). Such groups can be thought of as coarse fibrations whose fibres are cosets of H; quasi-isometries of G coarsely preserve these fibres. This generalises work of Whyte and Mosher--Sageev--Whyte.

- 2018-06-25 Harry Petyt (University of Warwick)
**Sphere Packings, Kissing Numbers, and Integers**In its original form the sphere packing problem asks: "What is the most efficient way to stack cannonballs?" This turns out to be unreasonably difficult to answer, even if we ask for our pile to look the same everywhere, so we might try to change the question a bit and ask: "Okay, how many cannonballs can touch (or kiss) a single cannonball at the same time?" This isn't much better, and it took over 200 years for these questions to be answered.

By the mid 19th century the complex numbers were mostly accepted by mathematicians, and motivated by their utility Hamilton was led to discover the quaternions, their four dimensional brother. Quaternions share a lot of properties with complex numbers, so even though they don't commute we can still think of them as numbers. Not long after this an eight dimensional cousin was found, which we now call the octonions, and this completes the family.

The aim of this talk is to describe a link between "integers" for these number systems and solutions to both the packing and kissing number problems in the relevant number of dimensions.

- 2018-10-01 Marco Barberis (University of Warwick)
**Introduction to Curve Complexes.**The Curve Complex, a structure which encodes information about curves on a surface, is one of the most important construction in the field since its introduction in 1981, thanks to W. J. Harvey. This complex has both applications to the study of other geometric objects and a very interesting geometric structure by itself. We will introduce the definition of the Curve Complex, with as many examples as possible, along with some application and properties. In particular we will seize the opportunity to introduce the tremendously important concept of Gromov hyperbolicity, and talk about how this is one of the main features of the Curve Complex.

- 2018-10-09 Benedict Sewell (University of Warwick)
The mystery of triviality of the prehomogeneous fibre bundle.

Ongoing work with David Mond.

A fibre bundle is a more general version of a covering space. Heuristically, it can be seen as a continuous map that locally looks like a projection (i.e. like U x F projects down to U). Perhaps the simplest question is that of triviality: is this map globally just a projection (if you move things around a bit) or not?

We’ll investigate some cool examples arising from the theory of prehomogeneous vector spaces, which will start to veer dangerously in the direction of algebraic geometry and character theory, and then at the last minute save the day with some friends from basic algebraic topology.

This talk will hopefully require no more of you than an understanding of the fundamental group and of covering spaces, so should be quite accessible!

- 2018-10-18 Stephen Cantrell (University of Warwick)
**Comparison theorems for actions on CAT(-1) spaces**

A CAT(-1) space is a metric space with a concept of negative curvature. Suppose that a group G acts nicely on a CAT(-1) space X. Such an action gives rise to two natural real valued functions on G. These are the word length function and the displacement function. In this talk we discuss these two quantities and explore different ways in which to compare them. This will be a gentle introduction to the topic – no prior knowledge required!- 2018-10-22 Joseph MacColl (LSGNT)
**Ordering free groups and the Hanna Neumann Conjecture**Given finitely-generated subgroups H and K of a free group F, Hanna Neumann conjectured the existence of a bound on the rank of their intersection coming from the individual ranks of H and K. After giving some context for the conjecture, I will describe how Mineyev proved it using properties of an ordering of the elements of F which are reflected in how the subgroups act on its Cayley graph. If time permits I will show how the same argument in fact gives a strengthened version of the result, which maximises the information obtained from the correspondence between free groups and the topology of graphs

- 2018-10-29 Michal Buran (University of Cambridge)
**Alternating quotients of RAAGs, RACGs and surface groups**

We say that a group*has many alternating quotients*if for every finite set of group elements there exists a surjection onto an alternating group, which is injective on this finite set. Right-angled Artin groups (RAAGs) are interpolation between free groups and free abelian groups. I will show that every RAAG satisfies exactly one of the following:

1. it is infinite cyclic.

2. it is a direct product of RAAGs.

3. it has many alternating quotients.

Therefore, every RAAG is a direct product of groups with many alternating quotients and infinite cyclic groups. Along the way I will prove a similar result for right-angled Coxeter groups and I will show that the fundamental groups of hyperbolic, closed, orientable surfaces have many alternating quotients.- 2018-11-05 Simon Baker (University of Warwick)
**An introduction to Fractal Geometry**The purpose of this talk is to give a gentle introduction to some topics from Fractal Geometry. I will discuss two notions of dimension that are well suited to fractal sets. We will also see how one can generate many fractals using an object called an iterated function system. If time permits I will discuss a recent paper of mine and Nikita Sidorov where we construct a fractal generated by an iterated function system that has empty interior and positive Lebesgue measure.- 2018-11-12 Luca Pol (University of Sheffield)
**What are spectra?**

This talk will be a brief and gentle introduction to stable homotopy theory: the study of those topological phenomena that they occur in essentially the same way independent of dimension. In particular, I will explain what spectra are, what they are good for and why do we care about them.- 2018-11-19 Divya Sharma (University of Münster)
**The two descriptions of tangent space(s) to Teichmüller space**

The description of tangent space(s) to Teichmüller space (of a compact Riemann surface of genus ≥ 2) comes in two different flavours: Analytic description and Cohomological description. The main goal of my talk is to introduce the notion of a harmonic vector field on the upper half plane which is an important tool to make “a bridge” between the above-mentioned descriptions. This is based on my research work.- 2018-11-26 Annette Karrer (Karlsruhe Institute of Technology)
**The contracting boundary of a CAT(0) group**To every CAT(0) group one can associate a topological space, the so-called contracting boundary. The contracting boundary measures how similar the associated group is to a hyperbolic group. A strong motivation of studying the contracting boundary is that it is a quasi-isometry invariant.

In this talk we shortly introduce quasi-isometry invariants. We define and compare hyperbolic and CAT(0) groups and discuss associated boundaries. This leads us to the definition of the contracting boundary. As an application, we look at contracting boundaries of right-angled Coxeter groups, which I study in my PhD thesis. Right-angled Coxeter groups are special CAT(0) groups, which are defined using graphs.

- 2018-12-03 Ronja Kuhne (University of Warwick)
**Polynomial-time efficient position**In this talk, we start with the very basics: we introduce surfaces, their homeomorphisms and discuss Thurston’s classification result for the latter. Naturally, this leads to the following question: given a surface homeomorphism, how (quickly) can we determine its type? In 2016, Bell and Webb gave a polynomial-time algorithm to answer this question. Their approach relies on ideal triangulations and edge coordinates. We discuss how train tracks might be used to present an alternative proof. One of the main ingredients will be a concept called efficient position. In this talk, we define what it means for a curve to be in efficient position with respect to a train track and explain how efficient position can be obtained in polynomial time.- 2019-01-14 Paul Colognese (University of Warwick)
**Volume growth on translation surfaces**

For Riemannian manifolds with negative sectional curvature, Margulis proved that there exist simple asymptotic formulae for the growth of various quantities on the manifold, including the growth of the volume of a ball in the manifold as the ball's radius tends to infinity. In recent work with my supervisor, Mark Pollicott, we turn our attention to translation surfaces which are surfaces equipped with a flat metric, except at a finite number of points which are cone-type singularities. Following the intuition that these cone-type singularities are points with high negative curvature, our work and the recent work of Alex Eskin and Kasra Rafi, proves that Margulis' asymptotic formulae extend to translation surfaces. In this talk, I aim to give some context to our work, a brief introduction to translation surfaces and an overview of how we used their geometry to prove the asymptotic results. If time permits, I'll talk about some far-out further research directions.- 2019-01-21 Matteo Barucco (University of Warwick)
**Homological Instability**A sequence of groups is said to satisfy homological stability, if the induced maps on the k^th homology groups are isomorphisms after a certain index increasing with k. In 2014 Nathalie Wahl and Oscar Randall-Williams improved a classical technique to study homological stability problems for sequences of groups admitting a braided monoidal structure. After a slight introduction to the homology of a group, I will give an idea of the categorical context of the Homological Stability Theorem that they proved. In the second part, we will play a bit with some interesting examples of sequences of groups that look like they should stabilize (in the sense that they fit perfectly in these categories), but do not, and indeed the connectivity axiom fails. This will allow us to point out how deeply Homological stability for sequences of groups of this kind seems related to the connectivity of the associated spaces, suggesting that also the opposite direction of the theorem could be true.

- 2019-01-28 Carlo Collari (Alfréd Renyi Institute Budapest)
**Bracket polynomial: applications and generalisations.**his talk is meant as an introduction to the Kauffman bracket (or bracket polynomial), which is a useful tool to define (and compute)

quantum invariants for knots, links, graphs, and 3-manifolds. The talk

is organised as follows.

First, I will introduce the notions of knots and links, and their diagrams.

Afterwards, I will define the bracket polynomial associated to a

(framed) link in S^3, which was introduced by Louis Kauffman in the

late 80's, and describe some of its properties. A suitable re-scaling

of the bracket polynomials yields the Jones polynomial, which is a

famous invariant of links, while certain evaluations of the bracket

recover the so called SU(2)-Rashitikitin-Turaev-Witten (RTW)

invariants.

Subsequently, I will describe one among the earlier applications of

the bracket polynomial: the solution of the Tait conjectures. These

conjectures were formulated by the Scottish physicist Peter Tait when

he was producing the first tabulation of knots (which were believed to

be related to atoms). I will outline how we can use the bracket to

prove some of these conjectures.

To conclude, I will discuss some generalisations of the Kauffman

bracket (namely skein modules, and possibly Khovanov homology), and

some open problems concerning them. Time permitting, I will also spend

a few words on the related invariants for 3-manifolds.- 2019-02-04 Francesca Iezzi (University of Edinburgh)
**Graphs of curves, arcs, and spheres, and connections between them**Given a surface S, the curve graph of S is defined as the graph whose vertices are simple closed curves on S up to isotopy, where two vertices are adjacent if the two corresponding curves can be realised disjointly. This object was defined by Harvey in the 80’s, and has been an extremely useful tool in the study of surface mapping class groups.

Similarly one can define the arc graph of a surface with boundary, and the sphere graph of a 3-manifold.

In this talk I will introduce all these objects, describe some of their properties and some maps between these objects. Time permitting, I will describe some joint work with Brian Bowditch, where we prove that, under particular hypothesis, there exists a retraction between the sphere graph of a 3-manifold and the arc graph of a surface.

- 2019-02-11 Elia Fioravanti (University of Oxford)
**Cross ratios on cube complexes and length-spectrum rigidity**Given a Riemannian metric on a closed manifold $M$, we can associate to every element of $\pi_1(M)$ the length of its shortest geodesic representative. Does this function determine the manifold $M$ and its metric? An open conjecture from the '80s claims that the answer should be yes if the sectional curvature is negative. The special case of hyperbolic metrics on surfaces follows immediately from the classical (9g-9)-theorem, but already the situation of more general metrics on surfaces requires a deep theorem of Otal (1990). Not much is known in higher dimension.We consider the corresponding question in the world of non-positively curved cube complexes, providing a positive general answer. Our approach relies on a new notion of 'cross ratio' for points in the Roller boundary. Joint work with J. Beyrer and M. Incerti-Medici.- 2019-02-25 Marco Linton (University of Warwick)
**Dehn Filling in Relatively Hyperbolic Groups**It is well known that the fundamental group of a closed hyperbolic manifold is a hyperbolic group. For a general hyperbolic manifold this might not be true, but our fundamental group may have a relatively hyperbolic structure. Thurstons hyperbolic Dehn filling Theorem tells us that if our manifold has some toral cusps, we can `fill' them in and obtain a new hyperbolic manifold. A natural question arises, what are the group theoretic consequences of this theorem and to what extent can this be phrased purely in terms of groups?In this talk I will introduce the cusped space of a relatively hyperbolic group. This is a 2-complex constructed from a group presentation which possesses some strong geometric properties when the group in question is relatively hyperbolic. I will discuss some properties of this space and show how Groves and Manning (2008) answered the above question for torsion free relatively hyperbolic groups. If there is time, I will also discuss how their techniques can be extended when the torsion free assumption is dropped.- 2019-03-04 Jone Lopez de Gamiz (University of Warwick)
**Coherence of right-angled Artin groups**Free groups and free abelian groups have been deeply studied and so many important properties are well-known. In this talk, I will define a class of groups that 'generalize' them, known as right-angled Artin groups. We know that subgroups of free groups or free abelian groups are again of the same type, and trivially they are coherent groups (meaning that all the finitely generated subgroups are finitely presented). I will explain that right-angled Artin groups keep these properties under certain conditions. For that, a brief introduction to Bass-Serre Theory will be necessary.

- 2019-03-11 Fiona Torzewska (University of Leeds)
**A Homotopy type Topological Quantum Field Theory**

This talk is intended to be an introduction to Topological Quantum Field Theories (TQFTs). Although initially motivated by Physics as a zero energy version of 'real' Quantum Field Theories, we will consider a purely mathematical approach, following Atiyah.Roughly speaking, by a TQFT we mean a functor from some category of cobordisms to the category of vector spaces and linear maps. I will give a specific example of a homotopy TQFT using the fundamental groupoid of the cobordism. The construction relies heavily on a groupoid version of the Van Kampen theorem. Throughout the talk I will work with a category of 1+1D cobordisms to demonstrate some calculations. If there is time I will briefly touch on the equivalence between 1+1D TQFTs and commutative Frobenius Algebras and how the construction fits into the wider class of TQFTs.

- 2019-04-29 Joe Scull (University of Oxford)
**A Beginner's guide to 3-manifolds and the Poincaré Conjecture**The Poincaré Conjecture was first formulated over a century ago and states that there is only one closed simply connected 3-manifold, hinting at a link between 3-manifolds and their fundamental groups. This seemingly basic fact went unproven until the early 2000s when Perelmann proved Thurston's much more powerful Geometrisation Conjecture, providing us with a powerful structure theorem for understanding all closed 3-manifolds.

In this talk I will introduce the results developed throughout the 20th century that lead to Thurston and Perelmann's work. Then, using Geometrisation as a black box, I will present a proof of the Poincaré Conjecture. Throughout we shall follow the crucial role that the fundamental group and hopefully demonstrate the geometric and group theoretical nature of much of the modern study of 3-manifolds. As the title suggests, no prior understanding of 3-manifolds will be expected.

- 2019-05-13 Marta Maggioni (Universiteit Leiden)
**Natural extensions for continued fractions**

Continued fractions offer a representation of real numbers that is in many ways more natural that the canonical decimal representation. The first studies date back at the end of the seventeenth century, and since then continued fractions have become more and more common, with applications in Diophantine equations and in approximations of real numbers by rationals. From a dynamical point of view, continued fractions are obtained through the iterates of a map of the unit interval into itself. In the last fifty years, metric and ergodic properties of these underlying dynamical systems have been studied for different classes of continued fractions. In this talk we will focus on the canonical planar natural extension for continued fractions, and we will use it to derive invariant measures and to compute the entropy.- 2019-05-20 Jordan Williamson (University of Sheffield)
**Constructing Algebraic Models for Equivariant Cohomology**Constructing algebraic models for topological objects is a handy technique in algebraic topology. For example, Quillen and Sullivan pioneered the study of (simply connected) spaces up to rational homotopy via an equivalence with certain commutative differential graded algebras. In this talk, we’ll focus on modelling (equivariant) cohomology theories. There are several tricks one can use to try to construct algebraic models. I’ll describe some of these methods such as Morita theory, localizations and cellularizations and demonstrate these techniques through many examples, such as modular representation theory, rational cohomology theories and rational equivariant cohomology theories on spaces with free group action.

- 2019-05-29 Anna Parlak (University of Warwick)
**Fibrations of a 3-manifold carried by the same veering triangulation**

The main topic of the talk will be pseudo-Anosov mapping tori of oriented hyperbolic surfaces. These 3-manifolds naturally come equipped with a fibration over the circle by surface fibres. However, typically they fibre in infinitely many distinct ways.Given a fibration of a fibred oriented hyperbolic 3-manifold we can build a canonical triangulation which is veering and whose 2-skeleton carries the foliation by fibres. This is an ideal triangulation of the cusped 3-manifold obtained from the initial one by drilling out the singular orbits of the suspension flow. A crucial fact for this talk is that a veering triangulation is canonical not only for a fibration, but really an invariant of a fibred face of the Thurston norm ball in the second homology group of the manifold.

I will explain how from a single veering triangulation which carries a fibration can we derive data on all fibrations lying over the corresponding fibred face. The obtained information includes the dilatation factors of their monodromies as well as the half-translation structures on the fibres with respect to which the monodromies act affinely.