The Diophantine problem in isotropic reductive groups

Abstract

We begin to study model-theoretic properties of non-split isotropic reductive group schemes. In this paper we show that the base ring $K$ is e-interpretable in the point group $G(K)$ of every sufficiently isotropic reductive group scheme $G$. In particular, the Diophantine problems in $K$ and $G(K)$ are equivalent. We also compute the centralizer of the elementary subgroup of $G(K)$ and the common normalizer of all its root subgroups.

Extended bibliography, simplified proof of theorem 5, and fixed definition of isotropic reductive group schemes