Nash Functions: Analytic and Algebraic Foundations

• Nash functions are real-analytic (or holomorphic) functions defined by nontrivial polynomial relations, ensuring their graphs are semialgebraic.
• The differentiation of Nash functions is carried out algebraically via Kähler differentials, guaranteeing that all partial derivatives remain Nash.
• Their robust structure underpins applications in Hamiltonian dynamics, singularity theory, and model theory, supported by powerful approximation and extension theorems.

A Nash function is a real-analytic (or holomorphic, in the complex case) function which is algebraic over the corresponding polynomial ring; that is, each point admits a neighborhood where the function satisfies a nontrivial polynomial relation with respect to its variables. Nash functions unify analytic and algebraic perspectives, and their theory interacts deeply with real and complex algebraic geometry, model theory, and fields such as Hamiltonian dynamics and singularity theory.

1. Definitions: Classical and Generalized Nash Functions

Let $U\subset\mathbb{R}^n$ be open. A function $f:U\to\mathbb{R}$ is a Nash function if it is $C^\infty$ (real-analytic) and there exists a nonzero polynomial $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$ such that $P(x, f(x))=0$ for all $x\in U$ (Ishikawa et al., 2015). The graph of $f$ is then semialgebraic.

On an open set $D\subset\mathbb{C}^n$, a holomorphic function $f:D\to\mathbb{C}$ is a complex Nash function if there exists a nonzero $P(z_1,\dots,z_n,w)\in\mathbb{C}[z_1,\dots,z_n,w]$ with $f:U\to\mathbb{R}$0 in a neighborhood of every point (Carbone, 23 Jul 2025). Real and imaginary parts of such functions are themselves real Nash functions.

A Nash function can be defined over more general fields and varieties. For a field $f:U\to\mathbb{R}$1 (e.g., a large field), a Nash map between suitable open sets in $f:U\to\mathbb{R}$2-varieties is a map constructed from étale-algebraic data: locally, it is given by an étale morphism and a morphism to the target variety, generalizing the analytic–semialgebraic definition over $f:U\to\mathbb{R}$3 (Walsberg, 14 Aug 2025).

2. Structural Properties and Characterizations

• Semi-algebraicity and Analyticity: The defining feature is the conjunction of analytic regularity (real-analyticity, or holomorphy) and algebraic dependence: each Nash function is analytic and its graph is semialgebraic (or, in the complex setting, analytic algebraic).
• Component-wise Behavior: On any semialgebraic set $f:U\to\mathbb{R}$4, a real-valued function is Nash if locally it agrees with a global Nash function on an open semialgebraic neighborhood (Baro et al., 2013).
• Extension and Approximation: Functions Nash on each irreducible component of a Nash set with monomial singularities extend to a global Nash function, establishing weak normality (Baro et al., 2013). Approximation theorems enable extension of $f:U\to\mathbb{R}$5 semialgebraic maps to Nash maps under component-preserving and regularity assumptions.

3. Differentiation and Leibniz Complexity

For Nash functions, all partial derivatives are again Nash functions; differentiation can be effected entirely through algebraic operations on the minimal polynomial equation (Ishikawa et al., 2015). The differentiation process is encoded using Kähler differentials: $f:U\to\mathbb{R}$6 with the minimal polynomial yielding a recursive formula: $f:U\to\mathbb{R}$7 The Leibniz complexity (LC) of a Nash function quantifies the minimal number of product-rule steps required to algebraically compute its differential from its minimal polynomial. Upper bounds for LC involve classical addition-chain complexity and the minimal degree and structure of the polynomial (Ishikawa et al., 2015).

Notion	Description	Reference
Kähler differentials	Universal derivations formalizing algebraic differentiation	(Ishikawa et al., 2015)
Leibniz complexity (LC)	Product-rule step count in differentiating Nash functions	(Ishikawa et al., 2015)
Weak normality	Extension from componentwise Nash to global Nash functions	(Baro et al., 2013)

4. Bernstein–Remez Inequalities and Analytic Control

Bernstein–Remez inequalities provide sup-norm control of Nash functions over a domain in terms of their values on a finite sampling set of sufficiently large cardinality. For a holomorphic Nash function $f:U\to\mathbb{R}$8 of degree $f:U\to\mathbb{R}$9 on $C^\infty$0, and a compact subset $C^\infty$1 with $C^\infty$2, there exists $C^\infty$3 such that

$C^\infty$4

The constant $C^\infty$5 explicitly depends on the degree and geometry but not on $C^\infty$6 itself (Barbieri et al., 2022). This uniformity is rooted in compactness arguments and classical theorems from complex analysis (Montel, Hurwitz, Maximum Modulus Principle) (Barbieri et al., 2022). In real domains, sharper explicit bounds can be achieved by stratification and valency theory.

Bernstein–Remez inequalities yield control of derivatives, analytic continuation, and zero-counting—crucial in semi-algebraic parametrization, transcendental number theory, and dynamical systems (Barbieri et al., 2022).

5. Approximation, Extension, and Nash Sets with Singularities

Approximation theorems in the Nash category address the lack of partitions of unity on semialgebraic sets. For Nash sets $C^\infty$7 and $C^\infty$8 with monomial singularities, any semialgebraic $C^\infty$9 map $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$0 preserving irreducible components can be approximated (in the $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$1-topology) by Nash maps, with a quantifiable loss of differentiability (Baro et al., 2013). The constructions involve:

• Finite monomial chart covers realizing $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$2 locally as unions of coordinate subspaces.
• Extension operators built via inclusion–exclusion and projections.
• Recursive gluing using stratification by intersection patterns.

A consequential application is the Nash classification of manifolds with divisorial corners, establishing that $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$3-diffeomorphic affine Nash manifolds with corners are Nash diffeomorphic for $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$4 $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$5.

6. Nash Functions in Several Variables and Function Fields

Several-variables theory is governed by structural results such as the following: for any uncountable real closed field $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$6, and open semialgebraic $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$7, $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$8, if $P(x_1,\dots,x_n,t)\in\mathbb{R}[x_1,\dots,x_n,t]$9 is such that for every $P(x, f(x))=0$0, $P(x, f(x))=0$1 is Nash, and for every $P(x, f(x))=0$2 in a Zariski-dense set, $P(x, f(x))=0$3 is Nash, then $P(x, f(x))=0$4 is semialgebraic (Banecki, 2024). No pathological separately Nash function fails to be semialgebraic under these conditions.

In the context of general fields, a Nash map is defined via étale-algebraic charts. Over large fields $P(x, f(x))=0$5, the inverse and implicit function theorems for Nash maps hold precisely when $P(x, f(x))=0$6 is large (every smooth curve with a $P(x, f(x))=0$7-point has infinitely many) (Walsberg, 14 Aug 2025). Nash germ theory over large fields provides tools for existential closedness in power series fields.

7. Connections to Related Frameworks and Applications

• Hamiltonian Dynamics: Bernstein–Remez bounds for Nash functions are instrumental in Nekhoroshev theory on long-time stability, where Nash parametrizations control gradient curves near integrable Hamiltonians (Barbieri et al., 2022).
• Zero Counting and Hilbert’s 16th Problem: Nash-functionoal Bernstein constants combined with Jensen’s formula give uniform bounds on the number of zeros of polynomial vector fields, linking to limit cycle problems (Barbieri et al., 2022).
• Model Theory and Large Fields: Nash maps extend model-theoretic tools (implicit/inverse function theorems, existential closedness) from real and $P(x, f(x))=0$8-adic fields to arbitrary large fields, connecting algebraic geometry, o-minimality, and valuation theory (Walsberg, 14 Aug 2025).

Fundamental structural features of Nash functions—algebraicity, analytic regularity, extension properties, and uniform analytic bounds—form the basis of their widespread applicability in geometry, dynamical systems, and model theory. Recent generalizations to singular and non-archimedean settings further expand the reach of Nash theory.