Mazur's topology of rational points conjecture

Let VV be any variety over Q\mathbb{Q}. The topological closure of V(Q)V(\mathbb{Q}) in V(R)V(\mathbb{R}) is required to have at most finitely many connected components.

Mazur's conjecture. The topological closure of V(Q)V(\mathbb{Q}) in V(R)V(\mathbb{R}) possesses at most a finite number of connected components.

This conjecture concerns the archimedean topology of rational points and has consequences for Diophantine definitions over Q\mathbb{Q}, including the nonexistence of Diophantine definitions for infinite discrete sets such as Z\mathbb{Z}. Its resolution status is not specified in the source.

Sources & referencesView supporting material

Primary source

Alexandra Shlapentokh, “Defining Integers”, arXiv:1008.0809 (2010).

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.