Related papers: Nash maps over large fields

We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large"…

We give a short proof of polynomial recurrence with large intersection for additive actions of finite-dimensional vector spaces over countable fields on probability spaces, improving upon the known size and structure of the set of strong…

Fix a non-negative integer g and a positive integer I dividing 2g-2. For any Henselian, discretely valued field K whose residue field is perfect and admits a degree I cyclic extension, we construct a curve C over K of genus g and index I.…

We prove several sharp distortion and monotonicity theorems for spherically convex functions defined on the unit disk involving geometric quantities such as spherical length, spherical area and total spherical curvature. These results can…

For an arbitrary field $K$ and $K$-variety $V$, we introduce the \'etale-open topology on the set $V(K)$ of $K$-points of $V$. This topology agrees with the Zariski topology, Euclidean topology, or valuation topology when $K$ is separably…

We calibrate the reverse mathematical strength of a family of extensions of Ramsey's theorem to finite colorings of certain subsets of the natural numbers of unbounded finite dimension. Specifically, we analyze the principles…

New and old results on closed polynomials, i.e., such polynomials f in K[x_1,...,x_n] that the subalgebra K[f] is integrally closed in K[x_1,...,x_n], are collected. Using some properties of closed polynomials we prove the following…

In this paper we prove an existence result for a general class of hemivariational inequalities systems using the Ky Fan version of KKM theorem (1984) or the Tarafdar fixed point theorem (1987). As application we give an infinite dimensional…

Planar functions are special functions from a finite field to itself that give rise to finite projective planes and other combinatorial objects. We consider polynomials over a finite field $K$ that induce planar functions on infinitely many…

The article introduces Ahlfors' generalization of the Schwarz lemma. With this powerful geometric tool of complex functions in one variable, we are able to prove some theorems concerning the size of images under holomorphic mappings,…

In this work we characterize the subsets of ${\mathbb R}^n$ that are images of Nash maps $f:{\mathbb R}^m\to{\mathbb R}^n$. We prove Shiota's conjecture and show that a subset ${\mathcal S}\subset{\mathbb R}^n$ is the image of a Nash map…

Effective field theories consistent with quantum gravity obey surprising finiteness constraints, appearing in several distinct but interconnected forms. In this work we develop a framework that unifies these observations by proposing that…

We construct some examples of polynomial maps over finite fields that admit subvarieties with a peculiar property: every geometric point is mapped to a fixed point by some iteration of the map, while the whole subvariety is not. Several…

In this article, we show that a flat morphism of $k$-varieties ($\mathop{\mathrm{char}} k=0$) with locally constant geometric fibers becomes finite \'etale after reduction. When $k$ is a real closed field, we prove that such a morphism…

In this paper we show that a holomorphic function, defined on an open subset $D$ of $\mathbb{C}^n$, is a complex Nash function if and only if its real part (or equivalently its imaginary part) is a real Nash function.

This article presents simple and easy proofs of the Implicit Function Theorem and the Inverse Function Theorem, in this order, both of them on a finite-dimensional Euclidean space, that employ only the Intermediate Value Theorem and the…

A function f is continuous iff the PRE-image f^{-1}[V] of any open set V is open again. Dual to this topological property, f is called OPEN iff the IMAGE f[U] of any open set U is open again. Several classical Open Mapping Theorems in…

Let $K$ be a field of characteristic zero complete with respect to a non-trivial, non-Archimedean valuation. We relate the sheaf $\widehat{\mathcal{D}}$ of infinite order differential operators on smooth rigid $K$-analytic spaces to the…

We show that the backward orbit conjecture is true for powering map $\phi(z)=z^d$ over a function field $K$ with a finite field of constants, and when $d$ is relatively prime to the characteristic of $K$.

The concept of a skew root of a skew polynomial is used to introduce notions of algebraic closedness for $\sigma$-fields, that is, a field equipped with an endomorphism. It is shown that every $\sigma$-field can be embedded in algebraically…