Gerbes are geometric objects describing the third integer cohomology group of a manifold and the B-field in string theory. Like line bundles, they admit connections and gauge symmetries. In contrast to line bundles, however, there are now isomorphisms between gauge symmetries: the gauge group of a gerbe is a smooth 2-group. Starting from a hands-on example, I will explain gerbes and some of their properties. The main topic of this talk will then be the study of symmetries of gerbes on a manifold with G-action, and how these symmetries assemble into smooth 2-group extensions of G. In the last part, I will survey how this construction can be used to provide a new smooth model for the String group, via a theory of ∞-categorical principal bundles and group extensions.

A standard question in group theory is to ask if we can categorise the subgroups of a group in terms of their growth. In this talk we will be asking this question for uniform product set growth, a property that is stronger than the more widely understood notion of uniform exponential growth. We will see how considering acylindrical actions on hyperbolic spaces can help us, and give a particular application to mapping class groups.

Via Poincaré duality, fundamental groups of aspherical manifolds have (appropriately shifted) isomorphisms between their homology and cohomology. In a 1973 Inventiones paper, Bieri and Eckmann defined a broader notion of a Duality Group, where the isomorphism between homology and cohomology can be twisted by what they called a Dualizing Module. Examples of these groups in geometric group theory (after passing to a finite-index subgroup) include $GL(n,\mathbb{Z})$, mapping class groups, and automorphism groups of free groups.

In work-in-progress with Thomas Wasserman we are looking into the following puzzle: the examples of duality groups that we know of that do not come from manifolds all have classifying spaces that satisfy a weaker local condition called the Cohen-Macaulay property. These spaces also satisfy weaker (twisted) versions of Poincaé duality via their local homology sheaves (or local cohomology cosheaves), and we are attempting to understand more about the links between these geometric versions of duality and the algebraic notion of a duality group. The goal of the talk is to explain more about the words used in the above paragraphs and say where we have got to so far.


 

We will review some open questions about automorphisms of free groups, give some partial answers, and explain the deformation spaces of trees that they act on, as well as the geometry of these spaces arising from the Lipschitz metric. This will be a gentle introduction to the topic, focused on introducing the concepts.

Let X be a closed Riemannian manifold, and represent the algebra C(X) of continuous functions on X on the Hilbert space L^2(X) by multiplication.  Inspired by the heat kernel proof of the Atiyah-Singer index theorem, I'll explain how to describe K-homology (i.e. the dual theory to Atiyah-Hirzebruch K-theory) in terms of parametrized families of operators on L^2(X) that get more and more 'local' in X as time tends to infinity.

I'll then switch perspectives from C(X) -- the prototypical example of a commutative C*-algebra -- to noncommutative C*-algebras built from discrete groups, and explain how the underlying large-scale geometry of the groups can give rise to approximate 'decompositions' of the C*-algebras.  I'll then explain how to use these decompositions and localization in the sense above to compute K-homology, and the connection to some conjectures in topology, geometry, and C*-algebra theory.

Knot theory is divided into several subfields. One of these is hyperbolic knot theory, which is focused on the hyperbolic structure that exists on many knot complements. Another branch of knot theory is concerned with invariants that have connections to 4-manifolds, for example the knot signature and Heegaard Floer homology. In my talk, I will describe a new relationship between these two fields that was discovered with the aid of machine learning. Specifically, we show that the knot signature can be estimated surprisingly accurately in terms of hyperbolic invariants. We introduce a new real-valued invariant called the natural slope of a hyperbolic knot in the 3-sphere, which is defined in terms of its cusp geometry. Our main result is that twice the knot signature and the natural slope differ by at most a constant times the hyperbolic volume divided by the cube of the injectivity radius. This theorem has applications to Dehn surgery and to 4-ball genus. We will also present a refined version of the inequality where the upper bound is a linear function of the volume, and the slope is corrected by terms corresponding to short geodesics that have odd linking number with the knot. My talk will outline the proofs of these results, as well as describing the role that machine learning played in their discovery.

This is joint work with Alex Davies, Andras Juhasz, and Nenad Tomasev