BZPEER

preprint2020arXiv

On common extensions of valued fields

Given a valuation $v$ on a field $K$ , an extension $\bar{v}$ to an algebraic closure and an extension $w$ to $K(X)$ . We want to study the common extensions of $\bar{v}$ and $w$ to $\bar{K}(X)$ . First we give a detailed link between the minimal pairs notion and the key polynomials notion. Then we prove that in the case when $w$ is a transcendental extension, then any sequence of key polynomials admits a maximal element, and in case this sequence does not contain a limit key polynomial, then any root of the last key polynomial, describe a common extension.

preprint2016arXiv

Abstract key polynomials and comparison theorems with the key polynomials of Mac Lane -- Vaquie

Let $ι:(K,ν)\hookrightarrow(K(x),μ)$ be a simple purely transcendental extension of valued fields. In order to study such an extension, M. Vaquié, generalizing an earlier construction of S. Mac Lane, introduced the notion of Key polynomials. In this paper we define a related notion of \textbf{abstract key polynomials} associated to $ι$ and study the relationship between them and key polynomials of Mac Lane -- Vaquié. Associated to each abstract key polynomial $Q$ , we define the truncation $μ_{Q}$ of $μ$ with respect to $Q$ and we study the properties of those truncations. Roughly speaking, $μ_{Q}$ is an approximation to $μ$ defined by the key polynomial $Q$ . We also define the notion of an abstract key polynomial $Q'$ being an \textbf{immediate successor} of another abstract key polynomial $Q$ (in this situation we write $Q<Q'$ ). The main comparison results proved in this paper are as follows:(1): An abstract key polynomial for $μ$ is a Mac Lane -- Vaquié key polynomial for the truncated valuation $μ_{Q}$ .(2): If $Q<Q'$ are two abstract key polynomials for $μ$ then $Q'$ is a Mac Lane -- Vaquié key polynomial for $μ_{Q}$ . (3) which, for a monic polynomial $Q\in K[x]$ and a valuation $μ'$ of $K(x)$ , gives a sufficient condition for $Q$ to be an abstract key polynomial for $μ'$ . Combined with an earlier result of M. Vaquié, this describes a class of pairs of valuations $(μ,μ')$ such that $Q$ is a Mac Lane -- Vaquié key polynomial for $μ$ and an abstract key polynomial for $μ'$ .

preprint2016arXiv

Key polynomials and pseudo-convergent sequences

In this paper we introduce a new concept of key polynomials for a given valuation $ν$ on $K[x]$ . We prove that such polynomials have many of the expected properties of key polynomials as those defined by MacLane and Vaquié, for instance, that they are irreducible and that the truncation of $ν$ associated to each key polynomial is a valuation. Moreover, we prove that every valuation $ν$ on $K[x]$ admits a sequence of key polynomials that completely determines $ν$ (in the sense which we make precise in the paper). We also establish the relation between these key polynomials and pseudo-convergent sequences defined by Kaplansky.

preprint2015arXiv

On the local uniformization problem

In this paper we give a short introduction to the local uniformization problem. This follows a similar line as the one presented by the second author in his talk at ALANT 3. We also discuss our paper on the reduction of local uniformization to the rank one case. In that paper, we prove that in order to obtain local uniformization for valuations centered at objects of a subcategory of the category of noetherian integral domains, it is enough to prove it for rank one valuations centered at objects of the same category. We also announce an extension of this work which was partially developed during ALANT 3. This extension says that the reduction mentioned above also works for noetherian rings with zero divisors (including the case of non-reduced rings).

preprint2015arXiv

Reduction of local uniformization to the case of rank one valuations for rings with zero divisors

This is a continuation of a previous paper by the same authors. In the former paper, it was proved that in order to obtain local uniformization for valuations centered on local domains, it is enough to prove it for rank one valuations. In this paper, we extend this result to the case of valuations centered on rings which are not necessarily integral domains and may even contain nilpotents.

preprint2014arXiv

Equisingularity in one parameter families of generically reduced curves

We explore some equisingularity criteria in one parameter families of generically reduced curves. We prove the equivalence between Whitney regularity and Zariski's discriminant criterion. We prove that topological triviality implies smoothness of the normalized surface. Examples are given to show that Witney regularity and equisaturation are not stable under the blow-up of the singular locus nor under the Nash modification.

preprint2014arXiv

The analogue of Izumi's Theorem for Abhyankar valuations

A well known theorem of Shuzo Izumi, strengthened by David Rees, asserts that all the divisorial valuations centered in an analytically irreducible local noetherian ring are linearly comparable to each other. In the present paper we generalize this theorem to the case of Abhyankar valuations with archimedian value semigroup. Indeed, we prove that in a certain sense linear equivalence of topologies characterizes Abhyankar valuations with archimedian semigroups, centered in analytically irreducible local noetherian rings. Then we show that some of the classical results on equivalence of topologies in noetherian rings can be strengthened to include linear equivalence of topologies. We also prove a new comparison result between the Krull topology and the topology defined by the symbolic powers of an arbitrary ideal.

preprint2012arXiv

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

This paper is a step in our program for proving the Piece-Birkhoff Conjecture for regular rings of any dimension (this would contain, in particular, the classical Pierce-Birkhoff conjecture which deals with polynomial rings over a real closed field). We first recall the Connectedness and the Definable Connectedness conjectures, both of which imply the Pierce - Birkhoff conjecture. Then we introduce the notion of a system of approximate roots of a valuation v on a ring A (that is, a collection Q of elements of A such that every v-ideal is generated by products of elements of Q). We use approximate roots to give explicit formulae for sets in the real spectrum of A which we strongly believe to satisfy the conclusion of the Definable Connectedness conjecture. We prove this claim in the special case of dimension 2. This proves the Pierce-Birkhoff conjecture for arbitrary regular 2-dimensional rings.

preprint2012arXiv

On the Pierce-Birkhoff Conjecture

This paper represents a step in our program towards the proof of the Pierce--Birkhoff conjecture. In the nineteen eighties J. Madden proved that the Pierce-Birkhoff conjecture for a ring A $is equivalent to a statement about an arbitrary pair of points$ α,β\in\sper\ A $and their separating ideal$ <α,β> $; we refer to this statement as the Local Pierce-Birkhoff conjecture at$ α,β $. In this paper, for each pair$ (α,β) $with$ ht(<α,β>)=\dim A $, we define a natural number, called complexity of$ (α,β) $. Complexity 0 corresponds to the case when one of the points$ α,β $is monomial; this case was already settled in all dimensions in a preceding paper. Here we introduce a new conjecture, called the Strong Connectedness conjecture, and prove that the strong connectedness conjecture in dimension n-1 implies the connectedness conjecture in dimension n in the case when$ ht(<α,β>) $is less than n-1. We prove the Strong Connectedness conjecture in dimension 2, which gives the Connectedness and the Pierce--Birkhoff conjectures in any dimension in the case when$ ht(<α,β>) $less than 2. Finally, we prove the Connectedness (and hence also the Pierce--Birkhoff) conjecture in the case when dimension of A is equal to$ ht(<α,β>)=3 $, the pair$ (α,β) $is of complexity 1 and$ A$ is excellent with residue field the field of real numbers.

preprint2012arXiv

Reduction of Local Uniformization to the rank one case

The main result of this paper is that in order to prove the local uniformization theorem for local rings it is enough to prove it for rank one valuations. Our proof does not depend on the nature of the class of local rings for which we want to prove local uniformization. We prove also the reductions for different versions of the local uniformization theorem.

preprint2010arXiv

Reduction of Singularities of Three-Dimensional Line Foliations

We give a birational reduction of singularities for one dimensional foliations in ambient spaces of dimension three. To do this, we first prove the existence of a Local Uniformization in the sense of Zariski. The reduction of singularities is then obtained by a gluing procedure for Local Uniformization similar to Zariski's one, using an axiomatization of Zariski's work by Olivier Piltant.

preprint2010arXiv

The Nash problem of arcs and the rational double point $\mathbf{E_6}$

This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the exceptional divisor in the minimal resolution of this singularity. We propose a program for an affirmative solution of the Nash problem in the case of normal 2-dimensional hypersurface singularities. We illustrate this program by giving an affirmative solution of the Nash problem for the rational double point $\mathbf{E_6}$ . We also prove some results on the algebraic structure of the space of $k$ -jets of an arbitrary hypersurface singularity and apply them to the specific case of $\mathbf{E_6}$ .

preprint2007arXiv

A connectedness theorem for real spectra of polynomial rings

Let R be a real closed field. The Pierce-Birkhoff conjecture says that any piecewise polynomial function f on R^n can be obtained from the polynomial ring R[x_1,...,x_n] by iterating the operations of maximum and minimum. The purpose of this paper is twofold. First, we state a new conjecture, called the Connectedness conjecture, which asserts the existence of connected sets in the real spectrum of R[x_1,...,x_n] satisfying certain conditions. We prove that the Connectedness conjecture implies the Pierce-Birkhoff conjecture. Secondly, we construct a class of connected sets in the real spectrum which, though not in itself enough for the proof of the Pierce-Birkhoff conjecture, is the first and simplest example of the sort of connected sets we really need, and which constitutes a crucial step on the way to a proof of the Pierce-Birkhoff conjecture in dimension greater than 2, to appear in a subsequent paper.

Mark Spivakovsky

Research overview

Is this your work?

13 publications

On common extensions of valued fields

Abstract key polynomials and comparison theorems with the key polynomials of Mac Lane -- Vaquie

Key polynomials and pseudo-convergent sequences

On the local uniformization problem

Reduction of local uniformization to the case of rank one valuations for rings with zero divisors

Equisingularity in one parameter families of generically reduced curves

The analogue of Izumi's Theorem for Abhyankar valuations

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

On the Pierce-Birkhoff Conjecture

Reduction of Local Uniformization to the rank one case

Reduction of Singularities of Three-Dimensional Line Foliations

The Nash problem of arcs and the rational double point $\mathbf{E_6}$

A connectedness theorem for real spectra of polynomial rings

See the researcher in context

Building this map preview

Mark Spivakovsky

Research overview

Is this your work?

13 publications

On common extensions of valued fields

Abstract key polynomials and comparison theorems with the key polynomials of Mac Lane -- Vaquie

Key polynomials and pseudo-convergent sequences

On the local uniformization problem

Reduction of local uniformization to the case of rank one valuations for rings with zero divisors

Equisingularity in one parameter families of generically reduced curves

The analogue of Izumi's Theorem for Abhyankar valuations

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

On the Pierce-Birkhoff Conjecture

Reduction of Local Uniformization to the rank one case

Reduction of Singularities of Three-Dimensional Line Foliations

The Nash problem of arcs and the rational double point E6\mathbf{E_6}E6​

A connectedness theorem for real spectra of polynomial rings

See the researcher in context

Building this map preview

The Nash problem of arcs and the rational double point $\mathbf{E_6}$