Showing 1–37 of 37 results for author: Kielak, D

Virtual fibring of Poincaré-duality groups

Authors: Sam P. Fisher, Giovanni Italiano, Dawid Kielak

Abstract: We show that a RFRS Poincaré-duality group $G$ admits a virtual epimorphism to the integers whose kernel is itself a Poincaré-duality group over every field if and only if the $L^2$-homology of $G$ vanishes and so do the positive-characteristic variants thereof. Our investigations yield a more general relationship between cohomology at infinity of groups that algebraically fibre and their fibres… ▽ More We show that a RFRS Poincaré-duality group $G$ admits a virtual epimorphism to the integers whose kernel is itself a Poincaré-duality group over every field if and only if the $L^2$-homology of $G$ vanishes and so do the positive-characteristic variants thereof. Our investigations yield a more general relationship between cohomology at infinity of groups that algebraically fibre and their fibres. In particular, we show that if the fundamental group of an aspherical manifold of dimension at least three algebraically fibres, then the fibre is one ended. △ Less

Submitted 17 June, 2025; originally announced June 2025.

Comments: 31 pages

MSC Class: 20F65; 20J05; 57P10

Non-vanishing unitary cohomology of low-rank integral special linear groups

Authors: Benjamin Brück, Sam Hughes, Dawid Kielak, Piotr Mizerka

Abstract: We construct explicit finite-dimensional orthogonal representations $π_N$ of $\operatorname{SL}_{N}(\mathbb{Z})$ for $N \in \{3,4\}$ all of whose invariant vectors are trivial, and such that $H^{N - 1}(\operatorname{SL}_{N}(\mathbb{Z}),π_N)$ is non-trivial. This implies that for $N$ as above, the group $\operatorname{SL}_{N}(\mathbb{Z})$ does not have property $(T_{N-1})$ of Bader-Sauer and theref… ▽ More We construct explicit finite-dimensional orthogonal representations $π_N$ of $\operatorname{SL}_{N}(\mathbb{Z})$ for $N \in \{3,4\}$ all of whose invariant vectors are trivial, and such that $H^{N - 1}(\operatorname{SL}_{N}(\mathbb{Z}),π_N)$ is non-trivial. This implies that for $N$ as above, the group $\operatorname{SL}_{N}(\mathbb{Z})$ does not have property $(T_{N-1})$ of Bader-Sauer and therefore is not $(N-1)$-Kazhdan in the sense of De Chiffre-Glebsky-Lubotzky-Thom, both being higher versions of Kazhdan's property $T$. △ Less

Submitted 30 October, 2024; v1 submitted 29 October, 2024; originally announced October 2024.

Comments: 21 pages, code available under https://zenodo.org/records/14008647 ; v2: minor corrections and updated references

MSC Class: 11F75; 20J06; 55-08

BNSR invariants and $\ell^2$-homology

Authors: Sam Hughes, Dawid Kielak

Abstract: We prove that if the $n$th $\ell^2$-Betti number of a group is non-zero then its $n$th BNSR invariant over $\mathbb{Q}$ is empty, under suitable finiteness conditions. We apply this to answer questions of Friedl--Vidussi and Llosa Isenrich--Py about aspherical Kähler manifolds, to verify some cases of the Singer Conjecture, and to compute certain BNSR invariants of poly-free and poly-surface group… ▽ More We prove that if the $n$th $\ell^2$-Betti number of a group is non-zero then its $n$th BNSR invariant over $\mathbb{Q}$ is empty, under suitable finiteness conditions. We apply this to answer questions of Friedl--Vidussi and Llosa Isenrich--Py about aspherical Kähler manifolds, to verify some cases of the Singer Conjecture, and to compute certain BNSR invariants of poly-free and poly-surface groups. △ Less

Submitted 10 January, 2024; originally announced January 2024.

Comments: 31 pages, comments welcome!

MSC Class: 20J05; 57M07; 20F65; 16S85; 16S35; 57P10; 57N65

Coboundary expansion and Gromov hyperbolicity

Authors: Dawid Kielak, Piotr W. Nowak

Abstract: We prove that if a compact $n$-manifold admits a sequence of residual covers that form a coboundary expander in dimension $n-2$, then the manifold has Gromov-hyperbolic fundamental group. In particular, residual sequences of covers of non-hyperbolic compact connected irreducible 3-manifolds are not 1-coboundary expanders. We prove that if a compact $n$-manifold admits a sequence of residual covers that form a coboundary expander in dimension $n-2$, then the manifold has Gromov-hyperbolic fundamental group. In particular, residual sequences of covers of non-hyperbolic compact connected irreducible 3-manifolds are not 1-coboundary expanders. △ Less

Submitted 12 September, 2023; originally announced September 2023.

Stallings's Fibring Theorem and $\mathrm{PD}^3$-pairs

Authors: Martin R. Bridson, Dawid Kielak, Monika Kudlinska

Abstract: We give a relatively self-contained proof that if a group $G$ fibres algebraically and is part of a $\mathrm{PD}^3$-pair, then $G$ is the fundamental group of a fibred compact aspherical 3-manifold. This yields a homological proof of a classical theorem of Stallings: if $G = π_1(M^3)$ is the fundamental group of a compact irreducible 3-manifold $M^3$ and $φ\colon G \to \mathbb{Z}$ is a surjective… ▽ More We give a relatively self-contained proof that if a group $G$ fibres algebraically and is part of a $\mathrm{PD}^3$-pair, then $G$ is the fundamental group of a fibred compact aspherical 3-manifold. This yields a homological proof of a classical theorem of Stallings: if $G = π_1(M^3)$ is the fundamental group of a compact irreducible 3-manifold $M^3$ and $φ\colon G \to \mathbb{Z}$ is a surjective homomorphism with finitely generated kernel, then $φ$ is induced by a topological fibration of $M^3$ over the circle. △ Less

Submitted 13 January, 2025; v1 submitted 20 July, 2023; originally announced July 2023.

Comments: 7 pages. v2, added further background to the introduction and a clarification in the proof of Theorem 2. To appear in "Topology at Infinity of Discrete Groups", Contemporary Mathematics series

MSC Class: 20J05; 57K30

Kazhdan constants for Chevalley groups over the integers

Authors: Marek Kaluba, Dawid Kielak

Abstract: We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The method relies on establishing a new connection between the structure of a root system grading a family of groups and the behaviour of the square of the Laplace o… ▽ More We compute lower bounds for Kazhdan constants of Chevalley groups over the integers, endowed with the standard Steinberg generators. For types other than $\mathtt{A}_{n}$, these are the first explicit asymptotically sharp such bounds. The method relies on establishing a new connection between the structure of a root system grading a family of groups and the behaviour of the square of the Laplace operator in the family. △ Less

Submitted 4 November, 2024; v1 submitted 21 June, 2023; originally announced June 2023.

Comments: Referees' comments were incorporated. To appear in Rev. Math. Iberoam

MSC Class: 22D55

Group rings of three-manifold groups

Authors: Dawid Kielak, Marco Linton

Abstract: Let $G$ be the fundamental group of a three-manifold. By piecing together many known facts about three manifold groups, we establish two properties of the group ring $\mathbb{C}G$. We show that if $G$ has rational cohomological dimension two, then $\mathbb{C}G$ is coherent. We also show that if $G$ is torsion-free, then $G$ satisfies the Strong Atiyah Conjecture over $\mathbb{C}$ and hence that… ▽ More Let $G$ be the fundamental group of a three-manifold. By piecing together many known facts about three manifold groups, we establish two properties of the group ring $\mathbb{C}G$. We show that if $G$ has rational cohomological dimension two, then $\mathbb{C}G$ is coherent. We also show that if $G$ is torsion-free, then $G$ satisfies the Strong Atiyah Conjecture over $\mathbb{C}$ and hence that $\mathbb{C}G$ satisfies Kaplansky's Zero Divisor Conjecture. △ Less

Submitted 5 November, 2023; v1 submitted 28 March, 2023; originally announced March 2023.

Comments: 10 pages, v2 incorporating referee's comments. To appear in Proc. Amer. Math. Soc

MSC Class: 20J05 (Primary); 57K30 (Secondary)

Virtually free-by-cyclic groups

Authors: Dawid Kielak, Marco Linton

Abstract: We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. As a consequence, we show that many groups known to be coherent actually possess the stronger property of being virtually free-by-cyclic. In particular, we show that all one-relator groups with torsion are virtually free-by-cyclic, solving a conjecture of Baum… ▽ More We obtain a homological characterisation of virtually free-by-cyclic groups among groups that are hyperbolic and virtually compact special. As a consequence, we show that many groups known to be coherent actually possess the stronger property of being virtually free-by-cyclic. In particular, we show that all one-relator groups with torsion are virtually free-by-cyclic, solving a conjecture of Baumslag. △ Less

Submitted 27 June, 2024; v1 submitted 22 February, 2023; originally announced February 2023.

Comments: 30 pages. Incorporated the referee's comments and corrections. Final version to appear in Geometric and Functional Analysis

MSC Class: 20F65; 20J06

Coherence for elementary amenable groups

Authors: Sam Hughes, Dawid Kielak, Peter H. Kropholler, Ian J. Leary

Abstract: We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. We prove that for an elementary amenable group, coherence of the group, homological coherence of the group, and coherence of the integral group ring are all equivalent. This generalises a result of Bieri and Strebel for finitely generated soluble groups. △ Less

Submitted 6 November, 2023; v1 submitted 7 February, 2023; originally announced February 2023.

Comments: v2. updated with referee's comments, to appear in Proceedings of the American Mathematical Society; v1. 10 pages, comments welcome!

MSC Class: 20F19; 16P70; 20J05; 20J06; 43A07

Journal ref: Proc. Am. Math. Soc. 152(3), 977--986, 2024

Quasi-BNS invariants

Authors: Nicolaus Heuer, Dawid Kielak

Abstract: We introduce the notion of quasi-BNS invariants, where we replace homomorphism to $\mathbb R$ by homogenous quasimorphisms to $\mathbb R$ in the theory of Bieri-Neumann-Strebel invariants. We prove that the quasi-BNS invariant $QΣ(G)$ of a finitely generated group $G$ is open; we connect it to approximate finite generation of almost kernels of homogenous quasimorphisms; finally we prove a Sikorav-… ▽ More We introduce the notion of quasi-BNS invariants, where we replace homomorphism to $\mathbb R$ by homogenous quasimorphisms to $\mathbb R$ in the theory of Bieri-Neumann-Strebel invariants. We prove that the quasi-BNS invariant $QΣ(G)$ of a finitely generated group $G$ is open; we connect it to approximate finite generation of almost kernels of homogenous quasimorphisms; finally we prove a Sikorav-style theorem connecting $QΣ(G)$ to the vanishing of the suitably defined Novikov homology. △ Less

Submitted 19 October, 2022; originally announced October 2022.

Comments: 13 pages, no figures

MSC Class: 20F65

Profinite rigidity of fibring

Authors: Sam Hughes, Dawid Kielak

Abstract: We introduce the classes of TAP groups, in which various types of algebraic fibring are detected by the non-vanishing of twisted Alexander polynomials. We show that finitely presented LERF groups lie in the class $\mathsf{TAP}_1(R)$ for every integral domain $R$, and deduce that algebraic fibring is a profinite property for such groups. We offer stronger results for algebraic fibring of products o… ▽ More We introduce the classes of TAP groups, in which various types of algebraic fibring are detected by the non-vanishing of twisted Alexander polynomials. We show that finitely presented LERF groups lie in the class $\mathsf{TAP}_1(R)$ for every integral domain $R$, and deduce that algebraic fibring is a profinite property for such groups. We offer stronger results for algebraic fibring of products of limit groups, as well as applications to profinite rigidity of Poincaré duality groups in dimension $3$ and RFRS groups. △ Less

Submitted 29 October, 2024; v1 submitted 22 June, 2022; originally announced June 2022.

Comments: 30 pages, updated with the referee's comments. To appear in Revista Matemática Iberoamericana

MSC Class: 20J05; 20E18; 20F67

The Surface Group Conjectures for groups with two generators

Authors: Giles Gardam, Dawid Kielak, Alan D. Logan

Abstract: The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group. The Surface Group Conjectures are statements about recognising surface groups among one-relator groups, using either the structure of their finite-index subgroups, or all subgroups. We resolve these conjectures in the two generator case. More generally, we prove that every two-generator one-relator group with every infinite-index subgroup free is itself either free or a surface group. △ Less

Submitted 9 August, 2022; v1 submitted 22 February, 2022; originally announced February 2022.

Comments: 14 pages, final version accepted for publication

MSC Class: 20F65 (Primary) 57M10; 20F05; 20F67; 20J05 (Secondary)

Spectral gap and origami expanders

Authors: Goulnara Arzhantseva, Dawid Kielak, Tim de Laat, Damian Sawicki

Abstract: We construct the first measure-preserving affine actions with spectral gap on surfaces of arbitrary genus $g > 1$. We achieve this by finding geometric representatives of multi-twists on origami surfaces. As a major application, we construct new expanders that are coarsely distinct from the classical expanders obtained via the Laplacian as Cayley graphs of finite quotients of a group. Our methods… ▽ More We construct the first measure-preserving affine actions with spectral gap on surfaces of arbitrary genus $g > 1$. We achieve this by finding geometric representatives of multi-twists on origami surfaces. As a major application, we construct new expanders that are coarsely distinct from the classical expanders obtained via the Laplacian as Cayley graphs of finite quotients of a group. Our methods also show that the Margulis expander, and hence the Gabber--Galil expander, is coarsely distinct from the Selberg expander. △ Less

Submitted 25 February, 2024; v1 submitted 22 December, 2021; originally announced December 2021.

Comments: To appear in the Commentarii Mathematici Helvetici

MSC Class: 05C48 (20F65; 37A30; 37E30; 51F30; 57M60)

Agrarian and $\ell^2$-Betti numbers of locally indicable groups, with a twist

Authors: Dawid Kielak, Bin Sun

Abstract: We prove that twisted $\ell^2$-Betti numbers of locally indicable groups are equal to the usual $\ell^2$-Betti numbers rescaled by the dimension of the twisting representation; this answers a question of Lück for this class of groups. It also leads to two formulae: given a fibration $E$ with base space $B$ having locally indicable fundamental group, and with a simply-connected fibre $F$, the first… ▽ More We prove that twisted $\ell^2$-Betti numbers of locally indicable groups are equal to the usual $\ell^2$-Betti numbers rescaled by the dimension of the twisting representation; this answers a question of Lück for this class of groups. It also leads to two formulae: given a fibration $E$ with base space $B$ having locally indicable fundamental group, and with a simply-connected fibre $F$, the first formula bounds $\ell^2$-Betti numbers $b_i^{(2)}(E)$ of $E$ in terms of $\ell^2$-Betti numbers of $B$ and usual Betti numbers of $F$; the second formula computes $b_i^{(2)}(E)$ exactly in terms of the same data, provided that $F$ is a high-dimensional sphere. We also present an inequality between twisted Alexander and Thurston norms for free-by-cyclic groups and $3$-manifolds. The technical tools we use come from the theory of generalised agrarian invariants, whose study we initiate in this paper. △ Less

Submitted 29 December, 2021; v1 submitted 14 December, 2021; originally announced December 2021.

Comments: We fixed an error in the proof of Theorem 4.3 pointed out by Andrei Jaikin-Zapirain. The statement remains unchanged

MSC Class: 20J05; 57R22; 57K31; 57Q10; 12E15; 16S35

Algebraically hyperbolic groups

Authors: Giles Gardam, Dawid Kielak, Alan D. Logan

Abstract: We initiate the study of torsion-free algebraically hyperbolic groups; these groups generalise torsion-free hyperbolic groups and are intricately related to groups with no Baumslag--Solitar subgroups. Indeed, for groups of cohomological dimension $2$ we prove that algebraic hyperbolicity is equivalent to containing no Baumslag--Solitar subgroups. This links algebraically hyperbolic groups to two f… ▽ More We initiate the study of torsion-free algebraically hyperbolic groups; these groups generalise torsion-free hyperbolic groups and are intricately related to groups with no Baumslag--Solitar subgroups. Indeed, for groups of cohomological dimension $2$ we prove that algebraic hyperbolicity is equivalent to containing no Baumslag--Solitar subgroups. This links algebraically hyperbolic groups to two famous questions of Gromov; recent work has shown these questions to have negative answers in general, but they remain open for groups of cohomological dimension $2$. We also prove that algebraically hyperbolic groups are CSA, and so have canonical abelian JSJ-decompositions. In the two-generated case we give a precise description of the form of these decompositions. △ Less

Submitted 28 April, 2025; v1 submitted 2 December, 2021; originally announced December 2021.

Comments: 40 pages. Final version, to appear in Groups, Geometry, and Dynamics

MSC Class: 20E06; 20E08; 20F65; 20F67

JSJ decompositions and polytopes for two-generator one-relator groups

Authors: Giles Gardam, Dawid Kielak, Alan D. Logan

Abstract: We provide a direct connection between the $\mathcal{Z}_{\max}$ (or essential) JSJ decomposition and the Friedl--Tillmann polytope of a hyperbolic two-generator one-relator group with abelianisation of rank $2$. We deduce various structural and algorithmic properties, like the existence of a quadratic-time algorithm computing the \ZC{}-JSJ decomposition of such groups. We provide a direct connection between the $\mathcal{Z}_{\max}$ (or essential) JSJ decomposition and the Friedl--Tillmann polytope of a hyperbolic two-generator one-relator group with abelianisation of rank $2$. We deduce various structural and algorithmic properties, like the existence of a quadratic-time algorithm computing the \ZC{}-JSJ decomposition of such groups. △ Less

Submitted 3 October, 2024; v1 submitted 6 January, 2021; originally announced January 2021.

Comments: 41 pages, v2 extends result from hyperbolic one-relator groups to those with no Baumslag--Soltiar subgroups

MSC Class: 20E34; 20F05; 20F65; 20F67; 20J05

Isoperimetric inequalities for Poincaré duality groups

Authors: Dawid Kielak, Peter Kropholler

Abstract: We show that every oriented $n$-dimensional Poincaré duality group over a $*$-ring $R$ is amenable or satisfies a linear homological isoperimetric inequality in dimension $n-1$. As an application, we prove the Tits alternative for such groups when $n=2$. We then deduce a new proof of the fact that when $n=2$ and $R = \mathbb Z$ then the group in question is a surface group. We show that every oriented $n$-dimensional Poincaré duality group over a $*$-ring $R$ is amenable or satisfies a linear homological isoperimetric inequality in dimension $n-1$. As an application, we prove the Tits alternative for such groups when $n=2$. We then deduce a new proof of the fact that when $n=2$ and $R = \mathbb Z$ then the group in question is a surface group. △ Less

Submitted 17 March, 2021; v1 submitted 18 August, 2020; originally announced August 2020.

Comments: 10 pages, 1 figure. v2: final part of the paper substantially expanded to accommodate referee's comments. To appear in Proc. Amer. Math. Soc

MSC Class: 20F65

$\ell^2$ Betti numbers and coherence of random groups

Authors: Dawid Kielak, Robert Kropholler, Gareth Wilkes

Abstract: We study $\ell^2$ Betti numbers, coherence, and virtual fibring of random groups in the few-relator model. In particular, random groups with negative Euler characteristic are coherent, have $\ell^2$ homology concentrated in dimension 1, and embed in a virtually free-by-cyclic group with high probability. Similar results are shown with positive probability in the zero Euler characteristic case. We study $\ell^2$ Betti numbers, coherence, and virtual fibring of random groups in the few-relator model. In particular, random groups with negative Euler characteristic are coherent, have $\ell^2$ homology concentrated in dimension 1, and embed in a virtually free-by-cyclic group with high probability. Similar results are shown with positive probability in the zero Euler characteristic case. △ Less

Submitted 14 June, 2022; v1 submitted 13 March, 2020; originally announced March 2020.

Comments: Revised version, accepted for publication. Includes slight strengthenings of main theorems

MSC Class: 20J05 (Primary); 16S35; 20P05; 20E25 (Secondary)

The agrarian polytope of two-generator one-relator groups

Authors: Fabian Henneke, Dawid Kielak

Abstract: Relying on the theory of agrarian invariants introduced in previous work, we solve a conjecture of Friedl-Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are independent of the presentations used. We also show that, when the groups are additionally torsion-free, the agrarian polytope encodes the splitting complexity of the g… ▽ More Relying on the theory of agrarian invariants introduced in previous work, we solve a conjecture of Friedl-Tillmann: we show that the marked polytopes they constructed for two-generator one-relator groups with nice presentations are independent of the presentations used. We also show that, when the groups are additionally torsion-free, the agrarian polytope encodes the splitting complexity of the group. This generalises theorems of Friedl-Tillmann and Friedl-Lück-Tillmann. △ Less

Submitted 10 December, 2019; originally announced December 2019.

Comments: 26 pages; split off from arXiv:1809.08470v1 with the first part available as arXiv:1809.08470v2

MSC Class: 20J05 (Primary) 12E15; 16S35; 20E06; 57Q10 (Secondary)

The Farrell-Jones Conjecture for normally poly-free groups

Authors: Benjamin Brück, Dawid Kielak, Xiaolei Wu

Abstract: We prove the $K$- and $L$-theoretic Farrell-Jones Conjecture with coefficients in an additive category for every normally poly-free group, in particular for even Artin groups of FC-type, and for all groups of the form $A\rtimes \mathbb{Z}$ where $A$ is a right-angled Artin group. Our proof relies on the work of Bestvina-Fujiwara-Wigglesworth on the Farrell--Jones Conjecture for free-by-cyclic grou… ▽ More We prove the $K$- and $L$-theoretic Farrell-Jones Conjecture with coefficients in an additive category for every normally poly-free group, in particular for even Artin groups of FC-type, and for all groups of the form $A\rtimes \mathbb{Z}$ where $A$ is a right-angled Artin group. Our proof relies on the work of Bestvina-Fujiwara-Wigglesworth on the Farrell--Jones Conjecture for free-by-cyclic groups. △ Less

Submitted 23 September, 2020; v1 submitted 4 June, 2019; originally announced June 2019.

Comments: 9 pages. Minor changes; to appear in Proc. Amer. Math. Soc

MSC Class: 18F25; 19A31; 19B28

Handlebody Bundles and Polytopes

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody. We construct examples of fibered three-manifolds with first Betti number at least 2 and with fibered faces all of whose monodromies extend to a handlebody. △ Less

Submitted 20 March, 2020; v1 submitted 18 April, 2019; originally announced April 2019.

Comments: 12 pages, no figures

Journal ref: Algebr. Geom. Topol. 21 (2021) 3445-3458

Non-crossing partitions

Authors: Barbara Baumeister, Kai-Uwe Bux, Friedrich Götze, Dawid Kielak, Henning Krause

Abstract: Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type… ▽ More Non-crossing partitions have been a staple in combinatorics for quite some time. More recently, they have surfaced (sometimes unexpectedly) in various other contexts from free probability to classifying spaces of braid groups. Also, analogues of the non-crossing partition lattice have been introduced. Here, the classical non-crossing partitions are associated to Coxeter and Artin groups of type $\mathsf{A}_n$, which explains the tight connection to the symmetric groups and braid groups. We shall outline those developments. △ Less

Submitted 4 March, 2019; originally announced March 2019.

Comments: Survey article, 34 pages, 7 figures

MSC Class: 05A18 05E15 16E20 16E60 17B22 20F05 20F10 20F36 20F55 46L54

On property (T) for $\operatorname{Aut}(F_n)$ and $\operatorname{SL}_n(\mathbb{Z})$

Authors: Marek Kaluba, Dawid Kielak, Piotr W. Nowak

Abstract: We prove that $\operatorname{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$. We also provide explicit lower bounds for the Kazhdan constants of $\operatorname{SAut}(F_n)$ (with $n \geqslant 6$) and of $\operatorname{SL}_n(\mathbb{Z})$ (with $n \geqslant 3$) with respect… ▽ More We prove that $\operatorname{Aut}(F_n)$ has Kazhdan's property (T) for every $n \geqslant 6$. Together with a previous result of Kaluba, Nowak, and Ozawa, this gives the same statement for $n\geqslant 5$. We also provide explicit lower bounds for the Kazhdan constants of $\operatorname{SAut}(F_n)$ (with $n \geqslant 6$) and of $\operatorname{SL}_n(\mathbb{Z})$ (with $n \geqslant 3$) with respect to natural generating sets. In the latter case, these bounds improve upon previously known lower bounds whenever $n > 6$. △ Less

Submitted 20 January, 2021; v1 submitted 9 December, 2018; originally announced December 2018.

Comments: 23 pages; the accompanying data is deposited at https://zenodo.org/record/1958996, accepted in Annals of Mathematics 193 No. 2 (2021)

MSC Class: 22D55 (Primary) 20F28 (Secondary)

Residually finite rationally solvable groups and virtual fibring

Authors: Dawid Kielak

Abstract: We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the analogous result of Ian Agol for fundamental groups of $3$-manifolds. We show that a finitely generated residually finite rationally solvable (or RFRS) group $G$ is virtually fibred, in the sense that it admits a virtual surjection to $\mathbb{Z}$ with a finitely generated kernel, if and only if the first $L^2$-Betti number of $G$ vanishes. This generalises (and gives a new proof of) the analogous result of Ian Agol for fundamental groups of $3$-manifolds. △ Less

Submitted 4 September, 2019; v1 submitted 25 September, 2018; originally announced September 2018.

Comments: 29 pages, no figures, v2. improved exposition following referee's comments. To appear in J. Amer. Math. Soc

MSC Class: 20F65

Journal ref: J. Amer. Math. Soc. 33 (2020), no. 2, 451-486

Agrarian and $L^2$-invariants

Authors: Fabian Henneke, Dawid Kielak

Abstract: We develop the theory of agrarian invariants, which are algebraic counterparts to $L^2$-invariants. Specifically, we introduce the notions of agrarian Betti numbers, agrarian acyclicity, agrarian torsion and agrarian polytope for finite free $G$-CW complexes together with a fixed choice of a ring homomorphism from the group ring $\mathbb{Z} G$ to a skew field. For the particular choice of the Linn… ▽ More We develop the theory of agrarian invariants, which are algebraic counterparts to $L^2$-invariants. Specifically, we introduce the notions of agrarian Betti numbers, agrarian acyclicity, agrarian torsion and agrarian polytope for finite free $G$-CW complexes together with a fixed choice of a ring homomorphism from the group ring $\mathbb{Z} G$ to a skew field. For the particular choice of the Linnell skew field $\mathcal{D}(G)$, this approach recovers most of the information encoded in the corresponding $L^2$-invariants. As an application, we prove that for agrarian groups of deficiency $1$, the agrarian polytope admits a marking of its vertices which controls the Bieri-Neumann-Strebel invariant of the group, improving a result of the second author and partially answering a question of Friedl-Tillmann. We also use the technology developed here to prove the Friedl-Tillmann conjecture on polytopes for two-generator one-relator groups; the proof forms the contents of another article. △ Less

Submitted 18 April, 2021; v1 submitted 22 September, 2018; originally announced September 2018.

Comments: 25 pages, to appear in Fund. Math

MSC Class: 20J05 (Primary) 12E15; 16S35; 20E06; 57Q10 (Secondary)

The Bieri-Neumann-Strebel invariants via Newton polytopes

Authors: Dawid Kielak

Abstract: We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative Laurent polynomial rings are themselves polynomials, rather than rational functi… ▽ More We study the Newton polytopes of determinants of square matrices defined over rings of twisted Laurent polynomials. We prove that such Newton polytopes are single polytopes (rather than formal differences of two polytopes); this result can be seen as analogous to the fact that determinants of matrices over commutative Laurent polynomial rings are themselves polynomials, rather than rational functions. We also exhibit a relationship between the Newton polytopes and invertibility of the matrices over Novikov rings, thus establishing a connection with the invariants of Bieri-Neumann-Strebel (BNS) via a theorem of Sikorav. We offer several applications: we reprove Thurston's theorem on the existence of a polytope controlling the BNS invariants of a $3$-manifold group; we extend this result to free-by-cyclic groups, and the more general descending HNN extensions of free groups. We also show that the BNS invariants of Poincaré duality groups of type $\mathtt{F}$ in dimension $3$ and groups of deficiency one are determined by a polytope, when the groups are assumed to be agrarian, that is their integral group rings embed in skew-fields. The latter result partially confirms a conjecture of Friedl. We also deduce the vanishing of the Newton polytopes associated to elements of the Whitehead groups of many groups satisfying the Atiyah conjecture. We use this to show that the $L^2$-torsion polytope of Friedl-Lück is invariant under homotopy. We prove the vanishing of this polytope in the presence of amenability, thus proving a conjecture of Friedl-Lück-Tillmann. △ Less

Submitted 3 September, 2019; v1 submitted 20 February, 2018; originally announced February 2018.

Comments: 39 pages, no figures. v2. improved exposition v3. final version, to appear in Invent. Math

MSC Class: 20F65

Journal ref: Invent. Math. 219 (2020), no. 3, 1009-1068

On the smallest non-trivial quotients of mapping class groups

Authors: Dawid Kielak, Emilio Pierro

Abstract: We prove that the smallest non-trivial quotient of the mapping class group of a connected orientable surface of genus at least 3 without punctures is $\mathrm{Sp}_{2g}(2)$, thus confirming a conjecture of Zimmermann. In the process, we generalise Korkmaz's results on $\mathbb{C}$-linear representations of mapping class groups to projective representations over any field. We prove that the smallest non-trivial quotient of the mapping class group of a connected orientable surface of genus at least 3 without punctures is $\mathrm{Sp}_{2g}(2)$, thus confirming a conjecture of Zimmermann. In the process, we generalise Korkmaz's results on $\mathbb{C}$-linear representations of mapping class groups to projective representations over any field. △ Less

Submitted 23 January, 2019; v1 submitted 29 May, 2017; originally announced May 2017.

Comments: 18 pages, 2 figures; v.2: Section 2 (on projective representations of mapping class groups) completely rewritten; v.3: Final version, to appear in Groups Geom. Dyn

MSC Class: 20F65

Journal ref: Groups Geom. Dyn. 14 (2020), no. 2, 489-512

On the smallest non-abelian quotient of $\mathrm{Aut}(F_n)$

Authors: Barbara Baumeister, Dawid Kielak, Emilio Pierro

Abstract: We show that the smallest non-abelian quotient of $\mathrm{Aut}(F_n)$ is $\mathrm{PSL}_n(\mathbb{Z}/2\mathbb{Z}) = \mathrm{L}_n(2)$, thus confirming a conjecture of Mecchia--Zimmermann. In the course of the proof we give an exponential (in $n$) lower bound for the cardinality of a set on which $\mathrm{SAut}(F_n)$, the unique index $2$ subgroup of $\mathrm{Aut}(F_n)$, can act non-trivially. We als… ▽ More We show that the smallest non-abelian quotient of $\mathrm{Aut}(F_n)$ is $\mathrm{PSL}_n(\mathbb{Z}/2\mathbb{Z}) = \mathrm{L}_n(2)$, thus confirming a conjecture of Mecchia--Zimmermann. In the course of the proof we give an exponential (in $n$) lower bound for the cardinality of a set on which $\mathrm{SAut}(F_n)$, the unique index $2$ subgroup of $\mathrm{Aut}(F_n)$, can act non-trivially. We also offer new results on the representation theory of $\mathrm{SAut(F_n)}$ in small dimensions over small, positive characteristics, and on rigidity of maps from $\mathrm{SAut}(F_n)$ to finite groups of Lie type and algebraic groups in characteristic $2$. △ Less

Submitted 23 January, 2019; v1 submitted 8 May, 2017; originally announced May 2017.

Comments: 42 pages, 1 figure; v2: Final version, to appear in Proc. Lond. Math. Soc

MSC Class: 20F65; 20E32

Outer actions of $\mathrm{Out}(F_n)$ on small right-angled Artin groups

Authors: Dawid Kielak

Abstract: We determine the precise conditions under which $\mathrm{SOut}(F_n)$, the unique index two subgroup of $\mathrm{Out}(F_n)$, can act non-trivially via outer automorphisms on a RAAG whose defining graph has fewer than $\frac 1 2 \binom n 2 $ vertices. We also show that the outer automorphism group of a RAAG cannot act faithfully via outer automorphisms on a RAAG with a strictly smaller (in number… ▽ More We determine the precise conditions under which $\mathrm{SOut}(F_n)$, the unique index two subgroup of $\mathrm{Out}(F_n)$, can act non-trivially via outer automorphisms on a RAAG whose defining graph has fewer than $\frac 1 2 \binom n 2 $ vertices. We also show that the outer automorphism group of a RAAG cannot act faithfully via outer automorphisms on a RAAG with a strictly smaller (in number of vertices) defining graph. Along the way we determine the minimal dimensions of non-trivial linear representations of congruence quotients of the integral special linear groups over algebraically closed fields of characteristic zero, and provide a new lower bound on the cardinality of a set on which $\mathrm{SOut}(F_n)$ can act non-trivially. △ Less

Submitted 30 January, 2018; v1 submitted 24 July, 2016; originally announced July 2016.

Comments: 16 pages v.2 Minor changes. Final version

MSC Class: 20F65

Journal ref: Algebr. Geom. Topol. 18 (2018) 1041-1065

Amenability of groups is characterized by Myhill's Theorem

Authors: Laurent Bartholdi, Dawid Kielak

Abstract: We prove a converse to Myhill's "Garden-of-Eden" theorem and obtain in this manner a characterization of amenability in terms of cellular automata: "A group $G$ is amenable if and only if every cellular automaton with carrier $G$ that has gardens of Eden also has mutually erasable patterns." This answers a question by Schupp, and solves a conjecture by Ceccherini-Silberstein, Machì and Scarabott… ▽ More We prove a converse to Myhill's "Garden-of-Eden" theorem and obtain in this manner a characterization of amenability in terms of cellular automata: "A group $G$ is amenable if and only if every cellular automaton with carrier $G$ that has gardens of Eden also has mutually erasable patterns." This answers a question by Schupp, and solves a conjecture by Ceccherini-Silberstein, Machì and Scarabotti. An appendix by Dawid Kielak proves that group rings without zero divisors are Ore domains precisely when the group is amenable, answering a conjecture attributed to Guba. △ Less

Submitted 7 June, 2016; v1 submitted 30 May, 2016; originally announced May 2016.

Comments: 2nd version including results on Ore domains

Alexander and Thurston norms, and the Bieri-Neumann-Strebel invariants for free-by-cyclic groups

Authors: Florian Funke, Dawid Kielak

Abstract: We investigate Friedl-Lück's universal $L^2$-torsion for descending HNN extensions of finitely generated free groups, and so in particular for $F_n$-by-$\mathbb{Z}$ groups. This invariant induces a semi-norm on the first cohomology of the group which is an analogue of the Thurston norm for $3$-manifold groups. We prove that this Thurston semi-norm is an upper bound for the Alexander semi-norm defi… ▽ More We investigate Friedl-Lück's universal $L^2$-torsion for descending HNN extensions of finitely generated free groups, and so in particular for $F_n$-by-$\mathbb{Z}$ groups. This invariant induces a semi-norm on the first cohomology of the group which is an analogue of the Thurston norm for $3$-manifold groups. We prove that this Thurston semi-norm is an upper bound for the Alexander semi-norm defined by McMullen, as well as for the higher Alexander semi-norms defined by Harvey. The same inequalities are known to hold for $3$-manifold groups. We also prove that the Newton polytopes of the universal $L^2$-torsion of a descending HNN extension of $F_2$ locally determine the Bieri-Neumann-Strebel invariant of the group. We give an explicit means of computing the BNS invariant for such groups. As a corollary, we prove that the Bieri-Neumann-Strebel invariant of a descending HNN extension of $F_2$ has finitely many connected components. When the HNN extension is taken over $F_n$ along a polynomially growing automorphism with unipotent image in $GL(n, \mathbb{Z})$, we show that the Newton polytope of the universal $L^2$-torsion and the BNS invariant completely determine one another. We also show that in this case the Alexander norm, its higher incarnations, and the Thurston norm all coincide. △ Less

Submitted 29 January, 2018; v1 submitted 29 May, 2016; originally announced May 2016.

Comments: 36 pages; to appear in Geometry & Topology

MSC Class: 20F65; 20E06; 16S85

Journal ref: Geom. Topol. 22 (2018) 2647-2696

Nielsen Realisation by Gluing: Limit Groups and Free Products

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a free product of Guirardel--Levitt, as well as a relative version of the Nielsen re… ▽ More We generalise the Karrass-Pietrowski-Solitar and the Nielsen realisation theorems from the setting of free groups to that of free products. As a result, we obtain a fixed point theorem for finite groups of outer automorphisms acting on the relative free splitting complex of Handel--Mosher and on the outer space of a free product of Guirardel--Levitt, as well as a relative version of the Nielsen realisation theorem, which in the case of free groups answers a question of Karen Vogtmann. We also prove Nielsen realisation for limit groups, and as a byproduct obtain a new proof that limit groups are CAT($0$). The proofs rely on a new version of Stallings' theorem on groups with at least two ends, in which some control over the behaviour of virtual free factors is gained. △ Less

Submitted 14 February, 2018; v1 submitted 10 January, 2016; originally announced January 2016.

Comments: 28 pages, 1 figure

MSC Class: 20F65; 20E06

Journal ref: Michigan Journal of Mathematics, Vol. 67, Issue 1, 2018, pp. 199--223

Nielsen realisation for untwisted automorphisms of right-angled Artin groups

Authors: Sebastian Hensel, Dawid Kielak

Abstract: We prove Nielsen realisation for finite subgroups of the groups of untwisted outer automorphisms of RAAGs in the following sense: given any graph $Γ$, and any finite group $G\leqslant \mathrm{U}^0(A_Γ) \leqslant \mathrm{Out}^0(A_Γ)$, we find a non-positively curved cube complex with fundamental group $A_Γ$ on which $G$ acts by isometries, realising the action on $A_Γ$. We prove Nielsen realisation for finite subgroups of the groups of untwisted outer automorphisms of RAAGs in the following sense: given any graph $Γ$, and any finite group $G\leqslant \mathrm{U}^0(A_Γ) \leqslant \mathrm{Out}^0(A_Γ)$, we find a non-positively curved cube complex with fundamental group $A_Γ$ on which $G$ acts by isometries, realising the action on $A_Γ$. △ Less

Submitted 15 July, 2016; v1 submitted 7 October, 2014; originally announced October 2014.

Comments: 60 pages, 3 figures; major rewrite. Extended results to all dimensions. The relative Nielsen realisation for free groups proved in the previous version is now contained in a separate paper (arXiv:1601.02187)

Journal ref: Proceedings of the London Mathematical Society, Vol. 117, Issue 5, 2018, pp. 901--950

The 6-strand braid group is CAT(0)

Authors: Thomas Haettel, Dawid Kielak, Petra Schwer

Abstract: We show that braid groups with at most 6 strands are CAT(0) using the close connection between these groups, the associated non-crossing partition complexes and the embeddability of their diagonal links into spherical buildings of type A. Furthermore, we prove that the orthoscheme complex of any bounded graded modular complemented lattice is CAT(0), giving a partial answer to a conjecture of Brady… ▽ More We show that braid groups with at most 6 strands are CAT(0) using the close connection between these groups, the associated non-crossing partition complexes and the embeddability of their diagonal links into spherical buildings of type A. Furthermore, we prove that the orthoscheme complex of any bounded graded modular complemented lattice is CAT(0), giving a partial answer to a conjecture of Brady and McCammond. △ Less

Submitted 5 January, 2016; v1 submitted 22 April, 2013; originally announced April 2013.

Comments: 27 pages, 13 figures. To appear in Geometriae Dedicata, the final publication is available at Springer via http://dx.doi.org/10.1007/s10711-015-0138-9

MSC Class: 20F36; 51M20; 06A11; 06C20; 05A18

Journal ref: Geom Dedicata (2016) 182: 263

Groups with infinitely many ends are not fraction groups

Authors: Dawid Kielak

Abstract: We show that any finitely generated group $F$ with infinitely many ends is not a group of fractions of any finitely generated proper subsemigroup $P$, that is $F$ cannot be expressed as a product $P P^{-1}$. In particular this solves a conjecture of Navas in the positive. As a corollary we obtain a new proof of the fact that finitely generated free groups do not admit isolated left-invariant order… ▽ More We show that any finitely generated group $F$ with infinitely many ends is not a group of fractions of any finitely generated proper subsemigroup $P$, that is $F$ cannot be expressed as a product $P P^{-1}$. In particular this solves a conjecture of Navas in the positive. As a corollary we obtain a new proof of the fact that finitely generated free groups do not admit isolated left-invariant orderings. △ Less

Submitted 5 June, 2015; v1 submitted 7 March, 2013; originally announced March 2013.

Comments: Rewritten to accommodate referees comments. Identical to the published version

MSC Class: 20F65; 20F60; 20E05; 20E06

Journal ref: Groups Geom. Dyn. 9 (2015), 317-323

Low dimensional free and linear representations of $\mathrm{Out}(F_3)$

Authors: Dawid Kielak

Abstract: We study homomorphisms from $\mathrm{Out}(F_3)$ to $\mathrm{Out}(F_5)$, and $\mathrm{GL}(m,K)$ for $m < 7$, where $K$ is a field of characteristic other than 2 or 3. We conclude that all $K$-linear representations of dimension at most 6 of $\mathrm{Out}(F_3)$ factor through $\mathrm{GL}(3,Z)$, and that all homomorphisms from $\mathrm{Out}(F_3)$ to $\mathrm{Out}(F_5)$ have finite image. We study homomorphisms from $\mathrm{Out}(F_3)$ to $\mathrm{Out}(F_5)$, and $\mathrm{GL}(m,K)$ for $m < 7$, where $K$ is a field of characteristic other than 2 or 3. We conclude that all $K$-linear representations of dimension at most 6 of $\mathrm{Out}(F_3)$ factor through $\mathrm{GL}(3,Z)$, and that all homomorphisms from $\mathrm{Out}(F_3)$ to $\mathrm{Out}(F_5)$ have finite image. △ Less

Submitted 5 January, 2016; v1 submitted 4 February, 2012; originally announced February 2012.

Comments: Final version

MSC Class: 20F65

Journal ref: Journal of Group Theory. Volume 18, Issue 6 (2015), Pages 913--949

Outer automorphism groups of free groups: linear and free representations

Authors: Dawid Kielak

Abstract: We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides an answer to a question of Bogopol'skii and Puga. In the course of the argument linear representations of Out(F_n) in dimension less than n(n+1)/2 over fields o… ▽ More We study the existence of homomorphisms between Out(F_n) and Out(F_m) for n > 5 and m < n(n-1)/2, and conclude that if m is not equal to n then each such homomorphism factors through the finite group of order 2. In particular this provides an answer to a question of Bogopol'skii and Puga. In the course of the argument linear representations of Out(F_n) in dimension less than n(n+1)/2 over fields of characteristic zero are completely classified. It is shown that each such representation has to factor through the natural projection from Out(F_n) to GL(n,Z) coming from the action of Out(F_n) on the abelianisation of F_n. We obtain similar results about linear representation theory of Out(F_4) and Out(F_5). △ Less

Submitted 1 November, 2012; v1 submitted 8 March, 2011; originally announced March 2011.

Comments: Final version. To appear in JLMS

MSC Class: 20F65 (Primary); 20F28; 57M60; 20C15 (Secondary)

Journal ref: J. London Math. Soc. (2013) 87, 917-942