Past Topology Seminar

By a "coarse median" we mean a ternary operation on a path metric space, satisfying certain conditions which generalise those of a median algebra. It can be interpreted as a kind of non-positive curvature condition, and is applicable, for example to finitely generated groups. It is a consequence of work of Behrstock and Minsky, for example, that the mapping class group of a surface satisfies this condition. We aim to give some examples, results and applications concerning this notion.

Balloons are two-dimensional spheres. Hoops are one dimensional loops. Knotted Balloons and Hoops (KBH) in 4-space behave much like the first and second fundamental groups of a topological space - hoops can be composed like in π1, balloons like in π2, and hoops "act" on balloons as π1 acts on π2. We will observe that ordinary knots and tangles in 3-space map into KBH in 4-space and become amalgams of both balloons and hoops.

We give an ansatz for a tree and wheel (that is, free-Lie and cyclic word) -valued invariant ζ of KBHs in terms of the said compositions and action and we explain its relationship with finite type invariants. We speculate that ζ is a complete evaluation of the BF topological quantum field theory in 4D, though we are not sure what that means. We show that a certain "reduction and repackaging" of ζ is an "ultimate Alexander invariant" that contains the Alexander polynomial (multivariable, if you wish), has extremely good composition properties, is evaluated in a topologically meaningful way, and is least-wasteful in a computational sense. If you believe in categorification, that's a wonderful playground.

For further information see http://www.math.toronto.edu/~drorbn/Talks/Oxford-130121/

We define a McCool group of G as the group of outer automorphisms of G acting as a conjugation on a given family of subgroups. We will explain that these groups appear naturally in the description of many natural groups of automorphisms. On the other hand, McCool groups of a toral relatively hyperbolic group have strong finiteness properties: they have a finite index subgroup with a finite classifying space. Moreover, they satisfy a chain condition that has several other applications.
This is a joint work with Gilbert Levitt.

I will describe the history of the homotopy groups of spheres, and some of the many different roles they have come to play in mathematics.

Consider a diagram of the unknot with c crossings. There is a

sequence of Reidemeister

moves taking this to the trivial diagram. But how many moves are required?

In my talk, I will give

an overview of my recent proof that there is there is an upper bound on the

number of moves, which

is a polynomial function of c.

The question of estimating the length of short conjugators in between
elements in a group could be described as an effective version of the
conjugacy problem. Given a finitely generated group $G$ with word metric
$d$, one can ask whether there is a function $f$ such that two elements
$u,v$ in $G$ are conjugate if and only if there exists a conjugator $g$ such
that $d(1,g) \leq f(d(1,u)+d(1,v))$. We investigate this problem in free
solvable groups, showing that f may be cubic. To do this we use the Magnus
embedding, which allows us to see a free solvable group as a subgroup of a
particular wreath product. This makes it helpful to understand conjugacy
length in wreath products as well as metric properties of the Magnus
embedding.

It's well known that the mapping space of two finite dimensional

manifolds can be given the structure of an infinite dimensional manifold

modelled on Frechet spaces (provided the source is compact). However, it is

not that the charts on the original manifolds give the charts on the mapping

space: it is a little bit more complicated than that. These complications

become important when one extends this construction, either to spaces more

general than manifolds or to properties other than being locally linear.

In this talk, I shall show how to describe the type of property needed to

transport local properties of a space to local properties of its mapping

space. As an application, we shall show that applying the mapping

construction to a regular map is again regular.

Topological field theories give a connection between

topology and algebra. This connection can be exploited in both

directions: using algebra to construct topological invariants, or

using topology to prove algebraic theorems. In this talk, I will

explain an interesting example of the latter phenomena. Radford's

theorem, as generalized by Etingof-Nikshych-Ostrik, says that in a

finite tensor category the quadruple dual functor is easy to

understand. It's somewhat mysterious that the double dual is hard to

understand but the quadruple dual is easy. Using topological field

theory, we show that Radford's theorem is exactly the consequence of

the Dirac belt trick in topology. That is, the double dual

corresponds to the generator of $\pi_1(\mathrm{SO}(3))$ and so the

quadruple dual is trivial in an appropriate sense exactly because

$\pi_1(\mathrm{SO}(3)) \cong \mathbb{Z}/2$. This is part of a large

project, joint with Chris Douglas and Chris Schommer-Pries, to

understand local field theories with values in the 3-category of

tensor categories via the cobordism hypothesis.

I will discuss recent joint work with S. Galatius, in which we

generalise the Madsen--Weiss theorem from the case of surfaces to the

case of manifolds of higher even dimension (except 4). In the simplest

case, we study the topological group $\mathcal{D}_g$ of

diffeomorphisms of the manifold $\#^g S^n \times S^n$ which fix a

disc. We have two main results: firstly, a homology stability

theorem---analogous to Harer's stability theorem for the homology of

mapping class groups---which says that the homology groups

$H_i(B\mathcal{D}_g)$ are independent of $g$ for $2i \leq g-4$.

Secondly, an identification of the stable homology

$H_*(B\mathcal{D}_\infty)$ with the homology of a certain explicitly

described infinite loop space---analogous to the Madsen--Weiss

theorem. Together, these give an explicit calculation of the ring

$H^*(B\mathcal{D}_g;\mathbb{Q})$ in the stable range, as a polynomial

algebra on certain explicitly described generators.

I will talk about the fixed-point properties of matrix groups acting CAT(0) paces, spheres and acyclic manifolds. The matrix groups include general linear groups, sympletic groups, orthogonal groups and classical unitary groups over general rings. We will show that for lower dimensional CAT(0) spaces, the group action of a matrix group always has a global fixed point and that for lower dimensional spheres and acyclic manifolds, a group action by homeomorphisms is always trivial. These results give generalizations of results of Farb concerning Chevalley groups over commutative rings and those of Bridson-Vogtmann, Parwani and Zimmermann concerning the special linear groups SL_{n}(Z) and symplectic groups Sp_{2n}(Z).

This is joint work with Dani Wise and builds on his earlier

work. Let M be a compact oriented irreducible 3-manifold which is neither a

graph manifold nor a hyperbolic manifold. We prove that the fundamental

group of M is virtually special. This means that it virtually embeds in a

right angled Artin group, and is in particular linear over Z.

 The unknotting number of a knot is an incredibly difficult invariant to compute.
In fact, there are many knots which are conjectured to have unknotting number 2 but for
which no proof of this is currently available. It therefore remains an unsolved problem to find an
algorithm that determines whether a knot has unknotting number one. In my talk, I will
show that an analogous problem for links is soluble. We say that a link has splitting number
one if some crossing change turns it into a split link. I will give an algorithm that
determines whether a link has splitting number one. (In the case where the link has
two components, we must make a hypothesis on their linking number.) The proof
that the algorithm works uses sutured manifolds and normal surfaces.

In Riemannian geometry there are several notions of rank

defined for non-positively curved manifolds and with natural extensions

for groups acting on non-positively curved spaces.

The talk shall explain how various notions of rank behave for

mapping class groups of surfaces. This is joint work with J. Behrstock.