Related papers: Hilbert's Tenth Problem for rational function fiel…

This paper presents fundamental algorithms for the computational theory of quadratic forms over number fields. In the first part of the paper, we present algorithms for checking if a given non-degenerate quadratic form over a fixed number…

Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only…

Let $K$ be a number field. For which primes $p$ does there exist an elliptic curve $E / K$ admitting a $K$-rational $p$-isogeny? Although we have an answer to this question over the rationals, extending this to other number fields is a…

A variety X over a field K is of Hilbert type if the set of rational points X(K) is not thin. We prove that if f: X\to S is a dominant morphism of K-varieties and both S and all fibers f^{-1}(s), s in S(K), are of Hilbert type, then so is…

Let $k$ be a field and let $V$ be a $k$-vector space of dimension $d$. Let $G \subseteq GL(V)$ be a finite group. Let $r = \dim_k (V^*)^G$. Assume $r \geq 1$. Let $R = k[V]^G$ be the ring of invariants of $G$. Let $H_R(n) =…

Solutions of the quartic Fermat equation in ring class fields of odd conductor over quadratic fields $K=\mathbb{Q}(\sqrt{-d})$ with $-d \equiv 1$ (mod $8$) are shown to be periodic points of a fixed algebraic function $T(z)$ defined on the…

Let $K$ be a number field or a function field of characteristic 0. If $K$ is a number field, assume the $abc$-conjecture for $K$. We prove a variant of Zsigmondy's theorem for ramified primes in preimage fields of rational functions in…

Let $K$ be a locally compact non-discrete field of characteristic $p>2$ and $Q$ be a non-degenerate isotropic binary quadratic form with coefficients in $K$. We obtain asymptotic estimates for the number of solutions in the two-fold product…

Let $p$ be an irregular prime and $K=\Q(\zeta)$ the $p$-cyclotomic field. Let $\sigma$ be a $\Q$-isomorphism of $K$ generating $Gal(K/\Q)$. Let $S/K$ be a cyclic unramified extension of degree $p$, defined by $S= K(A^{1/p})$ where $A\in…

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an enumeration operator, mapping each set $W$ of prime numbers to $HTP(\mathbb…

We show that the Hilbert-Kunz multiplicity of the d-dimensional non-degenerate quadric hypersurface of characteristic p > 2 is a rational function of p composed from the Ehrhart polynomials of integer polytopes. In consequence, we prove…

Let $\mathcal{P} \subseteq \mathbb{R}^{n}$ be a polytope whose vertices have rational coordinates. By a seminal result of E. Ehrhart, the number of integer lattice points in the $k$th dilate of $\mathcal{P}$ ($k$ a positive integer) is a…

We prove several results on backward orbits of rational functions over number fields. First, we show that if $K$ is a number field, $\phi\in K(x)$ and $\alpha\in K$ then the extension of $K$ generated by the abelian points in the backward…

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms…

Let $p$ be a prime number and $\zeta_p$ be a primitive $p$-th root of unity in $\bm{C}$. Let $k$ be a field and $k(x_0,\ldots,x_{p-1})$ be the rational function field of $p$ variables over $k$. Suppose that $G=\langle\sigma\rangle \simeq…

We investigate the problem of deciding whether a system of linear equations, together with divisibility conditions on the variables, has a solution over holomorphy subrings of global fields. We obtain decidability results when we allow…

We give an upper bound for the norm of the determinant of additively indecomposable, totally positive definite quadratic forms defined over the ring of integers of totally real number fields. We apply these results to find lower and upper…

Let $q$ be a quadratic form over a field $F$ and let $L$ be a field extension of $F$ of odd degree. It is a classical result that if $q_L$ is isotropic (resp. hyperbolic) then $q$ is isotropic (resp. hyperbolic). In turn, given two…

Let k be an algebraically closed field of characteristic zero. An element F from k(x_1,...,x_n) is called a closed rational function if the subfield k(F) is algebraically closed in the field k(x_1,...,x_n). We prove that a rational function…

Given a function field $K$ and $\phi \in K[x]$, we study two finiteness questions related to iteration of $\phi$: whether all but finitely many terms of an orbit of $\phi$ must possess a primitive prime divisor, and whether the Galois…