-
arXiv:2102.11817 [pdf, ps, other]
Homology of even Artin kernels
Abstract: We explicitly compute the homology groups with coefficients in a field of characteristic zero of cocyclic subgroups or even Artin groups of FC-type. We also give some partial results in the case when the coefficients are taken in a field of prime characteristic.
Submitted 23 February, 2021; originally announced February 2021.
Comments: 18 pages, 2 figures. To appear in AGT
Journal ref: Algebr. Geom. Topol. 22 (2022) 349-372
-
arXiv:2101.01411 [pdf, ps, other]
Bass-Serre theory for Lie algebras: a homological approach
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
Submitted 5 January, 2021; originally announced January 2021.
Comments: 27 pages
MSC Class: 17B55; 20J05
-
arXiv:2011.07608 [pdf, ps, other]
On the Sigma invariants of even Artin groups of FC-type
Abstract: In this paper we study Sigma invariants of even Artin groups of FC-type, extending some known results for right-angled Artin groups. In particular, we define a condition that we call the strong homological $n$-link condition for a graph $Γ$ and prove that it gives a sufficient condition for a character $χ:A_Γ\to \mathbb{Z}$ to satisfy $[χ]\inΣ^n(A_Γ,\mathbb{Z})$. This implies that the kernel… ▽ More
Submitted 7 May, 2023; v1 submitted 15 November, 2020; originally announced November 2020.
Comments: 19 pages
MSC Class: 20J06; 20F36
-
arXiv:2006.02883 [pdf, ps, other]
Coabelian ideals in $\mathbb{N}$-graded Lie algebras and applications to right angled Artin Lie algebras
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
Submitted 30 December, 2022; v1 submitted 4 June, 2020; originally announced June 2020.
Comments: 22 pages
MSC Class: 16S30; 20J05
-
arXiv:1805.10052 [pdf, ps, other]
Homological Dimension of Solvable Groups
Abstract: In this paper we prove that the homological dimension of an elementary amenable group over an arbitrary commutative coefficient ring is either infinite or equal to the Hirsch length of the group. Established theory gives simple group theoretical criteria for finiteness of homological dimension and so we can infer complete information about this invariant for elementary amenable groups. Stammbach p… ▽ More
Submitted 25 February, 2019; v1 submitted 25 May, 2018; originally announced May 2018.
MSC Class: 20J05
-
Trees, homology, and automorphism groups of RAAGs
Abstract: We study the homology of an explicit finite-index subgroup of the automorphism group of a partially commutative group, in the case when its defining graph is a tree. More concretely, we give a lower bound on the first Betti number of this subgroup, based on the number and degree of a certain type of vertices, which we call deep. We then use combinatorial methods to analyze the average value of thi… ▽ More
Submitted 8 July, 2017; originally announced July 2017.
MSC Class: 20F65
-
arXiv:1705.05574 [pdf, ps, other]
Poly-freeness of even Artin groups of FC type
Abstract: We prove that even Artin groups of FC type are poly-free and residually finite.
Submitted 16 May, 2017; originally announced May 2017.
-
arXiv:1611.03938 [pdf, ps, other]
Subdirect sums of Lie algebras
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.
Submitted 2 November, 2017; v1 submitted 11 November, 2016; originally announced November 2016.
-
arXiv:1610.06503 [pdf, ps, other]
On the Conjugacy Problem in Certain Metabelian Groups
Abstract: Weanalyzethecomputationalcomplexityofanalgorithmtosolve the conjugacy search problem in a certain family of metabelian groups. We prove that in general the time complexity of the conjugacy search problem for these groups is at most exponential. For a subfamily of groups we prove that the conjugacy search problem is polynomial. We also show that for a different subfamily the conjugacy search proble… ▽ More
Submitted 22 December, 2017; v1 submitted 20 October, 2016; originally announced October 2016.
Journal ref: Glasgow Math. J. 61 (2019) 251-269
-
arXiv:1609.07058 [pdf, ps, other]
Presentations of generalisations of Thompson's group $V$
Abstract: We consider generalisations of Thompson's group $V$, denoted by $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. It was shown by the authors in [20] that under some mild conditions these groups and centralisers of their finite subgroups are of type $\mathrm{F}_\infty$. Under more general conditions we show that the groups $V_r(Σ)$ are finitely generated and, under the mild condit… ▽ More
Submitted 22 September, 2016; originally announced September 2016.
Comments: 24 pages, no figures
MSC Class: 20J05
Journal ref: Pacific J. Math. 296 (2018) 371-403
-
arXiv:1605.06145 [pdf, ps, other]
HNN extensions and stackable groups
Abstract: Stackability for finitely presented groups consists of a dynamical system that iteratively moves paths into a maximal tree in the Cayley graph. Combining with formal language theoretic restrictions yields auto- or algorithmic stackability, which implies solvability of the word problem. In this paper we give two new characterizations of the stackable property for groups, and use these to show that… ▽ More
Submitted 19 May, 2016; originally announced May 2016.
Comments: 34 pages
MSC Class: 20F65; 20F10; 20F16; 68Q42
-
arXiv:1605.00840 [pdf, ps, other]
Towards computing the rational homology and assembly maps of generalised Thompson groups
Abstract: Let $V_r(Σ)$ be the generalised Thompson group defined as the automorphism group of a valid, bounded, and complete Cantor algebra. We show that that for every $n>0$ there is a $k>n,$ such that there exists a $k$-dimensional $n$-connected simplicial complex $K$ such that $V_r(Σ)$ acts on $K$ with finite stabilisers. We also determine the number of conjugacy classes of finite cyclic subgroups of a g… ▽ More
Submitted 10 July, 2018; v1 submitted 3 May, 2016; originally announced May 2016.
Comments: 12 pages There was a mistake in a previous version of this preprint. We no longer compute the rational homology of generalized Brin-Higman-Thompson groups
-
On the first cohomology of automorphism groups of graph groups
Abstract: We study the (virtual) indicability of the automorphism group $Aut(A_Γ)$ of the right-angled Artin group $A_Γ$ associated to a simplicial graph $Γ$. First, we identify two conditions -- denoted (B1) and (B2) -- on $Γ$ which together imply that $H^1(G, Z)=0$ for certain finite-index subgroups $G<Aut(A_Γ)$. On the other hand we will show that (B2) is equivalent to the matrix group… ▽ More
Submitted 21 April, 2017; v1 submitted 28 April, 2015; originally announced April 2015.
Comments: v5: Fixes a mistake in the proof of Theorem 1.6, by considering a slightly smaller subgroup. The result (virtual surjection to Z) remains unchanged
-
arXiv:1504.02607 [pdf, ps, other]
Geometric dimension of lattices in classical simple Lie groups
Abstract: We prove that if $Γ$ is a lattice in a classical simple Lie group $G$, then the symmetric space of $G$ is $Γ$-equivariantly homotopy equivalent to a proper cocompact $Γ$-CW complex of dimension the virtual cohomological dimension of $Γ$.
Submitted 10 April, 2015; originally announced April 2015.
Comments: 43 pages
Report number: CPH-SYM-DNRF92
-
arXiv:1501.06185 [pdf, ps, other]
Undistorted embeddings of metabelian groups of finite Prüfer rank
Abstract: General arguments of Baumslag and Bieri guarantee that any metabelian group of finite Prüfer rank can be embedded in a metabelian constructible group. Here, we consider the metric behavior of a rich class of examples and analyze the distortions of specific embeddings.
Submitted 25 January, 2015; originally announced January 2015.
MSC Class: 20F
Journal ref: New York J. Math. 21 (2015), 1027-1053
-
arXiv:1311.6419 [pdf, ps, other]
Dimension invariants for groups admitting a cocompact model for proper actions
Abstract: Let $G$ be a group that admits a cocompact classifying space for proper actions $X$. We derive a formula for the Bredon cohomological dimension for proper actions of $G$ in terms of the relative cohomology with compact support of certain pairs of subcomplexes of $X$. We use this formula to compute the Bredon cohomological dimension for proper actions of fundamental groups of non-positively curved… ▽ More
Submitted 26 November, 2013; v1 submitted 25 November, 2013; originally announced November 2013.
Comments: results on relative cohomological dimension added, 18 pages
Report number: CPH-SYM-DNRF92
-
arXiv:1309.7858 [pdf, ps, other]
Cohomological finiteness conditions and centralisers in generalisations of Thompson's group V
Abstract: We consider generalisations of Thompson's group $V$, denoted $V_r(Σ)$, which also include the groups of Higman, Stein and Brin. We show that, under some mild hypotheses, $V_r(Σ)$ is the full automorphism group of a Cantor-algebra. Under some further minor restrictions, we prove that these groups are of type $\mathrm{F}_\infty$ and that this implies that also centralisers of finite subgroups are of… ▽ More
Submitted 7 October, 2014; v1 submitted 30 September, 2013; originally announced September 2013.
Comments: 19 pages, 2 figures. Revised version. The original submission has now been split into two papers. The current submission contains the first one. The second part is being reworked and will be reposted soon independently. Lemma 4.8 was incorrect as stated and has since been rectified. The results of the paper are unchanged
MSC Class: 20J05
-
arXiv:1302.4238 [pdf, ps, other]
The proper geometric dimension of the mapping class group
Abstract: We show that the mapping class group of a closed surface admits a cocompact classifying space for proper actions of dimension equal to its virtual cohomological dimension.
Submitted 16 September, 2024; v1 submitted 18 February, 2013; originally announced February 2013.
Comments: In the published version of this article, one of the two arguments we gave for Corollary 1.3 made an incorrect use of Harer's spine, which is in fact only valid for $n = 1$. In this version, which supersedes the published version, we have included only the other argument, embedded in the paragraph before Corollary 1.3
Journal ref: Algebr. Geom. Topol. 14 (2014) 217-227
-
arXiv:1302.2745 [pdf, ps, other]
Finite presentability of normal fibre products
Abstract: We use Bieri-Strebel invariants to determine when a normal fibre product in the product of two finitely presented groups is finitely presented. We give conditions that imply and in some cases characterize the existence of such finitely presented fibre products.
Submitted 29 May, 2013; v1 submitted 12 February, 2013; originally announced February 2013.
Comments: This version includes many changes and new results suggested by a referee
MSC Class: 20J05
-
arXiv:1302.0658 [pdf, ps, other]
Sigma theory for Bredon modules
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.
Submitted 4 February, 2013; originally announced February 2013.
MSC Class: 20J05
-
arXiv:1204.3739 [pdf, ps, other]
Euler classes and Bredon cohomology for groups with restricted families of finite subgroups
Abstract: We explore some of the special features with respect to Bredon cohomology of groups having all its finite subgroups either nilpotent or p-groups or cyclic p-groups. We get some results on dimensions and also a formula for the equivariant Euler class for certain groups. We consider the generalization for Bredon cohomology of the properties of being duality or Poincaré duality and study their behavi… ▽ More
Submitted 12 March, 2013; v1 submitted 17 April, 2012; originally announced April 2012.
Comments: 19 pages. Incorporates suggestions made by the referee, to appear in Math. Z
MSC Class: 20J05; 18G35; 05E25
-
arXiv:1202.5430 [pdf, ps, other]
On the dimensions of PIM's
Abstract: We discuss the structure of finite groups for which the projective indecomposable modules have special given dimensions. In particular, we prove the converse of Fong's dimension formula for $p$-solvable groups. Furthermore, we characterize groups for which all irreducible $p$-Brauer characters have $p$-power degrees.
Submitted 24 February, 2012; originally announced February 2012.
Comments: 17 pages
MSC Class: 20C20; 20C05; 20C33; 20C30
-
arXiv:1112.1606 [pdf, ps, other]
Isomorphisms of Brin-Higman-Thompson groups
Abstract: Let $m, m', r, r',t, t'$ be positive integers with $r, r' \ge 2$. Let $L_r$ denote the ring that is universal with an invertible $1 \times r$ matrix. Let $M_m(L_r^{\otimes t})$ denote the ring of $m \times m$ matrices over the tensor product of $t$ copies of $L_r$. In a natural way, $M_m(L_r^{\otimes t})$ is a partially ordered ring with involution. Let $PU_m(L_r^{\otimes t})$ denote the group of… ▽ More
Submitted 10 September, 2012; v1 submitted 7 December, 2011; originally announced December 2011.
Comments: 24 pages
MSC Class: 16S10 (Primary) 20E32; 20B27; 16S50; 20B22 (Secondary)
Journal ref: Israel Journal of Mathematics. Volume 199, Issue 1, Pages 189-218, January 2014
-
arXiv:1111.3772 [pdf, ps, other]
Subgroup posets, Bredon cohomology and equivariant Euler characteristics
Abstract: For a discrete group $Γ$ satisfying some finiteness conditions we give a Bredon projective resolution of the trivial module in terms of projective covers of the chain complex associated to certain posets of subgroups. We use this to give new results on dimensions of $Eγ$ and to reprove that for virtually solvable groups, $\underline{\cd}Γ=\vcdΓ$. We also deduce a formula to compute the Euler class… ▽ More
Submitted 24 February, 2012; v1 submitted 16 November, 2011; originally announced November 2011.
Comments: 19 pages
MSC Class: 57Q05; 20J05
-
arXiv:1105.0189 [pdf, ps, other]
Bredon cohomological finiteness conditions for generalisations of Thompson's groups
Abstract: We define a family of groups that generalises Thompson's groups $T$ and $G$ and also those of Higman, Stein and Brin. For groups in this family we descrine centralisers of finite subgroups and show, that for a given finite subgroup $Q$, there are finitely many conjugacy classes of finite subgroups isomorphic to $Q$. We use this to show that whenever defined, the T versions of these groups have a s… ▽ More
Submitted 9 September, 2013; v1 submitted 1 May, 2011; originally announced May 2011.
Comments: 22 pages, to appear Groups, Geometry, and Dynamics
MSC Class: 20J05
-
arXiv:1009.4600 [pdf, ps, other]
Cohomological finiteness properties of the Brin-Thompson-Higman groups 2V and 3V
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.
Submitted 10 December, 2010; v1 submitted 23 September, 2010; originally announced September 2010.
Comments: 26 pages, 18 figures, revised version
MSC Class: 20J05
-
arXiv:1002.1866 [pdf, ps, other]
Fixed points of finite groups acting on generalised Thompson groups
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
Submitted 9 February, 2010; originally announced February 2010.
Comments: 20 pages
MSC Class: 20J05
-
arXiv:0903.4079 [pdf, ps, other]
Cohomological Finiteness Conditions in Bredon Cohomology
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
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
-
arXiv:0903.4077 [pdf, ps, other]
Centralisers of Finite Subgroups in Soluble Groups of Type FP_n
Abstract: We show that for soluble groups of type FPn, centralisers of finite subgroups need not be of type FPn.
Submitted 24 March, 2009; originally announced March 2009.
Comments: 14 pages
MSC Class: 20J05