论文信息 - Diophantine geometry over groups I: Makanin-Razborov diagrams

Diophantine geometry over groups I: Makanin-Razborov diagrams

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.

Z. Sela | Z. Sela

[1] V. S. Guba,et al. Equivalence of infinite systems of equations in free groups and semigroups to finite subsystems , 1986 .

[2] M. J. Dunwoody,et al. JSJ-splittings for finitely presented groups over slender groups , 1999 .

[3] Benson Farb,et al. Relatively Hyperbolic Groups , 1998 .

[4] Z. Sela. ENDOMORPHISMS OF HYPERBOLIC GROUPS I: THE HOPF PROPERTY , 1999 .

[5] G. Makanin. DECIDABILITY OF THE UNIVERSAL AND POSITIVE THEORIES OF A FREE GROUP , 1985 .

[6] G. Makanin. EQUATIONS IN A FREE GROUP , 1983 .

[7] Alexei G. Myasnikov,et al. Irreducible Affine Varieties over a Free Group: I. Irreducibility of Quadratic Equations and Nullstellensatz , 1998 .

[8] A. Razborov. ON SYSTEMS OF EQUATIONS IN A FREE GROUP , 1985 .

[9] R. Weidmann. The Nielsen Method For Groups Acting on Trees , 2002 .

[10] Z. Sela. Acylindrical accessibility for groups , 1997 .

[11] Z. Sela. The Nielsen-Thurston classification and automorphisms of a free group I , 1996 .

[12] Structure and rigidity in hyperbolic groups I , 1994 .

[13] Z. Sela,et al. Structure and Rigidity in (Gromov) Hyperbolic Groups and Discrete Groups in Rank 1 Lie Groups II , 1997 .

[14] M. J. Dunwoody. Groups Acting on Protrees , 1997 .

[15] Eliyahu Rips,et al. Cyclic Splittings of Finitely Presented Groups and the Canonical JSJ-Decomposition , 1997 .

[16] Mladen Bestvina,et al. Stable actions of groups on real trees , 1995 .