Past Topology Seminar

Hierarchically Hyperbolic Groups (HHGs) were introduced by Behrstock—Hagen—Sisto to provide a common framework to study several groups of interest in geometric group theory, and have been an object of great interest in the area ever since. The goal of the talk is to provide an introduction to the theory of HHGs and discuss the advantages of the unified approach that they provide. If time permits, we will conclude with applications to growth and asymptotic cones of groups.

I will introduce the Friedl-Tillmann polytope for one-relator groups, and then discuss how it can be generalised to the Friedl-Lück polytope, how it connects to the Thurston polytope, and how we can view it as a convenient source of intuition and ideas.

I will discuss joint work with S. Galatius and A. Kupers in which we investigate the homology of general linear groups over a ring $A$ by considering the collection of all their classifying spaces as a graded $E_\infty$-algebra. I will first explain diverse results that we obtained in this investigation, which can be understood without reference to $E_\infty$-algebras but which seem unrelated to each other: I will then explain how the point of view of cellular $E_\infty$-algebras unites them.

Artin groups are a family of groups generalizing braid groups. The Tits conjecture, which was proved by Crisp-Paris, states that squares of the standard generators generate an obvious right-angled Artin subgroup. In a joint work with Kevin Schreve, we consider a larger collection of elements, and conjecture that their sufficiently large powers generate an obvious right-angled Artin subgroup. In the case of the braid group, regarded as a mapping class group of a punctured disc, these elements correspond to Dehn twist around the loops enclosing multiple consecutive punctures. This alleged right-angled Artin group is in some sense as large as possible; its nerve is homeomorphic to the nerve of the ambient Artin group. We verify this conjecture for some classes of Artin groups. We use our results to conclude that certain Artin groups contain hyperbolic surface subgroups, answering questions of Gordon, Long and Reid.

Operads are tools to encode operations satisfying algebro-homotopic relations. They have proved to be extremely useful tools, for instance for detecting spaces that are iterated loop spaces. However, in many natural examples, composition of operations is only associative up to homotopy and operads are too strict to captured these phenomena. This leads to the notion of infinity operads. While they are a well-established tool, there are few examples of infinity operads in the literature that are not the nerve of an actual operad. I will introduce new topological operad of bracketed trees that can be used to identify and construct natural examples of infinity operads. The key example for this talk will be the normalised cacti model for genus 0 surfaces.

Glueing surfaces along their boundaries defines composition laws that have been used to construct topological field theories and to compute the homology of the moduli space of Riemann surfaces. Normalised cacti are a graphical model for the moduli space of genus 0 oriented surfaces. They are endowed with a composition that corresponds to glueing surfaces along their boundaries, but this composition is not associative. By using the operad of bracketed trees, I will show that this operation is associative up to all higher homotopies and hence that normalised cacti form an infinity operad.

We study a group theoretic analog of Dehn fillings of 3-manifolds and derive a spectral sequence to compute the cohomology of Dehn fillings of hyperbolically embedded subgroups. As applications, we generalize the results of Dahmani-Guirardel-Osin and Hull on SQ-universality and common quotients of acylindrically hyperbolic groups by adding cohomological finiteness conditions. This is a joint work with Nansen Petrosyan.

Triangle presentations are combinatorial structures on finite projective geometries which characterize groups acting simply transitively on the vertices of locally finite affine A_n buildings. From this data, we will show how to construct new fiber functors on the category of tilting modules for SL(n+1) in characteristic p (related to order of the projective geometry) using the web calculus of Cautis, Kamnitzer, Morrison and Brundan, Entova-Aizenbud, Etingof, Ostrik.

The main result is the existence of smooth, properly embedded 3-discs in S¹ × D³ that are not smoothly isotopic to {1} × D³. We describe a 2-variable Laurent polynomial invariant of 3-discs in S¹ × D³. This allows us to show that, when taken up to isotopy, such 3-discs form an abelian group of infinite rank. Joint work with David Gabai.

I will discuss recent progress on the study of homological duality properties of complex algebraic manifolds, with a view towards the projective Singer-Hopf conjecture. (Joint work with Y. Liu and B. Wang.)

In Joint work with Modj Shokrian-Zini we study (numerically) our proposal that interacting physics can arise from single particle quantum Mechanics through spontaneous symmetry breaking SSB. The staring point is the claim the difference between single and many particle physics amounts to the probability distribution on the space of Hamiltonians. Hamiltonians for interacting systems seem to know about some local, say qubit, structure, on the Hilbert space, whereas typical QM systems need not have such internal structure. I will discuss how the former might arise from the latter in a toy model. This story is intended as a “prequel” to the decades old reductionist story in which low energy standard model physics is supposed to arise from something quite different at high energy. We ask the question: Can interacting physics itself can arise from something simpler.

I will discuss connections between ambient geometry of Moduli spaces and Teichmuller dynamics. This includes the recent resolution of the Siu's conjecture about convexity of Teichmuller spaces, and the (conjectural) topological description of the Caratheodory metric on Moduli spaces of Riemann surfaces.

There is a well-known correspondence between Weil-Petersson geodesic loops in the moduli space of a surface S and hyperbolic 3-manifolds fibering over the circle with fibre S. Much is unknown, however, about the detailed relationship between geometric features of the loops and those of the 3-manifolds.

In work with Leininger-Souto-Taylor we study the relation between WP length and 3-manifold volume, when the length (suitably normalized) is bounded and the fiber topology is unbounded. We obtain a WP analogue of a theorem proved by Farb-Leininger-Margalit for the Teichmuller metric. In work with Modami, we fix the fiber topology and study connections between the thick-thin decomposition of a geodesic loop and that of the corresponding 3-manifold. While these decompositions are often in direct correspondence, we exhibit examples where the correspondence breaks down. This leaves the full conjectural picture somewhat mysterious, and raises many questions. 

In this talk I will present results from an ongoing joint research  program with Konrad Waldorf. Its main goal is to understand the  relation between gerbes on a manifold M and open-closed smooth field  theories on M. Gerbes can be viewed as categorified line bundles, and  we will see how gerbes with connections on M and their sections give  rise to smooth open-closed field theories on M. If time permits, we  will see that the field theories arising in this way have several characteristic properties, such as invariance under thin homotopies,  and that they carry positive reflection structures. From a physical  perspective, ourconstruction formalises the WZW amplitude as part of  a smooth bordism-type field theory.

We study the countable set of rates of growth of a hyperbolic 
group with respect to all its finite generating sets. We prove that the 
set is well-ordered, and that every real number can be the rate of growth 
of at most finitely many generating sets up to automorphism of the group.

We prove that the ordinal of the set of rates of growth is at least $ω^ω$, 
and in case the group is a limit group (e.g., free and surface groups), it 
is $ω^ω$.

We further study the rates of growth of all the finitely generated 
subgroups of a hyperbolic group with respect to all their finite 
generating sets. This set is proved to be well-ordered as well, and every 
real number can be the rate of growth of at most finitely many isomorphism 
classes of finite generating sets of subgroups of a given hyperbolic 
group. Finally, we strengthen our results to include rates of growth of 
all the finite generating sets of all the subsemigroups of a hyperbolic 
group.

Joint work with Koji Fujiwara.

In some ways the theory of mapping class groups of 4-manifolds is in 2020 at the same place where the theory of mapping class groups of 2-manifolds was in 1973, before Thurston changed everything.  In this talk I will describe some first steps in an ongoing joint project with Eduard Looijenga where we are trying to understand mapping class groups of certain algebraic surfaces (e.g. rational elliptic surfaces, and also K3 surfaces) from the Thurstonian point of view.

Just as differential equations often boundary conditions of various types, so too do quantum field theories often admit boundary theories. I will explain these notions and then discuss a theorem proved with Constantin Teleman, essentially characterizing certain 3-dimensional topological field theories which admit nonzero boundary theories. One application is to gapped systems in condensed matter physics.

Tight contact structures on knot complements arise both from Legendrian realizations of the knot in the standard tight contact structure and from the non-loose Legendrian realizations in the overtwisted structures on the sphere. In this talk, we will deal with negative torus knots. We wish to concentrate on the relations between these various Legendrian realizations of a knot and the contact structures on the surgeries along the knot. In particular, we will build every contact structure by a single Legendrian surgery, and relate the knot properties to the properties of surgeries; namely, tightness, fillability and non-vanishing Heegaard Floer invariant.

Addressing a question of Baker and Reid,

we give a criterion to show that an arithmetic group 

has a congruence subgroup that is algebraically

fibered. Some examples to which the criterion applies

include a hyperbolic 4-manifold group containing infinitely

many Bianchi groups, and a complex hyperbolic surface group.

This is joint work with Matthew Stover.

For a bundle E over a manifold M, the associated "configuration-section spaces" are spaces of configurations of points in M together with a section of E over the complement of the configuration. One often considers subspaces where the behaviour of the section near a configuration point -- a kind of "monodromy" -- is restricted or prescribed. These are examples of "non-local configuration spaces", and may be interpreted physically as moduli spaces of "fields with prescribed singularities" in an ambient manifold.

An important class of examples is given by Hurwitz spaces, which are moduli spaces of branched G-coverings of the 2-disc, and which are homotopy equivalent to certain configuration-section spaces on the 2-disc. Ellenberg, Venkatesh and Westerland proved that, under certain conditions, Hurwitz spaces are (rationally) homologically stable; from this they then deduced an asymptotic version of the Cohen-Lenstra conjecture for function fields, a purely number-theoretical result.

We will discuss another homological stability result for configuration-section spaces, which holds (with integral coefficients) whenever the base manifold M is connected and open. We will also show that the "stabilisation maps" are split-injective (in all degrees) whenever dim(M) is at least 3 and M is either simply-connected or its handle dimension is at most dim(M) - 2.

This represents joint work with Ulrike Tillmann.

The mapping class group of a surface is associated to its Teichmüller space. In turn, its boundary consists of projective measured laminations. Similarly, the group of outer automorphisms of a free group is associated to its Outer space. Now the boundary contains equivalence classes of arationaltrees as a subset. There exist distinct projective measured laminations that have the same underlying geodesic lamination, which is also minimal and filling. Such geodesic laminations are called `non-uniquely ergodic'. I will talk briefly about laminations on surfaces and then present a construction of non-uniquely ergodic phenomenon for arational trees. This is joint work with Mladen Bestvina and Jing Tao.

We will first construct pairs of homotopic 2-spheres smoothly embedded in a 4-manifold that are smoothly equivalent (via an ambient diffeomorphism preserving homology) but not even topologically isotopic. Indeed, these examples show that Gabai's recent "4D Lightbulb Theorem" does not hold without the 2-torsion hypothesis. We will proceed to discuss two distinct ways of obstructing such an isotopy, as well as related invariants which can be used to obstruct an isotopy between pairs of properly embedded disks (rather than spheres) in a 4-manifold.

The square peg problem asks whether every Jordan curve in the
plane contains the vertices of a square. Inspired by Hugelmeyer's approach
for smooth curves, we give a topological proof for "locally 1-Lipschitz"
curves using 4-dimensional topology.

Given two metric spaces $X$ and $Y$, it is natural to ask how faithfully, from the point of view of the metric, one can embed $X$ into $Y$. One way of making this precise is asking whether there exists a coarse embedding of $X$ into $Y$. Positive results are plentiful and diverse, from Assouad's embedding theorem for doubling metric spaces to the elementary fact that any finitely generated subgroup of a finitely generated group is coarsely embedded with respect to word metrics. Moreover, the consequences of admitting a coarse embedding into a sufficiently nice space can be very strong. By contrast, there are few invariants which provide obstructions to coarse embeddings, leaving many seemingly elementary geometric questions open.
I will present new families of invariants which resolve some of these questions. Highlights of the talk include a new algebraic dichotomy for connected unimodular Lie groups, and a method of calculating a lower bound on the conformal dimension of a compact Ahlfors-regular metric space.
 

Witten-Reshetikhin-Turaev quantum invariants of links and 3 dimensional manifolds are obtained from quantum sl(2). There exist different versions of quantum sl(2) leading to other families of invariants. We will briefly overview the original construction and then discuss two variants. First one, so called unrolled quantum sl(2), allows construction of invariants of 3-manifolds involving C* flat connections. In simplest case it recovers Reidemeister torsion. The second one is the non restricted version at a root of unity. It enables construction of invariants of links equipped with a gauge class of SL(2,C) flat connection. This is based respectively on joined work with Costantino, Geer, Patureau and Geer, Patureau, Reshetikhin.

The genus of a knot in a 3-manifold is defined to be the minimum genus of a compact, orientable surface bounding that knot, if such a surface exists. We consider the computational complexity of determining knot genus. Such problems have been studied by several mathematicians; among them are the works of Hass--Lagarias--Pippenger, Agol--Hass--Thurston, Agol and Lackenby. For a fixed 3-manifold the knot genus problem asks, given a knot K and an integer g, whether the genus of K is equal to g. In joint work with Lackenby, we prove that for any fixed, compact, orientable 3-manifold, the knot genus problem lies inNP, answering a question of Agol--Hass--Thurston from 2002. Previously this was known for rational homology 3-spheres by the work of Lackenby.