The main result includes as special cases on the one hand, the Gerstenhaber–Rothaus theorem (1962) and its generalisation due to Nitsche and Thom (2022) and, on the other hand, the Brodskii–Howie–Short theorem (1980–1984) generalising Magnus’s Freiheitssatz (1930).

This paper provides a convenient and practical method to compute the homology and intersection pairing of a branched double cover of the 4-ball.

To projections of links in the 3-ball, and to projections of surfaces in the 4-ball into the boundary sphere, we associate a sequence of homology groups, called the disoriented homology. We show that the disoriented homology is isomorphic to the homology of the double branched cover of the link or surface. We define a pairing on the first disoriented homology group of a surface and show that this is equal to the intersection pairing of the branched cover. These results generalize work of Gordon and Litherland, for embedded surfaces in the 3-sphere, to arbitrary surfaces in the 4-ball. We also give a generalization of the signature formula of Gordon–Litherland to the general setting.

Our results are underpinned by a theorem describing a handle decomposition of the branched double cover of a codimension-2 submanifold in the n-ball, which generalizes previous results of Akbulut–Kirby and others.

For a pseudo-Anosov flow $\varphi $ without perfect fits on a closed $3$-manifold, Agol–Guéritaud produce a veering triangulation $\tau $ on the manifold M obtained by deleting the singular orbits of $\varphi $. We show that $\tau $ can be realized in M so that its 2-skeleton is positively transverse to $\varphi $, and that the combinatorially defined flow graph $\Phi $ embedded in M uniformly codes the orbits of $\varphi $ in a precise sense. Together with these facts, we use a modified version of the veering polynomial, previously introduced by the authors, to compute the growth rates of the closed orbits of $\varphi $ after cutting M along certain transverse surfaces, thereby generalizing the work of McMullen in the fibered setting. These results are new even in the case where the transverse surface represents a class in the boundary of a fibered cone of M. Our work can be used to study the flow $\varphi $ on the original closed manifold. Applications include counting growth rates of closed orbits after cutting along closed transverse surfaces, defining a continuous, convex entropy function on the ‘positive’ cone in $H^1$ of the cut-open manifold, and answering a question of Leininger about the closure of the set of all stretch factors arising as monodromies within a single fibered cone of a $3$-manifold. This last application connects to the study of endperiodic automorphisms of infinite-type surfaces and the growth rates of their periodic points.

We establish central limit theorems for an action of a group $G$ on a hyperbolic space $X$ with respect to the counting measure on a Cayley graph of $G$. Our techniques allow us to remove the usual assumptions of properness and smoothness of the space, or cocompactness of the action. We provide several applications which require our general framework, including to lengths of geodesics in geometrically finite manifolds and to intersection numbers with submanifolds.

In this paper, we focus on dynamical properties of (real) convex projective surfaces. Our main theorem provides an asymptotic formula for the number of free homotopy classes with roughly the same renormalized Hilbert length for two distinct convex real projective structures. The correlation number in this asymptotic formula is characterized in terms of their Manhattan curve. We show that the correlation number is not uniformly bounded away from zero on the space of pairs of hyperbolic surfaces, answering a question of Schwartz and Sharp. In contrast, we provide examples of diverging sequences, defined via cubic rays, along which the correlation number stays larger than a uniform strictly positive constant. In the last section, we extend the correlation theorem to Hitchin representations.

Recently, Gross, Mansour and Tucker introduced the partial-dual polynomial of a ribbon graph as a generating function that enumerates all partial duals of the ribbon graph by Euler genus. It is analogous to the extensively studied polynomial in topological graph theory that enumerates by Euler genus all embeddings of a given graph. To investigate the partial-dual polynomial, one only needs to focus on bouquets: that is, ribbon graphs with exactly one vertex. In this paper, we shall further show that the partial-dual polynomial of a bouquet essentially depends on the signed intersection graph of the bouquet rather than on the bouquet itself. That is to say, two bouquets with the same signed intersection graph have the same partial-dual polynomial. We then give a characterisation of when a bouquet has a planar partial dual in terms of its signed intersection graph. Finally, we consider a conjecture posed by Gross, Mansour and Tucker that there is no orientable ribbon graph whose partial-dual polynomial has only one nonconstant term; this conjecture is false, and we give a characterisation of when all partial duals of a bouquet have the same Euler genus.

We consider free symmetries on cobordisms between knots, which is equivalent to cobordisms between knots in lens spaces. We classify which freely periodic knots bound equivariant surfaces in the 4-ball in terms of corresponding homology classes in lens spaces. We give a numerical condition determining the free periods for which torus knots bound equivariant surfaces in the 4-ball.

A handlebody link is a union of handlebodies of positive genus embedded in 3-space, which generalises the notion of links in classical knot theory. In this paper, we consider handlebody links with a genus two handlebody and $n-1$ solid tori, $n>1$ . Our main result is the classification of such handlebody links with six crossings or less, up to ambient isotopy.

We completely determine finite abelian regular branched covers of the 2-sphere $S^{2}$ with the property that each homeomorphism of $S^{2}$ preserving the branching set can be lifted.

Every Anosov flow on a 3-manifold is associated to a bifoliated plane (a plane endowed with two transverse foliations $F^s$ and $F^u$ ) which reflects the normal structure of the flow endowed with the center-stable and center-unstable foliations. A flow is $\mathbb{R}$ -covered if $F^s$ (or equivalently $F^u$ ) is trivial. On the other hand, from any Anosov flow one can build infinitely many others by Dehn–Goodman–Fried surgeries. This paper investigates how these surgeries modify the bifoliated plane. We first observe that surgeries along orbits corresponding to disjoint simple closed geodesics do not affect the bifoliated plane of the geodesic flow of a hyperbolic surface (Theorem 1). Analogously, for any non- $\mathbb{R}$ -covered Anosov flow, surgeries along pivot periodic orbits do not affect the branching structure of its bifoliated plane (Theorem 2). Next, we consider the set $\mathcal{S}urg(A)$ of Anosov flows obtained by Dehn–Goodman–Fried surgeries from the suspension flow $X_A$ of any hyperbolic matrix $A \in SL(2,\mathbb{Z})$ . Fenley proved that performing only positive (or negative) surgeries on $X_A$ leads to $\mathbb{R}$ -covered Anosov flows. We study here Anosov flows obtained by a combination of positive and negative surgeries on $X_A$ . Among other results, we build non- $\mathbb{R}$ -covered Anosov flows on hyperbolic manifolds. Furthermore, we show that given any flow $X\in \mathcal{S}urg(A)$ there exists $\epsilon>0$ such that every flow obtained from $X$ by a non-trivial surgery along any $\epsilon$ -dense periodic orbit $\gamma$ is $\mathbb{R}$ -covered (Theorem 4). Analogously, for any flow $X \in \mathcal{S}urg(A)$ there exist periodic orbits $\gamma_+,\gamma_-$ such that every flow obtained from $X$ by surgeries with distinct signs on $\gamma_+$ and $\gamma_-$ is non- $\mathbb{R}$ -covered (Theorem 5).

In this paper we give a complete description of the Bieri–Neumann–Strebel–Renz invariants of the Lodha–Moore groups. The second author previously computed the first two invariants, and here we show that all the higher invariants coincide with the second one, which finishes the complete computation. As a consequence, we present a complete picture of the finiteness properties of normal subgroups of the first Lodha–Moore group. In particular, we show that every finitely presented normal subgroup of the group is of type $\textrm{F}_\infty$ , answering a question posed in Oberwolfach in 2018. The proof involves applying a variation of Bestvina–Brady discrete Morse theory to the so called cluster complex X introduced by the first author. As an application, we also demonstrate that a certain simple group S previously constructed by the first author is of type $\textrm{F}_\infty$ . This provides the first example of a type $\textrm{F}_\infty$ simple group that acts faithfully on the circle by homeomorphisms, but does not admit any nontrivial action by $C^1$ -diffeomorphisms, nor by piecewise linear homeomorphisms, on any 1-manifold.

Let G be the group $\text {PAff}_{+}(\mathbb R/\mathbb Z)$ of piecewise affine circle homeomorphisms or the group ${\operatorname {\mathrm {Diff}}}^{{\kern1pt}\infty }(\mathbb R/\mathbb Z)$ of smooth circle diffeomorphisms. A constructive proof that all irrational rotations are distorted in G is given.

In this paper we apply Conley index theory in a covering space of an invariant set S, possibly not isolated, in order to describe the dynamics in S. More specifically, we consider the action of the covering translation group in order to define a topological separation of S which distinguishes the connections between the Morse sets within a Morse decomposition of S. The theory developed herein generalizes the classical connection matrix theory, since one obtains enriched information on the connection maps for non-isolated invariant sets, as well as for isolated invariant sets. Moreover, in the case of an infinite cyclic covering induced by a circle-valued Morse function, one proves that the Novikov differential of f is a particular case of the p-connection matrix defined herein.

Recall that two geodesics in a negatively curved surface S are of the same type if their free homotopy classes differ by a homeomorphism of the surface. In this note we study the distribution in the unit tangent bundle of the geodesics of fixed type, proving that they are asymptotically equidistributed with respect to a certain measure ${\mathfrak {m}}^S$ on $T^1S$ . We study a few properties of this measure, showing for example that it distinguishes between hyperbolic surfaces.

Given groups $A$ and $B$, what is the minimal commutator length of the 2020th (for instance) power of an element $g\in A*B$ not conjugate to elements of the free factors? The exhaustive answer to this question is still unknown, but we can give an almost answer: this minimum is one of two numbers (simply depending on $A$ and $B$). Other similar problems are also considered.

Let G be a group, and let g be a nontrivial element in G. If some nonempty finite product of conjugates of g equals the identity, then g is called a generalized torsion element. We say that a knot K has generalized torsion if $G(K) = \pi _1(S^3 - K)$ admits such an element. For a $(2, 2q+1)$ -torus knot K, we demonstrate that there are infinitely many unknots $c_n$ in $S^3$ such that p-twisting K about $c_n$ yields a twist family $\{ K_{q, n, p}\}_{p \in \mathbb {Z}}$ in which $K_{q, n, p}$ is a hyperbolic knot with generalized torsion whenever $|p|> 3$ . This gives a new infinite class of hyperbolic knots having generalized torsion. In particular, each class contains knots with arbitrarily high genus. We also show that some twisted torus knots, including the $(-2, 3, 7)$ -pretzel knot, have generalized torsion. Because generalized torsion is an obstruction for having bi-order, these knots have non-bi-orderable knot groups.

Given an integer $g>2$ , we state necessary and sufficient conditions for a finite Abelian group to act as a group of automorphisms of some compact nonorientable Riemann surface of genus g. This result provides a new method to obtain the symmetric cross-cap number of Abelian groups. We also compute the least symmetric cross-cap number of Abelian groups of a given order and solve the maximum order problem for Abelian groups acting on nonorientable Riemann surfaces.

Many natural real-valued functions of closed curves are known to extend continuously to the larger space of geodesic currents. For instance, the extension of length with respect to a fixed hyperbolic metric was a motivating example for the development of geodesic currents. We give a simple criterion on a curve function that guarantees a continuous extension to geodesic currents. The main condition of our criterion is the smoothing property, which has played a role in the study of systoles of translation lengths for Anosov representations. It is easy to see that our criterion is satisfied for almost all known examples of continuous functions on geodesic currents, such as nonpositively curved lengths or stable lengths for surface groups, while also applying to new examples like extremal length. We use this extension to obtain a new curve counting result for extremal length.

We generalize results of Thomas, Allcock, Thom–Petersen, and Kar–Niblo to the first $\ell ^{2}$-Betti number of quotients of certain groups acting on trees by subgroups with free actions on the edge sets of the graphs.

The Bollobás–Riordan (BR) polynomial [(2002), Math. Ann.323 81] is a universal polynomial invariant for ribbon graphs. We find an extension of this polynomial for a particular family of combinatorial objects, called rank 3 weakly coloured stranded graphs. Stranded graphs arise in the study of tensor models for quantum gravity in physics, and generalize graphs and ribbon graphs. We present a seven-variable polynomial invariant of these graphs, which obeys a contraction/deletion recursion relation similar to that of the Tutte and BR polynamials. However, it is defined on a much broader class of objects, and furthermore captures properties that are not encoded by the Tutte or BR polynomials.