A particle bouncing around inside a Euclidean polygon gives rise to a biinfinite "bounce sequence" (or "cutting sequence") recording the (labeled) sides encountered by the particle. In this talk, I will describe recent work with Duchin, Erlandsson, and Sadanand, where we prove that the set of all bounce sequences---the "bounce spectrum"---essentially determines the shape of the polygon. This is consequence of a technical result about Liouville currents associated to nonpositively curved Euclidean cone metrics on surfaces. In the talk I will explain the objects mentioned above, how they relate to each other, and give some idea of how one determines the shape of the polygon from its bounce spectrum.

# Past Topology Seminar

It is a truth universally acknowledged, that a local system on a connected topological manifold is completely determined by its attached monodromy representation of the fundamental group. Similarly, lisse ℓ-adic sheaves on a connected variety determine and are determined by representations of the profinite étale fundamental group. Now if one wants to classify constructible sheaves by representations in a similar manner, new invariants arise. In the topological category, this is the exit path category of Robert MacPherson (and its elaborations by David Treumann and Jacob Lurie), and since these paths do not ‘run around once’ but ‘run out’, we coined the term exodromy representation. In the algebraic category, we define a profinite ∞-category – the étale fundamental ∞-category – whose representations determine and are determined by constructible (étale) sheaves. We describe the étale fundamental ∞-category and its connection to ramification theory, and we summarise joint work with Saul Glasman and Peter Haine.

One of the fundamental themes of geometric group theory is to

view finitely generated groups as geometric objects in their own right,

and to then understand to what extent the geometry of a group determines

its algebra. A theorem of Stallings says that a finitely generated group

has more than one end if and only if it splits over a finite subgroup.

In this talk, I will explain an analogous geometric characterisation of

when a group admits a splitting over certain classes of infinite subgroups.

The Z/2-equivariant Heegaard Floer cohomlogy of the double cover of S^3 along a knot, defined by Lipshitz, Hendricks, and Sarkar,

is an isomorphism class of F_2[\theta]-modules. In this talk, we show that this invariant is natural, and is functorial under based cobordisms.

Given a transverse knot K in the standard contact 3-sphere, we define an element of the Z/2-equivariant Heegaard Floer cohomology

that depends only on the tranverse isotopy class of K, and is functorial under certain symplectic cobordisms.

Rips filtrations over a finite metric space and their corresponding persistent homology are prominent methods in Topological Data Analysis to summarize the ``shape'' of data. For finite metric space $X$ and distance $r$ the traditional Rips complex with parameter $r$ is the flag complex whose vertices are the points in $X$ and whose edges are $\{[x,y]: d(x,y)\leq r\}$. From considering how the homology of these complexes evolves we can create persistence modules (and their associated barcodes and persistence diagrams). Crucial to their use is the stability result that says if $X$ and $Y$ are finite metric space then the bottleneck distance between persistence modules constructed by the Rips filtration is bounded by $2d_{GH}(X,Y)$ (where $d_{GH}$ is the Gromov-Hausdorff distance). Using the asymmetry of the distance function we construct four different constructions analogous to the persistent homology of the Rips filtration and show they also are stable with respect to the Gromov-Hausdorff distance. These different constructions involve ordered-tuple homology, symmetric functions of the distance function, strongly connected components and poset topology.

Developments in geometry and low dimensional topology have given renewed vigour to the following classical question: to what extent do the finite images of a finitely presented group determine the group? I'll survey what we know about this question in the context of 3-manifolds, and I shall present recent joint work with McReynolds, Reid and Spitler showing that the fundamental groups of certain hyperbolic orbifolds are distingusihed from all other finitely generated groups by their finite quotients.

The bipolar filtration of Cochran, Harvey and Horn initiated the study of deeper structures of the smooth concordance group of the topologically slice knots. We show that the graded quotient of the bipolar filtration has infinite rank at each stage greater than one. To detect nontrivial elements in the quotient, the proof uses higher order amenable Cheeger-Gromov $L^2$ $\rho$-invariants and infinitely many Heegaard Floer correction term $d$-invariants simultaneously. This is joint work with Jae Choon Cha.

The cyclic surgery theorem of Culler, Gordon, Luecke, and Shalen implies that any knot in S^3 other than a torus knot has at most two nontrivial cyclic surgeries. In this talk, we investigate the weaker notion of SU(2)-cyclic surgeries on a knot, meaning surgeries whose fundamental groups only admit SU(2) representations with cyclic image. By studying the image of the SU(2) character variety of a knot in the “pillowcase”, we will show that if it has infinitely many SU(2)-cyclic surgeries, then the corresponding slopes (viewed as a subset of RP^1) have a unique limit point, which is a finite, rational number, and that this limit is a boundary slope for the knot. As a corollary, it follows that for any nontrivial knot, the set of SU(2)-cyclic surgery slopes is bounded. This is joint work with Raphael Zentner.

I will talk about the diffeomorphism classification of 4-manifolds up to

connected sums with the complex projective plane, and how the resulting

equivalence class of a manifold can be detected by algebraic topological

invariants of the manifold. I may also discuss related results when one

takes connected sums with another favourite 4-manifold, S^2 x S^2, instead.