Related papers: Three perfect mapping class groups

The purpose of this note is twofold. In the first part we observe that two finitely generated non-amenable groups are quasi-isometric if and only if they admit topologically orbit equivalent Cantor minimal actions. In particular, free…

We give completely combinatorial proofs of the main results of [3] using polygons. Namely, we prove that the mapping class group of a surface with boundary acts faithfully on a finitely-generated linear category. Along the way we prove some…

We prove that the additive group of the rationals does not have an automatic presentation. The proof also applies to certain other abelian groups, for example, torsion-free groups that are $p$-divisible for infinitely many primes $p$, or…

Smooth surfaces have finitely generated canonical rings and projective canonical models. For normal surfaces, however, the graded ring of multicanonical sections is possibly nonnoetherian, such that the corresponding homogeneous spectrum is…

For some $g \geq 3$, let $\Gamma$ be a finite index subgroup of the mapping class group of a genus $g$ surface (possibly with boundary components and punctures). An old conjecture of Ivanov says that the abelianization of $\Gamma$ should be…

We present new results regarding automatic continuity, unifying some diagonalization concepts that have been developed over the years. For example, any homomorphism from a completely metrizable topological group to Thompson's group $F$ has…

We prove that the first integral cohomology of pure mapping class groups of infinite type genus one surfaces is trivial. For genus zero surfaces we prove that not every homomorphism to $\mathbb{Z}$ factors through a sphere with finitely…

We construct infinitely many linearly independent quasi-homomorphisms on the mapping class group of a Riemann surface with genus at least two which vanish on a handlebody subgroup. As a corollary, we disprove a conjecture of Reznikov on…

We present novel constructions concerning the homology of finitely generated groups. Each construction draws on ideas of Gilbert Baumslag. There is a finitely presented acyclic group $U$ such that $U$ has no proper subgroups of finite index…

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…

We prove that in dimensions not equal to 4, 5, or 7, the homology and homotopy groups of the classifying space of the topological group of diffeomorphisms of a disk fixing the boundary are finitely generated in each degree. The proof uses…

We compute the rational stable homology of the automorphism groups of free nilpotent groups. These groups interpolate between the general linear groups over the ring of integers and the automorphism groups of free groups, and we employ…

We determine all factorisations $X=AB$, where $X$ is a finite almost simple group and $A,B$ are core-free subgroups such that $A\cap B$ is cyclic or dihedral. As a main application, we classify the graphs $\Gamma$ admitting an almost simple…

We observe that, for each positive integer n > 2, each of the Artin groups of finite type A_n, B_n=C_n, and affine type \tilde A_{n-1} and \tilde C_{n-1} is a central extension of a finite index subgroup of the mapping class group of the…

We answer two questions about the topology of end spaces of infinite type surfaces and the action of the mapping class group that have appeared in the literature. First, we give examples of infinite type surfaces with end spaces that are…

We use basic tools of descriptive set theory to prove that a closed set $\mathcal S$ of marked groups has $2^{\aleph_0}$ quasi-isometry classes provided every non-empty open subset of $\mathcal S$ contains at least two non-quasi-isometric…

The mapping class group of a non-exceptional oriented surface of finite type admits a biautomatic structure.

In this article, we prove that any complex smooth rational surface $X$ which has no automorphism of positive entropy has a finite number of real forms (this is especially the case if $X$ cannot be obtained by blowing up $\mathbb…

The mapping class group $M(X)$ of a smooth manifold $X$ is the group of smooth isotopy classes of orientation preserving diffeomorphisms of $X$. We prove a number of results about the mapping class groups of compact, simply-connected,…

The group of $\mathcal C^1$-diffeomorphisms of any sparse Cantor subset of a manifold is countable and discrete (possibly trivial). Thompson's groups come out of this construction when we consider central ternary Cantor subsets of an…