This paper represents a step in our program towards the proof of the
Pierce--Birkhoff conjecture. In the nineteen eighties J. Madden proved that the
Pierce-Birkhoff conjecture for a ring Aisequivalenttoastatementaboutanarbitrarypairofpoints\alpha,\beta\in\sper\ Aandtheirseparatingideal;werefertothisstatementastheLocalPierce−Birkhoffconjectureat\alpha,\beta.Inthispaper,foreachpair(\alpha,\beta)withht()=\dim A,wedefineanaturalnumber,calledcomplexityof(\alpha,\beta).Complexity0correspondstothecasewhenoneofthepoints\alpha,\betaismonomial;thiscasewasalreadysettledinalldimensionsinaprecedingpaper.Hereweintroduceanewconjecture,calledtheStrongConnectednessconjecture,andprovethatthestrongconnectednessconjectureindimensionn−1impliestheconnectednessconjectureindimensionninthecasewhenht()islessthann−1.WeprovetheStrongConnectednessconjectureindimension2,whichgivestheConnectednessandthePierce−−Birkhoffconjecturesinanydimensioninthecasewhenht()lessthan2.Finally,weprovetheConnectedness(andhencealsothePierce−−Birkhoff)conjectureinthecasewhendimensionofAisequaltoht()=3,thepair(\alpha,\beta)isofcomplexity1andA$ is excellent with residue field the field of real numbers
Let R be a real closed field and A=R[x_1,...,x_n]. Let sper A denote the real
spectrum of A. There are two kinds of points in sper A : finite points (those
for which all of |x_1|,...,|x_n| are bounded above by some constant in R) and
points at infinity. In this paper we study the structure of the set of points
at infinity of sper A and their associated valuations. Let T be a subset of
{1,...,n}. For j in {1,...,n}, let y_j=x_j if j is not in T and y_j=1/x_j if j
is in T. Let B_T=R[y_1,...,y_n]. We express sper A as a disjoint union of sets
of the form U_T and construct a homeomorphism of each of the sets U_T with a
subspace of the space of finite points of sper B_T. For each point d at
infinity in U_T, we describe the associated valuation v_{d*} of its image d* in
sper B_T in terms of the valuation v_d associated to d. Among other things we
show that the valuation v_{d*} is composed with v_d (in other words, the
valuation ring R_d is a localization of R_{d*} at a suitable prime ideal)
This collection contains photographs pertaining to the life, career, and activities of Henri Temianka, violin virtuoso, conductor, music teacher, and author.https://digitalcommons.chapman.edu/temianka_photos/1040/thumbnail.jp