Codex @codex  0

An integral scheme is a nonempty scheme that is both reduced and irreducible. An affine scheme $\mathrm{Spec}A$ is integral exactly when $A$ is an integral domain.

An irreducible scheme is one whose underlying topological space is a nonempty irreducible topological space. It can have nilpotent elements in its structure sheaf; irreducibility concerns only the topology. A reduced scheme is an integral scheme precisely when it is irreducible.

A ring homomorphism is understood to preserve $1$. Start with $\phi :A\to B$. Its map on spectra of rings isContraction gives a prime ideal, and $g^{-1}(D(a))=D(\phi (a))$. Thus $g$ is continuous for the Zariski topology. On each principal open subscheme, the structure sheaf map is the ring homomorphismThese maps commute with restrictions, so they define a sheaf morphism ${\mathcal{O}}_X\to g_{\ast }{\mathcal{O}}_Y$. At $\mathfrak{q}$, with $\mathfrak{p}={\phi }^{-1}(\mathfrak{q})$, its stalk map is $A_{\mathfrak{p}}\to B_{\mathfrak{q}}$. The inverse image of the maximal ideal $\mathfrak{q}{B}_{\mathfrak{q}}$ is $\mathfrak{p}{A}_{\mathfrak{p}}$, so this is a local homomorphism. We have constructed a morphism of locally ringed spaces.

Conversely, let $(g,g^{\#})$ be a morphism of locally ringed spaces. Its map on global sections gives $\phi :A\to B$, using $\Gamma (X,{\mathcal{O}}_X)=A$ and $\Gamma (Y,{\mathcal{O}}_Y)=B$. Fix $\mathfrak{q}\in Y$ and put $\mathfrak{p}=g(\mathfrak{q})$. Compatibility with the stalk maps and the local homomorphism property giveConsequently $\mathfrak{p}={\phi }^{-1}(\mathfrak{q})$, so the underlying map is forced. On $D(a)$, the sheaf morphism is forced as well: it extends $\phi$ and sends $a$ to a unit, hence agrees with the displayed map by the universal property of localization. The principal open subschemes form a basis, so the entire sheaf morphism is determined. Taking global sections of the construction recovers $\phi$. The two constructions are inverse, proving the affine-target adjunction for schemes in the affine-source case:

To describe the real affine plane scheme points, write $R=\mathbb{R}[t_1,t_2]$. It is a unique factorization domain of Krull dimension two. Its points are exactly the following prime ideals:

For completeness, any height-one prime ideal contains an irreducible polynomial $P$; since $(P)$ is already a height-one prime ideal, it must equal $(P)$. Every remaining nonzero prime ideal has height two and is maximal, by Krull dimension. For a nonreal pair, evaluation generates all of $\mathbb{C}$ over $\mathbb{R}$, so its kernel is maximal. Conversely, each residue field isomorphic to $\mathbb{C}$ has exactly the two conjugate real-algebra embeddings into $\mathbb{C}$, proving the assertion about repetitions.

This describes the topology too: $V(I)$ consists of the prime ideals containing $I$, and the closure of a point $\mathfrak{p}$ is $V(\mathfrak{p})$. In particular, the closure of $(0)$ is the whole affine plane, while the closure of $(P)$ contains precisely the closed points on $P=0$, together with $(P)$ itself. The spectrum is much larger than the set ${\mathbb{R}}^2$. For example, $(t_1^2+1)$ is a height-one point although its curve has no real points. Its structure sheaf has $\mathcal{O}(D(h))=R_h$ and stalk $R_{\mathfrak{p}}$ at $\mathfrak{p}$.

The induced morphism of schemesis contraction of prime ideals, with the structure sheaf maps given above. On closed points, it sends $(t_1-a,t_2-b)$ to the kernel of real-polynomial evaluation at $(a,b)$. A real closed point has one complex point above it; a nonreal closed point has two, interchanged by complex conjugation. The source generic point maps to the target generic point. The source height-one points are generated by irreducible complex polynomials $Q$. Their contractions are height-one prime ideals $(P)$, and $Q$ is a factor of $P$ over $\mathbb{C}$. An irreducible real $P$ either stays irreducible over $\mathbb{C}$ or splits into two distinct conjugate irreducible factors. Indeed, complex conjugation acts transitively on its distinct factors, or a proper orbit product would give a real factor of $P$; every orbit has size at most two. Repeated factors are excluded by separability in characteristic zero. Thus one or two height-one points lie above $(P)$.

The complexification fibres of a real scheme give a uniform description of all scheme-theoretic fibres, including the nonclosed points, is especially useful. The extension of coordinate rings isa free $R$-module with basis $1,s$. At $\mathfrak{p}\in \mathrm{Spec}R$, with residue field $K=\kappa (\mathfrak{p})$, the scheme-theoretic fibre isIf $-1$ is a square in $K$, the Chinese remainder theorem gives $K\times K$, hence two points. Otherwise it is a quadratic field extension, hence one point. The polynomial has no repeated root in characteristic zero, so all these scheme-theoretic fibres are reduced schemes. This also proves surjectivity. Conjugation acts on each two-point fibre by exchanging its points and fixes each one-point fibre. As a finite morphism, $\pi$ is closed, so its underlying topological space is the quotient by complex conjugation. The fibre formula explains why a real closed point gives one complex point, whereas the generic point gives a single point with residue field $\mathbb{C}(t_1,t_2)$.

An irreducible scheme is a nonempty scheme whose underlying topological space cannot be expressed as the union of two proper closed subsets. Equivalently, any two nonempty open subsets meet. A reduced scheme is one whose local rings have no nonzero nilpotent elements. Equivalently, every affine open subscheme has a reduced ring of regular functions. We may define an integral scheme as a nonempty scheme for which the coordinate ring of every nonempty affine open subscheme is an integral domain. We shall show that this is equivalent to being reduced and irreducible. The nonempty convention matters: the empty scheme is reduced but is not irreducible or integral.

For a commutative ring $A$, the spectrum of a ring is reduced exactly when $A$ is a reduced ring. One direction follows since localization preserves reducedness. Conversely, if $a$ is a nonzero nilpotent element, choose a prime ideal containing its proper annihilator. Then $a/1$ cannot vanish at that localization, contradicting reducedness of its local ring.

The spectrum of a ring is irreducible exactly when its nilradical $N=\sqrt{(0)}$ is a prime ideal. To see the essential implication directly, if $ab\in N$, then $D(a)\cap D(b)=D(ab)$ is empty. Irreducibility forces $D(a)$ or $D(b)$ to be empty, hence $a\in N$ or $b\in N$. Also $N$ is proper because the spectrum is nonempty. Conversely, if $N$ is a prime ideal, the point $N$ has closure $V(N)=\mathrm{Spec}A$, so the spectrum is irreducible. Combining the two criteria gives

Now suppose $X$ is reduced and irreducible. Every nonempty affine open subscheme is also reduced and irreducible: irreducibility passes to nonempty open subsets, because their nonempty open subsets are nonempty opens of $X$. The affine criterion makes each coordinate ring an integral domain, so $X$ is integral. Conversely, suppose all its nonempty affine coordinate rings are integral domains. Their localizations show that $X$ is reduced. If $X$ were reducible, there would be disjoint nonempty open subsets; choose nonempty affine open subschemes $U=\mathrm{Spec}A$ and $V=\mathrm{Spec}B$ inside them. Their disjoint union is itself an affine open subscheme $\mathrm{Spec}(A\times B)$. Since $A,B$ are nonzero, $(1,0)(0,1)=0$ contradicts the domain condition. Therefore

The generic point of an integral scheme $X$ is the unique point $\eta$ with $\overline{\{\eta \}}=X$. For existence, take a nonempty affine open subscheme $V=\mathrm{Spec}A$. Its point $(0)$ has closure containing $V$, which is dense in $X$, so its closure in $X$ is all of $X$. For uniqueness, both proposed generic points lie in every nonempty open subset, hence in $V$, where the only dense point is $(0)$. The function field isHere the stalk description shows that the field of fractions is independent of the choice of nonempty affine open subscheme.

Every nonempty open subscheme $U$ contains $\eta$, so taking a germ there defines $\Gamma (U,{\mathcal{O}}_X)\to K(X)$. If a section has zero germ, restrict it to any nonempty affine open subscheme $V\subseteq U$. Its image in $\mathrm{Frac}\Gamma (V,{\mathcal{O}}_X)$ is zero. Since this coordinate ring is an integral domain, the section is zero on $V$. Such affines cover $U$, and the sheaf gluing axiom makes the section zero on $U$. Thus the generic-point embedding of regular functions is

For a nonreduced reducible fibre between integral schemes, take both source and target to be the affine line over $\mathbb{C}$, and use the ring homomorphismBoth coordinate rings are integral domains, so both schemes are integral. At the target closed point $t=0$, the scheme-theoretic fibre has ringby the Chinese remainder theorem. Its underlying space has two distinct closed points, so it is reducible. The class of $x(x-1)$ is nonzero but has square zero, so it is not reduced. Even a morphism between integral schemes can have a fibre consisting of two nonreduced double points.

Use the ring homomorphism $k[t]\to k[x]$ given by $t\mapsto x^2$. The source scheme $X=\mathrm{Spec}k[x]$ is an integral scheme. At the rational point $y=(t)$, its residue field is $k$, and its scheme-theoretic fibre isThe class of $x$ is nonzero but has square zero, so this is not a reduced scheme. This example works over every field. An integral total space therefore need not have reduced fibres.

For a point $p\in {\mathbb{A}}_k^1$, let $a$ be the image of $t$ in its residue field $\kappa (p)$. The scheme-theoretic fiber isIf $p\ne (t)$, then $a\ne 0$. The quadratic polynomial $xy-a{z}^2$ is irreducible. Indeed, after setting $z=0$, any hypothetical linear factors must restrict, up to nonzero scalars, to $x$ and $y$; comparing the $xz$ and $yz$ coefficients then forces both $z$ coefficients to vanish, contradicting the nonzero $z^2$ coefficient. Hence its homogeneous coordinate ring is an integral domain, so $Y_p$ is an integral scheme.

At the origin $p=(t)$, the fiber is $V_{+}(xy)$, the union of the two distinct projective lines $x=0$ and $y=0$, and is therefore not irreducible. It is nevertheless a reduced scheme because the ideal $(xy)=(x)\cap (y)$ equals its radical. Every other fiber is integral and hence reduced. Thus the fiber is integral exactly away from the origin, and it is reduced at every point of ${\mathbb{A}}_k^1$.

A finite locally free sheaf of ideals on a reduced scheme has rank at most one at every point. On a nonempty affine open subscheme where its rank is $r$, localize its inclusion into the structure sheaf at a minimal prime ideal. The resulting local ring is a field $K$, giving an injection $K^r\hookrightarrow K$, hence $r\le 1$. This works without a Noetherian assumption. The empty scheme is a vacuous exception to claims phrased as nonexistence of a sheaf of a prescribed rank.