Related papers: Nash maps over large fields

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

We prove a dynamical Shafarevich theorem on the finiteness of the set of isomorphism classes of rational maps with fixed degeneracies. More precisely, fix an integer d at least 2 and let K be either a number field or the function field of a…

We deal with inverse maximum theorems, which are inspired by the ones given by Aoyama, Komiya, Li et al., Park and Komiya, and Yamauchi. As a consequence of our results, we state and prove an inverse maximum Nash theorem and show that any…

We give a criterion for maps on ultrametric spaces to be surjective and to preserve spherical completeness. We show how Hensel's Lemma and the multi-dimensional Hensel's Lemma follow from our result. We give an easy proof that the latter…

In the seventies', Zehnder found a Nash-Moser type implicit function theorem in the analytic set-up. This theorem has found many applications in dynamical systems although its applications require, as a general rule, some efforts. We…

Fix a field $K$. We show that $K$ is large if and only if some elementary extension of $K$ is the fraction field of a henselian local domain which is not a field. The proof uses a new result about the \'etale-open topology over $K$: if $K$…

One can associate to a valued field an inverse system of valued hyperfields $(\mathcal{H}_i)_{i \in I}$ in a natural way. We investigate when, conversely, such a system arise from a valued field. First, we extend a result of Krasner by…

We prove a theorem which provides a method for constructing points on varieties defined by certain smooth functions. We require that the functions are definable in a definably complete expansion of a real closed field and are locally…

Let $K$ be a field of positive characteristic with no algebraically closed subfield. Let $F$ be a function field over $K$ and $t \in F$ transcendental over $K$. Refining a result of Eisentr{\"a}ger and Shlapentokh, we show that there is no…

In this paper we investigate realization theory of a class of non-linear systems, called Nash systems. Nash systems are non-linear systems whose vector fields and readout maps are analytic semi-algebraic functions. In this paper we will…

For a polynomial map $\mathbf{f} : k^n \to k^m$ ($k$ a field), we investigate those polynomials $g \in k[t_1,\ldots, t_n]$ that can be written as a composition $g = h \circ \mathbf{f}$, where $h: k^m \to k$ is an arbitrary function. In the…

For schemes X over global or local fields, or over their rings of integers, K. Kato stated several conjectures on certain complexes of Gersten-Bloch-Ogus type, generalizing the fundamental exact sequence of Brauer groups for a global field.…

Let $H$ be a skew field of finite dimension over its center $k$. We solve the Inverse Galois Problem over the field of fractions $H(X)$ of the ring of polynomial functions over $H$ in the variable $X$, if $k$ contains an ample field.

We establish the existence of fixed points for set-valued maps defined on metric spaces and satisfying a pointwise or a local version of Banach's contraction property. As an application, we demonstrate the existence of Nash equilibrium in a…

We work with semi-algebraic functions on arbitrary real closed fields. We generalize the notion of critical values and prove a Sard type theorem in our framework.

Suppose that $K$ is a characteristic zero field with infinite transcendence degree over its prime subfield. We show that if there is a gt-henselian topology on $K$ then there are $2^{2^{|K|}}$ pairwise incomparable gt-henselian topologies…

Let d be a positive integer. We show a finiteness theorem for semialgebraic RL triviality of a Nash family of Nash functions defined on a Nash manifold, generalising Benedetti-Shiota's finiteness theorem for semialgebraic RL equivalence…

We establish the \emph{inverse conjecture for the Gowers norm over finite fields}, which asserts (roughly speaking) that if a bounded function $f: V \to \C$ on a finite-dimensional vector space $V$ over a finite field $\F$ has large Gowers…

The Implicit and Inverse Function Theorems are special cases of a general Implicit/Inverse Function Theorem which can be easily derived from either theorem. The theorems can thus be easily deduced from each other via the generalized…

We consider the Zariski space of all places of an algebraic function field $F|K$ of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime…