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

DOI10.1016/J.JALGEBRA.2011.01.008MaRDI QIDQ555587zbMATH OpenOpenAlexFDO

Authors Alexandra Shlapentokh, Xavier Vidaux

Publication date 25 July 2011

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

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

zbMATH Keywords

Büchi's problemfunction fields of curves in characteristic zerofunction fields of curves in positive characteristicHensley's problemRiemann-Roch theorem

Mathematics Subject Classification ID

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

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).

Review text

Using the algebraic geometry of curves and the divisor theory, the authors prove that if \(K\) is a function field of a curve of genus \(g\), then Hensley's problem for \(r\)-th powers has a positive answer for any \(r\), if \(K\) has characteristic zero. This improves results by Pasten and Vojta. In positive characteristic \(p\) it is proved that Büchi's problem has a positive answer if \(p \geq 312 g + 169\). This improves results by Pheidas and Vidaux.

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

Cites work

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

Cited in

(17)

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

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)