Approximate roots of a valuation and the Pierce-Birkhoff conjecture

Lucas, F.¹ ; Madden, J.² ; Schaub, D.¹ ; Spivakovsky, M.³

¹Département de Mathématiques/CNRS UMR 6093, Université d’Angers, 2, bd Lavoisier, 49045 Angers cédex, France
²Department of Mathematics, Louisiana State University at Baton Rouge, Baton Rouge, LA, USA
³Inst. de Mathématiques de Toulouse/CNRS 5219, Université Paul Sabatier, 118, route de Narbonne, 31062 Toulouse cédex 9, France

Annales de la Faculté des sciences de Toulouse : Mathématiques, Série 6, Tome 21 (2012) no. 2, pp. 259-342

Abstract (VO)

In this paper, we construct an object, called a system of approximate roots of a valuation, centered in a regular local ring, which describes the fine structure of the valuation (namely, its valuation ideals and the graded algebra). We apply this construction to valuations associated to a point of the real spectrum of a regular local ring $A$. We give two versions of the construction: the first, much simpler, in a special case (roughly speaking, that of rank 1 valuations), the second – in the case of complete regular local rings and valuations of arbitrary rank.

We then describe certain subsets $C\subset SperA$ by explicit formulae in terms of approximate roots; we conjecture that these sets satisfy the Connectedness (respectively, Definable Connectedness) conjecture. Establishing this for a certain regular ring $A$ would imply that $A$ is a Pierce-Birkhoff ring (this means that the Pierce-Birkhoff conjecture holds in $A$).

Finally, we use these constructions and results to prove the Definable Connectedness conjecture (and hence a fortiori the Pierce-Birkhoff conjecture) in the special case when $dimA=2$.

Résumé

Les résultats contenus dans ce papier constituent une étape dans notre tentative de démontrer la Conjecture de Pierce-Bikhoff pour des anneaux réguliers en toute dimension (et en particulier la conjecture classique pour un anneau de polynômes sur un corps réel clos). On commence par rappeler les conjectures de Connexité et de Connexité Définissable, qui ont toutes deux pour conséquence la conjecture de Pierce-Birkhoff.

Nous introduisons alors la notion de système de racines approchées pour une valuation $\nu$ sur un anneau $A$ : c’est une collection $Q$ d’éléments de $A$ telle que tout $\nu$-idéal est engendré par un produit d’éléments de $Q$. On se sert alors des racines approchées pour définir, par des formules explicites, des sous-ensembles du spectre réel de $A$, fortement susceptibles de vérifier la conjecture de Connexité Définissable.

On prouve ainsi la conjecture de Pierce-Birkhoff pour un anneau régulier arbitraire de dimension 2.

Détail

DOI : 10.5802/afst.1336