Related papers: Arcs, valuations and the Nash map

For families of smooth complex projective varieties we show that normal functions arising from algebraically trivial cycle classes are algebraic, and defined over the field of definition of the family. In particular, the zero loci of those…

There has been significant research dedicated towards computing the crossing numbers of families of graphs resulting from the Cartesian products of small graphs with arbitrarily large paths, cycles and stars. For graphs with four or fewer…

We study vertex-ordering problems in loop-free digraphs subject to constraints on the left-going arcs, focusing on existence conditions and computational complexity. As an intriguing special case, we explore vertex-specific lower and upper…

By associating to a curve C of genus g=2k and a pencil of degree d=k+1 the so-called trace curve (resp. the reduced trace curve) we define a rational map from the Hurwitz space of admissible covers of genus g=2k and degree d=k+1 to a moduli…

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…

We use vector bundles to study the locus of totally mixed Nash equilibria of an $n$-player game in normal form, which we call the Nash equilibrium scheme. When the payoff tensor format is balanced, we study the Nash discriminant variety,…

Rice's theorem shows that nontrivial extensional properties of partial recursive functions are undecidable. For finite weighted Boolean optimization/CSP-style slices, a Rice-style structural analogue holds for tractability classification:…

In this article, we investigate the arithmetical hierarchy from the perspective of realizability theory. An experimental observation in classical computability theory is that the notion of degrees of unsolvability for natural arithmetical…

It is shown that every C-semianalytic arc-symmetric set can be realized as the zero locus of an arc-analytic function. As a consequence, a Nash globally subanalytic arc-symmetric set is the zero locus of a continuous globally-subanalytic…

We study groups, exponential groups and ordered groups equipped with valuations. We investigate algebraic and topological features of such valued structures, and apply our findings in order to solve regular equations over groups using…

Let p be a singular point of a complex hypersurface whose tangent cone is a quadric of rank at least 3. We show that the space of arcs through p is irreducible. Using a method of de Fernex, this shows that the Nash problem has a negative…

We use the classification of the quadrirational maps given by Adler, Bobenko and Suris to describe when such maps satisfy the Yang-Baxter relation. We show that the corresponding maps can be characterized by certain singularity invariance…

The arrow relation, a central concept in extremal set theory, captures quantitative relationships between families of sets and their traces. Formally, the arrow relation $(n, m) \rightarrow (a, b)$ signifies that for any family $\mathcal{F}…

For a finite dimensional vector space equipped with a $\mathbb C$-algebra structure, one can define rational maps using the algebraic structure. In this paper, we describe the growth of the degree sequences for this type of rational maps.

By designating vertices with variables, a simple undirected graph can be augmented to have an associated representing rational function in two variables taking the complex bi-upper halfplane to itself. We give relations between representing…

The goal of this paper is a classification theorem of the singularities according to a new invariant, Mather discrepancy. On the other hand, we show some evidences convincing us that Mather discrepancy is a considerable invariant: By…

In this paper we solve the problem of analytic classification of plane curves singularities with two branches by presenting their normal forms. This is accomplished by means of a new analytic invariant that relates vectors in the tangent…

We give a bound for the number of rational maps between algebraic varieties of general type under mild hypothesis on the canonical map. We use an idea inspired by Tanabe's work. Instead of attaching a morphism of Hodge structures to a…

The main purpose of this paper is twofold. We first want to analyze in details the meaningful geometric aspect of the method introduced in the previous paper [12], concerning regularity of families of irreducible, nodal "curves" on a…

We give a rigorous formulation of the intuitive idea that a differentiable map should be thesame thing as a locally, or infinitesimally, linear map: just as a linear map respects the operations of addition and multiplication by scalars ina…