Algebraic variety

An algebraic variety is a geometric space locally described by polynomial equations, together with its regular functions.

A locally closed affine algebraic set in a projective space, equivalently an open subset of a closed subset of projective space cut out by homogeneous polynomials. Reducibility is allowed for an algebraic set; an irreducible variety with such an embedding is a quasi-projective variety.

An irreducible variety which admits a locally closed embedding into projective space. Open subsets of affine varieties and blowups of algebraic varieties along closed centres give important examples.

An algebraic variety whose underlying topological space with its Zariski topology is an irreducible topological space: it is nonempty and cannot be a union of two proper closed subsets. For a reduced affine variety, this is equivalent to its coordinate ring being an integral domain.

A constructible subset is a finite union of locally closed subsets in the Zariski topology. A dense constructible subset contains a dense open subset. Constructibility alone is weaker than closedness, but a constructible subgroup is closed.

The image of a morphism of algebraic varieties is constructible. This replaces the generally false assertion that all morphisms have closed image. Group structure adds the fact that a constructible subgroup is closed.

For an algebraic variety $X$ defined over a field $K$, a K-rational point is a morphism $\mathrm{Spec}K\to X$ over $K$. In affine coordinates it is a solution of the defining equations with every coordinate in $K$; in projective coordinates it is a nonzero coordinate vector over $K$, considered up to common nonzero scaling. The set is denoted $X(K)$. Over a number field, having points over every completion need not imply having a rational point; for genus-one coverings this failure is recorded by the Tate–Shafarevich group.

An algebraic variety is smooth over its ground field when its structural morphism is smooth. Over an algebraically closed field its local rings are regular; on an irreducible variety its tangent spaces all have the variety's dimension of a scheme.

Over a perfect field, a point of an algebraic variety is smooth exactly when its local ring is a regular local ring. The smooth locus of a variety is open; its closed complement is the singular locus.

The normalization of an integral algebraic variety is obtained by taking the integral closure of its affine coordinate rings in its function field. Its natural morphism is finite and birational, and its source is normal. For Cartier divisors, bigness under finite normalization compares section growth on the two varieties.

A closed subvariety is an integral closed subscheme of an algebraic variety. It supplies the lower-dimensional loci on which positivity is tested by the Nakai–Moishezon criterion.

An algebraic curve is a one-dimensional algebraic variety. On a smooth algebraic curve, the local ring at every closed point is a discrete valuation ring, which allows orders of zeros and poles to be recorded as a divisor on an algebraic curve.

Over a field $k$, an affine curve parametrized by positive integer powers of one parameter. Its coordinate ring is the subalgebra generated by those powers, and its defining prime ideal is the kernel of $k[x_1,\dots ,x_n]\to k[t]$ sending $x_i$ to $t^{a_i}$. Equal exponent sums yield binomial relations. Studying those relations connects an additive semigroup of exponents to the geometry of the curve.

The kernel of $x\mapsto t^3$, $y\mapsto t^4$, $z\mapsto t^5$ is generated by $y^2-xz$, $yz-x^3$, $z^2-x^{2}y$. Reducing these three relations leaves a unique normal form $A_0(x)+A_1(x)y+A_2(x)z$: its images have distinct exponents modulo three. The curve ring is therefore finite free of rank three over $k[x]$ and has dimension one. In a three-variable polynomial ring its ideal has height two, but its three independent quadratic initial forms force at least three generators. This is a concrete failure of generation by codimension many equations.

A rational parametrization expresses the coordinates of an algebraic curve as rational functions of a parameter, with a rational inverse on a dense open subset. It identifies the function field with $K(t)$ and the smooth projective normalization of an algebraic curve with the projective line. A nonconstant parametrizing map without an inverse is a weaker notion; even this cannot exist for an elliptic curve in characteristic zero.

The arithmetic genus of a proper curve $C$ is $p_a(C)=1-\chi (C,{\mathcal{O}}_C)$. For an integral projective curve over an algebraically closed field, $H^0(C,{\mathcal{O}}_C)=k$, so $p_a=h^1\ge 0$. Its finite normalization has $p_a(C)=g(C^{\nu })+\mathrm{length}({\nu }_{\ast }{\mathcal{O}}_{C^{\nu }}/{\mathcal{O}}_C)$. Hence arithmetic genus zero forces the curve to be smooth and rational.

For a projective complete intersection curve cut out by a homogeneous regular sequence of positive degrees $a,b$ in ${\mathbb{P}}_k^3$, the Koszul resolution gives Hilbert polynomial $abm+ab(4-a-b)/2$. Hence its arithmetic genus is $1+ab(a+b-4)/2$. The same resolution shows $H^0(C,{\mathcal{O}}_C)=k$, and the dimension of a scheme is one, so this genus equals ${\dim }_k{H}^1(C,{\mathcal{O}}_C)$. Smoothness and irreducibility of the curve are not required. For degrees five and seven, the value is $141$.

In the classical convention over an algebraically closed field $k$, a prevariety is an irreducible topological space with a sheaf of rings which has a finite open cover by affine varieties, with compatible local identifications. A prevariety need not be separated. A classical algebraic variety is a separated prevariety: its diagonal morphism has closed image. Some authors allow reducible prevarieties and varieties; the separation criterion and product construction remain the same under that convention.

A group variety is an algebraic variety whose multiplication and inversion are morphisms.

The multiplicative algebraic group has ${\mathbb{G}}_m(K)=K^{\times }$, with multiplication as its group operation. Its coordinate ring is $K[z,z^{-1}]$. The formal multiplicative group describes its law near the identity $z=1$.

This is a group action whose action map $G\times V\to V$ is a morphism of varieties. Orbits are locally closed: constructibility gives a relatively open piece, and its translates cover the orbit. An orbit of an irreducible group is irreducible and open in its closure. These facts control degenerations of quiver representations.

The kernel is a closed identity fiber. The image is closed because a constructible subgroup is closed. Every nonempty fiber is a kernel translate, so the fiber dimension theorem gives $\dim G=\dim \ker \phi +\dim \mathrm{im}\phi$, even for inseparable morphisms.

Let $S$ be constructible in an algebraic group, and $C=\overline{S}$. The closure is a subgroup. Choose a dense open $U\subseteq C$ contained in $S$. For every $c\in C$, the dense opens $U,cU$ intersect, giving $u=cv$ for $u,v\in S$. Hence $c=u{v}^{-1}\in S$ and $S=C$. The Chevalley constructibility theorem therefore proves closedness of homomorphism images.

A homomorphism of group varieties is a morphism of algebraic varieties that also preserves multiplication. It automatically preserves the identity and inversion.

An abelian variety is a complete connected group variety. Despite its name, commutativity follows from completeness and the rigidity lemma.

A smooth projective curve $C\subset A$ generates $A$ by its point differences if and only if it meets every prime Weil divisor. If a prime Weil divisor avoids $C$, its restriction to $C$ has degree zero; constancy of line bundle degree in a family shows that every translate either contains $C$ or misses it. This forces invariance under $C-C$ and puts the generated subgroup inside the line bundle translation stabilizer. If this subgroup were all of $A$, the divisor would be algebraically trivial, contradicting its positive intersection with an ample line bundle. Conversely a proper closed generated subgroup admits a disjoint divisor by the pole divisor avoiding a fiber construction, after translating the fiber to contain $C$.

The dual of an abelian variety represents algebraically trivial line bundles rigidified at the origin. Its group law is tensor product. A group homomorphism $f:A\to B$ induces $\hat{f}:\hat{B}\to \hat{A}$ by pullback of these line bundles.

The normalized universal line bundle restricts to the class $\xi$ on $A\times \{\xi \}$ and is trivialized on both zero sections. For a line bundle $L$ on an abelian variety, its homomorphism associated to a line bundle on an abelian variety satisfiesas Picard group classes. A choice of trivialization of $L_0$ normalizes the right side; uniqueness then follows from the Seesaw theorem.

One form of Mumford's rigidity lemma says that if $X$ is complete, $Y$ is connected, and a morphism $f:X\times Y\to Z$ maps one fiber $X\times \{y_0\}$ to a point, then $f$ factors through the projection to $Y$ under the usual pointed hypotheses.

Translation identifies the cotangent sheaf of a group scheme with the constant bundle determined by its cotangent space at the identity:

The Theorem of the Cube says that the third finite difference of a line bundle on an abelian variety is trivial. On $X^3$, it is the alternating tensor product of the pullbacks along the seven nonempty partial-sum maps.

For group homomorphisms $f,g:A\to B$, this Picard group class is symmetric and additive in both arguments. The Theorem of the Cube says precisely that the third additive difference of $h\mapsto [h^{\ast }L]$ vanishes, proving additivity of the cross-effect. The Poincaré line bundle expresses it as $(f,{\varphi }_{L}g{)}^{\ast }{P}_B$, so it depends only on the Néron-Severi group class of $L$. Its associated homomorphism is $\hat{f}{\varphi }_{L}g+\hat{g}{\varphi }_{L}f$.

For a line bundle $L$ on an abelian variety and points $x,y$,

For a line bundle $L$ on an abelian variety $X$,is a homomorphism by the Theorem of the square.

For a line bundle $L$ on an abelian variety $A$, this closed subgroup consists of $a$ such that $T_a^{\ast }L\cong L$. It is a stabilizer of a Picard group class, which need not be the same as the stabilizer of an individual Weil divisor representing that class.

For an abelian variety,is the subgroup of translation-invariant line bundles.

The seesaw theorem determines a line bundle on a product from its restrictions to fibers: if it is trivial on all fibers over one factor and on one transverse section, then it is trivial.

A smooth algebraic curve is a one-dimensional algebraic variety whose local ring at every point is regular.

For nonzero finite-dimensional spaces $V,W$ of sections of two line bundles on a smooth integral curve over an algebraically closed field, their product span in sections of the tensor product satisfies this bound. At one point choose bases with strictly increasing orders of vanishing. Multiplying every first-space basis vector by the first second-space vector, and then the last first-space vector by the remaining second-space vectors, produces distinct increasing orders and hence independent sections. This proves the dimension inequality needed for the Clifford inequality for curves.

An affine algebraic set is the common zero set $V(I)$ of an ideal in a polynomial ring over a field.

A classical variety is affine if finitely many global regular functions generate the unit ideal and their nonvanishing opens are affine. Localization of global sections on a principal open identifies their coordinate rings with $A_{f_i}$, where $A=\Gamma (X,{\mathcal{O}}_X)$. Choose a finite-type subalgebra of $A$ containing the functions, their unit-ideal coefficients and numerators of generators of every $A_{f_i}$. Its affine variety has the same principal affine charts, whose isomorphisms glue globally. This avoids assuming finite generation of $A$ before affineness is known.

A map between affine varieties is a morphism when its coordinate functions are restrictions of ambient polynomials. Pullback identifies these morphisms contravariantly with homomorphisms of their coordinate rings.

For affine varieties $X,Y$ over an algebraically closed field $k$, their product in a category is affine, with coordinate ring $A{\otimes }_{k}B$, where $A=k[X]$ and $B=k[Y]$. Presenting $A=k[x]/J$ and $B=k[y]/L$ identifies this ring with $k[x,y]/(J,L)$. If both varieties are irreducible, this is an integral domain: express a nonzero tensor $F$ using linearly independent second factors. The points $x$ where its specialization $F_x$ is nonzero form a nonempty open subset of $X$. For two nonzero tensors $F,G$, choose $x$ in the intersection of these open subsets; then $F_x{G}_x\ne 0$ in the domain $B$. The Hilbert Nullstellensatz identifies $(J,L)$ with the defining ideal of $X\times Y$. The universal property follows from the universal property of the tensor product of modules as a tensor product of commutative algebras.

The vanishing ideal of $X\subseteq k^n$ is

For an affine algebraic set $X\subseteq {\mathbb{A}}_k^n$, its coordinate ring isThe set $X$ is irreducible exactly when $k[X]$ is an integral domain.

For an affine algebraic set $X$ over an algebraically closed field,If $fg$ vanishes on $X$, then $X$ is the union of its intersections with $V(f)$ and $V(g)$. Conversely, a nontrivial decomposition into closed subsets supplies functions vanishing on each proper piece whose product vanishes on all of $X$.

A morphism $f:X\to Y$ of affine varieties is dominant when its image is Zariski dense in $Y$. It is dominant exactly when the pullback homomorphismis injective. When $X$ and $Y$ are irreducible, this injection extends to their function fields and gives $\dim X\ge \dim Y$.

For ideals $I,J\subseteq k[x_1,\dots ,x_n]$,The second equality also follows from $V(IJ)=V(I)\cup V(J)$ and

The algebraic sethas the two irreducible componentsEach is irreducible because the linear change $u=x-z$, $v=x+z$ identifies its coordinate ring withan integral domain.

The function field $k(X)$ of an irreducible algebraic variety consists of its rational functions.

For an irreducible algebraic variety $X$ with function field $K$, this sheaf of abelian groups assigns $K^{\ast }$ to every nonempty open set, with identity restriction maps, and assigns the trivial group to the empty set. Irreducibility ensures that any two nonempty open subsets meet, so these sections satisfy the sheaf gluing axiom. It is a flasque sheaf and has zero higher sheaf cohomology.

For an irreducible variety $X$ over a field $k$,Consequently birational irreducible varieties have the same dimension.

If $K/k$ is a finitely generated field extension, write $K=\mathrm{Frac}(A)$ for a finitely generated integral $k$-algebra $A$. The projective closure of the affine variety $\mathrm{Spec}A$ is an irreducible projective variety with function field $K$.

A morphism of algebraic varieties is a map given locally by regular functions. A projective-coordinate formula defines a morphism wherever its homogeneous coordinate functions do not vanish simultaneously.

For an affine variety with coordinate ring $A$ acted on by a finite group $G$, the affine quotient is $\mathrm{Spec}{A}^G$. Elements of $A$ satisfy monic orbit polynomials over $A^G$, so the quotient map is a finite morphism. Over an algebraically closed field, invariant functions separate finite orbits; in characteristic not dividing $|G|$, interpolate and average a function separating two orbits. The quotient fibres are consequently the orbits.

For a classical algebraic variety $X$ and affine variety $Y$, a homomorphism on the indicated rings gives a morphism by evaluating the images of affine coordinate generators at each point of $X$. The relations defining $Y$ remain zero. Local fractions pull back to local regular fractions, proving regularity; the coordinate ring generators also prove uniqueness.

For a nonconstant morphism between nonsingular curves and a local target uniformizer $t$ at the image of $P$, the index is the order of vanishing of its pullback. Changing $t$ multiplies it by a local unit in a ring and does not change that order. This is a valuation definition and remains meaningful for inseparable morphisms.

For a morphism of algebraic varieties $f:X\to Y$ and $y\in Y$, the fiber is the inverse-image variety $X_y=f^{-1}(y)$.

For a dominant morphism of irreducible varieties, generic fiber dimension is source dimension minus target dimension, and this dimension occurs over a nonempty open subset. In particular, constant fiber dimension $d$ gives source dimension equal to target dimension plus $d$. For algebraic groups the equal-dimensional components and coset fibers allow the same dimension formula componentwise.

For a morphism of schemes $f:X\to Y$ and a point $y\in Y$, the scheme-theoretic fiber is the fiber product $X{\times }_Y\mathrm{Spec}\kappa (y)$. It remembers multiplicities and nilpotents that the underlying set-theoretic inverse image cannot detect.

Over a perfect field $k$ of characteristic $p$, the scheme-theoretic fiber of the Absolute Frobenius morphism of ${\mathbb{A}}_k^1$ over a rational point $a$ isIts underlying space is one point, but its coordinate ring has a nonzero nilpotent element, so the fibre is a length-$p$ nonreduced scheme.

An isomorphism of algebraic varieties is a morphism with a morphic inverse. It preserves all properties intrinsic to the variety.

A finite morphism is a morphism whose inverse image of every affine open set is affine and whose corresponding coordinate ring is finite as a module over the base coordinate ring. A nonconstant morphism between smooth projective curves is finite, and its degree is the number of points in a generic fiber counted with multiplicity.

Projective space ${\mathbb{P}}^n$ is the set of one-dimensional subspaces of a vector space of dimension $n+1$, written in homogeneous coordinates $[x_0:\cdots :x_n]$.

Hyperplanes in $\mathbb{P}(V)$ are kernels of nonzero linear functionals modulo scalar multiplication. Their parameter space is therefore $\mathbb{P}(V^{\ast })$, of the same dimension. In particular lines in a projective plane are parametrized by another projective plane.

For a local ring $A$, every map from $\mathrm{Spec}A$ into projective space lands in one standard chart: the inverse image of a chart containing the closed point is the whole spectrum. This gives homogeneous coordinates with at least one unit entry, unique up to a common unit. For a nonlocal ring, coordinates may instead merely generate the unit ideal, and general maps can involve a nontrivial invertible sheaf quotient.

Quaternionic projective space is the space of right quaternionic lines in ${\mathbb{H}}^{n+1}$. It is $S^{4n+3}$ modulo the right action of unit quaternions, with one cell in each dimension $0,4,\dots ,4n$. It is a compact smooth manifold of real dimension $4n$; ${\mathbb{HP}}^1\cong S^4$. The quaternionic tautological line bundle and its sphere bundle give the multiplication in its cohomology ring of quaternionic projective space.

Coordinate inclusion of complex vectors sends a complex line to its quaternionic span. If two such vectors span the same quaternionic line, a nonzero complex coordinate forces their scalar ratio to be complex, so this map is injective. The pulled-back quaternionic tautological line bundle splits as $L\oplus \overline{L}$ with complex first Chern classes $-x,x$. Its top Chern class, and thus Euler class, is $-x^2$. With $u$ the negative Euler generator, $i^{\ast }u=x^2$ and $i^{\ast }(u^k)=x^{2k}$. The map on infinite projective spaces is injective on cohomology; a finite inclusion loses the degrees with $2k>n$.

The cell structure gives one integral cohomology generator in each degree divisible by four through $4n$. The Gysin sequence of a sphere bundle for the quaternionic tautological line bundle makes multiplication by its Euler class an isomorphism between successive such degrees. Choose $u$ to be the negative of that Euler class; its powers generate the displayed cohomology ring.

Points in ${\mathbb{P}}^n$ are in general linear position when no $k+1$ of them lie in a projective subspace of dimension less than $k$ for $k\le n$. Equivalently, every selection of at most $n+1$ representing vectors is linearly independent.

The degree-$d$ Veronese map sends a projective point to the list of all degree-$d$ monomials in its homogeneous coordinates. It embeds ${\mathbb{P}}^n$ into a higher-dimensional projective space.

For a field $k$,This nonvanishing obstructs affine covers of ${\mathbb{P}}_k^n$ having only $n$ members.

For every integer $d$, the cohomology of a twisting sheaf on projective space isThus all intermediate cohomology vanishes. The top line follows from Serre duality and ${\omega }_{{\mathbb{P}}^n}\cong \mathcal{O}(-n-1)$.

On the projective line, an infinite direct sum of copies of $\mathcal{O}(-1)$ is a quasi-coherent sheaf but not a coherent sheaf: at any point its residue-vector-space dimension is infinite. Its global sections vanish because each summand has no sections, and sections commute with direct sums for the finite two-chart equalizer. Its direct image sheaf on $\mathrm{Spec}k$ is consequently zero and coherent. This shows that a nonaffine direct image can lose information needed to detect coherence.

The only regular functions defined on all of a nonempty projective space over a field $k$ are the constants:For ${\mathbb{P}}^1$, this also follows by gluing $k[t]$ and $k[t^{-1}]$ inside $k[t,t^{-1}]$: their intersection is $k$.

A projective point is an equivalence class $[x_0:\cdots :x_n]$ of nonzero coordinate vectors under multiplication by a nonzero scalar.

The homogeneous coordinates $[x_0:\cdots :x_n]$ of a projective point are defined only up to simultaneous multiplication by a nonzero scalar.

A coordinate point of ${\mathbb{P}}^n$ is represented by a standard basis vector, so exactly one of its homogeneous coordinates is nonzero.

The projective plane is the two-dimensional projective space ${\mathbb{P}}^2$.

A point $[a:b:c]$ of the projective plane corresponds to the dual line $aX+bY+cZ=0$. A line given by those coefficients corresponds back to the point $[a:b:c]$. Incidence is reversed: $p\in \ell$ if and only if ${\ell }^{\ast }\in p^{\ast }$. Thus collinear point triples become concurrent line triples, preserving the essential combinatorics of incidence geometry.

Dualize a noncollinear finite point set in the real projective plane to projective lines. Their intersection vertices and consecutive line segments form an embedded graph. A vertex incident to $k$ lines has graph degree $2k$ and corresponds to a primal line containing $k$ points. Ordinary lines correspond to degree-four vertices. The faces are polygons with at least three sides.

A good dual-arrangement edge has degree-six endpoints and two triangular adjacent faces. Other edges are bad. The Euler defect identity for a projective line arrangement bounds the number of bad edges by $16t_2$: charge them to degree-four or higher-degree vertices and to nontriangular faces. This turns a count of ordinary lines into quantitative control of local triangular geometry.

A safe dual-arrangement edge is one for which every edge on a path of length at most two from either endpoint is a good dual-arrangement edge. This stronger local condition supplies a two-cell-thick triangular strip. Only a bounded multiple of the original bad edges can be unsafe: trace a shortest path to the first bad edge and reverse it through degree-six intermediate vertices.

In an embedded arrangement graph, an edge whose fixed-radius neighbourhood meets a bad edge can be charged to the first such edge along a shortest path. All intervening edges are good dual-arrangement edges, so their endpoints have bounded degree. The number of possible reversed paths is bounded in terms of the fixed radius alone. Therefore thickening a defect set by a fixed radius preserves an $O(t_2)$ edge count.

Let $t_k$ count vertices where $k$ lines meet and $f_j$ count faces with $j$ sides in a nonpencil projective line arrangement. Using Euler characteristic one, $v=\sum t_k$, $e=\sum k{t}_k$, and $2e=\sum j{f}_j$ gives $t_2=3+{\sum }_{k\ge 4}(k-3)t_k+{\sum }_{j\ge 4}(j-3)f_j$. Thus few double vertices control both high-multiplicity vertices and nontriangular faces. Discarding the face term gives the usual arrangement form of the ordinary-line inequality.

The Fano plane is the projective plane over the finite field ${\mathbb{F}}_2$. It has seven points and seven lines, each line contains three points, and two distinct lines meet in one point. A line-point incidence matrix $N$ therefore satisfies $N{N}^{\mathsf{T}}=2I+J$, making it invertible over the real numbers and useful for the transplantation theorem.

An invertible linear map of the underlying vector space induces a projective linear transformation of ${\mathbb{P}}^n$; scalar multiples induce the same transformation.

A projective variety is a closed algebraic subvariety of some projective space.

Suppose a nonconstant morphism of varieties $f:X\to Z$ has fiber $Y$ over $z_0$, where $X$ is normal, connected and projective. Choose an affine neighborhood $U$ of $z_0$ and a regular function on $U$ nonconstant on $f(X)\cap U$. Its pullback is a nonconstant rational function on $X$, so its pole Weil divisor is nonzero. A pole-free rational function on a normal variety is regular, and global regular functions on a connected projective variety are constant. The pole divisor avoids $f^{-1}(U)$, hence avoids $Y$. No projectivity assumption on $Z$ is needed.

A projective completion of an affine variety $X$ is a projective variety containing $X$ as a dense open subvariety. Homogenizing affine defining equations and taking their projective zero set gives the projective closure, although it may add singularities at infinity.

The homogenization of a polynomial $f(x_1,\dots ,x_n)$ of total degree $d$ is the homogeneous polynomialIts projective zero set is the projective closure of the affine hypersurface defined by $f$.

If projective varieties $X,Y\subseteq {\mathbb{P}}^n$ have dimensions $r,s$ and $r+s\ge n$, then $X\cap Y$ is nonempty and every component has dimension at least $r+s-n$.

A projective curve is a one-dimensional projective variety.

A rational normal curve in ${\mathbb{P}}^n$ is the image of the degree-$n$ Veronese map from ${\mathbb{P}}^1$. After projective changes of coordinates it has parametrization

For $X=V_{+}(I)\subseteq {\mathbb{P}}^n$, the homogeneous coordinate ring is the graded ring $k[x_0,\dots ,x_n]/I$.

The product of projective varieties is projective via the Segre embedding. Dimensions add under products, and the product of smooth varieties is smooth.

The coordinate projections from a product send $(x,y)$ to $x$ and $y$, respectively. For products of projective varieties, they are morphisms.

The Segre embedding sendsand realizes ${\mathbb{P}}^m\times {\mathbb{P}}^n$ as a projective variety.

Over an algebraically closed field of characteristic other than two, every smooth quadric surface in ${\mathbb{P}}^3$ becomesafter a projective linear transformation. The Segre embedding identifies it with ${\mathbb{P}}^1\times {\mathbb{P}}^1$.

For $X=\{x_0{x}_1=x_2{x}_3\}$ and $P=[1:0:0:1]$, the displayed map is defined on $X\setminus \{P\}$. Its fibre over $[u:v:w]$ has equation $(u-v)\lambda +uw=0$ on an affine line. Away from $u=v$ the fibre is one reduced point. On that line it is empty except at $[0:0:1]$ and $[1:1:0]$, where it is a punctured ruling line, hence an affine line. The two exceptional lines are the rulings of a smooth quadric surface through $P$.

Over an algebraically closed field, remove a smooth hyperplane conic $C$ from a smooth quadric surface $Q$. The rulings of a smooth quadric surface generate $\mathrm{Pic}(Q)={\mathbb{Z}}^2$, and $C$ has class $(1,1)$. Picard-group localization on a smooth variety gives the quotient by $\mathbb{Z}(1,1)$. The restricted ruling bundle ${\mathcal{O}}_Q(1,0)$ is a generator, exhibiting a nontrivial line bundle on an affine surface.