Connectedness conjecture for regular rings

Let Σ\Sigma be a ring and let α,βSperΣ\alpha,\beta\in\operatorname{Sper}\Sigma. The connectedness property at α\alpha and β\beta requires that, for every finite collection f1,,fsΣα,βf_1,\ldots,f_s\in\Sigma\setminus\langle\alpha,\beta\rangle, there is a connected set CSperΣC\subset\operatorname{Sper}\Sigma containing α\alpha and β\beta and avoiding every zero set {fi=0}\{f_i=0\}. Let X\mathcal X be the class of all regular rings. Connectedness conjecture for regular rings. CP(X)CP(\mathcal X) holds. This conjecture is a local real-spectrum formulation related to the Pierce–Birkhoff conjecture; its case s=1s=1 is the separation conjecture.

Sources & referencesView supporting material

Primary source

F Lucas, D. Schaub and M. Spivakovsky, “On the strong separation conjecture”, arXiv:1802.09389 (2018).

Additional references

3 papers in this index state this conjecture (2006–2018). The statement above is taken from the most recent of them; the others are arXiv:1207.6463, arXiv:math/0601671.

Progress summary

Never refreshed

Nothing recorded yet. Refresh searches the literature and the public web for attempts on this problem, and writes the first summary here.

Solutions 0

No solutions have been posted yet.