# My first question - on Affine Schemes in Algebraic Geometry

If R is a commutative ring (with unit) then we have an affine scheme Spec(R) which is an object of the category of ringed topological spaces. Is there any way of characterising this object relative to the category of ringed topological spaces? The underlying space of an affine scheme is compact and the structure sheaf is a ring, but these statements hardly go any way towards characterising an affine scheme. I am not looking for an answer that is necessarily strictly tied to the structure of the category of ringed topological spaces - just something that is topological and/or about the algebraic structure of the structure sheaf.
A non-answer is: 'An affine scheme is a ringed topological space of the form SpecR for some cummutative ring R.' Thanks for any pointers, Christopher

-
In terms of pure point set topology, there is a complete characterisation of spectral spaces. –  Zhen Lin Feb 23 '12 at 12:56
An affine scheme is a ringed topos arising as a pullback of topoi, namely as the pullback of a morphism from the topos of sets to the classifying topos of rings along the forgetful morphism from the classifying topos of local rings to the topos of rings - see this answer for more details: mathoverflow.net/questions/8204/… –  Peter Arndt Feb 23 '12 at 21:51
@Peter Arndt, I thought through what you said. Viewing rings as geoemtric morphisms, I can't see how every affine scheme can be a pullback of toposes as described. The morphism being pulled back is a subtopos morphism from one classifying topos(that of local rings) to another (that of rings). It's pullback will be a subtopos of Set, and these correspond [I think] to sublocales of 1 and not to coherent locales in general, which they must for the caracterization to work. I am sure you are right, but perhaps you can see my difficult in agreeing the characterisation? –  Christopher Townsend Feb 28 '12 at 9:01

An affine scheme can be characterized in the category of locally ringed spaces (one needs the "locally" if I remember correctly). A l.r.s. $X$ is an affine scheme i.f.f. $Hom(Y,X)$ functorially equals $Hom(\Gamma(X,\mathcal{O}_X),\Gamma(Y,\mathcal{O}_Y))$, for $Y$ a l.r.s.

In other words, the affine scheme construction is the construction of a right adjoint to $\Gamma: ( l.r.s. ) \to ( rings )^{op}$.

-
This fact also gives (what I think is) a nice characterization of affineness among all locally ringed spaces. If $Y$ is a locally ringed space, taking $X=\mathrm{Spec}(\mathscr{O}_Y(Y))$ in Sasha's answer shows there is a unique morphism $f:Y→\mathrm{Spec}(\mathscr{O}Y(Y))$ inducing the identity on global sections, and $Y$ is an affine scheme (in the sense that it is isomorphic to the spectrum of some ring via some isomorphism) if and only if this canonical $f$ is an isomorphism. –  Keenan Kidwell Feb 23 '12 at 13:29
This is well-known (EGA I, 1.6.3). Sometimes this is also taken as the definition of an affine scheme (Demazure-Gabriel). –  Martin Brandenburg Feb 23 '12 at 14:17
I wish it were always taken as the definition of an affine scheme. –  Keenan Kidwell Feb 23 '12 at 15:36

Look at Eisenbud and Harris, The Geometry of Schemes, page 21.

The conditions for a ringed space $(X,\mathcal{O})$ to be isomorphic to $Spec(R)$, where $R=\mathcal{O}(X)$, are:

1) For each $f\in R$, let $U_f\subset X$ be the set of $x$ such that $f$ maps to a unit in the stalk $\mathcal{O}_x$. Then $\mathcal{O}(U_f)=R[f^{-1}]$.

2) The stalks $\mathcal{O}_x$ are local rings.

3) The natural map $X\to \left| Spec(R)\right|$ that takes $x$ to the pre-image in $R$ of the maximal ideal in $\mathcal{O}_x$ is a homeomorphism.

-
do you happen to know whether a similar criterion of affineness exists for algebraic spaces? –  Yosemite Sam Feb 23 '12 at 10:38
@Yosemite: No, I'm afraid I don't. Perhaps someone else who does will come along and comment. –  Mark Grant Feb 23 '12 at 14:33

The characterizations mentioned so far are purely formal. There is a nontrivial cohomological characterization by Serre of affine schemes within quasi-compact quasi-separated schemes $X$ (see EGA II, 5.2). Namely, $X$ is affine iff $\Gamma : \mathrm{Qcoh}(X) \to \mathrm{Ab}$ is exact (i.e. $\mathcal{O}_X$ is a projective object in $\mathrm{Qcoh}(X)$) iff all cohomology groups $H^i(X,F)$ vanish, where $F$ is a quasi-coherent sheaf on $X$ and $i>0$. Actually it suffices to take $i=1$ and $F$ a finite type ideal of $\mathcal{O}_X$.

-
Unless I misunderstood, the asker was looking for a characterization of affine schemes among ringed spaces, not among schemes. –  Xander Flood Dec 11 '12 at 1:23

Maybe you will be interested in the thesis of Mel Hochster. He characterizes the image of Spec in Top. The article based on it is called Prime Ideal Structures in Commutative Rings and appeared in the Transactions of the AMS in 1969.

-
There is a purely category-theoretical way to describe affine schemes. Consider an arbitrary scheme $X$. For any ring $R$ we can consider a set of $R$-points of $X$, that is $X(R)=\mathrm{Hom}_{Schm}\left( \mathrm{Spec}\;R,X \right)$. This is a functor $X: Ring \to Set$. For an affine $X=\mathrm{Spec}\;A$ it equals to $X(R)= \mathrm{Hom}_{Ring}\left( A, R \right)$. Affine schemes are exactly such representable functors $Ring\to Set$.
There's also a concrete theorem, describing affine schemes. If $X$ is a scheme and $\mathcal{J}$ is a nilpotent quasicoherent sheaf of ideals of $\mathcal{O}_X$, then $X$ is affine iff the closed subscheme $V(\mathcal{J})$ of $X$ is affine. (see Gabriel, Demazure, p.80).
@Qiaochu Yuan, I didn't really describe what a scheme is, I just pointed the direction. There is Zariski-type Grothendieck topology on the category of affine schemes and the corresponding sheaves are schemes. This allows to associate a topological space to any scheme. The structure sheaf appears as a sheaf of morphisms from an open subset to the affine line (affine scheme represented by $\mathbb{Z}[T]$). So description of affine schemes as representable functors is meaningful, although possibly (like any representability) too difficult to check in practice without more concrete theorems. –  Anton Fetisov Feb 26 '12 at 17:20
@Yosemite Sam, thank you for the pointer! My answer is more or less a reformulation of @Sasha 's one. It's just a step forward: you don't need to check his equality for all l.r.s. $Y$, it suffices to check only affine ones, because all (pre)sheaves are colimits of representables. And then it becomes exactly the representability condition for $X$. –  Anton Fetisov Feb 26 '12 at 17:28