Past Topology Seminar

Despite their straightforward definition, the homeomorphism groups of surfaces are far from straightforward. Basic algebraic and dynamical problems are wide open for these groups, which is a far cry from the closely related and much better understood mapping class groups of surfaces. With Jonathan Bowden and Sebastian Hensel, we introduced the fine curve graph as a tool to study homeomorphism groups. Like its mapping class group counterpart, it is Gromov hyperbolic, and can shed light on algebraic properties such as scl, via geometric group theoretic techniques. This brings us to the enticing question of how much of Thurston's theory (e.g. Nielsen--Thurston classification, invariant foliations, etc.) for mapping class groups carries over to the homeomorphism groups. We will describe new phenomena which are not encountered in the mapping class group setting, and meet some new connections with topological dynamics, which is joint work with Bowden, Hensel, Kathryn Mann and Emmanuel Militon. I will survey what's known, describe some of the new and interesting problems that arise with this theory, and give an idea of what's next.

We ask to what extend the SL(2,C)-character variety of the
fundamental group of the complement of a knot in S^3 determines the
knot. Our methods use results from group theory, classical 3-manifold
topology, but also geometric input in two ways: the geometrisation
theorem for 3-manifolds, and instanton gauge theory. In particular this
is connected to SU(2)-character varieties of two-component links, a
topic where much less is known than in the case of knots. This is joint
work with Michel Boileau, Teruaki Kitano, and Steven Sivek.

Factorization homology is an arguably abstract formalism which produces
well-behaved topological invariants out of certain "higher algebraic"
structures. In this talk, I'll explain how this formalism can be made
fairly concrete in the case where this input algebraic structure is a
braided tensor category. If the category at hand is semi-simple, this in
fact essentially recovers skein categories and skein algebras. I'll
present various applications of this formalism to quantum topology and
representation theory.
 

I will describe the proof of the following classification result for manifolds with positive scalar curvature. Let M be a closed manifold of dimension $n=4$ or $5$ that is "sufficiently connected", i.e. its second fundamental group is trivial (if $n=4$) or second and third fundamental groups are trivial (if $n=5$). Then a finite covering of $M$ is homotopy equivalent to a sphere or a connect sum of $S^{n-1} \times S^1$. The proof uses techniques from minimal surfaces, metric geometry, geometric group theory. This is a joint work with Otis Chodosh and Chao Li.
 

The tangle hypothesis is a variant of the cobordism hypothesis that considers cobordisms embedded in some finite-dimensional Euclidean space (together with framings). Such tangles of codimension d can be organized into an E_d-monoidal n-category, where n is the maximal dimension of the tangles. The tangle hypothesis then asserts that this category of tangles is the free E_d-monoidal n-category with duals generated by a single object.

In this talk, based on joint work in progress with Yonatan Harpaz, I will describe an infinitesimal version of the tangle hypothesis: Instead of showing that the E_d-monoidal category of tangles is freely generated by an object, we show that its cotangent complex is free of rank 1. This provides supporting evidence for the tangle hypothesis, but can also be used to reduce the tangle hypothesis to a statement at the level of E_d-monoidal (n+1, n)-categories by means of obstruction theory.

I shall begin with a brief history of the problem of trying to understand infinite groups knowing only their finite quotients. I'll then focus on 3-manifold groups, describing the prominent role that they have played in advancing our understanding of this problem in recent years. The story for 3-manifold groups involves a rich interplay of algebra, geometry, and arithmetic. I shall describe arithmetic Kleinian groups that are profinitely rigid in the absolute sense -- ie they can be distinguished from all other finitely generated, residually finite groups by their set of finite quotients. I shall then explain more recent work involving products of Seifert fibered manifolds -- here we find groups that are profinitely rigid in the class of finitely presented groups but not in the class of finitely generated groups. This is joint work with McReynolds, Reid, and Spitler.

I shall discuss my recent work showing that the Bogomolov-Tschinkel universality conjecture holds if and only if the mapping class groups of a punctured surface is large. One consequence of this result is that all genus 2 surface-by-surface (and all genus 2 surface-by-free) groups are virtually algebraically fibered. Moreover, I will explain why simple curve homology does not always generate homology of finite covers of closed surface. I will also mention my work with O. Tosic regarding the Putman-Wieland conjecture, and explain the partial solution to the Prill's problem about algebraic curves.

 

The chromatic polynomial \chi(Q) can be defined for any graph, such that for Q integer it counts the number of colourings. It has many remarkable properties, and I describe several that are derived easily by using fusion categories, familiar from topological quantum field theory. In particular, I define the chromatic algebra, a planar algebra whose evaluation gives the chromatic polynomial. Linear identities of the chromatic polynomial at certain values of Q then follow from the Jones-Wenzl projector of the associated category. An unusual non-linear one called Tutte's golden identity relates \chi(\phi+2) for planar triangulations to the square of \chi(\phi+1), where \phi is the golden mean. Tutte's original proof is purely combinatorial. I will give here an elementary proof by manipulations of a topological invariant related to the Jones polynomial. Time permitting, I will also mention analogous identities for graphs on more general surfaces. Based on work with Slava Krushkal.

A modular functor is defined as a system of mapping class group representations on vector spaces (the so-called conformal blocks) that is compatible with the gluing of surfaces. The notion plays an important role in the representation theory of quantum groups and conformal field theory. In my talk, I will give an introduction to the theory of modular functors and recall some classical constructions. Afterwards, I will explain the approach to modular functors via cyclic and modular operads and their bicategorical algebras. This will allow us to extend the known constructions of modular functors and to classify modular functors by certain cyclic algebras over the little disk operad for which an obstruction formulated in terms of factorization homology vanishes. (The talk is based to a different extent on different joint works with Adrien Brochier, Lukas Müller and Christoph Schweigert.)

Around 30 years ago, Lin defined an analog of the Casson invariant for knots. This invariant counts representations of the knot group into SU(2) which satisfy tr(ρ(m)) = c for some fixed c. As a function of c, the Casson-Lin invariant turns out to be given by the Levine-Tristram signature function.

If K is a small knot in S³, I'll describe a version of the Casson-Lin invariant which counts representations of the knot group into SL₂(R) with tr(ρ(m)) = c for c in [-2,2]. The sum of the SU(2) and SL₂(R) invariants is a constant h(K), independent of c. I'll discuss the proof of this fact and give some applications to the existence of real parabolic representations and left-orderings. This is joint work with Nathan Dunfield.

THIS TALK IS CANCELLED DUE TO ILLNESS -- In this talk I will present classification results for rigid Frobenius algebras in Dijkgraaf–Witten categories ℨ( Vec(G)ᵚ ) over a field of arbitrary characteristic, generalising existing results by Davydov-Simmons. For this purpose, we provide a braided Frobenius monoidal functor from ℨ ( Vect(H)ᵚˡᴴ ) to ℨ( Vec(G)ᵚ ) for any subgroup H of G. I will also discuss about their categories of local modules, which are modular tensor categories  by results of Kirillov–Ostrik in the semisimple case and Laugwitz–Walton in the general case. Joint work with Robert Laugwitz (Nottingham) and Sam Hannah (Cardiff).

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.

Two CW-complexes are simple homotopy equivalent if they are related by a sequence of collapses and expansions of cells. It implies homotopy equivalent as is implied by homeomorphic. This notion proved extremely useful in manifold topology and is central to the classification of non-simply connected manifolds up to homeomorphism. I will present the first examples of two 4-manifolds which are homotopy equivalent but not simple homotopy equivalent, as well as in all higher even dimensions. The examples are constructed using surgery theory and the s-cobordism theorem, and are distinguished using methods from algebraic number theory and algebraic K-theory. I will also discuss a number of new directions including progress on classifying the possible fundamental groups for which examples exist. This is joint work with Csaba Nagy and Mark Powell.

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.

We will give a general overview of how one gets groups to act on CAT(0) cube complexes, how compatible such actions are and how this plays out in the setting of Coxeter groups.

We show that ribbon concordance forms a partial ordering on the set of knots, answering a question of Gordon. The proof makes use of representation varieties of the knot groups to S O(N) and relations between them induced by a ribbon concordance.

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

Abstract: Almost everything we encounter in our 3-dimensional world is a surface - the outside of a solid object. Comparing the shapes of surfaces is, not surprisingly, a fundamental problem in both theoretical and applied mathematics. Results from the mathematical theory of surfaces are now being used to study objects such as bones, brain cortices, proteins and biomolecules.  This talk will discuss recent joint work with Patrice Koehl that introduces a new metric on the space of Riemannian surfaces of genus-zero and some applications to biological surfaces.