Related papers: Nash maps over large fields

Let R be an affine k-domain over the field k. The paper's main result is that, if R admits a non-trivial embedding in a polynomial ring K[s] for some field K containing k, then R can be embedded in a polynomial ring F[t] which extends R…

Let $T$ be a complete theory of fields, possibly with extra structure. Suppose that model-theoretic algebraic closure agrees with field-theoretic algebraic closure, or more generally that model-theoretic algebraic closure has the exchange…

A henselian valued field $K$ is called a tame field if its algebraic closure $\tilde{K}$ is a tame extension, that is, the ramification field of the normal extension $\tilde{K}|K$ is algebraically closed. Every algebraically maximal…

In this article we study definable functions in tame expansions of algebraically closed valued fields. For a given definable function we have two types of results: of type (I), which hold at a neighborhood of infinity, and of type (II),…

This paper seeks to prove the bijectivity of the "Nash mapping" from the set of irreducible components of the scheme parametrizing analytic arcs on an algebraic surface $X$ whose origin is a singular point, into the set of irreducible…

We prove that the existential theory of any function field $K$ of characteristic $p> 0$ is undecidable in the language of rings provided that the constant field does not contain the algebraic closure of a finite field. We also extend the…

We present a definable smooth version of the Thom transversality theorem. We show further that the set of non-transverse definable smooth maps is nowhere dense in the definable smooth topology. Finally, we prove a definable version of a…

A differential version of the classical Weil descent is established in all characteristics. It yields a theory of differential restriction of scalars for differential varieties over finite differential field extensions. This theory is then…

In 1980, Faltings proved, by deep local algebra methods, a local result regarding formal functions which has the following global geometric fact as a consequence. Theorem: Let k be an algebraically closed field (of any characteristic). Let…

A celebrated theorem in Real Algebraic and Analytic Geometry (originally due to Bruhat-Cartan and Wallace and stated later in its current form by Milnor) is the (Nash) curve selection lemma. It states that each point in the closure of a…

Using the recent proof of the polynomial Freiman-Ruzsa conjecture over $\mathbb{F}_p^n$ by Gowers, Green, Manners, and Tao, we prove a version of the polynomial Freiman-Ruzsa conjecture over function fields. In particular, we prove that if…

Since the Hadamard Theorem, several metric and topological conditions have emerged in the literature to date, yielding global inversion and implicit theorems for functions in different settings. Relevant examples are the mappings between…

We show that any separated essentially finite-type map $f$ of noetherian schemes globally factors as $f = hi$ where $i$ is an injective localization map and $h$ a separated finite-type map. In particular, via Nagata's compactification…

We prove the existence of definable retractions onto arbitrary closed subsets of $K^{n}$ definable over Henselian valued fields $K$. Hence directly follows non-Archimedian analogues of the Tietze--Urysohn and Dugundji theorems on extending…

We examine how implicit functions on ILB-Fr\'echet spaces can be obtained without metric or norm estimates which are classically assumed. We obtain implicit functions defined on a domain $D$ which is not necessarily open, but which contains…

Generalized smooth functions are a possible formalization of the original historical approach followed by Cauchy, Poisson, Kirchhoff, Helmholtz, Kelvin, Heaviside, and Dirac to deal with generalized functions. They are set-theoretical…

We prove an abstract Implicit Function Theorem with parameters for smooth operators defined on sequence scales, modeled for the search of quasi-periodic solutions of PDEs. The tame estimates required for the inverse linearised operators at…

In this short note, we will show the following weak evidence of S. Lang conjecture over function fields. Let f : X ---> Y be a projective and surjective morphism of algebraic varieties over an algebraically closed field k of characteristic…

The k-trigonometric functions over the Galois Field GF(q) are introduced and their main properties derived. This leads to the definition of the cask(.) function over GF(q), which in turn leads to a finite field Hartley Transform. The main…

We show that if $K$ is an arbitrary field and $G$ is a finite group then there exists a curve over $K$ with automorphism group $G$. We also give a positive solution to the weak inverse Galois problem for function fields over an arbitrary…