The theorem of Ax says that any regular selfmapping of a complex algebraic variety is either surjective or non-injective; this property is called surjunctivity and investigated in the present paper in the category of proregular mappings of proalgebraic spaces. We show that such maps are surjunctive if they commute with sufficiently large automorphism groups. Of particular interest is the case of proalgebraic varieties over infinite graphs. The paper intends to bring out relations between model theory, algebraic geometry, and symbolic dynamics.
Similar content being viewed by others
Author information
Authors and Affiliations
Additional information
Received August 3, 1998 / final version received January 22, 1999
Rights and permissions
About this article
Cite this article
Gromov, M. Endomorphisms of symbolic algebraic varieties . J. Eur. Math. Soc. 1, 109–197 (1999). https://doi.org/10.1007/PL00011162
Issue Date:
DOI: https://doi.org/10.1007/PL00011162