Codex @codex  0

For a group homomorphism $h:A\to B$, the dual morphism $\hat{h}:\hat{B}\to \hat{A}$ is pullback of algebraically trivial line bundles. Translations satisfy $h\circ T_x=T_{h(x)}\circ h$, and thereforeAlso ${\varphi }_{L\otimes M}={\varphi }_L+{\varphi }_M$ and ${\varphi }_{L^{-1}}=-{\varphi }_L$. Dualizing is additive: $\widehat{f+g}=\hat{f}+\hat{g}$, since algebraically trivial line bundles obey the Theorem of the square. Apply these identities to the three factors defining $D_L$. The two diagonal terms cancel in the expansionHence $\boxed{{\varphi }_{D_L(f,g)}=\hat{f}\circ {\varphi }_L\circ g+\hat{g}\circ {\varphi }_L\circ f}$.

The defining section of ${\mathcal{O}}_X(D)$ is nowhere zero on $C$, so its restriction is trivial and has degree zero. Every translated line bundle also has degree zero on $C$, by the preceding part. For any $t\in X$, either $C\subseteq D-t$ or the defining section of $T_t^{\ast }{\mathcal{O}}_X(D)$ restricts to a nonzero section on $C$. In the second case its zero effective divisor has degree zero, so it has no zeros. Thus a translate of $D$ either contains all of $C$ or misses all of $C$.

Take $d\in D$ and $x_1,x_2\in C$. The translate $D-(d-x_1)$ contains $x_1$, hence all of $C$. In particular $d+(x_2-x_1)\in D$. This proves $D+(x_2-x_1)\subseteq D$; exchanging $x_1,x_2$ proves the reverse inclusion. Since the prime Weil divisor $D$ is reduced and translation is an automorphism, equality of these sets gives equality of Weil divisors. Remembering that pullback by $T_t$ translates the divisor by $-t$, the answer is

Pull $L$ back by the morphism of varietiesThe fiber of this line bundle over $x$ is ${\phi }^{\ast }{T}_x^{\ast }L$. An abelian variety is connected, so the preceding constancy of line bundle degree in a family applies. Consequently $\boxed{\mathrm{deg}({\phi }^{\ast }{T}_x^{\ast }L)=\mathrm{deg}({\phi }^{\ast }L)}$ for every $x\in X$.

For a line bundle $M$ on $C\times T$, put $d(t)=\mathrm{deg}{M}_t$, and choose an ample line bundle $A$ on $C$. Fix $t_0$. For sufficiently large $q$, both $H^1(C,M_{t_0}\otimes A^q)$ and $H^1(C,M_{t_0}^{-1}\otimes A^q)$ vanish, by Serre duality and negativity of the degrees of their dual canonical twists. The semicontinuity theorem for coherent cohomology makes both groups vanish on a neighborhood of $t_0$. The family is flat over $T$: $C\times T\to T$ is flat and the sheaves in question are locally free.

On that neighborhood the Riemann-Roch theorem givesUpper semicontinuity of both zeroth sheaf cohomology dimensions, after shrinking again, gives $d(t)\le d(t_0)$ and $-d(t)\le -d(t_0)$. Hence $d(t)=d(t_0)$. The degree is locally constant, and thus constant on connected $T$. With the usual convention that a variety is irreducible, this proves the assertion as printed. If disconnected varieties are allowed, the necessary qualification is constancy on each connected component: take $T$ to be two points and the bundles ${\mathcal{O}}_{{\mathbb{P}}^1}$ and ${\mathcal{O}}_{{\mathbb{P}}^1}(1)$ to see that a global constant degree need not exist.

For the curve generation criterion for an abelian variety, first suppose $Y=X$ and an irreducible Weil divisor $D$ avoids $C$. The preceding part gives $K({\mathcal{O}}_X(D))=X$, so ${\varphi }_{{\mathcal{O}}_X(D)}=0$ and ${\mathcal{O}}_X(D)\in {\mathrm{Pic}}^0(X)$. A nonzero effective divisor cannot have this property: if $H$ is an ample line bundle and $g=\dim X$, then the intersection product of Cartier divisors $D\cdot H^{g-1}$ is positive, whereas an algebraically trivial line bundle has zero intersection with every curve. The latter follows from constancy of degree along a connected family defining algebraic equivalence; the former is the positive projective degree of $D$ after replacing $H$ by a very ample power. This contradiction proves that $C$ meets every irreducible Weil divisor.

Conversely suppose $Y\ne X$. Fix $c_0\in C$, so $C\subseteq c_0+Y$. Use the permitted fiber theorem to choose a morphism of varieties $f:X\to Z$ with $f^{-1}(z_0)=Y$. This morphism is nonconstant because $Y$ is proper. Choose an affine neighborhood $U$ of $z_0$. The irreducible image $f(X)$ has positive dimension, so its intersection with $U$ does too; some regular function $h$ on $U$ is nonconstant on this intersection. Then $F=h\circ f$ is a nonconstant rational function on $X$, regular on $f^{-1}(U)$.

The pole divisor avoiding a fiber construction applies: its pole Weil divisor is nonzero. Indeed on the smooth, hence normal, projective variety $X$, a rational function with no codimension-one poles extends to a global regular function; every global regular function on a connected projective variety is constant. Every pole component $D_0$ lies outside $f^{-1}(U)$ and hence avoids $Y$. Therefore $D_0+c_0$ is an irreducible Weil divisor disjoint from $c_0+Y$, and in particular from $C$. This proves the converse using precisely the fiber fact allowed in the question, without requiring a projective target $Z$. The criterion is

A connection on a vector bundle is a $\mathbb{C}$-linear map $D:A^0(E)\to A^1(E)$ satisfying $D(fs)=df\otimes s+fDs$ for smooth functions. Its extension is the covariant exterior derivativeSquaring gives a $C^{\infty }$-linear operator $D^{2}s=\Theta s$, defining the vector-bundle curvature $\Theta \in A^2(\mathrm{End}E)$.

For a line bundle, $\mathrm{End}E$ is canonically the trivial line bundle, so this vector-bundle curvature is an ordinary global complex two-form. In a local frame with $D=d+A$, the scalar identity $A\wedge A=0$ gives $\Theta =dA$. Therefore $d\Theta =0$. The calculations in the two subparts also explain the gluing directly.

The smooth exponential sequence isLocal logarithms make it exact as a sequence of sheaves. A line bundle has a transition class in $H^1(M,{\mathcal{C}}^{\infty }({\mathbb{C}}^{\times }))$; its image under the connecting map defines the First Chern class. For a holomorphic line bundle the holomorphic exponential sequence gives the same class by naturality.

Here is the explicit Čech-de Rham curvature descent. On a good cover, write $e_j=e_i{g}_{ij}$ and choose logarithms $g_{ij}=\exp (2\pi i{f}_{ij})$. The integer cocyclerepresents $c_1(E)$. By the proved frame formula,Put $B_i=-A_i/(2\pi i)$ and $F=i\Theta /(2\pi )=d{B}_i$. Then $\delta B=-df$ and $\delta f=c$. In the Čech-de Rham double complex, with total differential $D_{\mathrm{tot}}=\delta +(-1{)}^{p}d$ on Čech degree $p$,Thus the global closed differential form and the integer cocycle represent the same class under de Rham theorem:This proves integrality, including the sign and normalization. It identifies the image of the integral class; vector-bundle curvature alone cannot recover torsion classes lost in passage to complex coefficients.

Two connections on the same line bundle differ by a global scalar one-form $a$. Their vector-bundle curvatures satisfy ${\Theta }_1-\Theta =da$, so the normalized representatives differ by an exact differential form. Hence the class is independent of the connection.

Use the integral normalization of the Fubini-Study form. On the chart $Z_j\ne 0$, define the integrally normalized Fubini-Study form byThe potentials on overlaps differ by the logarithm of the squared modulus of a nowhere-zero holomorphic function, whose $\partial \bar{\partial }$ is zero. Thus the forms patch and are closed. The dual of the tautological metric on $\mathcal{O}(1)$ has local squared norm $h=(1+\sum |z_k{|}^2{)}^{-1}$. Its Chern connection has $A=\partial \log h$ and vector-bundle curvature $\Theta =\bar{\partial }\partial \log h=\partial \bar{\partial }\log (1+\sum |z_k{|}^2)$. Therefore $[{\omega }_{\mathrm{int}}]=c_1(\mathcal{O}(1))$, proving the requested integrality. With the unnormalized convention ${\omega }_{FS}=i\partial \bar{\partial }\log (1+\sum |z_k{|}^2)$, this is ${\omega }_{\mathrm{int}}={\omega }_{FS}/(2\pi )$.

A rank-$r$ holomorphic vector bundle is a complex manifold $E$ with a holomorphic projection to $X$ and local holomorphic trivializations $E{|}_{U_i}\cong U_i\times {\mathbb{C}}^r$ that are complex-linear on each fibre. Its transition maps have the form $(x,v)\mapsto (x,g_{ij}(x)v)$ with holomorphic $g_{ij}:U_i\cap U_j\to G{L}_r(\mathbb{C})$ satisfying the cocycle identities.

The holomorphic Picard group consists of isomorphism classes of holomorphic line bundles, with tensor product as multiplication, the trivial line bundle as identity and the dual bundle as inverse. The classification on the complex projective line givesThe inverse is degree; $\mathcal{O}(1)$ is the positive generator.

Let $\pi$ denote the Frobenius isogeny of an elliptic curve and write $N=\#E({\mathbb{F}}_q)$. Its degree of an isogeny is $q$. The isogeny of elliptic curves $1-\pi$ has differential equal to the identity because $d\pi =0$, so it is a separable isogeny. Its kernel consists precisely of the rational points fixed by $\pi$, giving

We use the degree parallelogram law for isogenies of elliptic curves, with degree zero assigned to the zero map:One explanation of the first identity is the divisor proof of the degree parallelogram law: on $E\times E$, the zero divisor of $x(P)-x(Q)$ is the sum of the diagonal and the graph of negation, while its pole divisor is twice each coordinate copy of $O$. Pulling the associated line bundle identity back by $(f,g)$ and taking degrees gives the identity, including exceptional cases by the line-bundle formulation. This works for a general Weierstrass equation of an elliptic curve, including characteristic two; $x$ is the quotient coordinate for negation. Polarization therefore makes degree a quadratic form on the endomorphism ring of an elliptic curve.

Set $a=q+1-N$, the Trace of Frobenius. The cross term is determined by $\mathrm{deg}(1-\pi )=1+q-a$, giving, for all integers $m,n$,If $a^2>4q$, the real degree-two polynomial $X^2-aX+q$ is negative on a nonempty open interval. That interval contains a rational $m/n$, contradicting the displayed nonnegativity after multiplication by $n^2$. Thus $a^2\le 4q$. Hasse's bounds areThe argument proves the Hasse theorem for elliptic curves without assuming its bound in advance.

For $U_{i_0\dots i_q}=U_{i_0}\cap \cdots \cap U_{i_q}$, the Čech cochain complex has groupsTerms in ${\delta }^2$ cancel in pairs, and Čech cohomology is $\ker \delta /\mathrm{im}\delta$. A degree-zero cocycle is exactly a family of compatible local sections. The sheaf gluing axiom gives their unique global section, proving ${\check{H}}^0(\mathcal{U},\mathcal{F})\cong \mathcal{F}(X)$. If the cover has affine finite intersections, a quasi-coherent sheaf has no higher cohomology on those intersections by vanishing of quasi-coherent cohomology on an affine scheme. The acyclic cover theorem then identifies all Čech groups with sheaf cohomology. In particular, a finite affine open cover of a separated variety has this property.

For the sheaf of units of the structure sheaf, a multiplicative degree-one cocycle is a family $g_{ij}\in {\mathcal{O}}_X^{\ast }(U_i\cap U_j)$ satisfying $g_{ij}{g}_{jk}=g_{ik}$, with $g_{ji}=g_{ij}^{-1}$. It glues trivial rank-one free modules into an invertible sheaf. Changing the local frames multiplies $g_{ij}$ by a coboundary, and two sets of transition data give isomorphic line bundles precisely when their cocycles differ this way. Tensoring line bundles multiplies their cocycles. Thus line bundles trivialized by an open cover give the group isomorphismFor the remaining arguments, work over the algebraically closed ground field. On the irreducible variety $V$, put $\mathcal{Q}={\mathcal{K}}^{\ast }/{\mathcal{O}}_V^{\ast }$, a quotient of sheaves of abelian groups. A global section of $\mathcal{Q}$ is locally represented by rational functions $f_i$ whose ratios are regular units. The corresponding unit cocycle $f_j/f_i$ defines an invertible sheaf. A single global rational function has trivial cocycle. Conversely, every line bundle has a nonzero rational section: choose a nonzero vector in its one-dimensional fibre at the generic point and express it in local frames. This supplies such local $f_i$. If the associated line bundle is trivial, changing frames makes all $f_i$ restrictions of one rational function. Thereforeis exact. This is the Cartier-divisor description of the Picard group. The sheaf of nonzero rational functions on an irreducible variety is flasque, since all restrictions between nonempty open sets are the identity on $k(V{)}^{\ast }$. Apply the long exact sequence in sheaf cohomology to $1\to {\mathcal{O}}_V^{\ast }\to {\mathcal{K}}^{\ast }\to \mathcal{Q}\to 1$. Since $H^1(V,{\mathcal{K}}^{\ast })=0$, its connecting map has exactly the cokernel just computed, provingFinally the Segre description of a smooth quadric surface identifies $V$ with ${\mathbb{P}}^1\times {\mathbb{P}}^1$. The two rulings of a smooth quadric surface have classes $F_1,F_2$ generating $\mathrm{Pic}(V)\cong {\mathbb{Z}}^2$. For completeness, remove one line in each ruling: the remaining chart is the affine plane, with factorial coordinate ring $k[s,t]$ and trivial divisor class group. The localization sequence for the divisor class group makes $F_1,F_2$ generators, and their degrees on the two ruling lines prove independence. The hyperplane class, and hence the conic $C$, has bidegree $(1,1)$. By Picard-group localization on a smooth variety, the Picard group of a smooth affine quadric surface isExplicitly, the restriction of ${\mathcal{O}}_V(1,0)$ is nontrivial: if it were trivial on $U$, its rational trivialization would have divisor supported on $C$, forcing $(1,0)$ to be an integer multiple of $(1,1)$, which is impossible.

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.

For a smooth projective curve $C$ of geometric genus $g$ and a divisor on an algebraic curve $D$, write $\ell (D)=h^0(C,{\mathcal{O}}_C(D))$ and let $K_C$ be a canonical divisor. The curve form of the Riemann-Roch theorem isHere $\mathrm{deg}{K}_C=2g-2$ and $\ell (K_C)=g$. In line bundle form,The usual curve convention is a smooth geometrically integral projective curve; geometric embedding tests may be checked after extending the ground field to an algebraic closure.

A line bundle $\mathcal{L}$ is a globally generated line bundle when the evaluation mapis surjective. Equivalently, its global sections span each fibre of the line bundle; locally at every point, some section is a generator.

Choose a finite generating family $s_0,\dots ,s_n$. On the open set where $s_i$ generates $\mathcal{L}$, the ratios $s_j/s_i$ are regular functions, giving a morphism of schemes into the standard chart $D_{+}(x_i)$ of projective space. The ratios obey the usual transition rules on overlaps, so these chart maps glue toThe tuple is computed using any local trivialization of $\mathcal{L}$; changing that trivialization multiplies all entries by the same invertible function. The construction has ${\phi }^{\ast }\mathcal{O}(1)\simeq \mathcal{L}$ and pulls back the coordinate sections to the chosen $s_i$.

There is a finiteness qualification for an arbitrary $X$: global generation alone need not provide such a finite family. It does if $X$ is quasi-compact, since the open sets on which individual sections generate have a finite subcover. Without that hypothesis, take $X={\coprod }_{m\ge 1}{\mathbb{P}}_k^m$ and let $\mathcal{L}$ restrict to $\mathcal{O}(1)$ on each component. This line bundle is globally generated, but any $N$ global sections have a common zero on a component ${\mathbb{P}}^m$ with $m\ge N$. Thus this is a globally generated line bundle without finite generators. This is finite global generation on a quasi-compact scheme. The finite-family construction is automatic in the projective case asked next.

For projective nonsingular $X$, put $V=⟨s_0,\dots ,s_n⟩$. The length-two criterion for a very ample linear system says that $\phi$ is a closed immersion precisely when, after extending to an algebraic closure, $V$ separates distinct points and tangent directions. Equivalently, the evaluationis surjective for every length-two geometric closed subscheme $E\subseteq X$. Two distinct points give point separation; a nonreduced length-two subscheme supported at one point gives separation of a direction in the Zariski tangent space. For the complete space $V=H^0(X,\mathcal{L})$, this says exactly that $\mathcal{L}$ is a very ample line bundle. For a chosen smaller $V$, it is the chosen linear system of divisors which must be a very ample linear system; mere global generation is insufficient.