English
Related papers

Related papers: Hilbert's Tenth Problem for function fields of var…

200 papers

We prove an effective form of Hilbert's irreducibility theorem for polynomials over a global field $K$. More precisely, we give effective bounds for the number of specializations $t\in \mathcal{O}_K$ that do not preserve the irreducibility…

Number Theory · Mathematics 2022-08-25 Marcelo Paredes , Román Sasyk

Let k be a field of characteristic zero, let X be a geometrically integral k-variety of dimension n and let K be its field of fractions. Under the assumption that K contains all r-th roots of unity for an integer r, we prove that, given an…

Number Theory · Mathematics 2011-05-20 Alena Pirutka

We show that several sets of interest arising from the study of partition regularity and density Ramsey theory of polynomial equations over integral domains are undecidable. In particular, we show that the set of homogeneous polynomials $p…

Logic · Mathematics 2025-05-13 Sohail Farhangi , Steve Jackson , Bill Mance

The main goal of this work is to answer a question of P. D`ebes and D. Haran by relaxing the condition for Hilbertianity. Namely we prove that for a field K to be Hilbertian it suffices that K has the irreducible specialization property…

Number Theory · Mathematics 2012-06-13 Lior Bary-Soroker

Hilbert's Tenth Problem over the field $\mathbb Q$ of rational numbers is one of the biggest open problems in the area of undecidability in number theory. In this paper we construct new, computably presentable subrings $R$ of $\mathbb Q$…

Number Theory · Mathematics 2018-02-12 Kirsten Eisentraeger , Russell Miller , Jennifer Park , Alexandra Shlapentokh

Suppose that h in F[x,y,z], char F=2, defines a nodal cubic. In earlier papers we made a precise conjecture as to the Hilbert-Kunz functions attached to the powers of h. Assuming this conjecture we showed that a class of characteristic 2…

Commutative Algebra · Mathematics 2009-08-10 Paul Monsky

This paper explores multiple closely related themes: bounding the complexity of Diophantine equations over the integers and developing mathematical proofs in parallel with formal theorem provers. Hilbert's Tenth Problem (H10) asks about the…

Number Theory · Mathematics 2025-07-01 Jonas Bayer , Marco David , Malte Hassler , Yuri Matiyasevich , Dierk Schleicher

We consider the problem of solvability of linear differential equations over a differential field~$K$. We introduce a class of special differential field extensions, which widely generalizes the classical class of extensions of differential…

Algebraic Geometry · Mathematics 2025-03-11 Askold Khovanskii , Aaron Tronsgard

Let $R$ be a local ring of characteristic $p>0$ which is $F$-finite and has perfect residue field. We compute the generalized Hilbert-Kunz invariant for certain modules over several classes of rings: hypersurfaces of finite representation…

Commutative Algebra · Mathematics 2015-03-04 Hailong Dao , Kei-ichi Watanabe

Let f(t,X) be an irreducible polynomial over the field of rational functions k(t), where k is a number field. Let O be the ring of integers of k. Hilbert's irreducibility theorem gives infinitely many integral specializations of t to values…

Number Theory · Mathematics 2019-07-30 Peter Müller

A field $K$ in a ring language $\mathcal{L}$ is finitely undecidable if $\mbox{Cons}(\Sigma)$ is undecidable for every nonempty finite $\Sigma \subseteq \mbox{Th}(K; \mathcal{L})$. We extend a construction of Ziegler and (among other…

Logic · Mathematics 2023-07-21 Brian Tyrrell

In this paper we obtain new quantitative forms of Hilbert's Irreducibility Theorem. In particular, we show that if $f(X, T_1, \ldots, T_s)$ is an irreducible polynomial with integer coefficients, having Galois group $G$ over the function…

Number Theory · Mathematics 2016-02-02 Abel Castillo , Rainer Dietmann

We consider Bergman spaces and variations of them in one or several complex variables. For some domains we show that in these spaces the generic function is totally unbounded and hence non - extendable. We also show that the generic…

Complex Variables · Mathematics 2017-04-10 T. Hatziafratis , K. Kioulafa , V. Nestoridis

The u-invariant of a field is the largest dimension of an anisotropic quadratic torsion form over the field. In this article we obtain a bound on the u-invariant of function fields in one variable over a henselian valued field with…

Number Theory · Mathematics 2025-08-18 Karim Johannes Becher , Nicolas Daans , Vlerë Mehmeti

We prove that Hilbert's Tenth Problem for a ring of integers in a number field K has a negative answer if K satisfies two arithmetical conditions (existence of a so-called division-ample set of integers and of an elliptic curve of rank one…

Number Theory · Mathematics 2007-05-23 Gunther Cornelissen , Thanases Pheidas , Karim Zahidi

In this paper we determine the upper bounds of $|H_{2}(3)|$ for the inverse functions of functions of some classes of univalent functions, where $H_{2}(3)(f)=a_{3}a_{5}-a_{4}^{2}$ is the Hankel determinant of a special type.

Complex Variables · Mathematics 2022-11-23 Milutin Obradović , Nikola Tuneski

Let $k({\bf x})=k(x_1,\ldots ,x_n)$ be the rational function field, and $k\subsetneqq L\subsetneqq k({\bf x})$ an intermediate field. Then, Hilbert's fourteenth problem asks whether the $k$-algebra $A:=L\cap k[x_1,\ldots ,x_n]$ is finitely…

Commutative Algebra · Mathematics 2018-03-22 Shigeru Kuroda

We study the analogue of the infinitesimal 16th Hilbert problem in dimension zero. Lower and upper bounds for the number of the zeros of the corresponding Abelian integrals (which are algebraic functions) are found. We study the relation…

Classical Analysis and ODEs · Mathematics 2010-07-27 Lubomir Gavrilov , Hossein Movasati

Let k be an algebraically closed field of characteristic 0. The question of irreducibility of the punctual Hilbert scheme Hilb_d P^n and its Gorenstein locus for various d was studied in [CEVV8, CN9, CN10, CN11]. In this short paper we…

Algebraic Geometry · Mathematics 2012-12-04 Joachim Jelisiejew

Altenbernd, Thomas and W\"ohrle have considered acceptance of languages of infinite two-dimensional words (infinite pictures) by finite tiling systems, with usual acceptance conditions, such as the B\"uchi and Muller ones [1]. It was proved…

Computational Complexity · Computer Science 2009-08-04 Olivier Finkel