In this talk I will articulate and contextualize the following sequence of results.

The Bruhat decomposition of the general linear group defines a stratification of the orthogonal group.
Matrix multiplication defines an algebra structure on its exit-path category in a certain Morita category of categories.  
In this Morita category, this algebra acts on the category of n-categories -- this action is given by adjoining adjoints to n-categories. 

This result is extracted from a larger program -- entirely joint with John Francis, some parts joint with Nick Rozenblyum -- which proves the cobordism hypothesis.  

In 1982, Gromov introduced bounded cohomology to give estimates on the minimal volume of manifolds. Since then, bounded cohomology has become an independent and active research field. In this talk I will give an introduction to bounded cohomology, state many open problems and relate it to other fields. 

I will discuss the basics of normal surface theory, and how they were used to give an algorithm for deciding whether a given diagram represents the unknot. This version is primarily based on Haken's work, with simplifications from Schubert and Jaco-Oertel.
 

The celebrated Lang-Vojta Conjecture predicts degeneracy of S-integral points on varieties of log general type defined over number fields. It admits a geometric analogue over function fields, where stronger results have been obtained applying a method developed by Corvaja and Zannier. In this talk, we present a recent result for non-isotrivial surfaces over function fields dominating a two-dimensional torus. This extends Corvaja and Zannier’s result in the isotrivial case and it is based on a refinement of gcd estimates for polynomials evaluated at S-units. This is a joint work with A. Turchet.

In 1973, Serre observed that the Hecke eigenvalues of Eisenstein series can be p-adically interpolated. In other words, Eisenstein series can be viewed as specializations of a p-adic family parametrized by the weight. The notion of p-adic variations of modular forms was later generalized by Hida to include families of ordinary cuspforms. In 1998, Coleman and Mazur defined the eigencurve, a rigid analytic space classifying much more general p-adic families of Hecke eigenforms parametrized by the weight. The local nature of the eigencurve is well-understood at points corresponding to cuspforms of weight k ≥ 2, while the weight one case is far more intricate.

In this talk, we discuss the geometry of the eigencurve at weight one Eisenstein points. Our approach consists in studying the deformation rings of certain (deceptively simple!) Artin representations. Via this Galois-theoretic method, we obtain the q-expansion of some non-classical overconvergent forms in terms of p-adic logarithms of p-units in certain number field. Finally, we will explain how these calculations suggest a different approach to the Gross-Stark conjecture.

I will give an overview of some recent progress on potential automorphy results over CM fields, that is joint work with Allen, Calegari, Gee, Helm, Le Hung, Newton, Scholze, Taylor, and Thorne. I will focus on explaining an application to the generalized Ramanujan-Petersson conjecture. 

For any prime p > 3, the strongest lower bounds for the number of imaginary quadratic fields with discriminant down down to -X for which the class group has trivial (non-trivial) p-torsion are due to Kohnen and Ono (Soundararajan). I will discuss recent refinements of these classic results in which we consider the imaginary quadratic fields whose class number is indivisible (divisible) by p such that a given finite set of primes factor in a prescribed way. We prove a lower bound for the number of such fields with discriminant down to -X which is of the same order of magnitude as Kohnen and Ono's (Soundararajan's) results. For the indivisibility case, we rely on a result of Wiles establishing the existence of imaginary quadratic fields with trivial p-torsion in their class groups satisfying almost any given finite set of local conditions, and a result of Zagier which says that the Hurwitz class numbers are the Fourier coefficients of a mock modular form.

Let F be a totally real or CM number field.  Scholze has constructed Galois representations associated with torsion classes in the cohomology of locally symmetric spaces for GL_n(F).  We show that the nilpotent ideal appearing in Scholze's construction can be removed when F splits completely at the relevant prime.  As a key component of the proof, we show that the compactly supported cohomology of certain unitary and symplectic Shimura varieties with level  Gamma_1(p^{\infty}) vanishes above the middle degree. This is joint work with Ana Caraiani, Chi-Yun Hsu, Christian Johansson, Lucia Mocz, Emanuel Reinecke, and Sheng-Chi Shih. 

Understanding how shifts of multiplicative functions correlate with each other is a central question in multiplicative number theory. A well-known conjecture of Elliott predicts that there should be no correlation between shifted multiplicative functions unless the functions involved are ‘pretentious functions’ in a certain precise sense. The Elliott conjecture implies as a special case the famous Chowla conjecture on shifted products of the Möbius function.

In the last few years, there has been a lot of exciting progress on the Chowla and Elliott conjectures, and we give an overview of this. Nearly all of the previously obtained results have concerned correlations that are weighted logarithmically, and it is an interesting question whether one can remove these logarithmic weights. We show that one can indeed remove logarithmic averaging from the known results on the Chowla and Elliott conjectures, provided that one restricts to almost all scales in a suitable sense.

This is joint work with Terry Tao.