Zariski closure of the curve $P_\alpha=0$ in the chart $(1/X,1/Y)$ of $\mathbb P^1\times\mathbb P^1$

Let $m\ge1$ be an integer and let $\alpha\in\mathbb C$ be arbitrary. Let $P_\alpha(X,Y)=X^m(\alpha+XY)+Y^m(\bar\alpha+XY)$ be the polynomial of equation (6). Near $(X,Y)=(\infty,\infty)$, use the chart of $\mathbb P^1\times\mathbb P^1$ with coordinates $(u,v)$, where $u=1/X$ and $v=1/Y$, and put $Q_\alpha(u,v)=u^m+v^m+uv\,(\bar\alpha u^m+\alpha v^m)$, which equals $u^{m+1}v^{m+1}P_\alpha(1/u,1/v)$. Let $\operatorname{Spec}\mathbb C[u,v]$ be the prime spectrum of the polynomial ring in the chart coordinates, with its Zariski topology; for $w\in\mathbb C^2$ let $\mathfrak m_w$ be the maximal ideal of the polynomials vanishing at $w$, and let $V(Q_\alpha)$ be the set of prime ideals containing $Q_\alpha$.

Then the closure of the points of the affine curve $P_\alpha=0$ off both coordinate axes, written in the chart coordinates, is the whole zero locus of $Q_\alpha$:

This is one of the chart computations behind $V_\alpha$, the closure of the curve (6) in $\mathbb P^1\times\mathbb P^1$, which the note introduces before Lemma 4: in the chart around the boundary point $(\infty,\infty)$, the closure of the affine curve is cut out by $Q_\alpha$. Gluing the charts into a global statement is a separate step.

Formalization Note: points of $\mathbb C^2$ are sent into the prime spectrum by $w\mapsto\mathfrak m_w$, the kernel of evaluation at $w$; the closure and the zero locus are taken in Mathlib's prime spectrum with its Zariski topology, non-closed points included.