Decidability of equations and first-order theory in Seifert 3-manifold groups

In [arXiv:1405.6274, Question 5.2 & Question 5.3] Aschenbrenner, Friedl and Wilton ask: (1) Is the equation problem solvable for the fundamental group of any $3$-manifold? and (2) Is the first-order theory of the fundamental group of any $3$-manifold decidable? In this paper we answer both of these questions by proving that Hilbert’s tenth problem over the integers can be encoded in equations over any non-virtually abelian fundamental group of any Seifert fibered 3-manifold whose orbifold has non-negative Euler characteristic. We use this to show that the equation problem (and hence also the first-order theory) is undecidable in this infinite family of $3$-manifold groups and then apply it to classify the Seifert 3-manifold groups with decidable equation problems and decidable first-order theories, in the case that the orbifold has non-negative Euler characteristic. In contrast, we show that for this class of Seifert 3-manifold groups the single equation problem is decidable. For every Seifert 3-manifold group $G$ where the orbifold has negative Euler characteristic we show that either $G$ has decidable equation problem or $G$ has a finite index subgroup of index $2$ that has decidable equation problem. These negative Euler characteristic results follow from work of Liang on central extensions of hyperbolic groups. We also discuss why Liang’s results do not suffice to deal with all the negative Euler characteristic cases. We show how to construct several other infinite families of $3$-manifold groups with undecidable equation problem (and hence also undecidable first-order theory) including examples that are not Seifert manifold groups and examples that are not virtually nilpotent. In addition, we observe that there are numerous other infinite families for which the first-order theory is undecidable such as fundamental groups of manifolds modeled on 3-dimensional Sol geometry.

💡 Research Summary

This paper provides a definitive classification of the decidability of the Diophantine problem (also called the equation problem) and the first-order theory for fundamental groups of Seifert fibered 3-manifolds, answering two open questions posed by Aschenbrenner, Friedl, and Wilton.

Core Results: The central object of study is the fundamental group G = π₁(M) of a Seifert fibered 3-manifold M, characterized by its base orbifold B. The Euler characteristic χ(B) of this orbifold serves as the key parameter determining decidability.

1. For χ(B) ≥ 0 (Non-negative Euler characteristic):

   • If G is not virtually abelian (i.e., does not have a finite-index abelian subgroup), then Hilbert’s Tenth Problem over the integers is reducible to the Diophantine problem in G. Since Hilbert’s Tenth Problem is undecidable, it follows that both the Diophantine problem and the first-order theory of G are undecidable. The proof constructs an encoding of the ring of integers (Z, +, *) inside G using equations.
   • If G is virtually abelian, then it has a decidable first-order theory and a decidable Diophantine problem.

2. For χ(B) < 0 (Negative Euler characteristic):

   • Applying a result of Liang on central extensions of hyperbolic groups, the authors show that for every such G, either G itself or a finite-index subgroup of index 2 has a decidable Diophantine problem. They conjecture that in fact G itself always has a decidable Diophantine problem in this case, but note that Liang’s theorem does not automatically cover all instances.

3. Single Equation Problem:

   • In contrast to systems of equations, the problem of deciding whether a single equation has a solution is shown to be decidable for all Seifert 3-manifold groups G where χ(B) ≥ 0.
   • For χ(B) < 0, it is shown that G or an index-2 subgroup has a decidable single equation problem. The authors conjecture decidability for all G.

Technical Analysis and Significance: The undecidability proof for χ(B) ≥ 0 groups relies on a detailed analysis of the standard presentations of Seifert manifold groups. These groups are virtually nilpotent in this case. The authors demonstrate that within such a group, the set of integers and the operations of addition and multiplication can be defined using systems of equations. This “interpretability” of the ring Z within the group structure allows for a reduction from the undecidable Hilbert’s Tenth Problem.

The paper clarifies the scope and limitations of applying Liang’s work on hyperbolic group extensions to the negative Euler characteristic case. It also places its results within the broader context of algorithmic properties of 3-manifold groups, noting that while many problems (word, conjugacy, isomorphism for closed manifolds) are decidable, the Diophantine problem presents a more complex landscape.

Broader Implications: The results represent a major step towards a full classification of decidability for 3-manifold groups. Seifert manifolds account for six of the eight Thurston geometries, making this a central class. The paper also observes that undecidability extends beyond Seifert groups; for example, the first-order theory of fundamental groups of manifolds modeled on Sol geometry is also undecidable. The work highlights the open question of whether decidability of the Diophantine problem is preserved under finite-index extensions, a property not yet known in general.