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.

Using a result of Vdovina, we may associate to each complete connected bipartite graph $\kappa $ a two-dimensional square complex, which we call a tile complex, whose link at each vertex is $\kappa $ . We regard the tile complex in two different ways, each having a different structure as a $2$ -rank graph. To each $2$ -rank graph is associated a universal $C^{\star }$ -algebra, for which we compute the K-theory, thus providing a new infinite collection of $2$ -rank graph algebras with explicit K-groups. We determine the homology of the tile complexes and give generalisations of the procedures to complexes and systems consisting of polygons with a higher number of sides.

In the early 1980s, Johnson defined a homomorphism $\mathcal {I}_{g}^1\to \bigwedge ^3 H_1\left (S_{g},\mathbb {Z}\right )$ , where $\mathcal {I}_{g}^1$ is the Torelli group of a closed, connected, and oriented surface of genus g with a boundary component and $S_g$ is the corresponding surface without a boundary component. This is known as the Johnson homomorphism.

We study the map induced by the Johnson homomorphism on rational homology groups and apply it to abelian cycles determined by disjoint bounding-pair maps, in order to compute a large quotient of $H_n\left (\mathcal {I}_{g}^1,\mathbb {Q}\right )$ in the stable range. This also implies an analogous result for the stable rational homology of the Torelli group $\mathcal {I}_{g,1}$ of a surface with a marked point instead of a boundary component. Further, we investigate how much of the image of this map is generated by images of such cycles and use this to prove that in the pointed case, they generate a proper subrepresentation of $H_n\left (\mathcal {I}_{g,1}\right )$ for $n\ge 2$ and g large enough.

We define a new ribbon group action on ribbon graphs that uses a semidirect product of a permutation group and the original ribbon group of Ellis-Monaghan and Moffatt to take (partial) twists and duals, or twuals, of ribbon graphs. A ribbon graph is a fixed point of this new ribbon group action if and only if it is isomorphic to one of its (partial) twuals. This extends the original ribbon group action, which only used the canonical identification of edges, to the more natural setting of self-twuality up to isomorphism. We then show that every ribbon graph has in its orbit an orientable embedded bouquet and prove that the (partial) twuality properties of these bouquets propagate through their orbits. Thus, we can determine (partial) twualities via these one vertex graphs, for which checking isomorphism reduces simply to checking dihedral group symmetries. Finally, we apply the new ribbon group action to generate all self-trial ribbon graphs on up to seven edges, in contrast with the few, large, very high-genus, self-trial regular maps found by Wilson, and by Jones and Poultin. We also show how the automorphism group of a ribbon graph yields self-dual, -petrial or –trial graphs in its orbit, and produce an infinite family of self-trial graphs that do not arise as covers or parallel connections of regular maps, thus answering a question of Jones and Poulton.

Let $\operatorname {\mathrm {{\rm G}}}(n)$ be equal to either $\operatorname {\mathrm {{\rm PO}}}(n,1),\operatorname {\mathrm {{\rm PU}}}(n,1)$ or $\operatorname {\mathrm {\textrm {PSp}}}(n,1)$ and let $\Gamma \leq \operatorname {\mathrm {{\rm G}}}(n)$ be a uniform lattice. Denote by $\operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}}$ the hyperbolic space associated to $\operatorname {\mathrm {{\rm G}}}(n)$ , where $\operatorname {\mathrm {{\rm K}}}$ is a division algebra over the reals of dimension d. Assume $d(n-1) \geq 2$ .

In this article we generalise natural maps to measurable cocycles. Given a standard Borel probability $\Gamma $ -space $(X,\mu _X)$ , we assume that a measurable cocycle $\sigma :\Gamma \times X \rightarrow \operatorname {\mathrm {{\rm G}}}(m)$ admits an essentially unique boundary map $\phi :\partial _\infty \operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}} \times X \rightarrow \partial _\infty \operatorname {\mathrm {\mathbb {H}^m_{{\rm K}}}}$ whose slices $\phi _x:\operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}} \rightarrow \operatorname {\mathrm {\mathbb {H}^m_{{\rm K}}}}$ are atomless for almost every $x \in X$ . Then there exists a $\sigma $ -equivariant measurable map $F: \operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}} \times X \rightarrow \operatorname {\mathrm {\mathbb {H}^m_{{\rm K}}}}$ whose slices $F_x:\operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}} \rightarrow \operatorname {\mathrm {\mathbb {H}^m_{{\rm K}}}}$ are differentiable for almost every $x \in X$ and such that $\operatorname {\mathrm {\textrm {Jac}}}_a F_x \leq 1$ for every $a \in \operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}}$ and almost every $x \in X$ . This allows us to define the natural volume $\operatorname {\mathrm {\textrm {NV}}}(\sigma )$ of the cocycle $\sigma $ . This number satisfies the inequality $\operatorname {\mathrm {\textrm {NV}}}(\sigma ) \leq \operatorname {\mathrm {\textrm {Vol}}}(\Gamma \backslash \operatorname {\mathrm {\mathbb {H}^n_{{\rm K}}}})$ . Additionally, the equality holds if and only if $\sigma $ is cohomologous to the cocycle induced by the standard lattice embedding $i:\Gamma \rightarrow \operatorname {\mathrm {{\rm G}}}(n) \leq \operatorname {\mathrm {{\rm G}}}(m)$ , modulo possibly a compact subgroup of $\operatorname {\mathrm {{\rm G}}}(m)$ when $m>n$ .

Given a continuous map $f:M \rightarrow N$ between compact hyperbolic manifolds, we also obtain an adaptation of the mapping degree theorem to this context.

Let G be a finitely generated group that can be written as an extension

$$ \begin{align*} 1 \longrightarrow K \stackrel{i}{\longrightarrow} G \stackrel{f}{\longrightarrow} \Gamma \longrightarrow 1 \end{align*} $$

$b_1(G)> b_1(\Gamma ) > 0$

$\Bbb {Z}$

$F \hookrightarrow X \rightarrow B$

$a(X) = 2$

$va(X) = 2$

$1$

We address primary decomposition conjectures for knot concordance groups, which predict direct sum decompositions into primary parts. We show that the smooth concordance group of topologically slice knots has a large subgroup for which the conjectures are true and there are infinitely many primary parts, each of which has infinite rank. This supports the conjectures for topologically slice knots. We also prove analogues for the associated graded groups of the bipolar filtration of topologically slice knots. Among ingredients of the proof, we use amenable $L^2$ -signatures, Ozsváth-Szabó d-invariants and Némethi’s result on Heegaard Floer homology of Seifert 3-manifolds. In an appendix, we present a general formulation of the notion of primary decomposition.

We construct the first examples of normal subgroups of mapping class groups that are isomorphic to non-free right-angled Artin groups. Our construction also gives normal, non-free right-angled Artin subgroups of other groups, such as braid groups and pure braid groups, as well as many subgroups of the mapping class group, such as the Torelli subgroup. Our work recovers and generalizes the seminal result of Dahmani–Guirardel–Osin, which gives free, purely pseudo-Anosov normal subgroups of mapping class groups. We give two applications of our methods: (1) we produce an explicit proper normal subgroup of the mapping class group that is not contained in any level $m$ congruence subgroup and (2) we produce an explicit example of a pseudo-Anosov mapping class with the property that all of its even powers have free normal closure and its odd powers normally generate the entire mapping class group. The technical theorem at the heart of our work is a new version of the windmill apparatus of Dahmani–Guirardel–Osin, which is tailored to the setting of group actions on the projection complexes of Bestvina–Bromberg–Fujiwara.

In this paper, we study distance one surgeries between lens spaces L(p, 1) with p ≥ 5 prime and lens spaces L(n, 1) for $$n \in \mathbb{Z}$$ and band surgeries from T (2, p) to T (2, n). In particular, we prove that L(n, 1) is obtained by a distance one surgery from L(5, 1) only if n=±1, 4, ±5, 6 or ±9, and L(n, 1) is obtained by a distance one surgery from L(7, 1) if and only if n=±1, 3, 6, 7, 8 or 11.

We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces.

More precisely, let $\Sigma $ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that ${\mathrm {Map}}(\Sigma )$ admits a continuous nonelementary action on a hyperbolic space if and only if $\Sigma $ contains a finite-type subsurface which intersects all its homeomorphic translates.

When $\Sigma $ contains such a nondisplaceable subsurface K of finite type, the hyperbolic space we build is constructed from the curve graphs of K and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of ${\mathrm {Map}}(\Sigma )$ contains an embedded $\ell ^1$ ; second, using work of Dahmani, Guirardel and Osin, we deduce that ${\mathrm {Map}} (\Sigma )$ contains nontrivial normal free subgroups (while it does not if $\Sigma $ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.

In this note we show that the expected value of the separating systole of a random surface of genus g with respect to Weil–Petersson volume behaves like $2\log g $ as the genus goes to infinity. This is in strong contrast to the behavior of the expected value of the systole which, by results of Mirzakhani and Petri, is independent of genus.

Given a commutative unital ring R, we show that the finiteness length of a group G is bounded above by the finiteness length of the Borel subgroup of rank one $\textbf {B}_2^{\circ }(R)=\left ( \begin {smallmatrix} * & * \\ 0 & * \end {smallmatrix}\right )\leq \operatorname {\textrm {SL}}_2(R)$ whenever G admits certain R-representations with metabelian image. Combined with results due to Bestvina–Eskin–Wortman and Gandini, this gives a new proof of (a generalization of) Bux’s equality on the finiteness length of S-arithmetic Borel groups. We also give an alternative proof of an unpublished theorem due to Strebel, characterizing finite presentability of Abels’ groups $\textbf {A}_n(R) \leq \operatorname {\textrm {GL}}_n(R)$ in terms of n and $\textbf {B}_2^{\circ }(R)$ . This generalizes earlier results due to Remeslennikov, Holz, Lyul’ko, Cornulier–Tessera, and points out to a conjecture about the finiteness length of such groups.

We link distinct concepts of geometric group theory and homotopy theory through underlying combinatorics. For a flag simplicial complex $K$, we specify a necessary and sufficient combinatorial condition for the commutator subgroup $RC_K'$ of a right-angled Coxeter group, viewed as the fundamental group of the real moment-angle complex $\mathcal {R}_K$, to be a one-relator group; and for the Pontryagin algebra $H_{*}(\Omega \mathcal {Z}_K)$ of the moment-angle complex to be a one-relator algebra. We also give a homological characterization of these properties. For $RC_K'$, it is given by a condition on the homology group $H_2(\mathcal {R}_K)$, whereas for $H_{*}(\Omega \mathcal {Z}_K)$ it is stated in terms of the bigrading of the homology groups of $\mathcal {Z}_K$.

Le nombre chromatique relatif $c_0(S)$ d’une surface compacte S à bord est défini comme la borne supérieure des nombres chromatiques des graphes plongés dans S avec tous leurs sommets sur $\partial S$ . Cet invariant topologique a été introduit pour l’étude de la multiplicité de la première valeur propre de Steklov sur S. Dans cet article, on montre que $c_0(S)$ est aussi pertinent pour l’étude des plongements polyédraux tendus de S en établissant deux résultats. Le premier est que s’il existe un plongement polyédral tendu de S dans $\mathbb {R}^n$ qui n’est pas contenu dans un hyperplan, alors $n\leq c_0(S)-1$ . Le second est que cette inégalité est optimale pour les surfaces de petit genre.

Gay and Kirby introduced trisections, which describe any closed, oriented, smooth 4-manifold X as a union of three 4-dimensional handlebodies. A trisection is encoded in a diagram, namely three collections of curves in a closed oriented surface $\Sigma $ , guiding the gluing of the handlebodies. Any morphism $\varphi $ from $\pi _1(X)$ to a finitely generated free abelian group induces a morphism on $\pi _1(\Sigma )$ . We express the twisted homology and Reidemeister torsion of $(X;\varphi )$ in terms of the first homology of $(\Sigma ;\varphi )$ and the three subspaces generated by the collections of curves. We also express the intersection form of $(X;\varphi )$ in terms of the intersection form of $(\Sigma ;\varphi )$ .