Related papers: Notes on Sela's work: Limit groups and Makanin-Raz…

We give a description of $Hom(G,L)$, where $L$ is a limit group (fully residually free group). We construct a finite diagram of groups, Makanin-Razborov diagram, that gives a convinient representation of all such homomorphisms.

In 2006 Z. Sela and independently O. Kharlampovich and A. Myasnikov gave a solution to the Tarski problems by showing that two non-abelian free groups have the same elementary theory. Subsequently Z. Sela generalized the techniques used in…

This note provides a brief guide to the current state of the literature on Tarski's problems with emphasis on features that distinguish the approach based on combinatorial and algorithmic group theory from the topological approach to…

Let Gamma be a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. We construct Makanin-Razborov diagrams for Gamma. We also prove that every system of equations over Gamma is equivalent to a finite…

We give a description of definable sets $P=(p_1,..., p_m)$ in a free non-abelian group $F$ and in a torsion-free non-elementary hyperbolic group $G$ that follows from our work on the Tarski problems. This answers Malcev's question for $F$.…

This paper contains a list of crucial mistakes and counterexamples to some of the main statements in the paper "Elementary theory of free nonabelian groups" by O. Kharlampovich and A. Myasnikov, which was published in the Journal of Algebra…

Version 2: Corrected Section 3.3: instead of lexicographical normal forms we now use a normal form due to V. Diekert and A. Muscholl. Consequent changes made and some misprints corrected. Using an analogue of Makanin-Razborov diagrams, we…

We prove a factorization theorem for Fuchsian groups similar to those proved by Agol and Liu for 3-manifold groups. As an application, we build Makanin-Razborov diagrams, which parametrize the collection of all discrete representations from…

This paper is devoted to the first-order theory of torsion-free hyperbolic groups. One of its purposes is to review some results and to provide precise and correct statements and definitions, as well as some proofs and new results. A key…

Using the theory developed by Olga Kharlampovich, Alexei Miasnikov, and, independently, by Zlil Sela to describe the set of homomorphisms of a f.g. group G into a free group F, we describe the solutions to equations with coefficients from F…

Let Gamma be a fixed hyperbolic group. The Gamma-limit groups of Sela are exactly the finitely generated, fully residually Gamma groups. We give a new invariant of Gamma-limit groups called Gamma-discriminating complexity and show that the…

A celebrated theorem of Marshall Hall Jr. implies that finitely generated free groups are subgroup separable and that all of their finitely generated subgroups are retracts of finite-index subgroups. We use topological techniques inspired…

This paper is the first in a sequence on the first order theory of free products. In the first paper we generalize the analysis of systems of equations over free and (torsion-free) hyperbolic groups, and analyze system of equations over…

We begin the investigation of Gamma-limit groups, where Gamma is a torsion-free group which is hyperbolic relative to a collection of free abelian subgroups. Using the results of Drutu and Sapir, we adapt the results from math.GR/0404440 to…

We introduce and investigate a class of profinite groups defined via extensions of centralizers analogous to the extensively studied class of finitely generated fully residually free groups, that is, limit groups (in the sense of Z. Sela).…

We give a topological framework for the study of Sela's limit groups: limit groups are limits of free groups in a compact space of marked groups. Many results get a natural interpretation in this setting. The class of limit groups is known…

Sela introduced limit groups in his work on the Tarski problem, and showed that each limit group has a cyclic hierarchy. In this paper, a class of relatively hyperbolic groups, equipped with a hierarchy similar to the one for limit groups,…

We exploit Zlil Sela's description of the structure of groups having the same elementary theory as free groups: they and their finitely generated subgroups form a prescribed subclass E of the hyperbolic limit groups. We prove that if…

We prove that non-abelian free groups of finite rank at least 3 or of countable rank are not $\forall$-homogeneous. We answer three open questions from Kharlampovich, Myasnikov, and Sklinos regarding whether free groups, finitely generated…

We show that for any finitely generated subgroup $H$ of a limit group $L$ there exists a finite-index subgroup $K$ containing $H$, such that $K$ is a subgroup of a group obtained from $H$ by a series of extensions of centralizers and free…