Publications

In this paper, I show that the Nielsen-Thurston type of a mapping class (periodic, reducible, or pseudo-Anosov) can be decided in polynomial time in the word length. "But this was already known from the work of Bell and Webb – Polynomial-time algorithms for the curve graph!", I (metaphorically) hear you say. Excellent point, thank you for bringing it up. The key difference is that the running time of my algorithm, unlike the one of Bell and Webb, is also polynomial in $\chi(S)$ – hence the word "uniform" in the title. The argument relies on an unordinate amount of combinatorics of train tracks; the theoretical heavy-lifting is done by the work of Masur and Minsky on the geometry of the curve graph.

One of the fundamental problems in algorithmic 3-dimensional topology is the knot isotopy problem: given two knots in the 3-sphere, decide whether they are "the same knot". In fact, this is arguably the problem that kickstarted the field of algorithmic 3-dimensional topology; it was essentially solved by Haken, using ideas from his (then) new theory of normal surfaces. A natural generalisation leads us to consider – instead of knots, which are intrinsically genus-one objects – higher genus surfaces. In this paper, I show that there is an algorithm to decide whether two genus-two surfaces in the 3-sphere are isotopic. The algorithm is not particularly clever nor particularly elegant (also not particularly efficient); the only highlight is perhaps one of its building blocks, a new algorithm to solve a specific kind of equations in free groups. The case of arbitrary genus is interesting and still open; notably, it appears as Problem 3.11 on Kirby's list.

A branched covering $f:\tilde{\Sigma}\to\Sigma$ between closed surfaces (although people with a different background might refer to them as "curves", which has definitely led to some confusion in the past) contains some combinatorial information: for each branching point in $\Sigma$, record the multi-set of local degrees of $f$ at its pre-images in $\tilde{\Sigma}$. Each of these multi-sets is a partition of the degree $d$ of $f$; call the collection of all these partitions the branching datum of $f$. A branching datum will always satisfy an elementary condition given by the Riemann-Hurwitz formula. Conversely, the Hurwitz existence problem asks which collections of partitions satisfying the Riemann-Hurwitz formula occur as branching data of some branched covering. In this paper, we give a complete solution of this problem for collections with at least one partition of length 2. The general setting remains wide open, with dozens of very special cases solved by various authors, but no unifying theory in sight.
This was my Master's thesis project, and my advisor Carlo Petronio was kind enough to help me turn it into a publishable article. As part of the project, I implemented a computer program to solve the Hurwitz problem for any fixed degree $d$ and number of partitions $n$ (see the paper for the link to the source code). I also ran this code for $n=3$ and $d\leq 29$, thus verifying the mysterious prime degree conjecture up to this degree.

The simplicial volume is a real invariant of closed topological manifolds. Loosely speaking, it measures the $\ell^1$ complexity of the fundamental class of a manifold. Gromov's proportionality principle states that the simplicial volume of a Riemannian manifold is a multiple of its Riemannian volume, with the proportionality constant depending only on the isometry type of the universal covering; it's a deep result, providing an unexpected connection between a purely topological invariant and a geometric one. This chapter of the book Bounded Cohomology and Simplicial Volume is a short exposition of a proof of the proportionality principle (in the case of negative curvature) given by Frigerio in the book Bounded cohomology of discrete groups.
I don't have much to say about this one. During my Master's, I wrote a dissertation on this proof; despite being essentially the opposite of an expert in the field, I later gave a talk about it at the International Young Seminar on Bounded Cohomology and Simplicial Volume, precisely in the year in which the organisers decided to collect and publish summaries of the talks. This is the short story of how I ended up writing a chapter of a book on a subject I know nearly nothing about.