[Paper Review] Diophantine Geometry over Groups X: The Elementary Theory of Free Products of Groups

Zlil Sela|arXiv (Cornell University)|Nov 30, 2010

Geometric and Algebraic Topology12 references13 citations

TL;DR

This paper establishes a uniform quantifier elimination and model-theoretic reduction for the first-order theory of free products of arbitrary groups, introducing non-canonical graded resolutions that enable reduction of coefficient-free sentences and predicates over free products to their factors. The key contribution is proving elementary equivalence preservation under free product formation and showing that any coefficient-free sentence over a free product is equivalent to a finite disjunction of conjunctions of sentences over the factors, with uniform bounds independent of the specific groups involved.

ABSTRACT

This paper is the 10th in a sequence on the structure of sets of solutions to systems of equations over groups, projections of such sets (Diophantine sets), and the structure of definable sets over few classes of groups. In the 10th paper we answer affirmatively a question of R. L. Vaught on the elementary equivalence of free products of pairs of elementarily equivalent groups, and obtain a generalization of Tarski's problem on the elementary equivalence of non-abelian free groups. Finally, we prove that free products of stable groups is stable, generalizing a previous result on the stability of free groups.

Motivation & Objective

• To develop a uniform model-theoretic framework for the first-order theory of free products of arbitrary groups.
• To generalize quantifier elimination techniques from free and hyperbolic groups to arbitrary free products.
• To prove that the elementary theory of a free product depends only on the elementary theories of its factors, establishing elementary equivalence preservation.
• To provide a uniform reduction of coefficient-free sentences and predicates over free products to their constituent groups, independent of the specific group structure.
• To establish equationally Noetherian properties for free products of equationally Noetherian groups, generalizing results from countable to arbitrary groups.

Proposed method

• Introduce graded limit groups and rigid/weakly solid families over free products, generalizing concepts from free and hyperbolic groups.
• Construct non-canonical Makanin-Razborov-type diagrams (resolutions) for systems of equations over free products, encoding solution sets.
• Prove combinatorial boundedness for rigid and (weakly) solid families, replacing lost strong boundedness results from prior work.
• Use formal Makanin-Razborov diagrams to analyze AE sentences and predicates over free products, generalizing Merzlyakov-type theorems.
• Develop a uniform reduction of coefficient-free sentences and predicates over free products to finite combinations of sentences and predicates over the factors.
• Apply the resolution framework to prove that any coefficient-free sentence is equivalent to a finite disjunction of conjunctions of sentences over the factors, with uniform bounds.

Experimental results

Research questions

• RQ1 Does the elementary theory of a free product of groups depend only on the elementary theories of its factors, regardless of the specific group structure?
• RQ2 Can coefficient-free first-order sentences over free products be uniformly reduced to sentences over the factors, with bounds independent of the groups involved?
• RQ3 Is there a uniform model-theoretic mechanism—such as graded resolutions—that enables quantifier elimination and reduction of definable sets in free products?
• RQ4 Can the equationally Noetherian property be extended from individual groups to their free products, even when the groups are not countable?
• RQ5 What is the precise relationship between the first-order theory of a free product and the first-order theories of its factors, and can this be captured via a finite, uniform transformation?

Key findings

• Theorem 6.1 establishes a non-canonical but universal finite collection of graded resolutions for any coefficient-free predicate over a free product, valid for all non-trivial free products except the infinite dihedral group $D_{∞}$.
• Theorem 6.3 shows that any coefficient-free sentence over a free product is equivalent to a finite disjunction of conjunctions of coefficient-free sentences over the factors, enabling a uniform reduction to the factors.
• Theorem 7.1 proves that if $A_1 \equiv A_2$ and $B_1 \equiv B_2$, then $A_1 * B_1 \equiv A_2 * B_2$, establishing elementary equivalence preservation under free product formation.
• Theorem 7.2 generalizes Tarski’s problem for free groups by showing that $A*B$ is elementarily equivalent to $A*B*F$ for any non-$\mathbb{Z}_2$ group $A$ or $B$ and any free group $F$, implying that adding a free group does not change the elementary theory.
• Theorem 7.3 establishes a uniform bound $k(\Phi)$, depending only on the sentence $\Phi$, such that $\Phi$ holds in $H_1*\cdots*H_n$ for all $n \geq k(\Phi)$ if and only if it holds in $H_1*\cdots*H_{k(\Phi)}$, with $k(\Phi)$ independent of the group $H$.
• The paper proves that any free product $A*B$ of equationally Noetherian groups is itself equationally Noetherian, even when $A$ and $B$ are not countable, by reducing the general case to the countable case via subgroup generation and resolution completion.