Automorphisms mapping a point into a subvariety

DOI10.1090/S1056-3911-2011-00543-2MaRDI QIDQ3173524zbMATH OpenFDO

Authors Bjorn Poonen

Publication date 10 October 2011

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

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

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)

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.

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

Cites work

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

Cited in

(5)

• On the modular computation of Gröbner bases with integer coefficients
• The isomorphism problem of projective schemes and related algorithmic problems
• 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

Describes a project that uses

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)