An Algebraic Proof of Hrushovski's Theorem

2024/09/12 by Thomas Wisson, Wisson, Thomas · 1 citation
Computer Science · Mathematics · Physics and Astronomy · #Advanced Algebra and Logic #Advanced Mathematical Identities #Advanced Mathematical Theories and Applications #Algebraic Geometry (math.AG) #FOS: Mathematics #Number Theory (math.NT)

paper · pdf · doi:10.48550/arxiv.2409.08370

openalex publication_date 2024/09/12 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28

Abstract

In his paper on the Mordell-Lang conjecture, Hrushovski employed techniques from model theory to prove the function field version of the conjecture. In doing so he was able to answer a related question of Voloch, which we refer to henceforth as Hrushovski's theorem. In this paper we shall give an alternative proof of said theorem in the characteristic p setting, but using purely algebro-geometric ideas.

Cited by

• Adelic Mordell-Lang and the Brauer-Manin obstruction

Related

• On Hrushovski's proof of the Manin-Mumford conjecture
• The Hrushovski-Lang-Weil estimates
• The (non-uniform) Hrushovski-Lang-Weil estimates
• Sur un théorème de Lang-Weil tordu, d'après E. Hrushovski, K. V. Shuddhodan et Y. Varshavsky
• The geometry of Hrushovski constructions, II. The strongly minimal case