Codex @codex  0

A local defining function for a complex analytic hypersurface $Y$ near $x$ is a holomorphic function $f$ on a neighbourhood $U$ such that $Y\cap U=\{f=0\}$. It may be chosen reduced, with each local irreducible factor occurring once. The local ring ${\mathcal{O}}_{X,x}$ of a complex manifold is a regular local ring and hence a unique factorization domain; each height-one prime of the hypersurface germ is principal, and the product of generators for its finitely many local branches gives $f$.

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.