This paper addresses questions of quasi-isometric rigidity and classification for fundamental groups of finite graphs of groups, under the assumption that the Bass-Serre tree of the graph of groups has finite depth. The main example of a finite depth graph of groups is one whose vertex and edge groups are coarse Poincare duality groups. The main theorem says that, under certain hypotheses, if G is a finite graph of coarse Poincare duality groups then any finitely generated group quasi-isometric to the fundamental group of G is also the fundamental group of a finite graph of coarse Poincare duality groups, and any quasi-isometry between two such groups must coarsely preserves the vertex and edge spaces of their Bass-Serre trees of spaces. Besides some simple normalization hypotheses, the main hypothesis is the ``crossing graph condition'', which is imposed on each vertex group G_v which is an n-dimensional coarse Poincare duality group for which every incident edge group has positive codimension: the crossing graph of G_v is a graph e_v that describes the pattern in which the codimension~1 edge groups incident to G_v are crossed by other edge groups incident to G_v, and the crossing graph condition requires that e_v be connected or empty.
A well known theorem of Burns and Romanovskii states that a free product of subgroup separable groups is itself subgroup separable. We provide a proof using the language of immersions and coverings of graphs of groups, due to Bass.
An amalgam of groups can be viewed as a Sudoku game inside a group. You are given a set of subgroups and their intersections and you need to decide what the largest group containing such a structure can be. In a recent paper (0907.1388v1) we used Bass-Serre theory of graphs of groups to classify all possible amalgams of Curtis-Tits shape with a given diagram. This note describes the method for general rank two amalgams.
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.
Boundary actions of Bass-Serre Trees and the applications to $C^*$-algebras
Institute for Advanced Study in Mathematics, Harbin Institute of Technology（哈尔滨工业大学数学高等研究院）；Yau Mathematical Sciences Center, Tsinghua University（清华大学丘成桐数学科学中心）；Beijing International Center for Mathematical Research, Peking University（北京大学北京国际数学研究中心）
The word problem of a finitely generated group is the formal language of words over the generators which are equal to the identity in the group. If this language happens to be context-free, then the group is called context-free. Finitely generated virtually free groups are context-free. In a seminal paper Muller and Schupp showed the converse: A context-free group is virtually free. Over the past decades a wide range of other characterizations of context-free groups have been found. The present notes survey most of these characterizations. Our aim is to show how the different characterizations…
Serre in "Trees" laid down the fundamentals of the theory of groups acting on simplicial trees. In particular, Bass-Serre theory makes it possible to extract information about the structure of a group from its action on a simplicial tree. Serre's original motivation was to understand the structure of certain algebraic groups whose Bruhat--Tits buildings are trees. In this survey we will discuss the following generalizations of ideas from "Trees": the theory of isometric group actions on $Λ$-trees and the theory of lattices in the product of trees where we describe in more detail results on ari…
Un des résultats fondamentaux de la théorie de Bass-Serre est le théorème suivant : un groupe est amalgamé si et seulement si il agit sur un arbre avec comme domaine fondamental un segment. Dans cet article nous donnons un analogue pour les groupes profinis de ce résultat en utilisant la théorie des prographes de Deschamps et Suarez introduite. A fundamental result of Bass-Serre theory is the following theorem: an abstract group is a free product with amalgamation if and only if it acts on a tree with a segment as fundamental domain. In this article, an analogous result for profinite groups wi…
In 2003 Bieri and Geoghegan generalized the Bieri-Neuman-Strebel invariant $Σ^1$ by defining $Σ^1(ρ)$, $ρ$ an isometric action by a finitely generated group $G$ on a proper CAT(0) space $M$. In this paper, we show how the natural and well-known connection between Bass-Serre theory and covering space theory provides a framework for the calculation of $Σ^1(ρ)$ when $ρ$ is a cocompact action by $G = B \rtimes A$, $A$ a finitely generated group, on a locally finite Bass-Serre tree $T$ for $A$. This framework leads to a theorem providing conditions for including an endpoint in, or excluding an endp…
We present sufficient conditions for HNN extensions to be inner amenable, respectively ICC, which give necessary and sufficient criteria among Baumslag-Solitar groups. We deduce that such a group, viewed as acting on its Bass-Serre tree, contains non trivial elements which fix unbounded subtrees.
In geometric group theory one uses group actions on spaces to gain information about groups. One natural space to use is the Cayley graph of a group. The Cayley graph arguments that one encounters tend to require local finiteness, and hence finite generation of the group. In this paper, I take the theory of intersections of splittings of finitely generated groups (as developed by Scott, Scott-Swarup, and Niblo-Sageev-Scott-Swarup), and rework it to remove finite generation assumptions. Whereas the aforementioned authors relied on the local finiteness of the Cayley graph, I capitalize on the Ba…
We construct new examples of groups with cohomological dimension 2 and geometric dimension 3 with respect to the families of finite subgroups, virtually abelian groups of bounded rank, and the family of virtually poly-cyclic subgroups. Our main ingredients are the examples constructed by Brady-Leary-Nucinckis and Fluch-Leary, and Bass-Serre theory.
We show that the sublinearly Morse boundary of a CAT(0) cubical group with a factor system is well-defined up to homeomorphism with respect to the visual topology. The key tool used in the proof is a new topology on sublinearly Morse boundaries that is induced by group actions on hyperbolic spaces that are sufficiently nice, for example, largest acylindrical actions. Using the same techniques, we obtain a explicit description of this new topology on the sublinearly Morse boundary of any hierarchically hyperbolic group in terms of medians. Finally, we explicitly describe the sublinear Morse bou…
The Stallings construction for finitely generated subgroups of free groups is generalized by introducing the concept of Stallings section, which allows an eficient computation of the core of a Schreier graph based on edge folding. It is proved that those groups admitting Stallings sections are precisely finitely generated virtually free groups, through a constructive approach based on Bass-Serre theory. Complexity issues and applications are also discussed.
We construct total orders on the vertex set of an oriented tree. The orders are based only on up-down counts at the interior vertices and the edges along the unique geodesic from a given vertex to another. As an application, we provide a short proof (modulo Bass-Serre theory) of Vinogradov's result that the free product of left-orderable groups is left-orderable.
Given a graph of groups $\mathcal{G} = (Γ, \{G_v\}, \{G_e\})$ with certain conditions on vertex groups and $G$ acts acylindrically on its Bass-Serre tree $T$. Let $H$ be a finitely generated subgroup of $G$. We prove the following statements equivalence: $H$ has finite height, $(G, T, H)$ is a $A/QI$--triple, $H$ is strongly quasiconvex and virtually free in $G$. We also give a condition to determine whether strong quasiconvexity in a group is preserved under amalgams.
We show that for $n \geq 3$, there are torsion-free CAT(0) groups with visual boundaries that embed into $S^n$ but which are not virtually the fundamental group of a compact aspherical $n+1$-manifold. The groups are the CAT(0) and not bi-automatic groups constructed previously by Leary and Minasyan. The obstruction comes from analyzing certain cyclic orders on the boundary of the Bass-Serre tree, in the same manner as Kapovich-Kleiner ruled out actions of Baumslag-Solitar groups on coarse $\mathrm{PD}(3)$ spaces.
A group $G$ splits over a subgroup $C$ if $G$ is either a free product with amalgamation $A \underset{C}{\ast} B$ or an HNN-extension $G=A \underset{C}{\ast} (t)$. We invoke Bass-Serre theory and classify all infinite groups which admit cubic Cayley graphs of connectivity two in terms of splittings over a subgroup.
We consider actions of completely metrisable groups on simplicial trees in the context of the Bass--Serre theory. Our main result characterises continuity of the amplitude function corresponding to a given action. Under fairly mild conditions on a completely metrisable group $G$, namely, that the set of elements generating a non-discrete or finite subgroup is somewhere dense, we show that in any decomposition as a free product with amalgamation, $G=A\ast_CB$, the amalgamated groups $A$, $B$ and $C$ are open in $G$.
Let C be a smooth, projective and geometrically integral curve defined over a finite field F. For each closed point P of C, let R be the ring of functions that are regular outside P, and let K be the completion at P of the function field of C. In order to study groups of the form GL2(R), Serre describes the quotient graph GL2(R)\t, where t is the Bruhat-Tits tree defined from SL2(K). In particular, Serre shows that GL2(R)\t is the union of a finite graph and a finite number of ray shaped subgraphs, which are called cusps. It is not hard to see that finite index subgroups inherit this property.…
We give an example of a subgroup of SL(2,C) which is a strictly ascending HNN extension of a non-abelian finitely generated free group F. In particular, we exhibit a free group F in SL(2,C) of rank 6 which is conjugate to a proper subgroup of itself. This answers positively a question of Drutu and Sapir. The main ingredient in our construction is a specific finite volume (noncompact) hyperbolic 3-manifold M which is a surface bundle over the circle. In particular, most of F comes from the fundamental group of a surface fiber. A key feature of M is that there is an element of its fundamental gr…
In this paper, we study strongly quasiconvex subgroups in a finitely generated $3$--manifold group $π_1(M)$. We prove that if $M$ is a compact, orientable $3$--manifold that does not have a summand supporting the Sol geometry in its sphere-disc decomposition then a finitely generated subgroup $H \le π_1(M)$ has finite height if and only if $H$ is strongly quasiconvex. On the other hand, if $M$ has a summand supporting the Sol geometry in its sphere-disc decomposition then $π_1(M)$ contains finitely generated, finite height subgroups which are not strongly quasiconvex. We also characterize stro…
Groups acting on trees with Tits' independence property (P)
The University of Newcastle, Australia（澳大利亚纽卡斯尔大学）；Western Sydney University, School of Computer, Data and Mathematical Sciences, Penrith, NSW 2751, Australia（西悉尼大学）；Charlotte Scott Research Centre for Algebra, University of Lincoln, Brayford Pool, Lincoln, LN6 7TS, United Kingdom（林肯大学）
We construct an invariant deformation retract of a deformation space of G-trees. We show that this complex is finite dimensional in certain cases and provide an example that is not finite dimensional. Using this complex we compute the automorphism group of the classical non-solvable Baumslag-Solitar groups BS(p,q). The most interesting case is when p properly divides q. Collins and Levin computed a presentation for Aut(BS(p,q)) in this case using algebraic methods. Our computation uses Bass-Serre theory to derive these presentations. Additionally, we provide a geometric argument showing Out(BS…
We develop a battery of tools for studying quasi-isometric rigidity and classification problems for splittings of groups. The techniques work best for finite graphs of groups where all edge and vertex groups are coarse PD groups. For example, if Gamma is a graph of coarse PD(n) groups for a fixed n, if the Bass-Serre tree of Gamma has infinitely many ends, and if H is a finitely generated group quasi-isometric to pi_1(Gamma), then we prove that H is the fundamental group of a graph of coarse PD(n) groups, with vertex and edge groups quasi-isometric to those of Gamma. We also have quasi-isometr…
We study non-ascending HNN extensions acting on their Bass-Serre trees, and characterize C*-simplicity and the unique trace property by means of the kernel and quasi-kernels of the HNN extension in question. We also present a concrete example of an HNN extension that is a new example of a group that is not C*-simple but does have the unique trace property. Additionally, we include certain more general results, mostly based on previous work of various authors, concerning C*-simplicity of groups admitting extreme boundary actions, and in particular, groups acting on trees.
The paper is devoted to a study of certain fixed point properties, and their relatives, in the context of full automorphism groups of countable rooted trees. Namely, we study Serre's property (FA'), also called unsplittability, property (FA), the uncountable strong cofinality, and ample generics. We give a new proof of a theorem of Psaltis to the extent that automorphism groups of rooted trees are unsplittable, and show under what circumstances automorphism groups of rooted trees have uncountable strong cofinality (and thus property (FA).) Also, we prove a necessary and sufficient condition fo…
Let $\C$ be a variety of finite groups. We use profinite Bass--Serre theory to show that if $u:H\hookrightarrow G$ is a map of finitely generated residually $\C$ groups such that the induced map $\hat{u}:\hat{H}\rightarrow\hat{G}$ is a surjection of the pro-$\C$ completions, and $G$ has more than one end, then $H$ has the same number of ends as $G$. However if $G$ has one end the number of ends of $H$ may be larger; we observe cases where this occurs for $\C$ the class of finite $p$-groups. We produce a monomorphism of groups $u:H\hookrightarrow G$ such that: either $G$ is hyperbolic but not r…
To a large class of graphs of groups we associate a C*-algebra universal for generators and relations. We show that this C*-algebra is stably isomorphic to the crossed product induced from the action of the fundamental group of the graph of groups on the boundary of its Bass-Serre tree. We characterise when this action is minimal, and find a sufficient condition under which it is locally contractive. In the case of generalised Baumslag-Solitar graphs of groups (graphs of groups in which every group is infinite cyclic) we also characterise topological freeness of this action. We are then able t…
We describe the structure of the automorphism groups of algebras Morita equivalent to the first Weyl algebra $ A_1 $. In particular, we give a geometric presentation for these groups in terms of amalgamated products, using the Bass-Serre theory of groups acting on graphs. A key rôle in our approach is played by a transitive action of the automorphism group of the free algebra $ \c < x, y > $ on the Calogero-Moser varieties $ \CC_n $ defined in \cite{BW}. Our results generalize well-known theorems of Dixmier and Makar-Limanov on automorphisms of $ A_1 $, answering an old question of Stafford (s…
Let K be a function field with constant field k and let "infinity" be a fixed place of K. Let C be the Dedekind domain consisting of all those elements of K which are integral outside "infinity". The group G=GL_2(C) is important for a number of reasons. For example, when k is finite, it plays a central role in the theory of Drinfeld modular curves. Many properties follow from the action of G on its associated Bruhat-Tits tree, T. Classical Bass-Serre theory shows how a presentation for G can be derived from the structure of the quotient graph (or fundamental domain) G\T. The shape of this quot…
Let Gamma be a connected, locally finite graph of finite tree width and G be a group acting on it with finitely many orbits and finite node stabilizers. We provide an elementary and direct construction of a tree T on which G acts with finitely many orbits and finite vertex stabilizers. Moreover, the tree is defined directly in terms of the structure tree of optimally nested cuts of Gamma. Once the tree is constructed, standard Bass-Serre theory yields that G is virtually free. This approach simplifies the existing proofs for the fundamental result of Muller and Schupp that characterizes contex…
This is an account of the theory of JSJ decompositions of finitely generated groups, as developed in the last twenty years or so. We give a simple general definition of JSJ decompositions (or rather of their Bass-Serre trees), as maximal universally elliptic trees. In general, there is no preferred JSJ decomposition, and the right object to consider is the whole set of JSJ decompositions, which forms a contractible space: the JSJ deformation space (analogous to Outer Space). We prove that JSJ decompositions exist for any finitely presented group, without any assumption on edge groups. When edg…
In this paper, we study boundary actions of CAT(0) spaces from a point of view of topological dynamics and $C^*$-algebras. First, we investigate the actions of right-angled Coexter groups and right-angled Artin groups with finite defining graphs on the visual boundaries and the Nevo-Sageev boundaries of their natural assigned CAT(0) cube complexes. In particular, we establish (strongly) pure infiniteness results for reduced crossed product $C^*$-algebras of these actions through investigating the corresponding $\cat$ cube complexes and establishing necessary dynamical properties such as minima…
Pullbacks and intersections in categories of graphs of groups
Universitat Politècnica de Catalunya - BarcelonaTech (UPC)（加泰罗尼亚理工大学）；Instituto de Ciencias Matemáticas (ICMAT)（数学科学研究所）；University of the Basque Country - EHU（巴斯克大学）；Harish-Chandra Research Institute, A CI of HBNI（哈里什-钱德拉研究所）；CNRS, ReLaX, IRL 2000（法国国家科学研究中心）；CNRS, Univ. Sorbonne Paris Nord, LIPN, UMR 7030（法国国家科学研究中心）
