Skip to main content
SpringerLink
Log in

Diophantine geometry over groups III: Rigid and solid solutions

  • Published:
Israel Journal of Mathematics Aims and scope Submit manuscript

Abstract

This paper is the third in a series 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 third paper we analyze exceptional families of solutions to a parametric system of equations. The structure of the exceptional solutions, and the global bound on the number of families of exceptional solutions we obtain, play an essential role in our approach towards quantifier elimination in the elementary theory of a free group presented in the next papers of this series. The argument used for proving the global bound is a key in proving the termination of the quantifier elimination procedure presented in the sixth paper of the series.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Log in via an institution

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. M. Bestvina and M. Feighn,Bounding the complexity of simplicial group actions, Inventiones Mathematicae103 (1991), 449–469.

    Article  MATH  MathSciNet  Google Scholar 

  2. M. Bestvina and M. Feighn,Stable actions of groups on real trees, Inventiones Mathematicae121 (1995), 287–321.

    Article  MATH  MathSciNet  Google Scholar 

  3. M. Bestvina and M. Feighn,Outer limits, preprint.

  4. M. Bestvina and M. Feighn,Counting maps from a surface to a graph, preprint.

  5. G. S. Makanin,Decidability of the universal and positive theories of a free group, Mathematics of the USSR-Izvestiya25 (1985), 75–80.

    Article  Google Scholar 

  6. J. W. Morgan,Ergodic theory and free actions of groups on R-trees, Inventiones Mathematicae94 (1988), 605–622.

    Article  MATH  MathSciNet  Google Scholar 

  7. F. Paulin,Outer automorphisms of hyperbolic groups and small actions on R-trees, inArboreal Group Theory (R. C. Alperin, ed.), MSRI publications no. 19, 1991, pp. 331–343.

  8. A. A. Razborov,On systems of equations in a free group, Ph.D. thesis, Steklov Mathematical Institute, 1987.

  9. Z. Sela,Diophantine geometry groups I: Makanin-Razborov diagrams, Publications Mathématiques de l’IHES93 (2001), 31–105.

    Article  MATH  MathSciNet  Google Scholar 

  10. Z. Sela,Diophantine geometry over groups II: Completions, closures and formal solutions, Israel Journal of Mathematics134 (2003), 173–254.

    MATH  MathSciNet  Google Scholar 

  11. Z. Sela,Acylindrical accessibility for groups, Inventiones Mathematicae129 (1997), 527–565.

    Article  MATH  MathSciNet  Google Scholar 

  12. Z. Sela,Diophantine geometry over groups IV: An iterative procedure for validation of a sentence, Israel Journal of Mathematics143 (2004), 1–130.

    MATH  MathSciNet  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Mathematics, The Hebrew University of Jerusalem, Givat Ram, 91904, Jerusalem, Israel

    Z. Sela

Authors
  1. Z. Sela
    View author publications

    You can also search for this author in PubMed Google Scholar

Additional information

Partially supported by an Israel Academy of Sciences Fellowship.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Sela, Z. Diophantine geometry over groups III: Rigid and solid solutions. Isr. J. Math. 147, 1–73 (2005). https://doi.org/10.1007/BF02785359

Download citation

  • Received:

  • Revised:

  • Issue Date:

  • DOI: https://doi.org/10.1007/BF02785359

Keywords

Search

Navigation