Exceptional Lines (Blowing Up)

830 Views Asked by At

Please refer to the image given below (Book: Singular Points of Plane Curves by C.T.C. Wall).

Example 3.3.1:

For the third blow up, how do we come to the conclusions that $E_{0}$ is $x_{3}=0$ and the transform of $E_{1}$ does not meet the domain of this chart?

enter image description here

enter image description here

Working for the final blow up.

For the last blow up, I have two options (1) $(x_{5},y_{5})=(x_{6},x_{6}y_{6})$ or (2) $(x_{5},y_{5})=(x_{6}y_{6},y_{6})$.

Option (1) gives the exceptional curve $E_{5}: x_{6}=0$, transform of $E_{3}$ is not in this chart, transform of $E_{4}$ is $y_{6}=0$ and the transform of the curve is $C^{(6)}: y_{6}=1$.

Option (2) gives the exceptional curve $E_{5}: y_{6}=0$, transform of $E_{3}$ is $x_{6}=0$, transform of $E_{4}$ is not in this chart and the transform of the curve is $C^{(6)}: x_{6}=1$.

2

There are 2 best solutions below

2
On BEST ANSWER

By definition, the blow-up of the point $(0,0)\in \mathbb{A}^2$ is given by

$$\begin{array}{ccc} \{([u:v],(x,y))\in \mathbb{P}^1\times \mathbb{A}^2\mid uy=vx\}&\to& \mathbb{A}^2\\ ([u:v],(x,y)) & \mapsto & (x,y)\end{array}$$

The exceptional divisor is then equal to $\mathbb{P}^1\times (0,0)$ and you have two charts on the blow-up: either $u\not=0$ or $v\not=0$. Choosing respectively $u=1$ and $v=1$ gives $y=vx$ and $x=uy$, so this gives two maps $$\begin{array}{ccc} \{([u:v],(x,y))\in \mathbb{P}^1\times \mathbb{A}^2\mid uy=vx\}&\to& \mathbb{A}^2\\ ([1:v],(x,vx)) & \mapsto & (x,vx)\\ ([u:1],(uy,y)) & \mapsto & (uy,y)\end{array}$$ and you can see then the blow-up in two charts: $(a,b)\mapsto (ab,b)$ or $(a,b)\mapsto (a,ab)$ from $\mathbb{A}^2$ to $\mathbb{A}^2$. In the first one, you remove the strict transform of $y=0$ and in the second one you remove the strict transform of $x=0$. Moreover, the exceptional curve is given by $b=0$ and $a=0$ respectively.

Looking at the text that you give, the author says that he has $(x_2,y_2)=(x_3y_3,y_3)$. Hence, the strict transform of $y_2=0$ is removed from the chart and the exceptional divisor is $y_3=0$.

3
On

At stage 2, $E_1$ is given by $y_2 = 0 $ and the strict transform of $E_0$ is given by $x_2 = 0$.

The blow up is given by $x_2 = x_3 y_3, y_2 = y _3.$

The strict transform of $E_1$ at stage $3$ is given by the Zariski closure of points where $y_2 = 0$ and $x_2 \neq 0$. But in the given chart for the third blow-up, if $y_2 = 0$ then $y_3 = 0$ and so also $x_2 = 0$. Thus the strict transform of $E_1$ is disjoint from this chart.

The strict transform of $E_0$ is given by the Zariski closure of points where $x_2 = 0$ but $y_2 \neq 0$, which in the chart for the third blow up becomes $x_3 y_3 = 0$ but $y_3 \neq 0$, or equivalently, $x_3 = 0, y_3 \neq 0$. The Zariski closure of this locus is just the locus where $x_3 = 0.$