Past Topology Seminar

 A commensuration of a group G is an isomorphism between finite-index subgroups of G. Equivalence classes of such maps form a group, whose importance first emerged in the work of Margulis on the rigidity and arithmeticity of lattices in semisimple Lie groups. Drawing motivation from this classical setting and from the study of mapping class groups of surfaces, I shall explain why, when N is at least 3, the group of automorphisms of the free group of rank N is its own abstract commensurator. Similar results hold for certain subgroups of Aut(F_N). These results are the outcome of a long-running project with Ric Wade. An important element in the proof is a non-abelian analogue of the Fundamental Theorem of Projective Geometry in which projective subspaces are replaced by the free factors of a free group; this is the content of a long-running project with Mladen Bestvina.
 

The simplicial volume of a simplicial complex is a topological invariant
related to the growth of the fundamental group, which gives rise to a
semi-norm in homology. In this talk, we introduce the volume entropy
semi-norm, which is also related to the growth of the fundamental group
of simplicial complexes and shares functorial properties with the
simplicial volume. Answering a question of Gromov, we prove that the
volume entropy semi-norm is equivalent to the simplicial volume
semi-norm in every dimension. Joint work with I. Babenko.
 

I will talk about link and three-manifold invariants defined in terms of a non-semisimple finite ribbon category C together with a choice of tensor ideal and a trace on it. If the ideal is all of C, these invariants agree with those defined by Lyubashenko in the 90’s, and as we show, they only depend on the Grothendieck class of the objects labelling the link. These invariants are therefore not able to determine non-split extensions, or they are algebraically weak. However, we observed an interesting phenomenon: if one chooses an intermediate proper ideal between C and the minimal ideal of projective objects, the invariants become algebraically much stronger because they do distinguish non-trivial extensions. This is demonstrated in the case of C being the super-modular category of an exterior algebra. That is why these invariants deserve to be called “non-semisimple”. This is a joint work with J. Berger and I. Runkel.

We will discuss the problem of finding hyperbolic manifolds fibring over the circle; and show a method to construct and analyse maps from particular hyperbolic manifolds to S^1, which relies on Bestvina-Brady Morse theory. 
This technique can be used to build and detect fibrations, algebraic fibrations, and Morse functions with minimal number of critical points, which are interesting in the even dimensional case. 
After an introduction to the problem, and presentation of the main results, we will use the remaining time to focus on some easy 3-dimensional examples, in order to explicitly show the construction at work.
 

The objects of arithmetic geometry are not manifolds. Some concepts from differential geometry admit analogues in arithmetic, but they are not straightforward. Nevertheless, there is a growing sense that the right way to understand certain Langlands phenomena is to study quantum field theories on these objects. What hope is there of making this thought precise? I will propose the beginnings of a mathematical framework via a general theory of factorization algebras. A new feature is a subtle piece of additional structure on our objects – what I call an _isolability structure_ – that is ordinarily left implicit.

It is a classical fact of rational homotopy theory that the $E_\infty$-algebra of rational cochains on a sphere is formal, i.e., quasi-isomorphic to the cohomology of the sphere. In other words, this algebra is square-zero. This statement fails with integer or mod p coefficients. We show, however, that the cochains of the n-sphere are still $E_n$-trivial with coefficients in arbitrary cohomology theories. This is a consequence of a more general statement on (iterated) loops and suspensions of $E_n$-algebras, closely related to Koszul duality for the $E_n$-operads. We will also see that these results are essentially sharp: if the R-valued cochains of $S^n$ have square-zero $E_{n+1}$-structure (for some rather general ring spectrum R), then R must be rational. This is joint work with Markus Land.

I will discuss three different constructions of smooth tori in S^4 whose complements have fundamental group Z: turned 1-twist-spun tori due to Boyle, the union of a ribbon disc with a genus one Seifert surface constructed by Cochran and Davis, and certain tori with four critical points. They are all topologically unknotted, but it is not known whether they are smoothly standard, except for tori with four critical points whose middle level set is a split link. The branched double cover of S^4 along any of these surfaces is a potentially exotic copy of S^2 x S^2, though, in the case of Boyle's example, it cannot be distinguished from the standard S^2 x S^2 using Seiberg-Witten invariants. This is joint work with Mark Powell.

A subset in the ideal boundary of a CAT(0) space is called symmetric if every complete geodesic with one ideal boundary point
in the set has both ideal boundary points in the set. In the late 80s Eberlein proved that if a Hadamard manifold contains a non-trivial closed symmetric  subset in its ideal boundary, then its holonomy group cannot act transitively. This leads to rigidty via
the Berger-Simons Theorem. I will discuss rigidity of ideal symmetric sets in the general context of locally compact geodesically complete
CAT(0) spaces.
 

Given an infinite discrete group G with a finite model for the classifying space for proper actions, one can define the Euler characteristic of G and the orbifold Euler characteristic of G. In this talk we will discuss higher chromatic analogues of these invariants in the sense of stable homotopy theory. We will study the Morava K-theory of G and associated Euler characteristic, and give a character formula for the Lubin-Tate theory of G. This will generalise the results of Hopkins-Kuhn-Ravenel from finite to infinite groups and the K-theoretic results of Adem, Lück and Oliver from chromatic level one to higher chromatic levels. At the end we will mention explicit computations for some arithmetic groups and mapping class groups in terms of class numbers and special values of zeta functions. This is all joint with Wolfgang Lück and Stefan Schwede.

I will speak about a central question in higher algebra (aka brave new algebra), namely which rings or schemes admit 'higher models', that is lifts to the sphere spectrum. This question is in some sense very classical, but there are many open questions. These questions are closely related to questions about higher versions of prismatic cohomology and delta ring, asked e.g. by Scholze and Lurie. Concretely we will consider the case of group algebras and explain how to understand maps between lifts of group algebras to the sphere spectrum. The results we present are joint with Carmeli and Yuan and on the prismatic side with Antieau and Krause.

The handlebody group is defined to be the mapping class group of a handelbody (rel. boundary). It is a subgroup of the mapping class group of the surface of the handlebody, and maps onto the outer automorphism group of its fundamental group (the free group of rank equal to its genus). 

Recently Hainaut and Petersen described a subspace of moduli space forming an orbifold classifying space for the handlebody group, and combined this with work of Chan-Galatius-Payne to construct cohomology classes in the group. I will talk about how one can build on their ideas to define a cocompact EG for the handlebody group inside Teichmüller space. This is a manifold with boundary and comes with a filtration by labelled disk systems which we call the `RGB (red-green-blue) disk complex.' I will describe this filtration, use it to describe the boundary of the manifold, and speculate about potential applications to duality results. Based on work-in-progress with Dan Petersen.

Bicommutant categories, initially invented for the purposes of Chern-Simons theory and 2d CFT, seem to also appear in other domains of math with examples related to group theory, and dynamical systems.

Involutive knot Floer homology, a refinement of knot Floer theory, is a powerful knot invariant which was used to solve several long-standing problems, including the one-is-not-enough result for 4-manifolds with boundary. In this talk, we show that if the involutive knot Floer homology of a knot K admits an invariant splitting, then the induced splitting if the knot Floer homology of P(K), for any pattern P, can be made invariant under its \iota_K involution. As an application, we construct an infinite family of examples of pairs of exotic contractible 4-manifolds which survive one stabilization, and observe that some of them are potential candidates for surviving two stabilizations.
 

One can think of the stabilisation of an ∞-category as the ∞-category of objects that admit infinite deloopings. For example, the ∞-category of spectra is the stabilisation of the ∞-category of homotopy types. Costabilisation is the opposite notion of stabilisation, where we are interested in objects that allow infinite desuspensions. It is easy to see that the costabilisation of the ∞-category of homotopy types is trivial. Fix a prime number p. In this talk I will show that the costablisation of the ∞-category of T(h)-local spectral Lie algebras is equivalent to the ∞-category of T(h)-local spectra, where T(h) denotes a p-local telescope spectrum of height h. A key ingredient of the proof is to relate spectral Lie algebras to (spectral) Eₙ algebras via Koszul duality.
 

In this talk I will provide an overview of our current research at the interface of quantum field theory (QFT), Lorentzian geometry and higher categorical structures. I will present operads which encode the rich algebraic structure of QFTs on Lorentzian manifolds and show that in low dimensions their algebras relate to familiar algebraic structures. Our operads share certain similarities with the little disk operads from topology, in particular they involve a homotopical localization at geometric embeddings related to ‘time evolution’. I will show that, in contrast to the topological context, this homotopical localization can be strictified in many important classes of examples, which is loosely speaking due to the 1-dimensional nature of time evolution in Lorentzian geometry. I will conclude by explaining how simple examples of such Lorentzian QFTs can be constructed from a homotopical generalization of the concept of Green’s operators for hyperbolic partial differential equations, which we call Green hyperbolic complexes. Throughout this talk, I will frequently comment on the similarities and differences between our approach, factorization algebras and functorial field theories.

One way of studying infinite groups is by analysing
 their actions on classes of interesting spaces. This is the case
 for Kazhdan's property (T) and for Haagerup's property (also called a-T-menability),
 formulated in terms of actions on Hilbert spaces and relevant in many areas
(e.g. for the Baum-Connes conjectures, in combinatorics, for the study of expander graphs, in ergodic theory, etc.)
 
Recently, these properties have been reformulated for actions on Banach spaces,
with very interesting results. This talk will overview some of these reformulations
 and their applications. Part of the talk is on joint work with Ashot Minasyan and Mikael de la Salle, and with John Mackay.
 

Until the 2010’s the only « comparison geometry » result for compact Riemannian manifolds (M^n,g) with scal≥n(n-1) was Greene’s upper bound on the injectivity radius. Moreover, it is known that classical metric invariants (volume, diameter) cannot be controlled by a lower bound on the scalar curvature alone. It has only recently been discovered that some more subtle invariants, such as 2-systoles, can be controlled under a lower bounds on scal provided M has enough topology. We will present some results of Bray-Brendle-Neves (in dim 3), Zhu (in dim≤7) for S^2xT^(n-2), some version for S^2xS^2 and some conjecture with more general topology which we show to hold true under the additional assumption of Kaehlerness.

About 20 years ago, Dror Bar-Natan described an elegant generalisation
of Khovanov homology to tangles with any number of endpoints, by
considering certain quotients of two-dimensional relative cobordism
categories.  I claim that these categories are in general not
well-understood (not by me in any case).  However, if we restrict to
tangles with four endpoints, things simplify and Bar-Natan's category
turns out to be closely related to the wrapped Fukaya category of the
four-punctured sphere.  This relationship gives rise to a symplectic
interpretation of Khovanov homology that is useful both for doing
calculations and for proving theorems.  I will discuss joint work in
progress with Artem Kotelskiy and Liam Watson where we investigate what
happens when we fill in one of the punctures.
 

Given two mathematical objects, the most basic question is whether they are the same. We will discuss this question for triangulations of three-manifolds. In practice there is fast software to answer this question and theoretically the problem is known to be decidable. However, our understanding is limited and known theoretical algorithms could have extremely long run-times. I will describe a programme to show that the 3-manifold homeomorphism problem is in the complexity class NP, and discuss the important sub-case of Seifert fibered spaces. 

In a classical work, Bowen and Margulis proved the equidistribution of
closed geodesics in any hyperbolic manifold. Together with Jeremy Kahn
and Vladimir Marković, we asked ourselves what happens in a
three-manifold if we replace curves by surfaces. The natural analog of a
closed geodesic is then a minimal surface, as totally geodesic surfaces
exist only very rarely. Nevertheless, it still makes sense (for various
reasons, in particular to ensure uniqueness of the minimal
representative) to restrict our attention to surfaces that are almost
totally geodesic.

The statistics of these surfaces then depend very strongly on how we
order them: by genus, or by area. If we focus on surfaces whose *area*
tends to infinity, we conjecture that they do indeed equidistribute; we
proved a partial result in this direction. If, however, we focus on
surfaces whose *genus* tends to infinity, the situation is completely
opposite: we proved that they then accumulate onto the totally geodesic
surfaces of the manifold (if there are any).

Fusion 2-categories were introduced by Douglas and Reutter so as to define a state-sum invariant of 4-manifolds. Categorifying a result of Douglas, Schommer-Pries and Snyder, it was conjectured that, over an algebraically closed field of characteristic zero, every fusion 2-category is a fully dualizable object in an appropriate symmetric monoidal 4-category. I will sketch a proof of this conjecture, which will proceed by studying, and in fact classifying, the Morita equivalence classes of fusion 2-categories. In particular, by appealing to the cobordism hypothesis, we find that every fusion 2-category yields a fully extended framed 4D TQFT. I will explain how these theories are related to the ones constructed using braided fusion 1-categories by Brochier, Jordan, and Snyder.