Related papers: Arcs, valuations and the Nash map

We consider the problem of counting the number of varieties in a family over a number field which contain a rational point. In particular, for products of Brauer-Severi varieties and closely related counting functions associated to Brauer…

We present a natural extension of the notion of nondegenerate rational maps (quadrirational maps) to arbitrary dimensions. We refer to these maps as $2^n-$rational maps. In this note we construct a rich family of $2^n-$rational maps. These…

For a normalized transcendence degree zero arc valuation v on a nonsingular variety X (with dim X > 1), we describe the maximal irreducible subset C(v) of the arc space of X such that the valuation given by the order of vanishing along a…

Let $W$ be a subset of the set of real points of a real algebraic variety $X$. We investigate which functions $f: W \to \mathbb R$ are the restrictions of rational functions on $X$. We introduce two new notions: ${\it curve-rational \,…

We show that a linear functional equation with polynomial coefficients need not admit an arc-analytic solution even if it admits a continuous semialgebraic one. We also show that such an equation need not admit a Nash regulous solution even…

The authors lay the foundations for the study of normal families of holomorphic functions and mappings on an infinite-dimensional normed linear space. Characterizations of normal families, in terms of value distribution, spherical…

For a certain class of varieties X, we derive a formula for the valuation d_{X} on the arc space L(Y) of a smooth ambient space Y, in terms of an embedded resolution of singularities. A simple transformation rule yields a formula for the…

We present a geometric proof of the theorem saying that holomorphic maps from Runge domains to affine algebraic varieties admit approximation by Nash maps. Next we generalize this theorem.

An arc is a set of vectors of the $k$-dimensional vector space over the finite field with $q$ elements ${\mathbb F}_q$, in which every subset of size $k$ is a basis of the space, i.e. every $k$-subset is a set of linearly independent…

We associate to any given finite set of valuations on the polynomial ring in two variables over an algebraically closed field a numerical invariant whose positivity characterizes the case when the intersection of their valuation rings has…

Let X and Y be curves over a finite field. In this article we explore methods to determine whether there is a rational map from Y to X by considering L-functions of certain covers of X and Y and propose a specific family of covers to…

We combine two recent ideas: cartesian differential categories, and restriction categories. The result is a new structure which axiomatizes the category of smooth maps defined on open subsets of $\R^n$ in a way that is completely algebraic.…

In this series of three papers we start to investigate the rational Chow ring of the stack consisting of nodal curves of genus 0, in particular we determine completely the rational Chow ring of the substack consisting of curves with at most…

The Cox ring provides a coordinate system on a toric variety analogous to the homogeneous coordinate ring of projective space. Rational maps between projective spaces are described using polynomials in the coordinate ring, and we generalise…

This is the first in a series of papers on standard monomial theory and invariant theory of arc spaces. For any algebraically closed field $K$, we construct a standard monomial basis for the arc space of the determinantal variety over $K$.…

Category theory gives a mathematical characterization of naturality but not of canonicity. The purpose of this paper is to develop the logical theory of canonical maps based on the broader demonstration that the dual notions of elements &…

This paper studies the behavior under iteration of the maps T_{ab}(x,y) = (F_{ab}(x)-y,x) of the plane R^2, in which F_{ab}(x)=ax if x>=0 and bx if x<0. The orbits under iteration correspond to solutions of the nonlinear difference equation…

An arc space of an affine cone over a projective toric variety is known to be non-reduced in general. It was demonstrated recently that the reduced scheme structure is worth studying due to various connections with representation theory and…

We give a classification of connected abelian locally (real) Nash groups of dimension two. We first consider Painlev\'e's description of meromorphic maps admitting an Algebraic Addition Theorem and analyse the algebraic dependence of such…

In this paper we describe the implementation that led to the counterexamples to the Nash blowup conjectures recently discovered by the authors. We also provide new examples of toric varieties with prescribed singularities that are not…