Showing 1–29 of 29 results for author: Kochloukova, D H

Finiteness properties of algebraic fibers of group extensions

Authors: Dessislava H. Kochloukova, Stefano Vidussi

Abstract: This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$ groups. We also discuss some applications of these results to (higher) coherence. This survey describes some recent work, by the authors and others, on the existence of algebraic fibrations of group extensions, as well as the finiteness properties of their algebraic fibers, in the realm of both abstract and pro-$p$ groups. We also discuss some applications of these results to (higher) coherence. △ Less

Submitted 1 April, 2024; originally announced April 2024.

Comments: With an Appendix by Marco Boggi. Submitted to the Proceedings of the AMS Special Session on Singer-Hopf Conjecture in Geometry and Topology, edited by: Luca F. Di Cerbo and Laurentiu G. Maxim

The Fibonacci Lie algebra is not finitely presented

Authors: Dessislava H. Kochloukova, Victor Petrogradsky

Abstract: We prove that the Fibonacci Lie algebra and the related just infinite self-similar Lie algebra are not finitely presented. We prove that the Fibonacci Lie algebra and the related just infinite self-similar Lie algebra are not finitely presented. △ Less

Submitted 25 February, 2024; originally announced February 2024.

MSC Class: 16S32; 16E40; 17B50; 17B65; 17B66; 17B70

Higher dimensional algebraic fiberings for pro-$p$ groups

Authors: Dessislava H. Kochloukova

Abstract: We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes Γ$ is a pro-$p$ group, $Γ$ a finitely generated free pro-$p$ group with $d(Γ) \geq 2$, $K$ a finitely presented pro-$p$ group with $N$ a normal pro-$p$ subgroup of $K$ such that $K/ N \simeq \mathbb{Z}_p$ a… ▽ More We prove some conditions for higher dimensional algebraic fibering of pro-$p$ group extensions and we establish corollaries about incoherence of pro-$p$ groups. In particular, if $G = K \rtimes Γ$ is a pro-$p$ group, $Γ$ a finitely generated free pro-$p$ group with $d(Γ) \geq 2$, $K$ a finitely presented pro-$p$ group with $N$ a normal pro-$p$ subgroup of $K$ such that $K/ N \simeq \mathbb{Z}_p$ and $N$ not finitely generated as a pro-$p$ group, then $G$ is incoherent (in the category of pro-$p$ groups). Furthermore we show that if $K$ is a free pro-$p$ group with $d(K) = 2$ then either $Aut_0(K)$ is incoherent (in the category of pro-$p$ groups) or there is a finitely presented pro-$p$ group, without non-procyclic free pro-$p$ subgroups, that has a metabelian pro-$p$ quotient that is not finitely presented i.e. a pro-$p$ version of a result of Bieri-Strebel does not hold. △ Less

Submitted 15 May, 2022; originally announced May 2022.

Pro-$p$ completions of $PD_n$-groups

Authors: Jonathan Hillman, Dessislava H. Kochloukova

Abstract: We sharpen earlier work on the pro-$p$ completions of orientable $PD_3$-groups. There are four cases, and we give examples of aspherical 3-manifolds representing each case. In three of the four cases the new results are best possible. We also consider the pro-$p$ completion of some orientable $PD_n$ groups for $n \leq 5$, including surface-by-surface groups. We sharpen earlier work on the pro-$p$ completions of orientable $PD_3$-groups. There are four cases, and we give examples of aspherical 3-manifolds representing each case. In three of the four cases the new results are best possible. We also consider the pro-$p$ completion of some orientable $PD_n$ groups for $n \leq 5$, including surface-by-surface groups. △ Less

Submitted 12 May, 2022; originally announced May 2022.

Comments: Some of the results of the final section are based on arXiv 1305.3953 [math.GT]

Higher dimensional algebraic fiberings of group extensions

Authors: Dessislava H. Kochloukova, Stefano Vidussi

Abstract: We prove some conditions for the existence of higher dimensional algebraic fibering of group extensions. This leads to various corollaries on incoherence of groups and some geometric examples of algebraic fibers of type $F_n$ but not $FP_{n+1}$ of some groups including pure braid groups and families of poly-surface groups that are fundamental groups of complex projective varieties. We prove some conditions for the existence of higher dimensional algebraic fibering of group extensions. This leads to various corollaries on incoherence of groups and some geometric examples of algebraic fibers of type $F_n$ but not $FP_{n+1}$ of some groups including pure braid groups and families of poly-surface groups that are fundamental groups of complex projective varieties. △ Less

Submitted 18 May, 2023; v1 submitted 10 May, 2022; originally announced May 2022.

Comments: Minor revision with some change in notation and typos fixed. To appear in J. Lond. Math. Soc

Journal ref: J. London Math. Soc. 108 (2023) 978-1003

Weak commutativity, virtually nilpotent groups, and Dehn functions

Authors: Martin R. Bridson, Dessislava H. Kochloukova

Abstract: The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of… ▽ More The group $\mathfrak{X}(G)$ is obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. We make significant additions to the list of properties that the functor $\mathfrak{X}$ is known to preserve. We also investigate the geometry and complexity of the word problem for $\mathfrak{X}(G)$. Subtle features of $\mathfrak{X}$ are encoded in a normal abelian subgroup $W<\mathfrak{X}(G)$ that is a module over $\mathbb{Z} Q$, where $Q= H_1(G,\mathbb{Z})$. We establish a structural result for this module and illustrate its utility by proving that $\mathfrak{X}$ preserves virtual nilpotence, the Engel condition, and growth type -- polynomial, exponential, or intermediate. We also use it to establish isoperimetric inequalities for $\mathfrak{X}(G)$ when $G$ lies in a class that includes Thompson's group $F$ and all non-fibered Kähler groups. The word problem is solvable in $\mathfrak{X}(G)$ if and only if it is solvable in $G$. The Dehn function of $\mathfrak{X}(G)$ is bounded below by a cubic polynomial if $G$ maps onto a non-abelian free group. △ Less

Submitted 20 August, 2023; v1 submitted 8 February, 2022; originally announced February 2022.

Comments: 25 pages, no figures. Final version. Accepted for publication in Commentarii Mathematici Helvetici

MSC Class: 20J05; 20E22 (20F10; 20F65; 20F18; 20F45)

On the Bieri-Neumann-Strebel-Renz invariants and limit groups over Droms RAAGs

Authors: Dessislava H. Kochloukova, Jone Lopez de Gamiz Zearra

Abstract: For a group $G$ that is a limit group over Droms RAAGs such that $G$ has trivial center, we show that $Σ^1(G) = \emptyset = Σ^1(G, \mathbb{Q})$. For a group $H$ that is a finitely presented residually Droms RAAG we calculate $Σ^1(H)$ and $Σ^2(H)_{dis}$. In addition, we obtain a necessary condition for $[χ]$ to belong to $Σ^n(H)$. For a group $G$ that is a limit group over Droms RAAGs such that $G$ has trivial center, we show that $Σ^1(G) = \emptyset = Σ^1(G, \mathbb{Q})$. For a group $H$ that is a finitely presented residually Droms RAAG we calculate $Σ^1(H)$ and $Σ^2(H)_{dis}$. In addition, we obtain a necessary condition for $[χ]$ to belong to $Σ^n(H)$. △ Less

Submitted 14 June, 2021; originally announced June 2021.

On subdirect products of type $FP_n$ of limit groups over Droms RAAGs

Authors: Dessislava H. Kochloukova, Jone Lopez de Gamiz Zearra

Abstract: We generalize some known results for limit groups over free groups and residually free groups to limit groups over Droms RAAGs and residually Droms RAAGs, respectively. We show that limit groups over Droms RAAGs are free-by-(torsion-free nilpotent). We prove that if $S$ is a full subdirect product of type $FP_s(\mathbb{Q})$ of limit groups over Droms RAAGs with trivial center, then the projection… ▽ More We generalize some known results for limit groups over free groups and residually free groups to limit groups over Droms RAAGs and residually Droms RAAGs, respectively. We show that limit groups over Droms RAAGs are free-by-(torsion-free nilpotent). We prove that if $S$ is a full subdirect product of type $FP_s(\mathbb{Q})$ of limit groups over Droms RAAGs with trivial center, then the projection of $S$ to the direct product of any $s$ of the limit groups over Droms RAAGs has finite index. Moreover, we compute the growth of homology groups and the volume gradients for limit groups over Droms RAAGs in any dimension and for finitely presented residually Droms RAAGs of type $FP_m$ in dimensions up to $m$. In particular, this gives the values of the analytic $L^2$-Betti numbers of these groups in the respective dimensions. △ Less

Submitted 2 September, 2023; v1 submitted 30 April, 2021; originally announced April 2021.

Comments: Accepted in Math. Proc. Cambridge Philos. Soc

Bass-Serre theory for Lie algebras: a homological approach

Authors: Dessislava H. Kochloukova, Conchita Martínez-Pérez

Abstract: We develop a version of the Bass-Serre theory for Lie algebras (over a field $k$) via a homological approach. We define the notion of fundamental Lie algebra of a graph of Lie algebras and show that this construction yields Mayer-Vietoris sequences. We extend some well known results in group theory to $\mathbb{N}$-graded Lie algebras: for example, we show that one relator $\mathbb{N}$-graded Lie a… ▽ More We develop a version of the Bass-Serre theory for Lie algebras (over a field $k$) via a homological approach. We define the notion of fundamental Lie algebra of a graph of Lie algebras and show that this construction yields Mayer-Vietoris sequences. We extend some well known results in group theory to $\mathbb{N}$-graded Lie algebras: for example, we show that one relator $\mathbb{N}$-graded Lie algebras are iterated HNN extensions with free bases which can be used for cohomology computations and apply the Mayer-Vietoris sequence to give some results about coherence of Lie algebras. △ Less

Submitted 5 January, 2021; originally announced January 2021.

Comments: 27 pages

MSC Class: 17B55; 20J05

On the Bieri-Neumann-Strebel-Renz invariants of the weak commutativity construction $\X(G)$

Authors: Dessislava H. Kochloukova

Abstract: For a finitely generated group $G$ we calculate the Bieri-Neumann-Strebel-Renz invariant $Σ^1(\X(G))$ for the weak commutativity construction $\X(G)$. Identifying $S(\X(G))$ with $S(\X(G) / W(G))$ we show $Σ^2(\X(G),\Z) \subseteq Σ^2(\X(G)/ W(G),\Z)$ and $Σ^2(\X(G)) \subseteq $ $ Σ^2(\X(G)/ W(G))$ that are equalities when $W(G)$ is finitely generated and we explicitly calculate… ▽ More For a finitely generated group $G$ we calculate the Bieri-Neumann-Strebel-Renz invariant $Σ^1(\X(G))$ for the weak commutativity construction $\X(G)$. Identifying $S(\X(G))$ with $S(\X(G) / W(G))$ we show $Σ^2(\X(G),\Z) \subseteq Σ^2(\X(G)/ W(G),\Z)$ and $Σ^2(\X(G)) \subseteq $ $ Σ^2(\X(G)/ W(G))$ that are equalities when $W(G)$ is finitely generated and we explicitly calculate $Σ^2(\X(G)/ W(G),\Z)$ and $ Σ^2(\X(G)/ W(G))$ in terms of the $Σ$-invariants of $G$. We calculate completely the $Σ$-invariants in dimensions 1 and 2 of the group $ν(G)$ and show that if $G$ is finitely generated group with finitely presented commutator subgroup then the non-abelian tensor square $G \otimes G$ is finitely presented. △ Less

Submitted 25 October, 2020; originally announced October 2020.

On the Bieri-Neumann-Strebel-Renz $Σ$-invariants of the Bestvina-Brady groups

Authors: Dessislava H. Kochloukova, Luis Mendonça

Abstract: We study the Bieri-Neumann-Strebel-Renz invariants and we prove the following criterion: for groups $H$ and $K$ of type $FP_n$ such that $[H,H] \subseteq K \subseteq H$ and a character $χ: K \to \mathbb{R}$ with $χ([H,H]) = 0$ we have $[χ] \in Σ^n(K, \mathbb{Z})$ if and only if $[μ] \in Σ^n(H, \mathbb{Z})$ for every character $μ: H \to \mathbb{R}$ that extends $χ$. The same holds for the homotopic… ▽ More We study the Bieri-Neumann-Strebel-Renz invariants and we prove the following criterion: for groups $H$ and $K$ of type $FP_n$ such that $[H,H] \subseteq K \subseteq H$ and a character $χ: K \to \mathbb{R}$ with $χ([H,H]) = 0$ we have $[χ] \in Σ^n(K, \mathbb{Z})$ if and only if $[μ] \in Σ^n(H, \mathbb{Z})$ for every character $μ: H \to \mathbb{R}$ that extends $χ$. The same holds for the homotopical invariants $Σ^n(-)$ when $K$ and $H$ are groups of type $F_n$. We use these criteria to complete the description of the $Σ$-invariants of the Bieri-Stallings groups $G_m$ and more generally to describe the $Σ$-invariants of the Bestvina-Brady groups. We also show that the "only if" direction of such criterion holds if we assume only that $K$ is a subnormal subgroup of $H$, where both groups are of type $FP_n$. We apply this last result to wreath products. △ Less

Submitted 7 October, 2020; originally announced October 2020.

On the Bieri-Neumann-Strebel-Renz $Σ^1$-invariant of even Artin groups

Authors: Dessislava H. Kochloukova

Abstract: We calculate the Bieri-Neumann-Strebel-Renz invariant $Σ^1(G)$ for even Artin groups $G$ with underlying graph $Γ$ such that if there is a closed reduced path in $Γ$ with all labels bigger than 2 then the length of such path is always odd. We show that $Σ^1(G)^c$ is a rationally defined spherical polyhedron. We calculate the Bieri-Neumann-Strebel-Renz invariant $Σ^1(G)$ for even Artin groups $G$ with underlying graph $Γ$ such that if there is a closed reduced path in $Γ$ with all labels bigger than 2 then the length of such path is always odd. We show that $Σ^1(G)^c$ is a rationally defined spherical polyhedron. △ Less

Submitted 29 September, 2020; originally announced September 2020.

Journal ref: Pacific J. Math. 312 (2021) 149-169

Homology and cohomology via the partial group algebra

Authors: Marcelo Muniz Alves, Mikhailo Dokuchaev, Dessislava H. Kochloukova

Abstract: We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible (resp. indecomposable) $\mathbb{K}_{par}G$-module with the ordinary homology and cohomology groups of $G$ with in general non-trivial coefficients. Furthermore, we… ▽ More We study partial homology and cohomology from ring theoretic point of view via the partial group algebra $\mathbb{K}_{par}G$. In particular, we link the partial homology and cohomology of a group $G$ with coefficients in an irreducible (resp. indecomposable) $\mathbb{K}_{par}G$-module with the ordinary homology and cohomology groups of $G$ with in general non-trivial coefficients. Furthermore, we compare the standard cohomological dimension $cd_{ \ \mathbb{K}}(G)$ (over a field $\mathbb{K}$) with the partial cohomological dimension $cd_{ \ \mathbb{K}}^{par}(G)$ (over $\mathbb{K}$) and show that $cd_{ \ \mathbb{K}}^{par}(G) \geq cd_{ \ \mathbb{K}}(G)$ and that there is equality for $G = \mathbb{Z}$. △ Less

Submitted 9 November, 2023; v1 submitted 17 June, 2020; originally announced June 2020.

Comments: The statement of Corollary C was changed and Section 6 was basically rewritten as several of the results there were not correct. Section 7 was removed. Some other small changes were made through the text

MSC Class: Primary 20J05; Secondary 16E30; 20J06

Coabelian ideals in $\mathbb{N}$-graded Lie algebras and applications to right angled Artin Lie algebras

Authors: Dessislava H. Kochloukova, Conchita Martínez-Pérez

Abstract: We consider homological finiteness properties $FP_n$ of certain $\mathbb{N}$-graded Lie algebras. After proving some general results, see Theorem A, Corollary B and Corollary C, we concentrate on a family that can be considered as the Lie algebra version of the generalized Bestvina-Brady groups associated to a graph $Γ$. We prove that the homological finiteness properties of these Lie algebras can… ▽ More We consider homological finiteness properties $FP_n$ of certain $\mathbb{N}$-graded Lie algebras. After proving some general results, see Theorem A, Corollary B and Corollary C, we concentrate on a family that can be considered as the Lie algebra version of the generalized Bestvina-Brady groups associated to a graph $Γ$. We prove that the homological finiteness properties of these Lie algebras can be determined in terms of the graph in the same way as in the group case. In the last version we have corrected some missprints, in particular the statement of Theorem D (from $n-1$-acyclicity to $n-1 - |w|$-acyclicity). △ Less

Submitted 30 December, 2022; v1 submitted 4 June, 2020; originally announced June 2020.

Comments: 22 pages

MSC Class: 16S30; 20J05

Weak commutativity for pro-$p$ groups

Authors: Dessislava H. Kochloukova, Luís Mendonça

Abstract: We define and study a pro-$p$ version of Sidki's weak commutativity construction. This is the pro-$p$ group $\mathfrak{X}_p(G)$ generated by two copies $G$ and $G^ψ$ of a pro-$p$ group, subject to the defining relators $[g,g^ψ]$ for all $g \in G$. We show for instance that if $G$ is finitely presented or analytic pro-$p$, then $\mathfrak{X}_p(G)$ has the same property. Furthermore we study propert… ▽ More We define and study a pro-$p$ version of Sidki's weak commutativity construction. This is the pro-$p$ group $\mathfrak{X}_p(G)$ generated by two copies $G$ and $G^ψ$ of a pro-$p$ group, subject to the defining relators $[g,g^ψ]$ for all $g \in G$. We show for instance that if $G$ is finitely presented or analytic pro-$p$, then $\mathfrak{X}_p(G)$ has the same property. Furthermore we study properties of the non-abelian tensor product and the pro-$p$ version of Rocco's construction $ν(H)$. We also study finiteness properties of subdirect products of pro-$p$ groups. In particular we prove a pro-$p$ version of the $(n-1)-n-(n+1)$ Theorem. △ Less

Submitted 30 October, 2019; originally announced October 2019.

On Self-Similar Lie Algebras and Virtual Endomorphisms

Authors: Vyacheslav Futorny, Dessislava H. Kochloukova, Said N. Sidki

Abstract: We introduce the notion of virtual endomorphisms of Lie algebras and use it as an approach for constructing self-similarity of Lie algebras. This is done in particular for a class of metabelian Lie algebras having homological type F Pn, which are variants of lamp-lighter groups. We establish several criteria when the existence of virtual endomorphism implies a self-similar Lie structure. Furthermo… ▽ More We introduce the notion of virtual endomorphisms of Lie algebras and use it as an approach for constructing self-similarity of Lie algebras. This is done in particular for a class of metabelian Lie algebras having homological type F Pn, which are variants of lamp-lighter groups. We establish several criteria when the existence of virtual endomorphism implies a self-similar Lie structure. Furthermore, we prove that the classical Lie algebra sln(k), where char(k) does not divide n affords non-trivial faithful self-similarity. △ Less

Submitted 9 January, 2018; originally announced January 2018.

Self-similar groups of type FP_{n}

Authors: Dessislava H. Kochloukova, Said N. Sidki

Abstract: We construct new classes of self-similar groups : S-aritmetic groups, affine groups and metabelian groups. Most of the soluble ones are finitely presented and of type FP_{n} for appropriate n. We construct new classes of self-similar groups : S-aritmetic groups, affine groups and metabelian groups. Most of the soluble ones are finitely presented and of type FP_{n} for appropriate n. △ Less

Submitted 12 October, 2017; originally announced October 2017.

Weak commutativity and finiteness properties of groups

Authors: Martin R Bridson, Dessislava H Kochloukova

Abstract: We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from this construction: $\mathfrak{X}(G)$ is finitely presented if and only if $G$ is finitely presented, but if $F$ is a non-abelian free group of finite rank then… ▽ More We consider the group $\mathfrak{X}(G)$ obtained from $G\ast G$ by forcing each element $g$ in the first free factor to commute with the copy of $g$ in the second free factor. Deceptively complicated finitely presented groups arise from this construction: $\mathfrak{X}(G)$ is finitely presented if and only if $G$ is finitely presented, but if $F$ is a non-abelian free group of finite rank then $\mathfrak{X}(F)$ has a subgroup of finite index whose third homology is not finitely generated. △ Less

Submitted 30 October, 2018; v1 submitted 21 June, 2017; originally announced June 2017.

Comments: 12 pages, 2 figures. Final version to appear in Bulletin of the London Math Soc

MSC Class: Primary 20F05; Secondary 20J05; 20E06

Subdirect sums of Lie algebras

Authors: Dessislava H. Kochloukova, Conchita Martínez-Pérez

Abstract: We show Lie algebra versions of some results on homological finiteness properties of subdirect products of groups, including a version of the 1-2-3 Theorem. We show Lie algebra versions of some results on homological finiteness properties of subdirect products of groups, including a version of the 1-2-3 Theorem. △ Less

Submitted 2 November, 2017; v1 submitted 11 November, 2016; originally announced November 2016.

Homological finiteness properties of fibre products

Authors: Dessislava H. Kochloukova, Francismar Ferreira Lima

Abstract: We study the homological finiteness property FPn of fibre products We study the homological finiteness property FPn of fibre products △ Less

Submitted 11 November, 2016; originally announced November 2016.

The torsion-free rank of homology in towers of soluble pro-p groups

Authors: Martin R Bridson, Dessislava H. Kochloukova

Abstract: We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$ subgroups of finite index in $G$. We show that for every finitely presented pro-$p$ nilpotent-by-abelian-by-finite group $G$ there is an upper bound on $\dim_{\mathbb{Q}_p} (H_1(M, \mathbb{Z}_p) \otimes_{\mathbb{Z}_p} \mathbb{Q}_p )$, as $M$ runs through all pro-$p$ subgroups of finite index in $G$. △ Less

Submitted 13 April, 2016; originally announced April 2016.

Comments: Final accepted version. To appear in the Israel Journal of Mathematics

MSC Class: 20J05 (20E18)

The virtual first Betti number of soluble groups

Authors: Martin R. Bridson, Dessislava H. Kochloukova

Abstract: We show that if a group G is finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound on the first betti number of M as M runs through all subgroups of finite index in G. We show that if a group G is finitely presented and nilpotent-by-abelian-by-finite, then there is an upper bound on the first betti number of M as M runs through all subgroups of finite index in G. △ Less

Submitted 21 September, 2014; originally announced September 2014.

Comments: 11 pages, no figures. To appear in Pacific Journal of Math

MSC Class: 20F16; 20J05

Volume gradients and homology in towers of residually-free groups

Authors: Martin R Bridson, Dessislava H. Kochloukova

Abstract: We study the asymptotic growth of homology groups and the cellular volume of classifying spaces as one passes to normal subgroups $G_n<G$ of increasing finite index in a fixed finitely generated group $G$, assuming $\bigcap_n G_n =1$. We focus in particular on finitely presented residually free groups, calculating their $\ell_2$ betti numbers, rank gradient and asymptotic deficiency. If $G$ is a… ▽ More We study the asymptotic growth of homology groups and the cellular volume of classifying spaces as one passes to normal subgroups $G_n<G$ of increasing finite index in a fixed finitely generated group $G$, assuming $\bigcap_n G_n =1$. We focus in particular on finitely presented residually free groups, calculating their $\ell_2$ betti numbers, rank gradient and asymptotic deficiency. If $G$ is a limit group and $K$ is any field, then for all $j\ge 1$ the limit of $\dim H_j(G_n,K)/[G,G_n]$ as $n\to\infty$ exists and is zero except for $j=1$, where it equals $-χ(G)$. We prove a homotopical version of this theorem in which the dimension of $\dim H_j(G_n,K)$ is replaced by the minimal number of $j$-cells in a $K(G_n,1)$; this includes a calculation of the rank gradient and the asymptotic deficiency of $G$. Both the homological and homotopical versions are special cases of general results about the fundamental groups of graphs of {\em{slow}} groups. We prove that if a residually free group $G$ is of type $\rm{FP}_m$ but not of type $\rm{FP}_{\infty}$, then there exists an exhausting filtration by normal subgroups of finite index $G_n$ so that $\lim_n \dim H_j (G_n, K) / [G : G_n] = 0 \hbox{for} j \leq m$. If $G$ is of type $\rm{FP}_{\infty}$, then the limit exists in all dimensions and we calculate it. △ Less

Submitted 13 April, 2016; v1 submitted 7 September, 2013; originally announced September 2013.

Comments: Final accepted version. To appear in Math Ann

Sigma theory for Bredon modules

Authors: Dessislava H. Kochloukova, Conchita Martínez-Pérez

Abstract: We develop new invariants similar to the Bieri-Strebel-Neumann-Renz invariants but in the category of Bredon modules (with respect to the class of the finite subgroups of G). We prove that for virtually soluble groups of type FP_{\infty} and finite extension of the Thompson group F the new invariants coincide with the classical ones. We develop new invariants similar to the Bieri-Strebel-Neumann-Renz invariants but in the category of Bredon modules (with respect to the class of the finite subgroups of G). We prove that for virtually soluble groups of type FP_{\infty} and finite extension of the Thompson group F the new invariants coincide with the classical ones. △ Less

Submitted 4 February, 2013; originally announced February 2013.

MSC Class: 20J05

On pro-$p$ analogues of limit groups via extensions of centralizers

Authors: Dessislava H. Kochloukova, Pavel A. Zalesskii

Abstract: We begin a study of a pro-$p$ analogue of limit groups via extensions of centralizers and call $\mathcal{L}$ this new class of pro-$p$ groups. We show that the pro-$p$ groups of $\mathcal{L}$ have finite cohomological dimension, type $FP_{\infty}$ and non-positive Euler characteristic. Among the group theoretic properties it is proved that they are free-by-(torsion-free poly -procyclic) and if non… ▽ More We begin a study of a pro-$p$ analogue of limit groups via extensions of centralizers and call $\mathcal{L}$ this new class of pro-$p$ groups. We show that the pro-$p$ groups of $\mathcal{L}$ have finite cohomological dimension, type $FP_{\infty}$ and non-positive Euler characteristic. Among the group theoretic properties it is proved that they are free-by-(torsion-free poly -procyclic) and if non-abelian do not have a finitely generated non-trivial normal subgroup of infinite index. Furthermore it is shown that every 2 generated pro-$p$ group in the class $\mathcal{L}$ is either free pro-$p$ or abelian. △ Less

Submitted 12 July, 2011; originally announced July 2011.

Comments: This is a correted version of the paper published in Math. Z. 267 (2011), no. 1-2, 109-128. The difference is Section 4, where we show that the proof of Theorem 4.1 of the published version proves that a pro-p limit group is free-by-(torsion free polyprocyclic). It does not however proves that a pro-p limit group is free-by-(torsion free finitely generated nilpotent)

Journal ref: Math. Z. 267 (2011), no. 1-2, 109-128

Cohomological finiteness properties of the Brin-Thompson-Higman groups 2V and 3V

Authors: Dessislava H. Kochloukova, Conchita Martinez-Perez, Brita E. A. Nucinkis

Abstract: We show that Brin's generalisations $2V$ and $3V$ of the Thompson-Higman group $V$ are of type $FP_\infty$. Our methods also give a new proof that both groups are finitely presented. We show that Brin's generalisations $2V$ and $3V$ of the Thompson-Higman group $V$ are of type $FP_\infty$. Our methods also give a new proof that both groups are finitely presented. △ Less

Submitted 10 December, 2010; v1 submitted 23 September, 2010; originally announced September 2010.

Comments: 26 pages, 18 figures, revised version

MSC Class: 20J05

Fixed points of finite groups acting on generalised Thompson groups

Authors: D. H. Kochloukova, C. Martínez-Pérez, B. E. A. Nucinkis

Abstract: We study centralisers of finite order automorphisms of generalisations of Thompson's group F and conjugacy classes of finite subgroups in finite extensions of these groups. In particular, we show that centralisers of finite automorphisms in these generalised Thompson groups either admit a finite type classifying space or are not finitely generated. As an application we deduce results about the B… ▽ More We study centralisers of finite order automorphisms of generalisations of Thompson's group F and conjugacy classes of finite subgroups in finite extensions of these groups. In particular, we show that centralisers of finite automorphisms in these generalised Thompson groups either admit a finite type classifying space or are not finitely generated. As an application we deduce results about the Bredon type of such finite extensions. △ Less

Submitted 9 February, 2010; originally announced February 2010.

Comments: 20 pages

MSC Class: 20J05

Cohomological Finiteness Conditions in Bredon Cohomology

Authors: D. H. Kochloukova, C. Martinez-Perez, B. E. A. Nucinkis

Abstract: We show that any soluble group $G$ of type Bredon-$\FP_{\infty}$ with respect to the family of all virtually cyclic subgroups such that centralizers of infinite order elements are of type $\FP_{\infty}$ must be virtually cyclic. To prove this, we first reduce the problem to the case of polycyclic groups and then we show that a polycyclic-by-finite group with finitely many conjugacy classes of maxi… ▽ More We show that any soluble group $G$ of type Bredon-$\FP_{\infty}$ with respect to the family of all virtually cyclic subgroups such that centralizers of infinite order elements are of type $\FP_{\infty}$ must be virtually cyclic. To prove this, we first reduce the problem to the case of polycyclic groups and then we show that a polycyclic-by-finite group with finitely many conjugacy classes of maximal virtually cyclic subgroups is virtually cyclic. Finally we discuss refinements of this result: we only impose the property Bredon-$\FP_n$ for some $n \leq 3$ and restrict to abelian-by-nilpotent, abelian-by-polycyclic or (nilpotent of class 2)-by-abelian groups. △ Less

Submitted 16 April, 2018; v1 submitted 24 March, 2009; originally announced March 2009.

Comments: Corrected a mistake in Lemma 2.4 of the previous version, which had an effect on the results in Section 5 (the condition that all centralisers of infinite order elements are of type $FP_\infty$ was added)

MSC Class: 20J05

Centralisers of Finite Subgroups in Soluble Groups of Type FP_n

Authors: D. H. Kochloukova, C. Martinez-Perez, B. E. A. Nucinkis

Abstract: We show that for soluble groups of type FPn, centralisers of finite subgroups need not be of type FPn. We show that for soluble groups of type FPn, centralisers of finite subgroups need not be of type FPn. △ Less

Submitted 24 March, 2009; originally announced March 2009.

Comments: 14 pages

MSC Class: 20J05