Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields

DOI10.1515/CRLL.2005.2005.587.77MaRDI QIDQ5701252zbMATH OpenOpenAlexFDO

Authors Laurent Moret-Bailly

Publication date 2 November 2005

Published in Journal für die reine und angewandte Mathematik (Crelles Journal) (Search for Journal in Brave)

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

zbMATH Keywords

\(p\)-adic fieldselliptic curvesHilbert's tenth problemreal fields

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Elliptic curves over global fields (11G05) Arithmetic theory of algebraic function fields (11R58) Decidability (number-theoretic aspects) (11U05) Decidability and field theory (12L05) Other nonalgebraically closed ground fields in algebraic geometry (14G27)

Abstract: Let k be a field of characteristic zero, V a smooth, positive-dimensional, quasiprojective variety over k, and D a nonempty effective divisor on V. Let K be the function field of V, and A the semilocal ring of D in K. In this paper, we prove the Diophantine undecidability of: (1) A, in all cases; (2) K, when k is (formally) real and V has a real point; (3) K, when k is a subfield of a p-adic field, for some odd prime p. To achieve this, we use Denef's method: from an elliptic curve E over Q, without complex multiplication, one constructs a quadratic twist E' of E over Q(t), which has Mordell-Weil rank one. Most of the paper is devoted to proving (using a theorem of R. Noot) that one can choose f in K, vanishing at D, such that the group E'(K) deduced from the field extension K/Q(f)=Q(t) is equal to E'(Q(t)). Then we mimic the arguments of Denef (for the real case) and of Kim and Roush (for the p-adic case).

Recommendations

• Endomorphisms of elliptic curves and undecidability in function fields of positive characteristic.
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields
• The existential theory of real hyperelliptic function fields
• scientific article; zbMATH DE number 2086873
• Hilbert's tenth problem for rational function fields over \(p\)-adic fields

Cites work

• Abeliants and their application to an elementary construction of Jacobians.
• scientific article; zbMATH DE number 3838204 (Why is no real title available?)
• scientific article; zbMATH DE number 3794225 (Why is no real title available?)
• scientific article; zbMATH DE number 3409447 (Why is no real title available?)

Cited in

(16)

• Diophantine undecidability of holomorphy rings of function fields of characteristic 0
• Hilbert's tenth problem for function fields of varieties over algebraically closed fields of positive characteristic
• Definability and decidability in infinite algebraic extensions
• Uniform first-order definitions in finitely generated fields
• Algebraic cycles from a computational point of view
• First-order definitions of rational functions and \({\mathcal S}\)-integers over holomorphy rings of algebraic functions of characteristic 0
• On existential definitions of c.e. subsets of rings of functions of characteristic 0
• Diophantine sets of polynomials over number fields
• The work of Kim and Roush on questions of decidability in algebra and number theory
• Diophantine stability
• Julia Robinson numbers
• The existential theory of real hyperelliptic function fields
• Some aspects of rational points and rational curves
• Universal-existential theories of fields
• Universally defining subrings in function fields
• Hilbert's Tenth problem for function fields of varieties over number fields and \(p\)-adic fields

This page was built for publication: Elliptic curves and Hilbert’s tenth problem for algebraic function fields over real andp-adic fields

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