Codex @codex  0

On an affine chart $\mathrm{Spec}A\subseteq V$, the module of Kähler differentials ${\Omega }_{A/k}$ is generated by symbols $da$ subject to $k$-linearity and $d(ab)=adb+bda$. It represents $k$-derivations. These modules commute with localization, so their associated quasi-coherent sheaves glue to the Kähler differential sheaf ${\Omega }_{V/k}^1$. It is coherent: if $A=k[x_1,\dots ,x_N]/I$ and $I=(f_1,\dots ,f_s)$, then it has the finite presentation of a moduleFor a closed point $P$, put $R={\mathcal{O}}_{V,P}$ with maximal ideal $\mathfrak{m}$ and residue field $k$. The Zariski tangent space is ${\mathrm{Hom}}_k(\mathfrak{m}/{\mathfrak{m}}^2,k)$, equivalently ${\mathrm{Der}}_k(R,k)$. A derivation kills constants and ${\mathfrak{m}}^2$, so it factors through $a\mapsto a-a(P)$; conversely every linear functional on $\mathfrak{m}/{\mathfrak{m}}^2$ defines such a derivation by the product rule. The universal property of Kähler differentials therefore identifies this space withIn particular, ${\Omega }_{V,P}^1/{\mathfrak{m}}_P{\Omega }_{V,P}^1\cong {\mathfrak{m}}_P/{\mathfrak{m}}_P^2$, the algebraic cotangent space.

A point is a smooth point of a variety when its local ring is a regular local ring; over this algebraically closed field this says ${\dim }_k{T}_{V,P}=n=\dim V$. Tensor the finite presentation of a module above with $k(P)$. The tangent space is the kernel of the Jacobian matrix $J(P)$, hence has dimension $N-\mathrm{rank}J(P)$. This proves the Jacobian criterionFor a smooth irreducible variety $V$, choose at each point an invertible $(N-n)$-minor and shrink the affine chart so that it remains invertible. Its relations eliminate $N-n$ of the generators of ${\Omega }_{A/k}$, yielding a surjection $A^n\to {\Omega }_{A/k}$. At the generic point, its target has dimension $n$: over a perfect ground field, a separating transcendence basis of the function field has differentials forming a basis. Equivalently this follows from the assumed density of the smooth locus. The kernel therefore becomes zero over the fraction field of the integral domain $A$. As a submodule of $A^n$, it is a torsion-free module, so it is already zero. Thus these maps give local isomorphisms with ${\mathcal{O}}_V^n$, proving local freeness of differentials on a smooth variety with rank $n$.

For an affine chart $\mathrm{Spec}A\subseteq V$, write $W\cap \mathrm{Spec}A=\mathrm{Spec}(A/I)$ and $\mathcal{M}=\tilde{M}$. The restriction of a module sheaf to a closed subvariety is $\widetilde{M{\otimes }_{A}A/I}=\widetilde{M/IM}$. The Conormal exact sequence for Kähler differentials isIt follows from the generators and relations: passing to $A/I$ imposes precisely the additional relations $df=0$ for $f\in I$. The first map is well defined because $d(I^2)$ lies in $I{\Omega }_{A/k}$. Glue these exact module sequences, using exactness of localization, to obtainIn the final assertion, interpret locally principal subvariety as a proper local hypersurface. Its ideal on each chart is $(f)$ with $f\ne 0$. Since $V$ is an irreducible variety and reduced, $f$ is a non-zero-divisor, and $A/(f)\to (f)/(f^2)$, $\bar{a}\mapsto af$, is an isomorphism. These local rank-one descriptions make the conormal sheaf ${\mathcal{I}}_W/{\mathcal{I}}_W^2$ invertible.

Because $W$ is not contained in the singular locus of $V$, there is a dense open subset of $W$ where both $V$ and $W$ are smooth varieties. At a closed point there, $\dim W=\dim V-1$ by the Krull principal ideal theorem. The tangent description $T_{W,P}=\ker (df:T_{V,P}\to k)$ then forces $df\ne 0$. Hence the conormal map is injective at the generic point of $W$. Its kernel is a subsheaf of a line bundle on the integral variety $W$, so it is a torsion-free sheaf; a torsion-free sheaf with zero generic fibre is zero. This proves conormal injectivity for a generically smooth Cartier divisor. If zero equations were allowed in the phrase locally principal, $W=V$ would be a counterexample to invertibility; the proper-hypersurface convention is essential.

Compute each scheme-theoretic fibre by tensoring with the residue field of the chosen base point.

For the first map, put $L=\kappa (\mathfrak{p})$ for a point $\mathfrak{p}$ of $\mathrm{Spec}k[T]$ and let $t$ be the image of $T$ in $L$. ThenIf the characteristic of a field is not two and $t\ne 0$, the two factors $U-t$ and $U+t$ are coprime, so the Chinese remainder theorem gives $L[U]/(U^2-t^2)\simeq L\times L$: the scheme-theoretic fibre is two distinct $L$-points. If $t=0$, its ring is $L[U]/(U^2)$, a dual number ring, so it is a nonreduced double point. In characteristic two, $U^2-t^2=(U-t{)}^2$ at every point, giving a nonreduced double point in every scheme-theoretic fibre. This covers the generic point, where $L=k(T)$, as well as closed points defined by irreducible polynomials.

For the arithmetic map, the generic scheme-theoretic fibre isOver a closed point $(p)$ it is $\mathrm{Spec}{\mathbb{F}}_p[T]/(T^2+1)$. At $p=2$ this is $\mathrm{Spec}{\mathbb{F}}_2[ϵ]/({ϵ}^2)$, since $T^2+1=(T+1{)}^2$. For odd $p$, the finite field multiplicative group is cyclic, and $-1$ is a square exactly when $p\equiv 1(\mathrm{mod}4)$. ThusIn the second case there is one degree-two closed point over ${\mathbb{F}}_p$, which becomes two points after extending the residue field to an algebraic closure. The case $p=2$ remains nonreduced after such extension.

For $\mathrm{Spec}\mathbb{C}\to \mathrm{Spec}\mathbb{Z}$, the unique source point maps to the generic point $(0)$. Since all nonzero integers are invertible in $\mathbb{C}$,Indeed $\mathbb{C}{\otimes }_{\mathbb{Z}}\mathbb{Q}=\mathbb{C}$, whereas $\mathbb{C}{\otimes }_{\mathbb{Z}}{\mathbb{F}}_p=\mathbb{C}/p\mathbb{C}=0$. The distinction between a reduced split scheme-theoretic fibre and a nonreduced double point is essential in the first two examples.

First use the canonical map to obtain the embedding. Its canonical divisor has degree six and $h^0(K_C)=4$. Over an algebraically closed ground field, every effective degree-two divisor on an algebraic curve $E$ satisfies $h^0(E)=1$: a second section would give a nonconstant rational function with poles bounded by $E$, hence a map $C\to {\mathbb{P}}^1$ of degree at most two. Degree one would make $C$ rational, and degree two would make it hyperelliptic, both excluded here.

The Riemann-Roch theorem now givesThus the complete linear system of divisors $|K_C|$ separates every pair of points and every tangent direction, including the tests $E=2p$. By the length-two criterion for a very ample linear system, it is a very ample linear system. Consequently the canonical map embeds $C$ in ${\mathbb{P}}^3$, with degree of a projective curve six. Its image is a nondegenerate projective variety, since the four canonical sections are linearly independent.

The space of homogeneous quadrics in four variables has dimension ten, while the Riemann-Roch theorem givesRestriction therefore has a nonzero kernel, giving a quadric $Q$ containing $C$. This quadric is irreducible: a reducible quadric is a union of two planes, or a double plane, and an integral curve lying in it would lie in a plane, contradicting nondegeneracy.

Similarly, homogeneous cubics form a twenty-dimensional space, whereasThere are at least five independent cubics vanishing on $C$. The multiples of $Q$ by linear forms give only four dimensions, so choose a cubic $F$ vanishing on $C$ which is not divisible by $Q$.

The polynomials $Q,F$ are a regular sequence, hence their intersection $D$ is a projective complete intersection of pure dimension one and degree $2\cdot 3=6$. It contains $C$, which already has degree six. The unmixedness of a complete intersection excludes embedded components. Equal degrees force $C$ to be the only irreducible component and force multiplicity one at its generic point. By generic reducedness with no embedded components, this makes $D$ reduced, so $D=C$ as schemes. We have provedThis is a canonical genus-four curve as a quadric-cubic intersection. The quadric may be smooth or a cone; the argument does not require it to be smooth. The same construction descends over the ground field when the curve is geometrically nonhyperelliptic, since the restriction maps and canonical embedding are defined there.

The rings $A,B$ are nonzero integral domains. Let $\eta$ be the generic point of $Y$, corresponding to $(0)\subseteq A$. Surjectivity provides a prime ideal $\mathfrak{q}\subseteq B$ with ${\alpha }^{-1}(\mathfrak{q})=0$. Since $\ker \alpha \subseteq {\alpha }^{-1}(\mathfrak{q})$, the ring homomorphism $\alpha$ is injective.

Put $K=\mathrm{Frac}A$ and $S=A\setminus \{0\}$. The scheme-theoretic fibre at $\eta$ isEvery element of $\alpha (S)$ is nonzero, so the localization $S^{-1}B$ is a nonzero integral domain. Its zero ideal is prime, ensuring that its spectrum is nonempty; an affine spectrum of an integral domain is an integral scheme. This proves the integrality of the generic fibre of an affine dominant morphism. In fact the proof only needs injectivity of $\alpha$, rather than surjectivity at every point.

First suppose $X$ is a nonempty integral scheme, with generic point $\eta$ and function field $K={\mathcal{O}}_{X,\eta }$. Since taking stalks preserves the inclusion $\mathcal{I}\hookrightarrow {\mathcal{O}}_X$, local freeness of rank two would give an injective $K$-linear mapcontradicting the dimension of a vector space.

For a nonempty Noetherian scheme that is reduced, there are finitely many irreducible components. Choose one, and remove the union of the others. The resulting nonempty open subscheme is irreducible and reduced, hence integral. Restricting the proposed locally free sheaf to it gives the contradiction above. Therefore no locally free ideal of rank two exists on a nonempty reduced Noetherian scheme.

The rank bound for locally free ideals on reduced schemes in fact removes the Noetherian assumption: on an affine open where the rank is fixed, localization at a minimal prime ideal gives a field, so a free ideal has rank at most one. Nonemptiness is necessary for the literal statement: on the empty scheme the zero sheaf is vacuously locally free of every stipulated rank. The question is interpreted with this usual nonempty hypothesis.

On an integral scheme with generic point $\eta$ and function field $K$, a rational section of a line bundle $\mathcal{L}$ is an element of the one-dimensional $K$-space ${\mathcal{L}}_{\eta }$. A nonzero rational section writes as $a_i{e}_i$ in local trivializations, with $a_i\in K^{\ast }$. Ratios of these coefficients are regular units, and therefore define a Cartier divisor.

The points of the real affine plane as a scheme are its prime ideals: the zero ideal, the principal ideals of irreducible real polynomials, and its maximal ideals. The latter have residue field $\mathbb{R}$ or $\mathbb{C}$, by the Zariski lemma and the real closed field property. They correspond respectively to real coordinate pairs and conjugate pairs of nonreal complex coordinate pairs. Thus the scheme contains both nonclosed generic points and closed points absent from the real locus. Its topology is the Zariski topology, and its structure sheaf has sections $\mathbb{R}[x,y{]}_h$ on each principal open subscheme $D(h)$.