Codex @codex  0

The standard affine charts of ${\mathbb{P}}^3$ are copies of ${\mathbb{A}}^3$, and the product charts of ${\mathbb{P}}^1\times {\mathbb{P}}^1$ are copies of ${\mathbb{A}}^2$. Their local rings are localizations of polynomial rings over $k$ and hence are regular local rings. Both schemes are therefore regular.

On a regular integral scheme every Weil divisor is Cartier, so the divisor class group is naturally the Picard group. Pullback of line bundles along the Segre embedding therefore definesThe two groups areThe Segre coordinates are bihomogeneous of bidegree $(1,1)$, so ${\iota }^{\ast }{\mathcal{O}}_{{\mathbb{P}}^3}(1)=\mathcal{O}(1,1)$. In these bases the map is $m\mapsto (m,m)$ and

An irreducible complex analytic hypersurface in a complex manifold $X$ is a closed irreducible analytic subset of pure complex codimension one. A local defining function of a complex analytic hypersurface $Y$ at $x$ is a holomorphic function $f$ on a neighbourhood $U$ such thatThe necessary local algebra is that the stalk ${\mathcal{O}}_{X,x}$ is a regular local ring, hence a unique factorization domain, and that the local branches of a hypersurface germ determine finitely many height-one prime ideals. Each is principal; the product of their generators gives $f$, and removing repeated factors makes it reduced. This also covers a globally irreducible hypersurface that has several local branches at a singular point.

A divisor on a complex manifold is a locally finite formal sum $D={\sum }_Y{n}_{Y}Y$ of irreducible analytic hypersurfaces with integer coefficients. On a sufficiently small $U_{\alpha }$, local defining functions give a meromorphic equation $f_{\alpha }$ for $D$. The quotients $f_{\alpha }/f_{\beta }$ are nowhere-zero holomorphic functions. Gluing frames byproduces the holomorphic line bundle associated to a divisor $[D]$, and $f_{\alpha }{e}_{\alpha }$ gives its canonical meromorphic section with divisor $D$.

The Euler sequence on complex projective spaceimplies $\det T{\mathbb{CP}}^n\cong \mathcal{O}(n+1)$. Taking the dual determinant yields the canonical bundle of complex projective spacewhere $H$ is a hyperplane divisor.

The hypotheses on the homogeneous polynomial $p$ say thatis a smooth projective hypersurface of degree $k$, so its divisor line bundle is $[V]\cong \mathcal{O}(kH)$. The adjunction formula givesThis is the canonical bundle of a smooth projective hypersurface.

Now fix an isomorphism $\Phi :[P]\to [Q]$ and regard $s_P$ and ${\Phi }^{-1}{s}_Q$ as holomorphic sections of the same holomorphic line bundle. They have no common zero because $P\ne Q$. Their homogeneous coordinates therefore define a well-defined holomorphic mapIn a local frame, the quotientis a meromorphic function with divisor $(f)=P-Q$. Thus $F^{-1}(0)=P$ and $F^{-1}(\infty )=Q$, both with multiplicity one. The degree of a holomorphic map $F$ is therefore one. A nonconstant degree-one holomorphic map between compact connected Riemann surfaces is a biholomorphism, so the displayed map is biholomorphic.

A locally Noetherian scheme is regular when every local ring ${\mathcal{O}}_{X,x}$ is a regular local ring.

The closed subset of points where an algebraic variety is not smooth. Over a perfect field it is equivalently the locus whose local rings are not regular local rings. A normal variety has no singular points in codimension zero or one.

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.

Over a perfect field, a point of a variety is smooth when its local ring is a regular local ring. For an irreducible variety of dimension $n$ at a closed point, this is equivalent to its Zariski tangent space having dimension $n$. The Jacobian criterion expresses the equality as a matrix-rank condition.