The analogue of Büchi's problem for function fields

DOI10.1016/J.JALGEBRA.2011.01.008zbMATH Open1250.11103arXiv1004.0731OpenAlexW2963205120MaRDI QIDQ555587FDOQ555587

Authors: Alexandra Shlapentokh, Xavier Vidaux 

Publication date: 25 July 2011

Published in: Journal of Algebra (Search for Journal in Brave)

Abstract: B"uchi's $n$ Squares Problem asks for an integer $M$ such that any sequence $(x_0,\mathrm{...},x_{M-1})$, whose second difference of squares is the constant sequence $(2)$ (i.e. $x_n^2-2x_{n-1}^2+x_{n-2}^2=2$ for all $n$), satisfies $x_n^2=(x+n{)}^2$ for some integer $x$. Hensley's problem for $r$-th powers (where $r$ is an integer $geq2$) is a generalization of B"{u}chi's problem asking for an integer $M$ such that, given integers $u$ and $a$, the quantity $(u+n{)}^r-a$ cannot be an $r$-th power for $M$ or more values of the integer $n$, unless $a=0$. The analogues of these problems for rings of functions consider only sequences with at least one non-constant term. Let $K$ be a function field of a curve of genus $g$. We prove that Hensley's problem for $r$-th powers has a positive answer for any $r$ if $K$ has characteristic zero, improving results by Pasten and Vojta. In positive characteristic $p$ we obtain a weaker result, but which is enough to prove that B"uchi's problem has a positive answer if $pgeq312g+169$ (improving results by Pheidas and the second author).

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

Recommendations

• HENSLEY'S PROBLEM FOR FUNCTION FIELDS
• Extensions of Büchi's higher powers problem to positive characteristic
• New Computational Paradigms
• Generalized Büchi's problem for algebraic functions and meromorphic functions
• Representation of squares by monic second degree polynomials in the field of \(p\)-adic meromorphic functions

zbMATH Keywords

Riemann-Roch theoremHensley's problemfunction fields of curves in characteristic zerofunction fields of curves in positive characteristicBüchi's problem

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Higher degree equations; Fermat's equation (11D41) Decidability (number-theoretic aspects) (11U05)

Cites Work

• Title not available (Why is that?)
• A survey on Büchi's problem: new presentations and open problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Hilbert's tenth problem. Diophantine classes and extensions to global fields
• Diagonal quadratic forms and Hilbert's Tenth Problem
• THE ANALOGUE OF BÜCHI'S PROBLEM FOR RATIONAL FUNCTIONS
• An extension of Büchi's problem for polynomial rings in zero characteristic
• On Sequences of Squares with Constant Second Differences
• On square values of quadratics
• Hilbert's Tenth Problem is Unsolvable
• On square values of quadratics
• On the solutions of certain diagonal quadratic equations and Lang's conjecture
• Hilbert’s Tenth Problem: Relations with Arithmetic and Algebraic Geometry
• Extensions of Büchi's problem: Questions of decidability for addition and kth powers
• Squares in Quadratic Progression
• Representation of squares by monic second degree polynomials in the field of \(p\)-adic meromorphic functions
• The analogue of Büchi's problem for cubes in rings of polynomials
• Title not available (Why is that?)

Cited In (17)

• Extensions of Büchi's higher powers problem to positive characteristic
• Hensley's problem for complex and non-Archimedean meromorphic functions
• Uniform positive existential interpretation of the integers in rings of entire functions of positive characteristic
• Uniform existential interpretation of arithmetic in rings of functions of positive characteristic
• An adelic causality problem related to abelian \(L\)-functions.
• Representation of squares by monic second degree polynomials in the field of \(p\)-adic meromorphic functions
• Note on a Variation of the Schröder-Bernstein Problem for Fields
• The Brun-Titchmarsh theorem in function fields
• A survey on Büchi's problem: new presentations and open problems
• Büchi's problem in modular arithmetic for arbitrary quadratic polynomials
• New Computational Paradigms
• Generalized Büchi's problem for algebraic functions and meromorphic functions
• A note on Büchi's problem for \(p\)-adic numbers
• Analogue of the degree conjecture over function fields
• Finitely generated function fields and complexity in potential theory in the plane
• HENSLEY'S PROBLEM FOR FUNCTION FIELDS
• Definability of Frobenius orbits and a result on rational distance sets

This page was built for publication: The analogue of Büchi's problem for function fields

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