ScalingStacks

Proof. [055N]

Original official author HTML, exact retained edition. Historical TeX conversion verdicts remain unchanged. Cited-edition alignment and mathematical self-containment are not assessed.

Complete original source context · Original author HTML

Proof.

We first show that the system of equations implies z1​z2+z3k=0z_{1}z_{2}+z_{3}^{k}=0, so that 𝒮¯\overline{\mathcal{S}} does project to 𝒮\mathcal{S}. To see this, we notice the first three equations imply

(7.9) u32​(z1​z2+z3k)=0.u_{3}^{2}(z_{1}z_{2}+z_{3}^{k})=0.

If u3≠0u_{3}\neq 0, then we get z1​z2+z3k=0z_{1}z_{2}+z_{3}^{k}=0. If u3=0u_{3}=0, then by the third equation we get that either u1≠0,u2=0u_{1}\neq 0,u_{2}=0 or u1=0,u2≠0u_{1}=0,u_{2}\neq 0. In the first case using the remaining equations we get z3=z2=0z_{3}=z_{2}=0. In the second case we get z3=z1=0z_{3}=z_{1}=0. In both cases the equation z1​z2+z3k=0z_{1}z_{2}+z_{3}^{k}=0 is indeed satisfied.

Now we study singularities of 𝒮¯\overline{\mathcal{S}}. In the affine chart {u1≠0}\{u_{1}\neq 0\}, we get

(7.10) {v2+v32=0;z2+z3a2​v3=0,\begin{cases}v_{2}+v_{3}^{2}=0;\\ z_{2}+z_{3}^{a_{2}}v_{3}=0,\end{cases}

so we reduce the defining equations to a single equation in the z1,z3,v3z_{1},z_{3},v_{3} variable given by

(7.11) z3a1=z1​v3.z_{3}^{a_{1}}=z_{1}v_{3}.

This has exactly one Aa1−1A_{a_{1}-1} singularity at {z1=z3=v3=0}\{z_{1}=z_{3}=v_{3}=0\}. Similarly, on the affine chart {u2≠0}\{u_{2}\neq 0\} we reduce the equations to

(7.12) z3a2=z2​v3.z_{3}^{a_{2}}=z_{2}v_{3}.

This has exactly one Aa2−1A_{a_{2}-1} singularity at {z2=z3=v3=0}\{z_{2}=z_{3}=v_{3}=0\}. On the affine chart {u3≠0}\{u_{3}\neq 0\}, we reduce the equations to

(7.13) v1​v2+1=0.v_{1}v_{2}+1=0.

which is smooth.

It is then easy to verify that the projection map 𝒮¯→𝒮\overline{\mathcal{S}}\rightarrow\mathcal{S} is an isomorphism outside the point {z1=z2=z3=0}\{z_{1}=z_{2}=z_{3}=0\}, and if z1=z2=z3=0z_{1}=z_{2}=z_{3}=0, we get the equation

(7.14) u1​u2+u32=0,u_{1}u_{2}+u_{3}^{2}=0,

which gives a conic in ℂ​ℙ2\mathbb{C}\mathbb{P}^{2}. ∎

Original mathematics by the credited authors. Source-backed reader collection; mathematical self-containment is not assessed.