scholarly journals A combination theorem for affine tree-free groups

2016 ◽  
Vol 26 (07) ◽  
pp. 1283-1321
Author(s):  
Shane O. Rourke
Keyword(s):  
Abelian Group ◽  
Fundamental Group ◽  
Large Class ◽  
Recent Work ◽  
Isometric Action ◽  
Graph Of Groups ◽  
Finitely Generated Group ◽  
Affine Action ◽  
Relatively Hyperbolic ◽  
Solvable Word

Let [Formula: see text] be an ordered abelian group. We show how a group admitting a free affine action without inversions on a [Formula: see text]-tree admits a natural graph of groups decomposition, where vertex groups inherit actions on [Formula: see text]-trees. We introduce a stronger condition (essential freeness) on an affine action and apply recent work of various authors to deduce that a finitely generated group admitting an essentially free affine action on a [Formula: see text]-tree is relatively hyperbolic with nilpotent parabolics, is locally relatively quasiconvex, and has solvable word, conjugacy and isomorphism problems. Conversely, given a graph of groups satisfying certain conditions, we show how an affine action of its fundamental group can be constructed. Specialising to the case of free affine actions, we obtain a large class of groups that have a free affine action on a [Formula: see text]-tree but that do not act freely by isometries on any [Formula: see text]-tree. We also give an example of a group that admits a free isometric action on a [Formula: see text]-tree but which is not residually nilpotent.

scholarly journals AFFINE ACTIONS ON NON-ARCHIMEDEAN TREES

2013 ◽  
Vol 23 (02) ◽  
pp. 217-253 ◽  
Author(s):  
SHANE O. ROURKE
Keyword(s):  
Abelian Group ◽  
Heisenberg Group ◽  
Isometric Action ◽  
Length Functions ◽  
Common Generalization ◽  
New Class ◽  
Discrete Heisenberg Group ◽  
Affine Action ◽  
Affine Actions

We initiate the study of affine actions of groups on Λ-trees for a general ordered abelian group Λ; these are actions by dilations rather than isometries. This gives a common generalization of isometric action on a Λ-tree, and affine action on an ℝ-tree as studied by Liousse. The duality between based length functions and actions on Λ-trees is generalized to this setting. We are led to consider a new class of groups: those that admit a free affine action on a Λ-tree for some Λ. Examples of such groups are presented, including soluble Baumslag–Solitar groups and the discrete Heisenberg group.

LOCALLY INVARIANT ORDERS ON GROUPS

2006 ◽  
Vol 16 (06) ◽  
pp. 1161-1179 ◽  
Author(s):  
I. M. CHISWELL
Keyword(s):  
Abelian Group ◽  
Fundamental Group ◽  
Recent Work ◽  
Analogous Result ◽  
Hyperbolic Manifold ◽  
Free Groups ◽  
Free Action ◽  
Detailed Proof ◽  
Unique Product ◽  
Invariant Order

Recent work by T. Delzant and S. Hair shows that certain groups are unique product groups. In effect, they show that the groups have a locally invariant order, an idea introduced by D. Promislow in the early eighties. Having a locally invariant order implies the group is a unique product group, and a strict left (or right) ordering on a group is a locally invariant order. We study properties of the class of LIO groups, that is, groups having a locally invariant order. The main result gives conditions under which the fundamental group of a graph of LIO groups is LIO. In particular, the free product of two LIO groups is LIO. There is an analogous result for a graph of right orderable groups. We also study tree-free groups (those having a free action without inversions on a Λ-tree, for some ordered abelian group Λ). In particular, a detailed proof that tree-free groups are LIO is given. There is also a detailed proof of an observation made by Hair, that the fundamental group of a compact hyperbolic manifold is virtually LIO.

scholarly journals The Farrell-Jones isomorphism conjecture for 3-manifold groups

2007 ◽  
Vol 1 (1) ◽  
pp. 49-82 ◽  
Author(s):  
S.K. Roushon
Keyword(s):  
Fundamental Group ◽  
Large Class ◽  
Partial Solution ◽  
Fundamental Groups ◽  
Problem List ◽  
Index Subgroup ◽  
Main Aspect ◽  
Graph Of Groups ◽  
Genus 2 ◽  
Finite Index Subgroup

AbstractWe show that the Fibered Isomorphism Conjecture (FIC) of Farrell and Jones corresponding to the stable topological pseudoisotopy functor is true for fundamental groups of a large class of 3-manifolds. We also prove that if the FIC is true for irreducible 3-manifold groups then it is true for all 3-manifold groups. In fact, this follows from a more general result we prove, namely we show that if the FIC is true for each vertex group of a graph of groups with trivial edge groups then the FIC is true for the fundamental group of the graph of groups. This result is part of a program to prove the FIC for the fundamental group of a graph of groups where all the vertex and edge groups satisfy the FIC. A consequence of the first result gives a partial solution to a problem in the problem list of R. Kirby. We also deduce that the FIC is true for a class of virtually P D3-groups.Another main aspect of this article is to prove the FIC for all Haken 3-manifold groups assuming that the FIC is true for B-groups. By definition a B-group contains a finite index subgroup isomorphic to the fundamental group of a compact irreducible 3-manifold with incompressible nonempty boundary so that each boundary component is of genus ≥ 2. We also prove the FIC for a large class of B-groups and moreover, using a recent result of L.E. Jones we show that the surjective part of the FIC is true for any B-group.

scholarly journals Graphs on Affine and Linear Spaces and Deuber Sets

10.37236/2732 ◽  
2013 ◽  
Vol 20 (2) ◽  
Author(s):  
David S. Gunderson ◽  
Hanno Lefmann
Keyword(s):  
Abelian Group ◽  
Finite Field ◽  
Recent Work ◽  
Independent Set ◽  
Large Set ◽  
Free Graph ◽  
Linear Spaces ◽  
Ramsey’S Theorem ◽  
Positive Integers ◽  
Arbitrary Abelian Group

If $G$ is a large $K_k$-free graph, by Ramsey's theorem, a large set of vertices is independent. For graphs whose vertices are positive integers, much recent work has been done to identify what arithmetic structure is possible in an independent set. This paper addresses  similar problems: for graphs whose vertices are affine or linear spaces over a finite field,  and when the vertices of the graph are elements of an arbitrary Abelian group.

scholarly journals Planar pure braids on six strands

2020 ◽  
Vol 29 (01) ◽  
pp. 1950097
Author(s):  
Jacob Mostovoy ◽  
Christopher Roque-Márquez
Keyword(s):  
Abelian Group ◽  
Fundamental Group ◽  
Free Product ◽  
Free Group ◽  
Configuration Space ◽  
Braid Group ◽  
Free Abelian Group ◽  
Braid Groups ◽  
Pure Braid Group

The group of planar (or flat) pure braids on [Formula: see text] strands, also known as the pure twin group, is the fundamental group of the configuration space [Formula: see text] of [Formula: see text] labeled points in [Formula: see text] no three of which coincide. The planar pure braid groups on 3, 4 and 5 strands are free. In this note, we describe the planar pure braid group on 6 strands: it is a free product of the free group on 71 generators and 20 copies of the free abelian group of rank two.

On the profinite topology on solvable groups

2017 ◽  
Vol 20 (4) ◽  
Author(s):  
Khadijeh Alibabaei
Keyword(s):  
Abelian Group ◽  
Wreath Product ◽  
Solvable Group ◽  
Solvable Groups ◽  
Polycyclic Group ◽  
Finitely Generated ◽  
Metabelian Groups ◽  
Finitely Generated Group ◽  
Hnn Extension ◽  
Profinite Topology

AbstractWe show that the wreath product of a finitely generated abelian group with a polycyclic group is a LERF group. This theorem yields as a corollary that finitely generated free metabelian groups are LERF, a result due to Coulbois. We also show that a free solvable group of class 3 and rank at least 2 does not contain a strictly ascending HNN-extension of a finitely generated group. Since such groups are known not to be LERF, this settles, in the negative, a question of J. O. Button.

scholarly journals Operator algebras with hyperarithmetic theory

2020 ◽  
Author(s):  
Isaac Goldbring ◽  
Bradd Hart
Keyword(s):  
Word Problem ◽  
Operator Algebras ◽  
Cuntz Algebra ◽  
Finitely Generated ◽  
C Algebra ◽  
Finitely Generated Group ◽  
C Algebras ◽  
Existentially Closed ◽  
Solvable Word Problem ◽  
Solvable Word

Abstract We show that the following operator algebras have hyperarithmetic theory: the hyperfinite II$_1$ factor $\mathcal R$, $L(\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C^*(\varGamma )$ for $\varGamma $ a finitely presented group, $C^*_\lambda (\varGamma )$ for $\varGamma $ a finitely generated group with solvable word problem, $C(2^\omega )$ and $C(\mathbb P)$ (where $\mathbb P$ is the pseudoarc). We also show that the Cuntz algebra $\mathcal O_2$ has a hyperarithmetic theory provided that the Kirchberg embedding problems have affirmative answers. Finally, we prove that if there is an existentially closed (e.c.) II$_1$ factor (resp. $\textrm{C}^*$-algebra) that does not have hyperarithmetic theory, then there are continuum many theories of e.c. II$_1$ factors (resp. e.c. $\textrm{C}^*$-algebras).

FIXED POINTS OF SYMMETRIC ENDOMORPHISMS OF GROUPS

2002 ◽  
Vol 12 (05) ◽  
pp. 737-745 ◽  
Author(s):  
MIHALIS SYKIOTIS
Keyword(s):  
Fundamental Group ◽  
Fixed Points ◽  
Structure Theorem ◽  
Graph Of Groups

Let G be the fundamental group of a graph of groups with finite edge groups and f an endomorphism of G. We prove a structure theorem for the subgroup Fix(f), which consists of the elements of G fixed by f, in the case where the endomorphism f of G maps vertex groups into conjugates of themselves.

Sign in / Sign up

Export Citation Format

Share Document