On the strong separation conjecture

DOI10.1007/S13398-019-00714-4MaRDI QIDQ2331762zbMATH OpenOpenAlexWikidataFDO

Authors F. Lucas, D. Schaub, M. Spivakovsky

Publication date 30 October 2019

Published in Revista de la Real Academia de Ciencias Exactas, Físicas y Naturales. Serie A: Matemáticas. RACSAM (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1802.09389

zbMATH Keywords

Pierce-Birkhoff conjecturereal algebraic geometryreal spectrumvaluations

Mathematics Subject Classification ID

Polynomials in real and complex fields: location of zeros (algebraic theorems) (12D10) Real algebraic sets (14P05) Semialgebraic sets and related spaces (14P10)

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 $Sigma$, J. Madden proved that the Pierce--Birkhoff conjecture for $Sigma$ is equivalent to a statement about an arbitrary pair of points $alpha$, $$ $in$ Sper $Sigma$ and their separating ideal < $alpha$, $$ >, we refer to this statement as the local Pierce-Birkhoff conjecture at $alpha$, $$. In [8] we introduced a slightly stronger conjecture, also stated for a pair of points $alpha$, $$ $in$ Sper $Sigma$ and the separating ideal < $alpha$, $$ >, called the Connectedness conjecture, about a finite collection of elements {f 1, . . ., fr} $subset$ $Sigma$. 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(< $alpha$, $$ >) $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 $alpha$, $$ $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 $alpha$ and $$ are in good position with respect to f.

Recommendations

• On the Pierce-Birkhoff conjecture
• On connectedness of sets in the real spectra of polynomial rings
• The Pierce-Birkhoff Conjecture for Curves
• On the Pierce-Birkhoff conjecture for smooth affine surfaces over real closed fields
• Pierce-Birkhoff rings

Cites work

• Approximate roots of a valuation and the Pierce-Birkhoff conjecture
• scientific article; zbMATH DE number 3117624 (Why is no real title available?)
• scientific article; zbMATH DE number 4029737 (Why is no real title available?)
• scientific article; zbMATH DE number 3057883 (Why is no real title available?)
• Lattice ordered rings and function rings
• On connectedness of sets in the real spectra of polynomial rings
• On the Continuity of the Real Roots of an Algebraic Equation
• On the homology of algebraic varieties over real closed fields.
• On the Pierce-Birkhoff conjecture
• On the Pierce-Birkhoff conjecture
• On the Pierce-Birkhoff conjecture for smooth affine surfaces over real closed fields
• On the Pierce-Birkhoff conjecture in three variables
• On the Pierce-Birkhoff conjecture over ordered fields
• Ordered fields satisfying Rolle's theorem
• Pierce-Birkhoff rings
• The Pierce-Birkhoff Conjecture for Curves

Cited in

(13)

• On connectedness of sets in the real spectra of polynomial rings
• An algebraic construction of the ring of piecewise polynomial functions
• On Krull's separation lemma
• Tight bounds and conjectures for the isolation lemma
• Separation problems and forcing
• scientific article; zbMATH DE number 446461 (Why is no real title available?)
• scientific article; zbMATH DE number 549851 (Why is no real title available?)
• The separable quotient problem and the strongly normal sequences
• A relaxation of the strong Bordeaux Conjecture
• scientific article; zbMATH DE number 749214 (Why is no real title available?)
• On the Pierce-Birkhoff conjecture
• On strongly separable extensions
• Effectiveness of Demailly's strong openness conjecture and related problems

This page was built for publication: On the strong separation conjecture

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2331762)