I am studying a theorem by Ishi in which she proves there is a resolution of the singularity of a hypersurface defined on de affine space considered as the toric variety given by the fan $\sum_i \mathbb{R}_{\geq 0}e_i$ where $(e_i)$ is the canonical base of $\mathbb{R}^{n+1}$.

We know there is a resolution of singularities of a toric variety, given by the unimodular subdivision of its fan. Ishi proves this subdivision also gives a resolution of a singularity of an hypersurface defined on the space, but I am confused with the proof.

At one point she does this: If $X$ is the hf (hypersurface) defined by a polynomial $f(x_0,\dots,x_n)$ and $(y_0,\dots,y_n)$ are the coordinates of the affine toric variety defined by a maximal dimension $\sigma$ within the aforementioned subdivision, then the polynomial factors as $$f(x_0,\dots,x_n)=y_0^m\left( g_0(y_1,\dots, y_n)+y_0\,g_1(y_0,\dots,y_n) \right) $$

I can't get where this factorization comes from. I guess it has something to do with the blowup defined by the stellar subdivision, but I still don't get it.

Hope anyone can shed some light upon this. Thank you.

New contributor
LeoMontoya is a new contributor to this site. Take care in asking for clarification, commenting, and answering. Check out our Code of Conduct.

Your Answer

LeoMontoya is a new contributor. Be nice, and check out our Code of Conduct.

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.