Diophantine geometry over groups I : Makanin-Razborov diagrams
Publications Mathématiques de l'IHÉS, Volume 93 (2001), pp. 31-105.

This paper is the first in a sequence on the structure of sets of solutions to systems of equations in a free group, projections of such sets, and the structure of elementary sets defined over a free group. In the first paper we present the (canonical) Makanin-Razborov diagram that encodes the set of solutions of a system of equations. We continue by studying parametric families of sets of solutions, and associate with such a family a canonical graded Makanin-Razborov diagram, that encodes the collection of Makanin-Razborov diagrams associated with the individual members in the parametric family.

@article{PMIHES_2001__93__31_0,
     author = {Sela, Zlil},
     title = {Diophantine geometry over groups {I} : {Makanin-Razborov} diagrams},
     journal = {Publications Math\'ematiques de l'IH\'ES},
     pages = {31--105},
     publisher = {Institut des Hautes \'Etudes Scientifiques},
     volume = {93},
     year = {2001},
     mrnumber = {1863735},
     zbl = {1018.20034},
     language = {en},
     url = {http://www.numdam.org/item/PMIHES_2001__93__31_0/}
}
TY  - JOUR
AU  - Sela, Zlil
TI  - Diophantine geometry over groups I : Makanin-Razborov diagrams
JO  - Publications Mathématiques de l'IHÉS
PY  - 2001
SP  - 31
EP  - 105
VL  - 93
PB  - Institut des Hautes Études Scientifiques
UR  - http://www.numdam.org/item/PMIHES_2001__93__31_0/
LA  - en
ID  - PMIHES_2001__93__31_0
ER  - 
%0 Journal Article
%A Sela, Zlil
%T Diophantine geometry over groups I : Makanin-Razborov diagrams
%J Publications Mathématiques de l'IHÉS
%D 2001
%P 31-105
%V 93
%I Institut des Hautes Études Scientifiques
%U http://www.numdam.org/item/PMIHES_2001__93__31_0/
%G en
%F PMIHES_2001__93__31_0
Sela, Zlil. Diophantine geometry over groups I : Makanin-Razborov diagrams. Publications Mathématiques de l'IHÉS, Volume 93 (2001), pp. 31-105. http://www.numdam.org/item/PMIHES_2001__93__31_0/

[Be] M. Bestvina, R-trees in topology, geometry, and group theory, preprint. | MR | Zbl

[Be-Fe1] M. Bestvina and M. Feighn, Stable actions of groups on real trees, Inventiones Math. 121 (1995), 287-321. | MR | Zbl

[Be-Fe2] M. Bestvina and M. Feighn, Bounding the complexity of simplicial group actions, Inventiones Math. 103 (1991), 449-469. | MR | Zbl

[De-Po] T. DELZANT and L. POTYAGAILO, Accessibilité hiérarchique, Topology, to appear. | MR

[Du] M. Dunwoody, Groups acting on protrees, J. London Math. Soc. 56 (1997), 125-136. | MR | Zbl

[Du-Sa] M. Dunwoody and M. Sageev, JSJ-splittings for finitely presented groups over slender groups, Inventiones Math. 135 (1999), 25-44. | MR | Zbl

[Fa] B. Farb, Relatively hyperbolic groups, GAFA 8 (1998), 810-840. | MR | Zbl

[Fu-Pa] K. Fujiwara and P. Papasoglu, JSJ decompositions and complexes of groups, preprint.

[Gu] V. S. Guba, Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems, Math. Zametki 40 (1986), 321-324. | MR | Zbl

[Kh-My] O. Kharlampovich and A. Myasnikov, Irreducible affine varieties over a free group II, J. of Algebra 200 (1998), 517-570. | MR | Zbl

[Ma1] G. S. Makanin, Equations in a free group, Math. USSR Izvestiya 21 (1983), 449-469. | MR | Zbl

[Ma2] G. S. Makanin, Decidability of the universal and positive theories of a free group, Math. USSR Izvestiya 25 (1985), 75-88. | MR | Zbl

[Me] Yu. I. MERZLYAKOV, Positive formulae on free groups, Algebra i Logika 5 (1966), 257-266. | MR

[Pa] F. Paulin, Outer automorphisms of hyperbolic groups and small actions on R-trees, Arboreal Group Theory (ed. R. C. Alperin), 331-343. | MR | Zbl

[Ra1] A. A. Razborov, On systems of equations in a free group, Math. USSR Izvestiya 25 (1985), 115-162. | MR | Zbl

[Ra2] A. A. Razborov, On systems of equations in a free group, Ph.D. thesis, Steklov Math. institute (1987).

[Ri-Se1] E. Rips and Z. Sela, Structure and rigidity in hyperbolic groups I, GAFA 4 (1994), 337-371. | MR | Zbl

[Ri-Se2] E. Rips and Z. Sela, Cyclic splittings of finitely presented groups and the canonical JSJ decomposition, Annals of Mathematics 146 (1997), 53-104. | MR | Zbl

[Se1] Z. Sela, The Nielsen-Thurston classification and automorphisms of a free group I, Duke Math. J. 84 (1996), 379-397. | MR | Zbl

[Se2] Z. Sela, Structure and rigidity in (Gromov) hyperbolic groups and discrete groups in rank 1 Lie groups II, GAFA 7 (1997), 561-593. | MR | Zbl

[Se3] Z. Sela, Acylindrical accessibility for groups, Inventiones Mathematicae 129 (1997), 527-565. | MR | Zbl

[Se4] Z. Sela, Endomorphisms of hyperbolic groups I: The Hopf property, Topology 38 (1999), 301-321. | MR | Zbl

[We] R. Weidmann, The Nielsen method for groups acting on trees, preprint. | MR | Zbl