Related papers: Terminal valuations and the Nash problem

The local structure of terminal Brauer classes on arithmetic surfaces were classified in [CI21] generalising the classification on geometric surfaces carried out in [CI05]. Part of the interest in these classifications is that it enables…

In this paper we give a new point of view for optimizing the definitions related to the study of singularities of normal varieties, introduced in [dFH09] and further studied in [Urb12a] and [Urb12b], in relation to the Minimal Model…

We consider finite $n$-person deterministic graphical games and study the existence of pure stationary Nash-equilibrium in such games. We assume that all infinite plays are equivalent and form a unique outcome, while each terminal position…

The aim of this paper is to build a theory of commutative and noncommutative {\it injective} valuations of various algebras (including algebras with zero divisors). The targets of our valuations are (well-)ordered commutative and…

In this work we study the existence of surjective Nash maps between two given semialgebraic sets ${\mathcal S}$ and ${\mathcal T}$. Some key ingredients are: the irreducible components ${\mathcal S}_i^*$ of ${\mathcal S}$ (and their…

We prove that every finite two-person shortest path game, where the local cost of every move is positive for each player, has a Nash equilibrium (NE) in pure stationary strategies, which can be computed in polynomial time. We also extend…

Let $X$ be a closed algebraic subset of $\mathbb{A}^{n}(K)$ where $K$ is an algebraically closed field complete with respect to a nontrivial non-Archimedean valuation. We show that there is a surjective continuous map from the Berkovich…

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…

This is the first of a series of papers studying real algebraic threefolds using the minimal model program. The main results are outlined in Part II. The present part I. contains the necessary preliminary work concerning terminal…

We study loci of arcs on a smooth variety defined by order of contact with a fixed subscheme. Specifically, we establish a Nash-type correspondence showing that the irreducible components of these loci arise from (intersections of)…

Randomized higher-order computation can be seen as being captured by a lambda calculus endowed with a single algebraic operation, namely a construct for binary probabilistic choice. What matters about such computations is the probability of…

This is the first part of a series of articles where we are going to develop theory of valuations on manifolds generalizing the classical theory of continuous valuations on convex subsets of a linear space. In this article we still work…

We show that an algebraic immediate valuation ring extension of characteristic $p>0$ is a filtered union of complete intersection algebras of finite type.

Let $G$ be an almost linear Nash group, namely, a Nash group that admits a Nash homomorphism with finite kernel to some $\GL_k(\mathbb R)$. A smooth \Fre representation $V$ with moderate growth of $G$ is called homologically finite if the…

We show that any stack $\mathfrak{X}$ of finite type over a Noetherian scheme has a presentation $X \rightarrow \mathfrak{X}$ by a scheme of finite type such that $X(F) \rightarrow \mathfrak{X}(F)$ is onto, for every finite or real closed…

We show that a valuation ring containing its residue field of characteristic $p>0$ is a filtered direct limit of complete intersection ${\bf F}_p$-algebras.

Higher-order recursion schemes are recursive equations defining new operations from given ones called "terminals". Every such recursion scheme is proved to have a least interpreted semantics in every Scott's model of \lambda-calculus in…

Continuity of the value of the martingale optimal transport problem on the real line w.r.t. its marginals was recently established in Backhoff-Veraguas and Pammer [2] and Wiesel [21]. We present a new perspective of this result using the…

A Nash group is said to be almost linear if it has a Nash representation with finite kernel. Structures and basic properties of these groups are studied.

Using the theory of jet schemes, we give a new approach to the description of a minimal generating sequence of a divisorial valuations on $\textbf{A}^2.$ For this purpose, we show how one can recover the approximate roots of an analytically…