Past Topology Seminar

Let G be a compact semisimple Lie group. A classical paper of Atiyah and Bott (from 1982) studies the moduli space of flat G-bundles on a fixed Riemann surface S. Their approach completely determines the integral homology of this moduli space, using Morse theoretic methods. In the case where G is U(n), this moduli space is homotopy equivalent to the moduli space of holomorphic vector bundles on S which are "semi-stable". Previous work of Harder and Narasimhan determined the Betti numbers of this moduli space using the Weil conjectures. 20 years later, a Madsen and Weiss determined the homology of the moduli space of Riemann surfaces, in the limit where the genus of the surface goes to infinity.

My talk will combine these two spaces: I will describe the homology of the moduli space of Riemann surfaces S, equipped with a flat G-bundle E -> S, where we allow both the flat bundle and the surface to vary. I will start by reviewing parts of the Atiyah-Bott and Madsen-Weiss papers. Our main theorem will then be a rather easy consequence. This is joint work with Nitu Kitchloo and Ralph Cohen.

In this lecture, I will illustrate the cobordism hypothesis by presenting some examples. Exact content to be determined, depending on the interests of the audience.

In this lecture, I will give a more precise statement of the Baez-Dolan cobordism hypothesis, which gives a description of framed bordism (higher) categories by a universal mapping property. I'll also describe some generalizations of the cobordism hypothesis, which take into account the structure of diffeomorphism groups of manifolds and which apply to manifolds which are not necessarily framed.

In this lecture, I'll give an overview of some ideas from higher category theory which are needed to make sense of the Baez-Dolan cobordism hypothesis. If time permits, I'll present Rezk's theory of complete Segal spaces (a model for the theory of higher categories in which most morphisms are assumed to be invertible) and explain how bordism categories can be realized in this framework.

In this lecture, I will review Atiyah's definition of a topological quantum field theory. I'll then sketch the definition of a more elaborate structure, called an "extended topological quantum field theory", and describe a conjecture of Baez and Dolan which gives a classification of these extended theories.

I will outline the proof of two old conjectures of Cameron Gordon. The first states that the maximal number of exceptional Dehn surgeries on a 1-cusped hyperbolic 3-manifold is 10. The second states the maximal distance between exceptional Dehn surgeries on a 1-cusped hyperbolic 3-manifold is 8. The proof uses a combination of new geometric techniques and rigorous computer-assisted calculations.

This is joint work with Rob Meyerhoff.

The notion of a sutured 3-manifold was introduced by Gabai. It is a powerful tool in 3-dimensional topology. A few years ago, Andras Juhasz defined an invariant of sutured manifolds called sutured Floer homology.

I'll discuss a simpler invariant obtained by taking the Euler characteristic of this theory. This invariant turns out to have many properties in common with the Alexander polynomial. Joint work with Stefan Friedl and Andras Juhasz.

There is a well-known relationship between the theory of formal group schemes and stable homotopy theory, with Ravenel's chromatic filtration and the nilpotence theorem of Hopkins, Devinatz and Smith playing a central role. It is also familiar that one can sometimes get a more geometric understanding of homotopical phenomena by examining how they interact with group actions. In this talk we will explore this interaction from the chromatic point of view.

Baumslag-Solitar groups are very simple groups which are not Hopfian (they are isomorphic to proper quotients). I will discuss these groups, as well as their obvious generalizations, with emphasis on their automorphisms and their generating sets

We study non-commutative analogues of Serre-ï¬~Abrations in topology. We shall present several examples of such ï¬~Abrations and give applications for the computation of the K-theory of certain C*-algebras. (Joint work with Ryszard Nest and Herve Oyono-Oyono.)

$PD$-complexes model the homotopy theory of manifolds.

In dimension 3, the unique factorization theorem holds to the extent that a $PD_3$-complex is a connected sum if and only if its fundamental group is a free product, and the indecomposables are aspherical or have virtually free fundamental group [Tura'ev,Crisp]. However in contrast to the 3-manifold case the group of an indecomposable may have infinitely many ends (i.e., not be virtually cyclic). We shall sketch the construction of one such example, and outline some recent work using only group theory that imposes strong restrictions on any other such examples.

It is a classical result that the Alexander polynomial of a fibered knot has to be monic. But in general the converse does not hold, i.e. the Alexander polynomial does not detect fibered knots. We will show that the collection of all twisted Alexander polynomials (which are a natural generalization of the ordinary Alexander polynomial) detect fibered 3-manifolds.

As a corollary it follows that given a 3-manifold N the product S1 x N is symplectic if and only if N is fibered.

A 2-dimensional Topological Quantum Field Theory (TQFT) is a symmetric monoidal functor from the category of 2-dimensional cobordisms to the category of vector spaces. A classic result states that 2d TQFTs are classified by commutative Frobenius algebras.  I show how to extend this result to open-closed TQFTs using a class of 2-manifolds with corners, how to use the Moore-Segal relations in order to find a canonical form and a complete set of invariants for our cobordisms and how to classify open-closed TQFTs algebraically.  Open-closed TQFTs can be used to find algebraic counterparts of Bar-Natan's topological extension of Khovanov homology from links to tangles and in order to get hold of the braided monoidal 2-category that governs this aspect of Khovanov homology. I also sketch what open-closed TQFTs reveal about the categorical ladder of combinatorial manifold invariants according to Crane and Frenkel.

references:

1] A. D. Lauda, H. Pfeiffer:

Open-closed strings: Two-dimensional extended TQFTs and Frobenius algebras,

Topology Appl. 155, No. 7 (2008) 623-666, arXiv:math/0510664

2] A. D. Lauda, H. Pfeiffer: State sum construction of two-dimensional open-closed Topological Quantum Field Theories,

J. Knot Th. Ramif. 16, No. 9 (2007) 1121-1163,arXiv:math/0602047

3] A. D. Lauda, H. Pfeiffer: Open-closed TQFTs extend Khovanov homology from links to tangles, J. Knot Th. Ramif., in press, arXiv:math/0606331.

I will give a characterization of connected Lie groups admitting a quasi-isometric embedding into a CAT(0) metric space. The proof relies on the study of the geometry of their asymptotic cones

If $G$ is a group and $g$ an element of the derived subgroup $[G,G]$, the commutator length of $g$ is the least positive integer $n$ such that $g$ can be written as a product of $n$ commutators. The commutator width of $G$ is the maximum of the commutator lengths of elements of $[G,G]$. Until 1991, to my knowledge, it has not been known whether there exist simple groups of commutator width greater than $1$. The same question for finite simple groups still remains unsolved. In 1992, Jean Barge and Étienne Ghys showed that the commutator width of certain simple groups of diffeomorphisms is infinite. However, those groups are not finitely generated. Finitely generated infinite simple groups of infinite commutator width can be constructed using "small cancellations." Additionally, finitely generated infinite boundedly simple groups of arbitrarily large (but necessarily finite) commutator width can be constructed in a similar way.

In recent joint work with Maarten Solleveld we could give a complete classification of the set the irreducible discrete series characters of affine Hecke algebras (including the non simply-laced cases). The results can be formulated in terms of the K-theory of the Schwartz completion of the Hecke algebra. We discuss these results and some related conjectures on formal dimensions and on elliptic characters.

The Borel conjecture asserts that aspherical manifolds are topologically rigid, i.e., every homotopy equivalence between such manifolds is homotopic to a homeomorphism. This conjecture is strongly related to the Farrell-Jones conjectures in algebraic K- and L-theory. We will give an introduction to these conjectures and discuss the proof of the Borel conjecture for high-dimensional aspherical manifolds with word-hyperbolic fundamental groups.

Taking the intersection form of a 4n-manifold defines a functor from a category of cobordisms to a symmetric monoidal category of quadratic forms. I will present the theory of the Maslov index and some higher-categorical constructions as variations on this theme.

I will describe a new family of groups exhibiting wild geometric and computational features in the context of their Conjugacy Problems. These features stem from manifestations of "Hercules versus the hydra battles."

This is joint work with Martin Bridson.