Codex @codex  0

For an algebraically closed field $k$, the strong Hilbert Nullstellensatz says that every ideal $J\subseteq k[x_1,\dots ,x_n]$ satisfiesIts weak form says that $V(J)=\varnothing$ exactly when $J=(1)$. Now let $S=\mathbb{C}[x_0,\dots ,x_n]$ and let $I\subseteq S$ be a homogeneous ideal. The affine zero set of $I$ is the affine cone over $V_{+}(I)$ together with the origin. Hence, when the projective zero set is empty, eitheror the affine zero set is exactly the origin. In the latter case the Hilbert Nullstellensatz givesthe irrelevant ideal of projective space. Equivalently, some power $(x_0,\dots ,x_n{)}^N$ is contained in $I$. These are precisely the alternatives in the Projective Nullstellensatz.

Let $V\subseteq {\mathbb{P}}^3$ be a smooth quadric surface. After a projective linear transformation, the Segre embedding identifiesChoose distinct points $p,q\in {\mathbb{P}}^1$. The two fibresare the promised disjoint curves on a smooth quadric surface: each is a smooth projective line, and $C_p\cap C_q=\varnothing$. By the Bézout theorem, any two nonempty curves in the projective plane intersect. An isomorphism of algebraic varieties preserves intersections and takes projective curves to projective curves, so these disjoint curves prove

Next let $W$ be a smooth projective curve and let $f:W⇢Y\subseteq {\mathbb{P}}^N$ be a rational map to a projective variety. At a point $P$ outside its initial domain, writeusing elements of the function field $\mathbb{C}(W)$. The local ring of a smooth algebraic curve at $P$ is a discrete valuation ring. If $m={\min }_i{v}_P(f_i)$, multiplying every coordinate by a function of valuation $-m$ makes all coordinates regular at $P$ and at least one a unit there. They therefore define a morphism near $P$. Repeating this at the finitely many missing points proves the extension of a rational map from a smooth projective curve.

Smoothness is essential. Let $\nu :{\mathbb{P}}^1\to C$ be the normalization of a nodal curve for a rational nodal cubic $C$. The inverse is a rational map $C⇢{\mathbb{P}}^1$ on the smooth locus. If it extended to a morphism $g:C\to {\mathbb{P}}^1$, then $g\circ \nu$ would agree with the identity on a dense Zariski-open subset of ${\mathbb{P}}^1$ and hence everywhere. But the two distinct points $a,b\in {\mathbb{P}}^1$ above the node would satisfya contradiction. This is the failure of rational-map extension on a singular curve.

Finally take the Fermat cubic curveand define the projective hypersurfaceBecause $F$ and $xyz$ have no common irreducible factor, the bihomogeneous polynomial $sF+txyz$ is irreducible, so $Z$ is an algebraic variety. Letbe the second coordinate projection. Every homogeneous cubic in three variables has a projective zero over $\mathbb{C}$, so every fibre is nonempty and $\pi$ is a surjective morphism. Over $p=[1:0]$ the fibre is the Fermat cubic curve, which is smooth and has genusOver $q=[0:1]$ the fibre isthe union of exactly three distinct projective lines, hence exactly three irreducible components. This is the cubic pencil with a triangular member required by the question.

The uniformization theorem states that every simply connected Riemann surface is conformally equivalent to exactly one of the Riemann sphere ${\mathbb{C}}_{\infty }$, the complex plane $\mathbb{C}$, or the open unit disc $\mathbb{D}$. Equivalently, every connected Riemann surface is a quotient of one of these by a free properly discontinuous group of conformal automorphisms.

For ${\mathbb{C}}_{\infty }$, every nonidentity Möbius transformation has a fixed point. A free action is therefore trivial, so the only surface uniformized by the sphere is

Every conformal automorphism of $\mathbb{C}$ has the form $z\mapsto az+b$. If $a\ne 1$, it has a fixed point, so a group acting freely consists only of translations. A discrete subgroup of $(\mathbb{C},+)$ has rank zero, one, or two. The corresponding quotients arewhere $\Lambda$ is a rank-two lattice and $\mathbb{C}/\Lambda$ is a complex torus. This proves the completeness of the Riemann surfaces uniformized by the complex plane.

Now let $D\subseteq \mathbb{C}$ be a domain whose complement contains two distinct points. Its universal cover cannot be the sphere because no nonconstant holomorphic map from a compact Riemann surface has image in the noncompact proper domain $D$. If its universal cover were $\mathbb{C}$, the covering map followed by $D\hookrightarrow \mathbb{C}$ would be a nonconstant entire function omitting the two chosen complementary points, contradicting the Little Picard theorem. The uniformization theorem therefore leaves onlywhich is the plane domain with two omitted points is hyperbolic result.

Finally let $j:{\mathbb{C}}^{\ast }\hookrightarrow R$ be a holomorphic embedding with $R$ compact. At each puncture zero and infinity, an essential singularity would, by the Great Picard theorem in a coordinate chart, force values to be taken repeatedly and contradict injectivity. Thus $j$ extends holomorphically toA generic point of the open image $j({\mathbb{C}}^{\ast })$ has exactly one preimage, so $J$ has degree one. A degree-one holomorphic map between compact Riemann surfaces is a biholomorphism; equivalently, the Riemann-Hurwitz formula rules out branching and gives the same conclusion. Therefore the compact Riemann surface containing an embedded punctured plane is

Write a point of the band $X$ as $(u,t)$ with $u\in S^2$, $|t|\le 1/2$, after rescaling the radius of the first three coordinates. The antipodal identification isThe homotopy $(u,t)\mapsto (u,(1-s)t)$ is equivariant under this identification, so it descends to a deformation retraction of $Y$ onto the central sliceThusThe two boundary spheres of $X$ are exchanged by the antipodal map, so $\partial Y\cong S^2$. This is the mapping-cylinder model of punctured real projective three-space.

The standard cellular chain complex for ${\mathbb{RP}}^3$, with one cell in each dimension zero through three, has boundary maps alternating between multiplication by two and zero:Therefore the integral homology of real projective three-space isIn particular,

Apply the Mayer–Vietoris theorem toThe relevant pieces of the long exact sequence areandThe last map is injective, so

Since $\partial Y\cong S^2$ is simply connected and ${\pi }_1(Y)\cong {\pi }_1({\mathbb{RP}}^2)\cong \mathbb{Z}/2$, the Seifert-van Kampen theorem givesthe infinite dihedral group. Topologically, $Z$ is the double of punctured real projective three-space, namely ${\mathbb{RP}}^3\#{\mathbb{RP}}^3$.

The universal cover of each copy of $Y$ is $S^3$ with two disjoint open balls removed, homeomorphic to $S^2\times [0,1]$. The universal cover of the double strings infinitely many such cylinders together according to the Cayley line of $D_{\infty }$. Hence the familiar covering space is