We define the notions of a free fusion of structures and a weakly stationary independence relation. We apply these notions to prove simplicity for the automorphism groups of order and tournament expansions of homogeneous structures like the bounded Urysohn space, the random graph, and the random poset.
We prove that for every $n\geq 2$ the class of all finite $n$-partite tournaments (orientations of complete $n$-partite graphs) has the extension property for partial automorphisms, that is, for every finite $n$-partite tournament $G$ there is a finite $n$-partite tournament $H$ such that every isomorphism of induced subgraphs of $G$ extends to an automorphism of $H$. Our constructions are purely combinatorial (whereas many earlier EPPA results use deep results from group theory) and extend to other classes such as the class of all finite semi-generic tournaments.
We show that the automorphism groups of certain countable structures obtained using the Hrushovski amalgamation method are simple groups. The structures we consider are the 'uncollapsed' structures of infinite Morley rank obtained by the ab initio construction and the (unstable) omega-categorical pseudoplanes. The simplicity of the automorphism groups of these follows from results which generalize work of Lascar and of Tent and Ziegler.
We study some amalgamation classes introduced by Cherlin and prove the simplicity of the automorphism groups of the Fra{\"ı}ss{é} limits of these classes. We employ the machinery of stationary independence relations used by Tent and Ziegler.
Tent and Ziegler proved that the automorphism group of the Urysohn sphere is simple and that the automorphism group of the Urysohn space is simple modulo bounded automorphisms. A key component of their proof is the definition of a stationary independence relation (SIR). In this paper we prove that the existence of a SIR satisfying some extra axioms is enough to prove simplicity of the automorphism group of a countable structure. The extra axioms are chosen with applications in mind, namely homogeneous structures which admit a "metric-like amalgamation", for example all primitive 3-constrained …
We prove simplicity for incomplete rank 2 Kac-Moody groups over algebraic closures of finite fields with trivial commutation relations between root groups corresponding to prenilpotent pairs. We don't use the (yet unknown) simplicity of the corresponding finitely generated groups (i.e., when the ground field is finite). Nevertheless we use the fact that the latter groups are just infinite (modulo center).
We apply results proved in [Li19] to the linear order expansions of non-trivial free homogeneous structures and the universal n-linear order for $n\geq 2$, and prove the simplicity of their automorphism groups.
We show that the group of type-preserving automorphisms of any irreducible semi-regular thick right-angled building is abstractly simple. When the building is locally finite, this gives a large family of compactly generated (abstractly) simple locally compact groups. Specializing to appropriate cases, we obtain examples of such simple groups that are locally indecomposable, but have locally normal subgroups decomposing non-trivially as direct products.
In \cite{MbPe}, Mbombo and Pestov prove that the group of isometries of the generalized Urysohn space of density $κ$, for uncountable $κ$ such that $κ^{<κ}=κ$, is not a universal topological group of weight $κ$. We investigate automorphism groups of other uncountable ultrahomogeneous structures and prove that they are rarely universal topological groups for the corresponding classes. Our list of uncountable ultrahomogeneous structures includes random uncountable graph, tournament, linear order, partial order, group. That is in contrast with similar results obtained for automorphism groups of c…
We generalise the result of Tent and Ziegler to homogeneous structures that have a stationary independence relation without the symmetry axiom. We apply our result to prove simplicity of the automorphism group of some asymmetric examples due to Cherlin.
This article is an expanded version of the talks given by the authors at the Arbeitsgemeinschaft "Totally Disconnected Groups", held at Oberwolfach in October 2014. We recall the basic theory of automorphisms of trees and Tits' simplicity theorem, and present two constructions of tree groups via local actions with their basic properties: the universal group associated to a finite permutation group by M. Burger and S. Mozes, and the $k$-closures of a given group by C. Banks, M. Elder and G. Willis.
A group is boundedly simple if, for some constant N, every nontrivial conjugacy class generates the whole group in N steps. For a large class of trees, Tits proved simplicity of a canonical subgroup of the automorphism group, which is generated by pointwise stabilizers of edges. We prove that only for uniform subdivisions of biregular trees are such groups boundedly simple. In fact these groups are 8-boundedly simple. As a consequence, we prove that if G is boundedly simple (or from a certain class K) and G acts by automorphisms on a tree, then G fixes some vertex of A, or stabilizes some end …
We introduce the notion of über-contracting element, a strengthening of the notion of strongly contracting element which yields a particularly tractable criterion to show the acylindrical hyperbolicity, and thus a strong form of non-simplicity, of groups acting on non locally compact spaces of arbitrary dimension. We also give a simple local criterion to construct über-contracting elements for groups acting on complexes with unbounded links of vertices. As an application, we show the acylindrical hyperbolicity of the tame automorphism group of $\mathrm{SL}_2(\mathbb{C})$, a subgroup of the $3$…
We give a general criterion for the (bounded) simplicity of the automorphism groups of certain countable structures and apply it to show that the isometry group of the Urysohn space modulo the normal subgroup of bounded isometries is a simple group.
Kac-Moody groups over finite fields are finitely generated groups. Most of them can naturally be viewed as irreducible lattices in products of two closed automorphism groups of non-positively curved twinned buildings: those are the most important (but not the only) examples of twin building lattices. We prove that these lattices are simple if and only if the corresponding buildings are (irreducible and) not of affine type (i.e. they are not Bruhat-Tits buildings). In fact, many of them are finitely presented and enjoy property (T). Our arguments explain geometrically why simplicity fails to ho…
Let $G$ be a Kac-Moody group over a finite field corresponding to a generalized Cartan matrix $A$, as constructed by Tits. It is known that $G$ admits the structure of a BN-pair, and acts on its corresponding building. We study the complete Kac-Moody group $\hat{G}$ which is defined to be the closure of $G$ in the automorphism group of its building. Our main goal is to determine when complete Kac-Moody groups are abstractly simple, that is have no proper non-trivial normal subgroups. Abstract simplicity of $\hat{G}$ was previously known to hold when A is of affine type. We extend this result t…
We provide a necessary and sufficient condition on a finite flag simplicial complex, L, for which there exists a unique CAT(0) cube complex whose vertex links are all isomorphic to L. We then find new examples of such CAT(0) cube complexes and prove that their automorphism groups are virtually simple. The latter uses a result, which we prove in the appendix, about the simplicity of certain subgroups of the automorphism group of a rank-one CAT(0) cube complex. This result generalizes previous results by Tits and by Haglund and Paulin.
We define a free product of connected simple graphs that is equivalent to several existing definitions when the graphs are vertex-transitive but differs otherwise. The new definition is designed for the automorphism group of the free product to be as large as possible, and we give sufficient criteria for it to be non-discrete. Finally, we transfer Tits' classification of automorphisms of trees and simplicity criterion to free products of graphs.
We establish sufficient conditions for the C$^*$-simplicity of two classes of groups. The first class is that of groups acting on trees, such as amalgamated free products, HNN-extensions, and their normal subgroups; for example normal subgroups of Baumslag-Solitar groups. The second class is that of fundamental groups of compact 3-manifolds, related to the first class by their Kneser-Milnor and JSJ-decompositions. Much of our analysis deals with conditions on an action of a group $Γ$ on a tree $T$ which imply the following three properties: abundance of hyperbolic elements, better called stron…