Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

François Lucas; James Madden; Daniel Schaub; Mark Spivakovsky

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

François Lucas ¹ James Madden ² Daniel Schaub ¹ Mark Spivakovsky ³

1 LAREMA - Laboratoire Angevin de Recherche en Mathématiques

2 LSU Mathematics - Department of Mathematics [Baton Rouge]

3 IMT - Institut de Mathématiques de Toulouse UMR5219

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 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.

Keywords : Pierce-Birkhoff real spectrum valuation approximate root piecewise polynomial blowing up complete ideal

Document type :

Journal articles

Domain :

Mathematics [math] / Algebraic Geometry [math.AG]

Complete list of metadatas

https://hal-ujm.archives-ouvertes.fr/ujm-00461549
Contributor : Daniel Schaub <>
Submitted on : Thursday, February 9, 2012 - 5:11:47 PM
Last modification on : Thursday, October 17, 2019 - 8:57:36 AM
Long-term archiving on : Thursday, May 10, 2012 - 2:58:02 AM

approximatelastversion.pdf

Files produced by the author(s)

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

Files

Identifiers

Collections

Citation

Export

Metrics

469

281

Contact

Approximate roots of a valuation and the Pierce-Birkhoff Conjecture

Files

Identifiers

Collections

Citation

Export

Share

Metrics

469

281

Contact