On the strong separation conjecture

DOI10.1007/S13398-019-00714-4zbMATH Open1439.14164arXiv1802.09389OpenAlexW2963157675WikidataQ123231082 ScholiaQ123231082MaRDI QIDQ2331762FDOQ2331762

D. Schaub, F. Lucas, 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)

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.

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

zbMATH Keywords

real algebraic geometryreal spectrumvaluationsPierce-Birkhoff conjecture

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (12)

• A relaxation of the strong Bordeaux Conjecture
• An algebraic construction of the ring of piecewise polynomial functions
• Tight bounds and conjectures for the isolation lemma
• The separable quotient problem and the strongly normal sequences
• On connectedness of sets in the real spectra of polynomial rings
• Effectiveness of Demailly's strong openness conjecture and related problems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Separation problems and forcing
• On strongly separable extensions
• On Krull's separation lemma
• Title not available (Why is that?)

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)