Topics on Smooth Commutative Algebra
We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or C∞) Commutative Algebra", a version of Commutative Algebra of C∞−rings instead of ordinary commutative unital rings, looking for similar results to those one finds in the latter, and expanding some others presented in [20]. We give an explicit description of an adjunction between the categories C∞Rng and CRing, in order to study this "bridge". We present and prove many properties of the analog of the radical of an ideal of a ring (namely, the C∞-radical of an ideal), saturation (which we define as "smooth saturation", inspired by [13]), rings of fractions (C∞-rings of fractions, defined first by I. Moerdijk and G. Reyes in [20]), local rings (local C∞-rings), reduced rings (C∞-reduced C∞-rings) and others. We also state and prove new results, such as ad hoc "Separation Theorems", similar to the ones we find in Commutative Algebra, and a stronger version (Theorem 6) of the Theorem 1.4 of [20], characterizing every C∞-ring of fractions. We describe the fundamental concepts of Order Theory for C∞-rings, proving that every C∞-ring is semi-real, and we prove an important result on the strong interplay between the smooth Zariski spectrum and the real smooth spectrum of a C∞-ring.
