Large-scale homology computations are often rendered tractable by discrete Morse theory. Every discrete Morse function on a given cell complex X produces a Morse chain complex whose chain groups are spanned by critical cells and whose homology is isomorphic to that of X. However, the space-level information is typically lost because very little is known about how critical cells are attached to each other. In this talk, we discretize a beautiful construction of Cohen, Jones and Segal in order to completely recover the homotopy type of X from an overlaid discrete Morse function.

# Past Topology Seminar

Coarse embeddings occur completely naturally in geometric group theory: every finitely generated subgroup of a finitely generated group is coarsely embedded. Since even very nice classes of groups - hyperbolic groups or right-angled Artin groups for example - are known to have 'wild' collections of subgroups, there are precious few invariants that one may use to prove a statement of the form '$H$ does not coarsely embed into $G$' for two finitely generated groups $G,H$.

The growth function and the asymptotic dimension are two coarse invariants which which have been extensively studied, and a more recent invariant is the separation profile of Benjamini-Schramm-Timar.

In this talk I will describe a new spectrum of coarse invariants, which include both the separation profile and the growth function, and can be used to tackle many interesting problems, for instance: Does there exist a coarse embedding of the Baumslag-Solitar group $BS(1,2)$ or the lamplighter group $\mathbb{Z}_2\wr\mathbb{Z}$ into a hyperbolic group?

This is part of an ongoing collaboration with John Mackay and Romain Tessera.

I will begin the talk by reviewing the definition of commutative K-theory, a generalized cohomology theory introduced by Adem and Gomez. It is a refinement of topological K-theory, where the transition functions of a vector bundle satisfy a commutativity condition. The theory is represented by an infinite loop space which is called a “classifying space for commutativity”. I will describe the homotopy type of this infinite loop space. Then I will discuss the graded ring structure on its homotopy groups, which corresponds to the tensor product of vector bundles.

Configuration spaces of points in a manifold are well studied. Giving the points thickness has obvious physical meaning: the configuration space of non-overlapping particles is equivalent to the phase space, or energy landscape, of a hard spheres gas. But despite their intrinsic appeal, relatively little is known so far about the topology of such spaces. I will overview some recent work in this area, including a theorem with Yuliy Baryshnikov and Peter Bubenik that related the topology of these spaces to mechanically balanced, or jammed, configurations. I will also discuss work in progress with Robert MacPherson on hard disks in an infinite strip, where we understand the asymptotics of the Betti numbers as the number of disks tends to infinity. In the end, we see a kind of topological analogue of a liquid-gas phase transition.

(Joint work with Marco Golla and József Bodnár)

We will give a general overview of the plethora of concordance invariants which can be extracted from Ozsváth-Szabó-Rasmussen's knot Floer homology.

We will then focus on the $\nu^+$ invariant and prove some of its useful properties.

Furthermore we will show how it can be used to obstruct the existence of cobordisms between algebraic knots.

I will report on joint work with Michael Weiss (https://arxiv.org/pdf/1503.00498.pdf):

Let K be a subset of a smooth manifold M. In some cases, functor calculus methods lead to a homotopical formula for M \ K in terms of the spaces M \ S, where S runs through the finite subsets of K. This is for example the case when K is a smooth compact sub manifold of co-dimension greater or equal to three.

A cornerstone of the study of mapping class groups is the

Nielsen--Thurston classification theorem. I will outline a

polynomial-time algorithm that determines the Nielsen--Thurston type and

the canonical curve system of a mapping class. Time permitting, I shall

describe a polynomial-time algorithm to compute the quotient orbifold of

a periodic mapping class, and I shall discuss the conjugacy problem for

the mapping class group. This is joint work with Mark Bell.

Decorate knot cobordisms functorially induce maps on knot Floer homology.

We compute these maps for elementary cobordisms, and hence give a formula for

the Alexander and Maslov grading shifts. We also show a non-vanishing result in the case of

concordances and present some applications to invertible concordances.

This is joint work with Marco Marengon.

We characterize cutting arcs on ber surfaces that produce new ber surfaces,

and the changes in monodromy resulting from such cuts. As a corollary, we

characterize band surgeries between bered links and introduce an operation called

generalized Hopf banding. We further characterize generalized crossing changes between

bered links, and the resulting changes in monodromy.

This is joint work with Matt Rathbun, Kai Ishihara and Koya Shimokawa

In this introduction for topologists, we explain the role that extensions of L-infinity algebras by taking homotopy fibers plays in physics. This first appeared with the work of physicists D'Auria and Fre in 1982, but is beautifully captured by the "brane bouquet" of Fiorenza, Sati and Schreiber which shows how physical objects such as "strings", "D-branes" and "M-branes" can be classified by taking successive homotopy fibers of an especially simple L-infinity algebra called the "supertranslation algebra". We then conclude by describing our joint work with Schreiber where we build the brane bouquet out of the homotopy theory of an even simpler L-infinity algebra called the superpoint.