higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A locally ringed space is a ringed space $(X,\mathcal{O})$ such that the stalks of the structure sheaf $\mathcal{O}$ are local rings.
A morphism of locally ringed spaces is a morphism of ringed spaces $(f,f^\sharp)\colon (X,\mathcal{O}_X)\to (Y,\mathcal{O}_Y)$, where $f:X\to Y$, such that $f_\sharp : f^*\mathcal{O}_Y \to \mathcal{O}_X$ is a morphism of local rings (that is, a map of rings which respects the maximal ideal (reflects invertibility)), where $f_\sharp$ is the adjunct of the comorphism $f^\sharp:\mathcal{O}_Y\to f_*\mathcal{O}_X$. Here we are considering $\mathcal{O}_X$ and $\mathcal{O}_Y$ to be local rings defined in the internal logic of the respective sheaf toposes, and $f^*\mathcal{O}_Y$ is an internal local ring because the inverse image functor $f^*$ preserves geometric logic.
(schemes)
Historically, schemes are thought of as locally ringed spaces and this application of the notion to algebraic geometry motivated much of its development.
(However, already Grothendieck (1973) pointed out that it is often more frutiful to view schemes instead via their functor of points, see at functorial geometry for more.)
(smooth manifolds)
The category SmthMfd of smooth manifolds has a canonical embedding into the category of locally ringed spaces:
Indeed, any smooth manifold $M$ comes equipped with a sheaf of real-valued smooth functions $\mathcal{C}^{\infty}_M$, and the maximal ideal in a given stalk consists precisely of germs of smooth functions which vanish at that point. Moreover, a smooth map $f \colon M \to N$ determines a comorphism $f^\sharp: \mathcal{C}^{\infty}_N \to f_* \mathcal{C}^{\infty}_M$ by the usual precomposition.
This inclusion of smooth manifolds into locally ringed spaces is fully faithful. For a proof, see Lucas Braune’s comment at Math.SE:511604.
(In fact, already the embedding of smooth manifolds into formal duals of R-algebras is fully faithful, which means that all smooth manifolds are even “affine” locally ringed spaces, in a sense.)
The condition that all stalks $\mathcal{O}_{X,x}$ are local rings can be reformulated without referring to the points of $X$:
ringed space, locally ringed space
ringed locale?, locally ringed locale
Textbook accounts:
Siegfried Bosch, p. 247-248 in Algebraic Geometry and Commutative Algebra, Universitext, Springer (2017) [doi:10.1007/978-1-4471-4829-6]
Ulrich Görtz, Torsten Wedhorn, p. 55 in: Algebraic Geometry I: Schemes, Springer (2020) [doi:10.1007/978-3-658-30733-2]
See also:
James Milne, section 4 of Lectures on Étale Cohomology
See also references at locally ringed topos.
Last revised on April 16, 2023 at 08:39:47. See the history of this page for a list of all contributions to it.