Uncomputably large integral points on algebraic plane curves?

DOI10.1016/S0304-3975(99)00188-7zbMATH Open0940.03014arXivmath/9809009OpenAlexW2168372243MaRDI QIDQ1978704FDOQ1978704

J. Maurice Rojas

Publication date: 4 June 2000

Published in: Theoretical Computer Science (Search for Journal in Brave)

Abstract: We show that the decidability of an amplification of Hilbert's Tenth Problem in three variables implies the existence of uncomputably large integral points on certain algebraic curves. We obtain this as a corollary of a new positive complexity result: the Diophantine prefixes EAE and EEAE are generically decidable. This means, taking the former prefix as an example, that we give a precise geometric classification of those polynomials f in Z[v,x,y] for which the question... ``Does there exists a v in N such that for all x in N, there exists a y in N with f(v,x,y)=0? ...may be undecidable, and we show that this set of polynomials is quite small in a rigourous sense. (The decidability of EAE was previously an open question.) The analogous result for the prefix EEAE is even stronger. We thus obtain a connection between the decidability of certain Diophantine problems, height bounds for points on curves, and the geometry of certain complex surfaces and 3-folds.

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

Recommendations

• Large Integral Points on Elliptic Curves
• On the number of integral points on algebraic curves
• On Certain Plane Curves with Many Integral Points
• Integer points on a curve and the plane Jacobian problem
• CHARACTERIZING ALGEBRAIC CURVES WITH INFINITELY MANY INTEGRAL POINTS
• scientific article; zbMATH DE number 2149958
• Real algebraic curves with large finite number of real points
• scientific article; zbMATH DE number 1129318
• Integral points on hyperelliptic curves
• scientific article; zbMATH DE number 7024806

zbMATH Keywords

decidabilitypolynomialsHilbert's Tenth Problemheight boundsdiophantine prefixgeometry of complex surfaces and 3-foldsuncomputably large integral points on algebraic curves

Mathematics Subject Classification ID

[https://portal.mardi4nfdi.de/w/index.php?search=%2211G30%22&title=Special%3ASearch&profile=advanced&fulltext=1&ns120=1 Curves of arbitrary genus or genus ( e 1) over global fields (11G30)] Rational and ruled surfaces (14J26) Decidability of theories and sets of sentences (03B25) Diophantine equations in many variables (11D72) Undecidability and degrees of sets of sentences (03D35) Decidability (number-theoretic aspects) (11U05) Curves in algebraic geometry (14H99) Arithmetic problems in algebraic geometry; Diophantine geometry (14G99)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• COMPLEXITY AND REAL COMPUTATION: A MANIFESTO
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Mathematical problems for the next century
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Algebraic Geometry. I: Complex projective varieties.
• Diophantine approximations and value distribution theory
• An algorithm for computing an integral basis in an algebraic function field
• Title not available (Why is that?)
• Universal diophantine equation
• Integer Points on Curves of Genus 2 and their Jacobians
• Title not available (Why is that?)
• Title not available (Why is that?)
• Contributions to the theory of diophantine equations I. On the representation of integers by binary forms
• On \(S\)-integral solutions of the equation \(y^ m=f(x)\)
• On the distribution of integer points on curves of genus zero
• Title not available (Why is that?)
• Sur le théorème de Runge
• Computational complexities of diophantine equations with parameters
• Classification of Quantifier Prefixes Over Diophantine Equations
• Points entiers sur les courbes de genre 0
• Title not available (Why is that?)
• Solving degenerate sparse polynomial systems faster
• Title not available (Why is that?)
• On the complexity of Diophantine geometry in low dimensions (extended abstract)

Cited In (2)

• On the distribution of integer points on curves of genus zero
• Computational arithmetic geometry. I: Sentences nearly in the polynomial hierarchy

This page was built for publication: Uncomputably large integral points on algebraic plane curves?

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