|
|
|
|
LEADER |
01176 am a22002173u 4500 |
001 |
71609 |
042 |
|
|
|a dc
|
100 |
1 |
0 |
|a Poonen, Bjorn
|e author
|
100 |
1 |
0 |
|a Massachusetts Institute of Technology. Department of Mathematics
|e contributor
|
100 |
1 |
0 |
|a Poonen, Bjorn
|e contributor
|
100 |
1 |
0 |
|a Poonen, Bjorn
|e contributor
|
700 |
1 |
0 |
|a Aschenbrenner, Matthias
|e author
|
245 |
0 |
0 |
|a Automorphisms mapping a point into a subvariety
|
260 |
|
|
|b American Mathematical Society (AMS)/University Press Inc.,
|c 2012-07-12T20:09:45Z.
|
856 |
|
|
|z Get fulltext
|u http://hdl.handle.net/1721.1/71609
|
520 |
|
|
|a 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 over Z defining an affine Q-variety whose projective closure is smooth.
|
520 |
|
|
|a National Science Foundation (U.S.) (NSF grant DMS-0841321)
|
520 |
|
|
|a National Science Foundation (U.S.) (NSF grant DMS-0556197)
|
546 |
|
|
|a en_US
|
655 |
7 |
|
|a Article
|
773 |
|
|
|t Journal of Algebraic Geometry
|