Skip to main content
4 of 5
added 614 characters in body
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424

How to model (affine) schemes with a large sketch?

Guitart states in "Toute theorie est algebrique et topologique" as Proposition 17 that the category $\mathbf{Sch}$ of schemes is the category of models of a large mixed sketch. Presumably, it is built using Burroni's sketch of $\mathbf{Top}$. Here is a translation of the relevent paragraph which gives a sketch of the proof.

"This [the functorial approach to schemes] being recalled, starting from the sketch for topological spaces (Prop. 13), we can effectively continue and obtain a mixed sketch whose models are schemes. In other words, like the idea of topology, everything which goes into the definition of schemes, the ideas of rings, local rings, of affine neighborhoods, all of this can therefore be sketched out, in terms of projective and inductive limits."

Questions.

  1. Can someone explain more how that sketch for $\mathbf{Sch}$ looks like?
  2. Why is even the category of affine schemes (i.e. $\mathbf{CRing}^{\mathrm{op}}$) modeled by a large sketch? It seems that Guitart does not make a distinction between $\mathbf{CRing}^{\mathrm{op}}$ and $\mathbf{CRing}$, which is kind of...sketchy. It is only clear to me that $\mathbf{CRing}^{\mathrm{op}}$ is the category of $\mathbf{Set}^{\mathrm{op}}$-valued models of a finite colimit sketch, but we want $\mathbf{Set}$-valued models.
  3. A related question is if the categories $\mathbf{RS}$ and $ \mathbf{LRS}$ of (locally) ringed spaces can be modelled with large sketches, is this possible? I suspect that for this we first need to find a categorical characterization of local homeomorphisms ($\equiv$ sheaves) internal to $\mathbf{Top}$?
Martin Brandenburg
  • 63.1k
  • 12
  • 207
  • 424