Automorphisms mapping a point into a subvariety

The problem of deciding, given a complex variety X, a point x \in X, and a subvariety Z \subseteq X, whether there is an automorphism of X mapping x into Z is proved undecidable. Along the way, we prove the undecidability of a version of Hilbert's tenth problem for systems of polynomials...

Full description

Bibliographic Details
Main Authors: Poonen, Bjorn, Aschenbrenner, Matthias
Other Authors: Massachusetts Institute of Technology. Department of Mathematics
Format: Article
Language:en_US
Published: American Mathematical Society (AMS)/University Press Inc. 2012
Online Access:http://hdl.handle.net/1721.1/71609
https://orcid.org/0000-0002-8593-2792