Ringed topos
In mathematics, a ringed topos is a generalization of a ringed space; that is, the notion is obtained by replacing a "topological space" by a "topos". The notion of a ringed topos has applications to deformation theory in algebraic geometry (cf. cotangent complex) and the mathematical foundation of quantum mechanics. In the latter subject, a Bohr topos is a ringed topos that plays the role of a quantum phase space.[1][2] The definition of a topos-version of a "locally ringed space" is not straightforward, as the meaning of "local" in this context is not obvious. One can introduce the notion of a locally ringed topos by introducing a sort of geometric conditions of local rings (see SGA4, Exposé IV, Exercise 13.9), which is equivalent to saying that all the stalks of the structure ring object are local rings when there are enough points.
Morphisms
A morphism [math]\displaystyle{ (T, \mathcal{O}_T) \to (T', \mathcal{O}_{T'}) }[/math] of ringed topoi is a pair consisting of a topos morphism [math]\displaystyle{ f: T \to T' }[/math] and a ring homomorphism [math]\displaystyle{ \mathcal{O}_{T'} \to f_*\mathcal{O}_T }[/math].
If one replaces a "topos" by an ∞-topos, then one gets the notion of a ringed ∞-topos.
Examples
Ringed topos of a topological space
One of the key motivating examples of a ringed topos comes from topology. Consider the site [math]\displaystyle{ \text{Open}(X) }[/math] of a topological space [math]\displaystyle{ X }[/math], and the sheaf of continuous functions
[math]\displaystyle{ C^0_X: \text{Open}(X)^{op} \to \text{CRing} }[/math]
sending an object [math]\displaystyle{ U \in \text{Open}(X) }[/math], an open subset of [math]\displaystyle{ X }[/math], to the ring of continuous functions [math]\displaystyle{ C^0_X(U) }[/math] on [math]\displaystyle{ U }[/math]. Then, the pair [math]\displaystyle{ (\text{Sh}(\text{Open}(X)),C^0_X) }[/math] forms a ringed topos. Note this can be generalized to any ringed space [math]\displaystyle{ (X,\mathcal{O}_X) }[/math] where
[math]\displaystyle{ \mathcal{O}_X : \text{Open}(X)^{op} \to \text{Rings} }[/math]
so the pair [math]\displaystyle{ (\text{Sh}(\text{Open}(X)),\mathcal{O}_X) }[/math] is a ringed topos.
Ringed topos of a scheme
Another key example is the ringed topos associated to a scheme [math]\displaystyle{ (X,\mathcal{O}_X) }[/math], which is again the ringed topos associated to the underlying locally ringed space.
Relation with functor of points
Recall that the functor of points view of scheme theory defines a scheme [math]\displaystyle{ X }[/math] as a functor [math]\displaystyle{ X:\text{CAlg} \to \text{Sets} }[/math] which satisfies a sheaf condition and gluing condition.[3] That is, for any open cover [math]\displaystyle{ \text{Spec}(R_{f_i}) \to \text{Spec}(R) }[/math] of affine schemes, there is the following exact sequence
[math]\displaystyle{ X(R) \to \prod X(R_{f_i}) \rightrightarrows \prod X(R_{f_if_j}) }[/math]
Also, there must exist open affine subfunctors
[math]\displaystyle{ U_i = \text{Spec}(A_i) = \text{Hom}_{\text{CAlg}}(A_i,-) }[/math]
covering [math]\displaystyle{ X }[/math], meaning for any [math]\displaystyle{ \xi \in X(R) }[/math], there is a [math]\displaystyle{ \xi|_{U_i} \in U_i(R) }[/math]. Then, there is a topos associated to [math]\displaystyle{ X }[/math] whose underlying site is the site of open subfunctors. This site is isomorphic to the site associated to the underlying topological space of the ringed space corresponding to the scheme. Then, topos theory gives a way to construct scheme theory without having to use locally ringed spaces using the associated locally ringed topos.
Ringed topos of sets
The category of sets is equivalent to the category of sheaves on the category with one object and only the identity morphism, so [math]\displaystyle{ \text{Sh}(*) \cong \text{Sets} }[/math]. Then, given any ring [math]\displaystyle{ A }[/math], there is an associated sheaf [math]\displaystyle{ \text{Hom}_{Sets}(-, A): \text{Sets}^{op} \to \text{Rings} }[/math]. This can be used to find toy examples of morphisms of ringed topoi.
Notes
- ↑ Schreiber, Urs (2011-07-25). "Bohr toposes" (in en). https://golem.ph.utexas.edu/category/2011/07/bohr_toposes.html.
- ↑ Heunen, Chris; Landsman, Nicolaas P.; Spitters, Bas (2009-10-01). "A Topos for Algebraic Quantum Theory" (in en). Communications in Mathematical Physics 291 (1): 63–110. doi:10.1007/s00220-009-0865-6. ISSN 0010-3616. Bibcode: 2009CMaPh.291...63H.
- ↑ "Section 26.15 (01JF): A representability criterion—The Stacks project". https://stacks.math.columbia.edu/tag/01JF.
References
- The standard reference is the fourth volume of the Séminaire de Géométrie Algébrique du Bois Marie.
- Francis, J. Derived Algebraic Geometry Over [math]\displaystyle{ \mathcal{E}_n }[/math]-Rings
- Grothendieck Duality for Derived Stacks
- Ringed topos in nLab
- Locally ringed topos in nLab
 |  |
