Topics on Smooth Commutative Algebra

TL;DR

This paper explores the foundational aspects of smooth commutative algebra using $ ext{C}^ ext{∞}$-rings, establishing analogs of classical algebraic concepts and introducing new theorems to deepen understanding of this mathematical framework.

Contribution

It provides an explicit adjunction between $ ext{C}^ ext{∞}$-rings and ordinary rings, and proves new results including separation theorems and characterizations of $ ext{C}^ ext{∞}$-rings of fractions.

Findings

Established an adjunction between $ ext{C}^ ext{∞}$-rings and rings.

Proved new separation theorems for $ ext{C}^ ext{∞}$-rings.

Characterized $ ext{C}^ ext{∞}$-rings of fractions and explored their spectra.

Abstract

We present, in the same vein as in [20] and [21], some results of the so-called "Smooth (or $\mathcal{C}^\infty$) Commutative Algebra", a version of Commutative Algebra of $\mathcal{C}^{\infty}-$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 $\mathcal{C}^\infty{\rm Rng}$ and ${\rm 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 $\mathcal{C}^\infty$-radical of an ideal), saturation (which we define as "smooth saturation", inspired by [13]), rings of fractions ($\mathcal{C}^\infty$-rings of fractions, defined first by I. Moerdijk and G. Reyes in [20]), local rings (local $\mathcal{C}^\infty$-rings), reduced rings ($\mathcal{C}^\infty$-reduced $\mathcal{C}^\infty$-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 $\mathcal{C}^\infty$-ring of fractions. We describe the fundamental concepts of Order Theory for $\mathcal{C}^\infty$-rings, proving that every $\mathcal{C}^\infty$-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 $\mathcal{C}^\infty$-ring.