-
Cusps of caustics by reflection in ellipses
Authors:
Gil Bor,
Mark Spivakovsky,
Serge Tabachnikov
Abstract:
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has…
▽ More
This paper is concerned with the billiard version of Jacobi's last geometric statement and its generalizations. Given a non-focal point $O$ inside an elliptic billiard table, one considers the family of rays emanating from $O$ and the caustic $Γ_n$ of the reflected family after $n$ reflections off the ellipse, for each positive integer $n$. It is known that $Γ_n$ has at least four cusps and it has been conjectured that it has exactly four (ordinary) cusps. The present paper presents a proof of this conjecture in the special case when the ellipse is a circle. In the case of an arbitrary ellipse, we give an explicit description of the location of four of the cusps of $Γ_n$, though we do not prove that these are the only cusps.
△ Less
Submitted 16 June, 2024;
originally announced June 2024.
-
A note on the Casas-Alvero Conjecture
Authors:
Daniel Schaub,
Mark Spivakovsky
Abstract:
The Casas--Alvero conjecture predicts that every univariate polynomial $f$ over a field $K$ of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. Let $f=x^d+a_1x^{d-1}+\cdots+a_1x \in K[a_1,\ldots,a_{d-1}][x]$ and let $R_i = Res(f,H_i(f))\in K[a_1,\ldots,a_{d-1}]$ be the resultant of $f$ and $H_i(f)$, $i \in \{1,\ldots,d-1\}$. The Ca…
▽ More
The Casas--Alvero conjecture predicts that every univariate polynomial $f$ over a field $K$ of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. Let $f=x^d+a_1x^{d-1}+\cdots+a_1x \in K[a_1,\ldots,a_{d-1}][x]$ and let $R_i = Res(f,H_i(f))\in K[a_1,\ldots,a_{d-1}]$ be the resultant of $f$ and $H_i(f)$, $i \in \{1,\ldots,d-1\}$. The Casas-Alvero Conjecture is equivalent to saying that $R_1,\ldots,R_{d-1}$ are ``independent'' in a certain sense, namely that the height $ht(R_1,\ldots,R_{d-1})=d-1$ in $K[a_1,\ldots,a_{d-1}]$. In this paper we prove a very partial result in this direction : if $i \in \{d-3,d-2,d-1\}$ then $R_i \notin \sqrt{(R_1,\ldots,\breve{R_i},\ldots,R_{d-1}}$.
△ Less
Submitted 14 December, 2023;
originally announced December 2023.
-
Kähler differentials, pure extensions and minimal key polynomials
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
The main object of study in this paper is the module $Ω$ of Kähler differentials of an extension of valuation rings. We show that in the case of pure extensions $Ω$ has a very good description. Namely, it is isomorphic to the quotient of two modules defined by final segments in the value group of the valuation. This allows us to describe the annihilator of $Ω$ and to give criteria for $Ω$ to be fi…
▽ More
The main object of study in this paper is the module $Ω$ of Kähler differentials of an extension of valuation rings. We show that in the case of pure extensions $Ω$ has a very good description. Namely, it is isomorphic to the quotient of two modules defined by final segments in the value group of the valuation. This allows us to describe the annihilator of $Ω$ and to give criteria for $Ω$ to be finitely generated and to be finitely presented. We also discuss how to relate the module of Kähler differentials of pure extensions to minimal key polynomials.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
On the set of bad primes in the study of Casas-Alvero Conjecture
Authors:
Daniel Schaub,
Mark Spivakovsky
Abstract:
The Casas-Alvero conjecture predicts that every univariate polynomial over a field of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. One approach to proving the conjecture is to first prove it for polynomials of some small degree $d$, compile a list of bad primes for that degree (namely, those primes $p$ for which the conjecture…
▽ More
The Casas-Alvero conjecture predicts that every univariate polynomial over a field of characteristic zero having a common factor with each of its derivatives $H_i(f)$ is a power of a linear polynomial. One approach to proving the conjecture is to first prove it for polynomials of some small degree $d$, compile a list of bad primes for that degree (namely, those primes $p$ for which the conjecture fails in degree $d$ and characteristic $p$) and then deduce the conjecture for all degrees of the form $dp^\ell$, $\ell\in\mathbb{N}$, where $p$ is a good prime for $d$. In this paper we calculate certain distinguished monomials appearing in the resultant $R(f,H_i(f))$ and obtain a (non-exhaustive) list of bad primes for every degree $d\in\mathbb{N}\setminus\{0\}$.
△ Less
Submitted 22 August, 2023; v1 submitted 12 July, 2023;
originally announced July 2023.
-
The module of Kähler differentials for extensions of valuation rings
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
The main goal of this paper is to characterize the module of Kähler differentials for an extension of valuation rings. More precisely, we consider a simple algebraic valued field extension $(L/K,v)$ and the corresponding valuation rings $\VR_L$ and $\VR_K$. In the case when $e(L/K,v)=1$ we present a characterization for $Ω_{\VR_L/\VR_K}$ in terms of a given sequence of key polynomials for the exte…
▽ More
The main goal of this paper is to characterize the module of Kähler differentials for an extension of valuation rings. More precisely, we consider a simple algebraic valued field extension $(L/K,v)$ and the corresponding valuation rings $\VR_L$ and $\VR_K$. In the case when $e(L/K,v)=1$ we present a characterization for $Ω_{\VR_L/\VR_K}$ in terms of a given sequence of key polynomials for the extension. Moreover, we use our main result to present a characterization for when $Ω_{\VR_L/\VR_K}=\{0\}$.
△ Less
Submitted 5 July, 2023;
originally announced July 2023.
-
Graded rings associated to valuations and direct limits
Authors:
Caio Henrique Silva de Souza,
Josnei Antonio Novacoski,
Mark Spivakovsky
Abstract:
In this paper, we study the structure of the graded ring associated to a limit key polynomial $Q_n$ in terms of the key polynomials that define $Q_n$. In order to do that, we use direct limits. In general, we describe the direct limit of a family of graded rings associated to a totally ordered set of valuations. As an example, we describe the graded ring associated to a valuation-algebraic valuati…
▽ More
In this paper, we study the structure of the graded ring associated to a limit key polynomial $Q_n$ in terms of the key polynomials that define $Q_n$. In order to do that, we use direct limits. In general, we describe the direct limit of a family of graded rings associated to a totally ordered set of valuations. As an example, we describe the graded ring associated to a valuation-algebraic valuation as a direct limit of graded rings associated to residue-transcendental valuations.
△ Less
Submitted 20 October, 2022; v1 submitted 10 May, 2022;
originally announced May 2022.
-
On stable and fixed polynomials
Authors:
J Novacoski,
M. Spivakovsky
Abstract:
Let $ν$ be a rank one valuation on $K[x]$ and $Ψ_n$ the set of key polynomials for $ν$ of degree $n\in\N$. We discuss the concepts of being $Ψ_n$-stable and $(Ψ_n,Q)$-fixed. We discuss when these two concepts coincide. We use this discussion to present a simple proof of Proposition 8.2 of [5] and Theorem 1.2 of [5].
Let $ν$ be a rank one valuation on $K[x]$ and $Ψ_n$ the set of key polynomials for $ν$ of degree $n\in\N$. We discuss the concepts of being $Ψ_n$-stable and $(Ψ_n,Q)$-fixed. We discuss when these two concepts coincide. We use this discussion to present a simple proof of Proposition 8.2 of [5] and Theorem 1.2 of [5].
△ Less
Submitted 1 March, 2022;
originally announced March 2022.
-
On common extensions of valued fields
Authors:
Wael Mahboub,
Mark Spivakovsky,
Amira Mansour
Abstract:
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 adm…
▽ More
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.
△ Less
Submitted 27 July, 2020;
originally announced July 2020.
-
On the structure of the graded algebra associated to a valuation
Authors:
M. S. Barnabé,
J. Novacoski,
M. Spivakovsky
Abstract:
The main goal of this paper is to study the structure of the graded algebra associated to a valuation. More specifically, we prove that the associated graded algebra ${\rm gr}_v(R)$ of a subring $(R,\mathfrak{m})$ of a valuation ring $\mathcal{O}_v$, for which $Kv:=\mathcal{O}_v / \mathfrak{m}_v=R / \mathfrak{m}$, is isomorphic to $Kv[t^{v(R)}]$, where the multiplication is given by a twisting. We…
▽ More
The main goal of this paper is to study the structure of the graded algebra associated to a valuation. More specifically, we prove that the associated graded algebra ${\rm gr}_v(R)$ of a subring $(R,\mathfrak{m})$ of a valuation ring $\mathcal{O}_v$, for which $Kv:=\mathcal{O}_v / \mathfrak{m}_v=R / \mathfrak{m}$, is isomorphic to $Kv[t^{v(R)}]$, where the multiplication is given by a twisting. We show that this twisted multiplication can be chosen to be the usual one in the cases where the value group is free or the residue field is closed by radicals. We also present an example that shows that the isomorphism (with the trivial twisting) does not have to exist.
△ Less
Submitted 27 May, 2020; v1 submitted 13 April, 2020;
originally announced April 2020.
-
Newton non-degenerate $μ$-constant deformations admit simultaneous embedded resolutions
Authors:
Maximiliano Leyton-Álvarez,
Hussein Mourtada,
Mark Spivakovsky
Abstract:
Let $\mathbb{C}^{n+1}_o$ denote the germ of $\mathbb{C}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $\mathbb{C}^{n+1}_o$ and $W$ a deformation of $V$ over $\mathbb{C}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we will prove that $W$ is a $μ$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This resul…
▽ More
Let $\mathbb{C}^{n+1}_o$ denote the germ of $\mathbb{C}^{n+1}$ at the origin. Let $V$ be a hypersurface germ in $\mathbb{C}^{n+1}_o$ and $W$ a deformation of $V$ over $\mathbb{C}_{o}^{m}$. Under the hypothesis that $W$ is a Newton non-degenerate deformation, in this article we will prove that $W$ is a $μ$-constant deformation if and only if $W$ admits a simultaneous embedded resolution. This result gives a lot of information about $W$, for example, the topological triviality of the family $W$ and the fact that the natural morphism $(W(\mathbb{C}_o)_m)_{red} \rightarrow \mathbb{C}_{o}$ is flat, where $W(\mathbb{C}_o)_m$ is the relative space of $m$-jets. On the way tothe proof of our main result, we give a complete answer to a question ofArnold on the monotonicity of Newton numbers in the case of convenientNewton polyhedra.
△ Less
Submitted 20 March, 2024; v1 submitted 28 January, 2020;
originally announced January 2020.
-
Key Polynomials in dimension 2
Authors:
Wael Mahboub,
Mark Spivakovsky
Abstract:
Let $R$ be a two-dimensional regular local ring. In this paper, we prove that there is a bijection between the set of all valuations of $Quot(R)$ centered at $R$ and valuations of $k(x,y)$ centered at $k[x,y]_{(x,y)}$, where $k$ is the residue field of $R$ and $x$ and $y$ are independent variables. Moreover, we give a new proof, for the fact that the set of all normalized real valuations centered…
▽ More
Let $R$ be a two-dimensional regular local ring. In this paper, we prove that there is a bijection between the set of all valuations of $Quot(R)$ centered at $R$ and valuations of $k(x,y)$ centered at $k[x,y]_{(x,y)}$, where $k$ is the residue field of $R$ and $x$ and $y$ are independent variables. Moreover, we give a new proof, for the fact that the set of all normalized real valuations centered at $R$ admits a structure of non metric tree.
△ Less
Submitted 28 January, 2019;
originally announced January 2019.
-
On the strong separation conjecture
Authors:
F Lucas,
D. Schaub,
M. Spivakovsky
Abstract:
This paper contains a partial result on the Pierce--Birkhoff conjecture on piece-wise polynomial functions defined by a finite collection {f 1,. .., f r} of polynomials. In the nineteen eighties, generalizing the problem from the polynomial ring to an artibtrary ring $Σ$, J. Madden proved that the Pierce--Birkhoff conjecture for $Σ$ is equivalent to a statement about an arbitrary pair of points…
▽ More
This paper contains a partial result on the Pierce--Birkhoff conjecture on piece-wise polynomial functions defined by a finite collection {f 1,. .., f r} of polynomials. In the nineteen eighties, generalizing the problem from the polynomial ring to an artibtrary ring $Σ$, J. Madden proved that the Pierce--Birkhoff conjecture for $Σ$ is equivalent to a statement about an arbitrary pair of points $α$, $β$ $\in$ Sper $Σ$ and their separating ideal < $α$, $β$ >, we refer to this statement as the local Pierce-Birkhoff conjecture at $α$, $β$. In [8] we introduced a slightly stronger conjecture, also stated for a pair of points $α$, $β$ $\in$ Sper $Σ$ and the separating ideal < $α$, $β$ >, called the Connectedness conjecture, about a finite collection of elements {f 1, . . ., fr} $\subset$ $Σ$. In the paper [10] we introduced a new conjecture, called the Strong Connectednessconjecture, and proved that the Strong Connectedness conjecture in dimension n--1 implies the Strong Connectedness conjecture in dimension n in the case when ht(< $α$, $β$ >) $\le$ n -- 1.The Pierce-Birkhoff Conjecture for r = 2 is equivalent to the Connectedness Conjecture for r = 1, this conjecture is called the Separation Conjecture. The Strong Connectedness Conjecture for r = 1 is called the Strong Separation Conjecture. In the present paper, we fix a polynomial f $\in$ R[x, z] where R is a real closed field and x = (x1, . . ., xn), z are n + 1 independent variables. We define the notion of two points $α$, $β$ $\in$ Sper R[x, z] being in good position with respect to f. The main result of this paper is a proof of the Strong Separation Conjecture in the case when $α$ and $β$ are in good position with respect to f.
△ Less
Submitted 26 February, 2018;
originally announced February 2018.
-
Abstract key polynomials and comparison theorems with the key polynomials of Mac Lane -- Vaquie
Authors:
Julie Decaup,
Mark Spivakovsky,
Wael Mahboub
Abstract:
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…
▽ More
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 $μ'$.
△ Less
Submitted 19 November, 2016;
originally announced November 2016.
-
Key polynomials and pseudo-convergent sequences
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
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]$ a…
▽ More
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.
△ Less
Submitted 17 November, 2016;
originally announced November 2016.
-
On the local uniformization problem
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
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…
▽ More
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).
△ Less
Submitted 21 September, 2015;
originally announced September 2015.
-
Reduction of local uniformization to the case of rank one valuations for rings with zero divisors
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
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.
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.
△ Less
Submitted 10 September, 2015;
originally announced September 2015.
-
Key polynomials for simple extensions of valued fields
Authors:
F. J. Herrera Govantes,
W. Mahboub,
M. A. Olalla Acosta,
M. Spivakovsky
Abstract:
Let $ι:K\hookrightarrow L\cong K(x)$ be a simple transcendental extension of valued fields, where $K$ is equipped with a valuation $ν$ of rank 1. That is, we assume given a rank 1 valuation $ν$ of $K$ and its extension $ν'$ to $L$. Let $(R_ν,M_ν,k_ν)$ denote the valuation ring of $ν$. The purpose of this paper is to present a refined version of MacLane's theory of key polynomials, similar to those…
▽ More
Let $ι:K\hookrightarrow L\cong K(x)$ be a simple transcendental extension of valued fields, where $K$ is equipped with a valuation $ν$ of rank 1. That is, we assume given a rank 1 valuation $ν$ of $K$ and its extension $ν'$ to $L$. Let $(R_ν,M_ν,k_ν)$ denote the valuation ring of $ν$. The purpose of this paper is to present a refined version of MacLane's theory of key polynomials, similar to those considered by M. Vaquié, and reminiscent of related objects studied by Abhyankar and Moh (approximate roots) and T.C. Kuo.
Namely, we associate to $ι$ a countable well ordered set $$ \mathbf{Q}=\{Q_i\}_{i\inΛ}\subset K[x]; $$ the $Q_i$ are called {\bf key polynomials}. Key polynomials $Q_i$ which have no immediate predecessor are called {\bf limit key polynomials}. Let $β_i=ν'(Q_i)$.
We give an explicit description of the limit key polynomials (which may be viewed as a generalization of the Artin--Schreier polynomials). We also give an upper bound on the order type of the set of key polynomials. Namely, we show that if $\operatorname{char}\ k_ν=0$ then the set of key polynomials has order type at most $ω$, while in the case $\operatorname{char}\ k_ν=p>0$ this order type is bounded above by $ω\timesω$, where $ω$ stands for the first infinite ordinal.
△ Less
Submitted 28 June, 2022; v1 submitted 3 June, 2014;
originally announced June 2014.
-
Equisingularity in one parameter families of generically reduced curves
Authors:
Javier Fernández de Bobadilla,
Jawad Snoussi,
Mark Spivakovsky
Abstract:
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 u…
▽ More
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.
△ Less
Submitted 26 May, 2014;
originally announced May 2014.
-
The analogue of Izumi's Theorem for Abhyankar valuations
Authors:
Guillaume Rond,
Mark Spivakovsky
Abstract:
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…
▽ More
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.
△ Less
Submitted 18 April, 2014;
originally announced April 2014.
-
Extending valuations to formal completions
Authors:
F. J. Herrera Govantes,
M. A. Olalla Acosta,
M. Spivakovsky,
B. Teissier
Abstract:
This paper is an extended version of the talk given by Miguel Olalla at the International Conference on Valuation Theory in El Escorial in July 2011. Its purpose is to provide an introduction to our joint paper "Extending a valuation centered in a local domain to the formal completion" (Proc. London Math. Soc. (2012) 105 (3), 571-621) without grinding through all of its technical details.
This paper is an extended version of the talk given by Miguel Olalla at the International Conference on Valuation Theory in El Escorial in July 2011. Its purpose is to provide an introduction to our joint paper "Extending a valuation centered in a local domain to the formal completion" (Proc. London Math. Soc. (2012) 105 (3), 571-621) without grinding through all of its technical details.
△ Less
Submitted 2 November, 2012;
originally announced November 2012.
-
On the Pierce-Birkhoff Conjecture
Authors:
François Lucas,
Daniel Schaub,
Mark Spivakovsky
Abstract:
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 $α,β…
▽ More
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.
△ Less
Submitted 27 July, 2012;
originally announced July 2012.
-
Reduction of Local Uniformization to the rank one case
Authors:
Josnei Novacoski,
Mark Spivakovsky
Abstract:
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.
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.
△ Less
Submitted 20 April, 2012;
originally announced April 2012.
-
The Nash problem of arcs and the rational double point $\mathbf{E_6}$
Authors:
Camille Plénat,
Mark Spivakovsky
Abstract:
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…
▽ More
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}$.
△ Less
Submitted 10 November, 2010;
originally announced November 2010.
-
Reduction of Singularities of Three-Dimensional Line Foliations
Authors:
Felipe Cano,
Claude Roche,
Mark Spivakovsky
Abstract:
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.
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.
△ Less
Submitted 7 September, 2010;
originally announced September 2010.
-
Extending a valuation centered in a local domain to the formal completion
Authors:
F. J. Herrera Govantes,
M. A. Olalla Acosta,
M. Spivakovsky,
B. Teissier
Abstract:
Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the m-adic completion of R. In the applications of valuation theory to commutative algebra and the study of singularities, one is often induced to replace R by its m-…
▽ More
Let (R; m; k) be a local noetherian domain with field of fractions K and R_v a valuation ring, dominating R (not necessarily birationally). Let v|K be the restriction of v to K; by definition, v|K is centered at R. Let \hat{R} denote the m-adic completion of R. In the applications of valuation theory to commutative algebra and the study of singularities, one is often induced to replace R by its m-adic completion \hat{R} and v by a suitable extension \hat{v} to \hat{R}/P for a suitably chosen prime ideal P, such that P \cap R = (0).
The purpose of this paper is to give, assuming that R is excellent, a systematic description of all such extensions \hat{v} and to identify certain classes of extensions which are of particular interest for applications.
△ Less
Submitted 6 February, 2012; v1 submitted 27 July, 2010;
originally announced July 2010.
-
Approximate roots of a valuation and the Pierce-Birkhoff Conjecture
Authors:
François Lucas,
James Madden,
Daniel Schaub,
Mark Spivakovsky
Abstract:
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 introduc…
▽ More
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.
△ Less
Submitted 9 February, 2012; v1 submitted 5 March, 2010;
originally announced March 2010.
-
On points at infinity of real spectra of polynomial rings
Authors:
François Lucas,
Daniel Schaub,
Mark Spivakovsky
Abstract:
Let R be a real closed field and A=R[x_1,...,x_n]. Let sper A denote the real spectrum of A. There are two kinds of points in sper A : finite points (those for which all of |x_1|,...,|x_n| are bounded above by some constant in R) and points at infinity. In this paper we study the structure of the set of points at infinity of sper A and their associated valuations. Let T be a subset of {1,...,n}.…
▽ More
Let R be a real closed field and A=R[x_1,...,x_n]. Let sper A denote the real spectrum of A. There are two kinds of points in sper A : finite points (those for which all of |x_1|,...,|x_n| are bounded above by some constant in R) and points at infinity. In this paper we study the structure of the set of points at infinity of sper A and their associated valuations. Let T be a subset of {1,...,n}. For j in {1,...,n}, let y_j=x_j if j is not in T and y_j=1/x_j if j is in T. Let B_T=R[y_1,...,y_n]. We express sper A as a disjoint union of sets of the form U_T and construct a homeomorphism of each of the sets U_T with a subspace of the space of finite points of sper B_T. For each point d at infinity in U_T, we describe the associated valuation v_{d*} of its image d* in sper B_T in terms of the valuation v_d associated to d. Among other things we show that the valuation v_{d*} is composed with v_d (in other words, the valuation ring R_d is a localization of R_{d*} at a suitable prime ideal).
△ Less
Submitted 16 July, 2007;
originally announced July 2007.
-
Valuations in algebraic field extensions
Authors:
F. J. Herrera Govantes,
M. A. Olalla Acosta,
M. Spivakovsky
Abstract:
Let $K\to L$ be an algebraic field extension and $ν$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{ν'\right\}$ of $ν$ to $L$ using a refined version of MacLane's key polynomials. In the basic case when $L$ is a finite separable extension and $rk ν=1$, we give an explicit description of the limit key polynomials (which can be viewed as a generaliz…
▽ More
Let $K\to L$ be an algebraic field extension and $ν$ a valuation of $K$. The purpose of this paper is to describe the totality of extensions $\left\{ν'\right\}$ of $ν$ to $L$ using a refined version of MacLane's key polynomials. In the basic case when $L$ is a finite separable extension and $rk ν=1$, we give an explicit description of the limit key polynomials (which can be viewed as a generalization of the Artin--Schreier polynomials). We also give a realistic upper bound on the order type of the set of key polynomials. Namely, we show that if $char K=0$ then the set of key polynomials has order type at most $\mathbb N$, while in the case $char K=p>0$ this order type is bounded above by $([\log_pn]+1)ω$, where $n=[L:K]$. Our results provide a new point of view of the the well known formula $\sum\limits_{j=1}^se_jf_jd_j=n$ and the notion of defect.
△ Less
Submitted 8 May, 2006;
originally announced May 2006.
-
A connectedness theorem for real spectra of polynomial rings
Authors:
François Lucas,
James Madden,
Daniel Schaub,
Mark Spivakovsky
Abstract:
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…
▽ More
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.
△ Less
Submitted 16 July, 2007; v1 submitted 27 January, 2006;
originally announced January 2006.