4
$\begingroup$

I recall seeing that the category of schemes can be captured by a general construction as follows.

Let $\mathbf{Spec}\colon \mathbf{CRing}^{op}\to \mathbf{LRS}$ be the usual functor from the category of commutative rings to the category of locally ringed spaces by assigning a ring to its structured sheaf.

Now, this is where I am a bit hesitant to continue, since we are to take the Yoneda extension along $\mathbf y\colon \mathbf{CRing}^{op}\to \mathbf{Set}^{\mathbf{CRing}}$ to a essentially unique functor $L\colon \mathbf{Set}^{\mathbf{CRing}}\to \mathbf{LRS}$ such that $L\circ \mathbf y=\mathbf{Spec}$. By the general construction, $L$ has a right adjoint, $R\colon \mathbf{LRS}\to \mathbf{Set}^{\mathbf{CRing}}$.

My concern is that the usual construction of $L$ is taken to be $L(F)=colim_{el(F)}\mathbf{Spec}\circ \pi_F$, where $\pi_F\colon el(F)\to \mathbf{CRing}$ is the natural projection. However, $el(F)$ is not guaranteed to be small and $\mathbf{LRS}$ does not have all large colimits.

Is there a way to make this idea work so that the category of schemes is equivalent to the full subcategory consisting of locally ringed spaces $(X,\mathscr O_X)$ such that the unit of the adjunction $\eta_X\colon LR(X)\to X$ is an isomorphism? Perhaps we should restrict $\mathbf{Set}^{\mathbf{CRing}}$ to be the smallest subcategory which includes only those objects which have colimits we want.

$\endgroup$
  • $\begingroup$ This is not at all how schemes are defined. Only some colimits define schemes. $\endgroup$ – Zhen Lin Jan 13 '15 at 8:17
  • $\begingroup$ @Zhen I think you should read my description more carefully. I am not saying that schemes are arbitrary colimits but those that make the counit of the said adjunction iso. $\endgroup$ – Rachmaninoff Jan 13 '15 at 9:40
  • $\begingroup$ It is an interesting idea, but it's not at all obvious that schemes in the usual sense have this property. $\endgroup$ – Zhen Lin Jan 13 '15 at 10:10
  • $\begingroup$ It seems to amount to showing that every scheme $X$ is iso to $colim_{el(F)}\mathbf{Spec}\pi_F$ where $F=\mathbf{LRS}(\mathbf{Spec}\square, X)$ and conversely $\endgroup$ – Rachmaninoff Jan 13 '15 at 10:37
  • $\begingroup$ Schemes are locally ringed spaces admitting Zariski open covers by affine schemes, while your proposed definition has nothing to do with the Zariski topology. $\endgroup$ – user314 Jan 14 '15 at 1:17
1
$\begingroup$

Replace $\mathsf{Set}^{\mathsf{CRing}}$ by the category of functors $\mathsf{CRing} \to \mathsf{Set}$ which are cofinally small. This is the free cocompletion $\widehat{\mathsf{Ring}^{\mathrm{op}}}$. See here for the (sketch of) proof that schemes have cofinally small functors of points. But I think that the subcategory of $\mathsf{LRS}$ of fixed points of the adjunction $\widehat{\mathsf{Ring}^{\mathrm{op}}} \leftrightarrow \mathsf{LRS}$ is strictly larger than $\mathsf{Sch}$.

If you want to have a functorial framework for schemes, just define them as functors $X : \mathsf{CRing} \to \mathsf{Set}$ which are sheaves (this can be written down using localizations in an elementary way) and locally representable (this takes some time). One can develop algebraic geometry that way, see for example Grothendieck's "Functorial Algebraic Geometry", Lecture notes written by Federico Gaeta.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.