Skip to content
Publicly Available Published by De Gruyter July 1, 2021

Erratum to The braided Thompson's groups are of type F (J. reine angew. Math. 718 (2016), 59–101)

Kai-Uwe Bux, Stefan Witzel ORCID logo and Matthew C. B. Zaremsky
This erratum corrects the original online version which can be found here:

There is a mistake in Lemma 3.9 of [1], which has no consequences for the rest of the article. The assumption that the link of every k-simplex in X be (m-2k-2)-connected is insufficient to get the induction step to work, and needs to be replaced by (m-k-2)-connected. The correct statement therefore reads:

Lemma 9 (Reduction to the simplexwise injective case).

Let Y be a compact m-dimensional combinatorial manifold. Let X be a simplicial complex and assume that the link of every k-simplex in X is (m-k-2)-connected. Let ψ:YX be a simplicial map whose restriction to Y is simplexwise injective. Then after possibly subdividing the simplicial structure of Y, ψ is homotopic relative Y to a simplexwise injective map.

We became aware of this mistake through discussions with Søren Galatius involving an equivalent result with the correct bound [2, Theorem 2.4].

In the new formulation the old proof applies verbatim, but we extend the presentation to confirm that the induction step, which breaks down when using the old bound, now works.


The proof is by induction on m and the statement is trivial for m=0.

If ψ is not simplexwise injective, there exists a simplex whose vertices do not map to pairwise distinct points. In particular we can choose a simplex σY of maximal dimension k>0 such that for every vertex x of σ there is another vertex y of σ with ψ(x)=ψ(y). By assumption, σ is not contained in Y. Maximality of the dimension of σ implies that the restriction of ψ to the (m-k-1)-sphere lkY(σ) is simplexwise injective. It also implies that ψ(lkY(σ))lkX(ψ(σ)). Note further that ψ(σ) has dimension at most 12(k-1)k-1. Therefore its link in X is (m-k-1)-connected by assumption. Hence there is an (m-k)-disk B with B=lkY(σ) and a map φ:BlkX(ψ(σ)) such that φ|B coincides with ψ|lkY(σ). Inductively applying the lemma, we may assume that φ is simplexwise injective.

This inductive step is indeed possible because if τ is a d-simplex in lkX(ψ(σ)), then ψ(σ)τ is a simplex of dimension at most 12(k-1)+d+1k+d such that


By assumption that complex is ((m-k)-d-2)-connected.

We now replace Y by Y, the space obtained by replacing the closed star of σ by B*σ. The map ψ:YX is the map that coincides with ψ outside the open star of σ, coincides with φ on B and is affine on simplices. It is clearly homotopic to ψ, since the image of B under φ is contained in lkX(ψ(σ)). Since the restriction of ψ to B is simplexwise injective, the restriction to any k-simplex of B*σ is injective. Since Y is compact, by repeating this procedure finitely many times we eventually obtain a map that is simplexwise injective. ∎

This change is inconsequential for the rest of the article, because in both applications of Lemma 3.9 the new bound is still met. Indeed in the proof of Theorem 3.10 the estimate reads


because m<η(n)-1, and in the alternate proof of Theorem 3.8 it reads


because m<ν(n)-1. (Recall that ν(n)=n+13-1 and η(n)=n-14.)

The following example shows that the original formulation of the lemma is incorrect, and not just its proof.


Let Y consist of two triangles with vertices a,b,c and b,c,d, respectively. Then Y is a 2-dimensional combinatorial manifold whose boundary is the circle


Let X be a single edge [v,w]. The link of each vertex of X is a single point, hence contractible, while lk[v,w]= is (2-21-2)-connected (which is an empty condition) but not (2-1-2)-connected (which would mean non-empty). Consider the simplicial map that takes a and d to v and b and c to w. Its restriction to the boundary is simplexwise injective. However, invariance of domain forbids that an interior point of Y could have a neighborhood that is mapped injectively to X.

The proof of the lemma would introduce an additional vertex x in the interior of [v,w] and then map [b,c] to [x,w]. However, then the induction fails since the non-empty link of [b,c] cannot be mapped to the empty link of [x,w].


[1] K.-U. Bux, M. G. Fluch, M. Marschler, S. Witzel and M. C. B. Zaremsky, The braided Thompson’s groups are of type F. With an appendix by Zaremsky, J. reine angew. Math. 718 (2016), 59–101. 10.1515/crelle-2014-0030Search in Google Scholar

[2] S. Galatius and O. Randal-Williams, Homological stability for moduli spaces of high dimensional manifolds. I, J. Amer. Math. Soc. 31 (2018), no. 1, 215–264. 10.1090/jams/884Search in Google Scholar

Received: 2021-05-11
Published Online: 2021-07-01
Published in Print: 2021-09-01

© 2021 Walter de Gruyter GmbH, Berlin/Boston

Scroll Up Arrow