A classical approach to studying the topology of a manifold is through the analysis of its submanifolds. The realm of 3-manifolds is particularly rich and diverse, and we aim to explore the complexity of surfaces within a given 3-manifold. After reviewing the fundamental definitions of the Thurston norm, we will present a constructive method for computing it on Seifert fibered manifolds and extend this approach to graph manifolds. Finally, we will outline which norms can be realized as the Thurston norm of some graph manifold and examine their key properties.

The hyperbolic plane and its higher-dimensional analogues are well-known
objects. They belong to a larger class of spaces, called rank-one
symmetric spaces, which include not only the hyperbolic spaces but also
their complex and quaternionic counterparts, and the octonionic
hyperbolic plane. By a result of Pansu, two of these families exhibit
strong rigidity properties with respect to their self-quasiisometries:
any self-quasiisometry of a quaternionic hyperbolic space or the
octonionic hyperbolic plane is at uniformly bounded distance from an
isometry. The goal of this talk is to give an overview of the rank-one
symmetric spaces and the tools used to prove Pansu's rigidity theorem,
such as the subRiemannian structure of their visual boundaries and the
analysis of quasiconformal maps.

Originally posed in the 1950s, the Hadwiger-Nelson problem interrogates the ‘chromatic number of the plane’ via an infinite unit-distance graph. This question remains open today, known only to be 5,6, or 7. We may ask the same question of the hyperbolic plane; there the lack of homogeneous dilations leads to unique behaviour for each length scale d. This variance leads to other questions: is the d-chromatic number finite for all d>0? How does the d-chromatic number behave as d increases/decreases? In this talk, I will provide a summary of existing methods and results, before discussing improved bounds through the consideration of semi-regular tilings of the hyperbolic plane.

Congruence Subgroup Property is a characterisation of finite-index subgroups of automorphism groups. It first arose from the study of subgroups of linear groups. In this talk, I will show a few examples where it holds and where it fails, and give an overview of what is known about the family $SL_n\mathbb{Z}$, $Out(F_n)$, $MCG(\Sigma)$. Then I will describe some related results in the case of Mapping Class Groups, and explain their relation to profinite rigidity of 3-manifolds.

Donaldson proved that there are pairs of 4-manifolds that are homeomorphic but not diffeomorphic, a phenomenon that does not appear for any lower dimensional manifolds. Until recently, proving this for compact manifolds has required smooth 4-manifold invariants coming from gauge theory. In this talk, we will give an introduction to an exciting new smooth 4-manifold invariant of Morrison Walker and Wedich, called a skein lasagna module that does not rely on gauge theory. Further, this talk will not assume any knowledge of 4-manifold topology.

A base-g Niven number is an integer divisible by the sum of its digits in base-g. We show that any sufficiently large integer can be written as the sum of three base-3 Niven numbers, and comment on the extension to other bases. This is an application of the circle method, which we use to count the number of ways an integer can be written as the sum of three integers with fixed, near-average, digit sum. 

The large sieve inequality for Dirichlet characters is a central result in analytic number theory, which encodes a strong orthogonality property between primitive characters of varying conductors. This can be viewed as a statement about $\mathrm{GL}_1$ automorphic representations, and it is a key open problem to prove similar results in the higher $\mathrm{GL}_m$ setting; for $m \ge 2$, our best bounds are far from optimal. We'll outline two approaches to such results (sketching them first in the elementary case of Dirichlet characters), and discuss work-in-progress of Thorner and the author on an improved $\mathrm{GL}_m$ large sieve. No prior knowledge of automorphic representations will be assumed.

A generalisation of Wiles’ famous modularity theorem, the Fontaine-Mazur conjecture, predicts that two dimensional representations of the absolute Galois group of the rationals, with a few specific properties, exactly correspond to those representations coming from classical modular forms. Under some mild hypotheses, this is now a theorem of Kisin. In this talk, I will explain how one can p-adically interpolate the objects on both sides of this correspondence to construct an eigensurface and “trianguline” Galois deformation space, as well as outline a new approach to proving a theorem of Emerton, that these spaces are often isomorphic.

The class of henselian valued fields with non-discrete value group is not well-understood. In 2018, Koenigsmann conjectured that a list of seven natural axioms describes a complete axiomatisation of $\mathbb{Q}_p^{ab}$, the maximal extension of the $p$-adic numbers $\mathbb{Q}_p$ with abelian Galois group, which is an example of such a valued field. Informed by the recent work of Jahnke-Kartas on the model theory of perfectoid fields, we formulate an eighth axiom (the discriminant property) that is not a consequence of the other seven. Revisiting work by Koenigsmann (the Galois characterisation of $\mathbb{Q}_p$) and Jahnke-Kartas, we give a uniform treatment of their underlying method. In particular, we highlight how this method yields short, non-standard model-theoretic proofs of known results (e.g. finite extensions of perfectoid fields are perfectoid).