Automorphisms mapping a point into a subvariety

DOI10.1090/S1056-3911-2011-00543-2zbMATH Open1229.14032arXiv0902.3571MaRDI QIDQ3173524FDOQ3173524

Bjorn Poonen

Publication date: 10 October 2011

Published in: Journal of Algebraic Geometry (Search for Journal in Brave)

Abstract: The problem of deciding, given a complex variety X, a point x in X, and a subvariety Z of 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.

Full work available at URL: https://arxiv.org/abs/0902.3571

Recommendations

• Existence of rational points on smooth projective varieties
• Affine smooth varieties with finite group of automorphisms
• Automorphism groups and invariant theory on ℙN
• Automorphisms of affine smooth varieties
• On automorphisms of flexible varieties

zbMATH Keywords

automorphismsundecidabilityDiophantine setsHilbert's tenth problem

Mathematics Subject Classification ID

Automorphisms of surfaces and higher-dimensional varieties (14J50) Decidability of theories and sets of sentences (03B25) Number-theoretic algorithms; complexity (11Y16) Computational aspects of higher-dimensional varieties (14Q15) Model theory (number-theoretic aspects) (11U09) Software, source code, etc. for problems pertaining to algebraic geometry (14-04)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Canonical desingularization in characteristic zero by blowing up the maximum strata of a local invariant
• Title not available (Why is that?)
• The decision problem for exponential diophantine equations
• Gröbner bases and primary decomposition of polynomial ideals
• Constructiveness of Hironaka's resolution
• Diophantine undecidability of \({\mathbb{C}{}}(t_ 1,t_ 2)\)
• Title not available (Why is that?)
• Patching local uniformizations
• Degree bounds for Gröbner bases in algebras of solvable type
• Ideal membership in polynomial rings over the integers
• Automated resolution of singularities for hypersurfaces
• Title not available (Why is that?)
• On constructing bases for ideals in polynomial rings over the integers
• A solution to Kronecker's problem
• Flatness testing and torsionfree morphisms
• Algorithmic aspects of Z[x1,…,xn] with applications to tiling problems

Cited In (5)

• On the modular computation of Gröbner bases with integer coefficients
• A projective variety with discrete, non-finitely generated automorphism group
• Fields of definition and Belyi type theorems for curves and surfaces
• Random arithmetic formulas can be reconstructed efficiently
• The isomorphism problem of projective schemes and related algorithmic problems

Uses Software

• ecdata

This page was built for publication: Automorphisms mapping a point into a subvariety

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3173524)