Related papers: $Z^n$-free groups are CAT(0)

We prove that every unconditionally closed subset of a free group is algebraic, thereby answering affirmatively a 76 years old problem of Markov for free groups. In modern terminology, this means that Markov and Zariski topologies coincide…

Elementarily free groups are the finitely generated groups with the same elementary theory as free groups. We prove that elementarily free groups are subgroup separable, answering a question of Zlil Sela.

Let \lambda be a cardinal with \lambda=\lambda^{\aleph_0} and p be either 0 or a prime number. We show that there are fields K_0 and K_1 of cardinality \lambda and characteristic p such that the automorphism group of K_0 is a free group of…

We prove that a semi-direct product of two finite rank free groups $F_k$ and $F_n$ such that $F_k$ acts on $F_n$ by polynomially growing automorphisms acts properly isometrically on a finite dimensional CAT(0) cube complex provided some…

We construct a CAT(0) group containing a finitely presented subgroup with infinitely many conjugacy classes of finite-order elements. Unlike previous examples (which were based on right-angled Artin groups) our ambient CAT(0) group does not…

We show that for any finite-rank free group $\Gamma$, any word-equation in one variable of length $n$ with constants in $\Gamma$ fails to be satisfied by some element of $\Gamma$ of word-length $O(\log (n))$. By a result of the first…

We construct the free products of arbitrary digroups, and thus we solve an open problem of Zhuchok.

Let $L(s)=\sum_{n=1}^{+\infty}\dfrac{a(n)}{n^s}$ be a Dirichlet series were $a(n)$ is a bounded completely multiplicative function. We prove that if $L(s)$ extends to a holomorphic function on the open half space $\Re s >1-\delta$,…

The aim of this note is to prove that the group of Formanek-Procesi acts properly isometrically on a finite dimensional CAT(0) cube complex. This gives a first example of a non-linear semidirect product between two non abelian free groups…

We investigate Farley's CAT(0) cubical model for Thompson's group F (we adopt the classical language of F, using binary trees and piecewise linear maps). Main results include: in general, Thompson's group elements are parabolic; we find…

We study abstract group actions of locally compact Hausdorff groups on CAT(0) spaces. Under mild assumptions on the action we show that it is continuous or has a global fixed point. This mirrors results by Dudley and Morris-Nickolas for…

We prove that the Bridson-Dison group has quartic Dehn function, thereby providing the first precise computation of the Dehn function of a subgroup of a direct product of free groups with super-quadratic Dehn function. We also prove that…

We prove that the first order theory of nonabelian free groups eliminates the "there exists infinitely many" quantifier (in eq). Equivalently, since the theory of nonabelian free groups is stable, it does not have the finite cover property.…

In all known examples of a CAT(0) group acting on CAT(0) spaces with non-homeomorphic CAT(0) visual boundaries, the boundaries are each not path connected. In this paper, we show this does not have to be the case by providing examples of…

It is well known that every word hyperbolic group has a well-defined visual boundary. An example of C. Croke and B. Kleiner shows that the same cannot be said for CAT(0) groups. All boundaries of a CAT(0) group are, however, shape…

We prove that every free metabelian non--cyclic group has a finitely generated isolated subgroup which is not separable in the class of nilpotent groups. As a corollary we prove that for every prime number $p$ an arbitrary free metabelian…

We address two questions of Simon Thomas. First, we show that for any n>2 one can find a four generated free subgroup of SLn(Z) which is profinitely dense. More generally, we show that an arithmetic group \Gamma which admits the congruence…

Compact matrix quantum groups act naturally on Cuntz algebras. The first author isolated certain conditions under which the fixed point algebras under this action are Kirchberg algebras. Hence they are completely determined by their…

We calculate explicitly the normal zeta function of the free class two nilpotent group on four generators. This has Hirsch length ten.

We exhibit finitely generated torsion-free groups for which any action on any finite-dimensional CW-complex with finite Betti numbers has a global fixed point.